Внешнее отрицание сложного суждения. Законы де Моргана

Внешнее отрицание обозначается словами – неверно. Символически - или с черточкой.

Снятие внешнего отрицания происходит по законам де Моргана:

1) Закон отрицания слабой дизъюнкции

2) Закон отрицания

3) Закон слабой импликации

4)

5)

Умозаключение.