Законы логики Закон двойного отрицания положенный

Законы логики

Закон двойного отрицания • положенный в основу классической логики принцип, согласно которому «если неверно, что неверно А, то А верно» . Двойное отрицание высказывания равнозначно его утверждению. • Напр. : "Если Шекспир писал сонеты, то неверно, что он не писал сонеты" • В формализованном языке логики высказываний закон двойного отрицания выражается формулой: А А

Закон достаточного основания • Всякая мысль может быть признана истинной только тогда, когда она имеет достаточное основание. • Например: Это вещество является электропроводным(тезис) потому, что онометалл(основание). • Сегодня взлётная полоса покрыта льдом (тезис), ведь самолёты сегодня не могут взлететь(основание)» , – рассматриваемый закон нарушен, тезис не вытекает из основания (из того, что самолёты не могут взлететь, не вытекает, что взлётная полоса покрыта льдом, ведь самолёты могут не взлететь и по другой причине).

Закон утверждения консеквента • Консеквент (лат. consequent) — в буквальном смысле «следствие» , «вывод» , «результат» . • Заведомо истинное высказывание вытекает из чего угодно А (В А)