Законы логики -Закон непротиворечия -Закон исключенного третьего -Закон

Законы логики -Закон непротиворечия -Закон исключенного третьего -Закон транзитивности импликации Елизарова Г. И. ДЭЭ -107

Закон непротиворечия (А А) Два противоречащих другу высказывания не могут быть одновременно истинными.

Например, «небо - голубое» и «неверно, что небо голубое» . Противоречащими называются такие два суждения, в одном из которых что-либо утверждается о предмете, а в другом то же самое об этом же предмете отрицается.

Такие суждения называются отрицающими друга. Отрицающими являются следующие пары суждений: 1. «Это S есть Р» и «Это S не есть Р» (единичные суждения). 2. «Все S есть Р» и «Некоторые S не есть Р» 3. «Ни одно S не есть Р» и «Некоторые S есть Р»

Противоречия не будет, если мы говорим о разных предметах или об одном и том же предмете, взятом в разное время или в разном отношении.

Закон исключенного третьего А А Из двух противоречащих суждений одно истинно, другое ложно, а третьего не дано. Например, «Экзамен по логике можно сдать или не сдать» .

Не могут быть одновременно истинными следующие четыре типа простых суждений: 1. «данное S есть Р» и «данное S не есть Р» . 2. «ни одно S не есть Р» и «все S есть Р» .

3. «все S есть Р» и «некоторые S не есть Р» . 4. «ни одно S не есть Р» и «некоторые S есть Р» .

Закон транзитивности импликации ((A В) (В С)) (А С) Если из одного высказывания вытекает второе, а из него – третье, то и из первого высказывания вытекает третье.

Например, «С наступлением весны днем становится солнечнее и теплей. Когда днем становится солнечнее и теплей тает снег. Следовательно, можно сказать, что с наступлением весны тает снег» .