ЗАКОН АССОЦИАТИВНОСТИ (от лат. Associatio - соединение)

-общее имя для ряда логических законов, позволяющих по-разному группировать высказывания, соединяемые с помощью конъюнкции («и»), дизъюнкции («или») и др.

Операции сложения и умножения чисел в математике ассоциативны:

(а + b)+с=а + (b + с), (а·b)·с=а·(b·с).

Ассоциативностью обладают также логическое сложение (дизъюнкция) и логическое умножение (конъюнкция). Символически соответствующие законы представляются так (р, q, r — некоторые высказывания, v - дизъюнкция, & - конъюнкция, =[є] - эквивалентность, «если и только если»):

(pvq)vr = pv(qvr), (p & q)& r = p &(q & r).

В силу З.а. в формулах, представляющих конъюнкцию более чем двух высказываний или их дизъюнкцию, можно опускать скобки.

ЗАКОН ГИПОТЕТИЧЕСКОГО СИЛЛОГИЗМА

-закон логики, характеризующий импликацию («если, то»): если первое влечет второе, то если второе влечет третье, то первое влечет третье. Напр.: «Если с ростом знаний о человеке возрастает возможность защитить его от болезней, то если с ростом этой возможности растет средняя продолжительность человеческой жизни, то с ростом знаний о человеке растет средняя продолжительность его жизни». Иначе говоря, если условием истинности первого является истинность второго, то если условием истинности второго является истинность третьего, то истинность последнего есть также условие истинности первого.

С использованием символики логической (р, q, r — некоторые высказывания; à — импликация, «если, то») данный закон представляется так:

(р à q) -> ((qà r) -> (р à r)), если (если р, то q), то (если (если q, то r), то (если р, то r)).

3. г. с. близок по своей структуре транзитивности закону, называемому также конъюнктивно-гипотетическим силлогизмом: если дело обстоит так, что если первое, то второе, и если второе, то третье, то если первое, то третье.

Эти законы называются гипотетическими (условными, имшшкативными) силлогизмами по сходству их с традиционными логическими схемами, известными еще с античности и именуемыми силлогизмами. Схемы подобных умозаключений ведут от двух посылок определенного вида к выводу, также имеющему некоторый определенный (хотя, может быть, и иной) вид.

ЗАКОН ДВОЙНОГО ОТРИЦАНИЯ

-закон логики, позволяющий отбрасывать двойное отрицание. Его можно сформулировать так: отрицание отрицания дает утверждение, или: повторенное дважды отрицание ведет к утверждению. Напр.: «Если неверно, что Вселенная не является бесконечной, то она бесконечна».

3. д. о. был известен еще в античности. В частности, древнегреческие философы Зенон Элейский и Горгий излагали его так: если из отрицания к.-л. высказывания следует противоречие, то имеет место двойное отрицание исходного высказывания, т. е. оно само.

С применением символики логической (р - некоторое высказывание; à - условная связь, «если, то»; ~ - отрицание, «неверно, что») закон записывается так:

~ ~ p à p, если неверно, что неверно р, то верно р.

Другой закон логики, говорящий о возможности не снимать, а вводить два отрицания, принято называть обратным 3. д. о.: утверждение влечет свое двойное отрицание. Напр.: «Если Шекспир писал сонеты, то неверно, что он не писал сонеты». Символически:

pà ~ ~p, если р, то неверно, что не-р.

Объединение этих законов дает т. наз. полный 3. д. о.: двойное отрицание равносильно утверждению. Напр.: «Планеты не неподвижны в том и только том случае, если они движутся». Символически (= — эквивалентность, «если и только если»):

~ ~Р = Р, неверно, что не-р, если и только если верно р.

ЗАКОН ДЕ МОРГАНА

- общее название логических законов, связывающих с помощью отрицания конъюнкцию («и») и дизъюнкцию («или»). Названы именем англ. логика XIX в. А. де Моргана.

Один из этих законов можно выразить так: отрицание конъюнкции эквивалентно дизъюнкции отрицаний. Напр.: «Неверно, что завтра будет холодно и завтра будет дождливо, тогда и только тогда, когда завтра не будет холодно или завтра не будет дождливо».

Другой закон: отрицание дизъюнкции эквивалентно конъюнкции отрицаний. Напр.: «Неверно, что ученик знает арифметику или знает геометрию, тогда и только тогда, когда он не знает ни арифметики, ни геометрии».

В терминах символики логической (р, q — некоторые высказывания; & - конъюнкция; v - дизъюнкция; ~ — отрицание, «неверно, что»; = — эквивалентность, «если и только если») данные два закона представляются формулами:

~ (p & q) = (~ p v~ q), неверно, что р и q, если и только если неверно р и неверно q;

~ (p v q) = (~ p & ~ q), неверно, что или р, или q, если и только если неверно р и неверно q.

На основе этих законов, используя отрицание, связку «и» можно определить через «или», и наоборот: «р и q» означает «Неверно, что не-р или не-q», «р или q» означает «Неверно, что не-р и не-q».

Напр., «Идет дождь и идет снег» означает «Неверно, что нет дождя или нет снега»; «Сегодня холодно или сыро» означает «Неверно, что сегодня не холодно и не сыро».