"Логика. Курс лекций" - читать интересную книгу автора (Тымцяс В.Г.)

Закон гипотетического силлогизма: если условием истинности а являет-
ся истинность b, если условием истинности b является истинность с, то

истинность с является условием истинности а.

Закон двойного отрицания: отрицание отрицания дает утверждение:

а = а. Этот закон мы встречаем в одном из высказываний Бардольфа,
действующего лица драмы Шекспира «Генрих IV»: «Нормальный. Это го-
ворят, когда кто-нибудь нормальный, и про кого нельзя сказать, что он

ненормальный».

Законы де Моргана. Это ряд законов, показывающих, как заменяется

суждение с одним логическим союзом на суждение с другим логическим
союзом, но с тем же самым смыслом. К этому мы вернемся, когда пойдет

речь о равносильностях формул логики высказываний.

Закон Дунса Скотта: из ложного высказывания следует какой угодно

вывод.

Закон идемпотентности: в сумме или в произведении два или несколь-
ко одинаковых сообщений дают одно такое сообщение. В логике
а + а = а, а не 2а. Если я сказал, что сегодня среда, а потом сказал еще раз
то же самое, то сколько сообщений я сделал? Если судить по количеству
информации, которую получили мои слушатели, то одно.

Закон Клавия: если из отрицания некоторого высказывания вытекает
само это высказывание, то оно является истинным. Или: если необходи-
мым условием ложности высказывания является его истинность, то это
высказывание истинно. Это частный случай косвенного доказательства.

'Клаус Г. Введение в формальную логику. М., 1960, с. 122.

Закон коммутативности: результат операции в ряде сл^
от порядка элементов. То же, что и в арифметике, — сум»
порядка слагаемых.

Закон коммутации. Этот закон позволяет переставлять oi
ного высказывания: если а и если b, то с = если b и еслг

Законы композиции. Ряд законов, позволяющих объед»
определенных условных высказываний или разделять их с
а, то b и если а, то с = если а, то b и с; если а, то b или с
если а, то с.

Закон косвенного доказательства: если отрицание а вед1