Правила отрицания

Простые суждения легко отрицать полностью, методом внешнего опровержения («Не верно что, мыслительные способности нарастают по мере взросления») или частично, методом внутреннего отрицания («Многие люди не стремятся мыслить разумно»). Сложные суждения, образованные конъюнкцией, отрицать так же легко («Не правильно называть тех, кто видит в жизни преобладание негативных сторон, как и тех, кто видит преобладание позитивных – реалистами» и «Здравомыслие включает в себя элемент творчества, а не веру в предопределенность»). Еще легче отрицать отрицательные суждения, как правило, для этого достаточно убрать из них отрицание. Однако отрицание некоторых суждений может вызвать затруднения, избежать которых помогут правила отрицания, логически следующие из правил эквивалентности:

; ; ; ; .

Перестроив по этому правилу суждение в модальное опровержение, легко, убрав оператор опровержения, или вынеся его за двоеточие, превратить суждение в его противоположность. Например, для отрицания суждения «Он или толстый или короткий» можно преобразовать его в эквивалентное модальное суждение «Не верно что, он не толстый и не короткий», а затем вынести «неверно», получив модальное «Неверно: он не толстый и не короткий» или ассерторическое «Он не толстый и не короткий».

Дата добавления: 2015-09-06