Отрицание сложных суждений
Чтобы получить отрицание сложных суждений, имеющих в своем составе лишь операции конъюнкции и дизъюнкции, необходимо поменять знаки операций на противоположные (т. е. конъюнкцию на дизъюнкцию, и наоборот) и над буквами, выражающими элементарные суждения, поставить знак отрицания, а если он уже есть, то отбросить его. Имеем: 1) Эти формулы называются законами ле Моргана. Применив их, получим: Если в сложном суждении имеется импликация, то ее необходимо заменить на тождественную формулу без импликации (с дизъюнкцией), а именно: найти противоречащее суждение. Например, «Если у меня будет свободное время (а), то я почитаю книгу (b) или посмотрю телевизор (с)». Формула этого сложного суждения:
|
2) 
.4) 
; затем по общему методу
Противоречащее суждение будет: 
Оно читается так: «У меня будет свободное время, но я не буду читать книгу и не буду смотреть телевизор».
