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

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

Имеем:

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

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

затем по общему методу находить противоречащее суждение. Например: “Если я буду иметь свободное время (а), то буду вя­зать (b) или посмотрю телевизор (с)”. Формула этого сложного суждения:

Противоречащее суждение будет:

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