Отрицание сложных суждений

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

Имеем:

1)2).4)

Эти формулы называются законами ле Моргана. Применив их, получим:

Если в сложном суждении имеется импликация, то ее необ­ходимо заменить на тождественную формулу без импликации (с дизъюнкцией), а именно:; затем по общему методу

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

Оно читается так: «У меня будет свободное время, но я не буду читать книгу и не буду смотреть телевизор».