Если высказывание истинно то оно истинно

Обновлено: 01.04.2025

Законом логики называется сложное логическое высказывание, истинность которого не зависит от составляющих его логических отношений. Они составляют основу мыслительного процесса и обусловливают правильность рассуждений. Правильно размышлять означает рассуждать в соответствии с законами логики.

В КЛВ понятие закона совпадает с понятием тождественно-истинной формулы. Наиболее часто в практике рассуждений используются следующие законы КЛВ:

1) Закон тождества

А É А

Если высказывание истинно, то оно истинно. Например, «Все профессора есть профессора».

2) Закон непротиворечия

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

3) Закон исключенного третьего

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

4) Закон двойного отрицания

Двойное отрицание высказывания равнозначно его утверждению.

Например, «Он не может не знать логику». Значит – он знает логику.

5) Закон достаточного основания

Аесть потому, что есть В

Всякая мысль может быть признана истинной только тогда, когда

она имеет достаточное основание. Например, «Это вещество

является электропроводным, потому что оно – металл».

6) Закон утверждения консеквента

Заведомо истинное высказывание вытекает из чего угодно. Например, «Солнце всходит на востоке, а заходит на западе – так говорила мне бабушка».

7) Закон отрицания антецедента (или Закон Дунса Скота)

Из заведомо ложного высказывания вытекает что угодно.

Например, «Если он миллиардер, тогда я арабский шейх».

8) Законы Де Моргана

Отрицание конъюнкции равнозначно дизъюнкции двух отрицаний.

Например, «Неверно, что сегодня не холодно и не сыро» означает «Сегодня холодно или сыро».

Отрицание дизъюнкции равнозначно конъюнкции двух отрицаний.

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

9) Закон контрапозиции

Если из одного высказывания вытекает второе, то из отрицания второго вытекает отрицание первого. Например, «Если вода замерзла, то на улице – морозно» и «Если на улице не морозно, то и вода не замерзла».

10) Закон транзитивности импликации

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

11) Законы дистрибутивности дизъюнкции относительно конъюнкции и наоборот

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

12) Закон Клавия

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

Реклама
  • ИП Попов А.П.
  • ИНН: 602715631406
block-axgp4hfecu7img
1 ч 56 мин назад
Врач рекомендует! Найден злейший враг боли в суставах!

Еще

286
77
345
Реклама
  • ИП Попов А.П.
  • ИНН: 602715631406
block-axgp4hfecu7img
2 ч 46 мин назад
Запор уйдёт за 5 минут благодаря этому дедовскому методу!

Еще

197
194
298
Реклама
  • ИП Попов А.П.
  • ИНН: 602715631406
block-axgp4hfecu7img
4 ч 57 мин назад
Недостаток калия - единственная причина болей в суставах!

Еще

343
105
332
Реклама
  • ИП Попов А.П.
  • ИНН: 602715631406
block-axgp4hfecu7img
10 ч 16 мин назад
Пенсионерка: "Мне 98, а суставы как в 16 лет! На ночь мажу…

Еще

461
135
252
Реклама
  • ИП Попов А.П.
  • ИНН: 602715631406
block-axgp4hfecu7img
7 ч 4 мин назад
Школьники потрясли всю сеть этим танцем — смотреть без детей!

Еще

173
120
347
Реклама
  • ИП Попов А.П.
  • ИНН: 602715631406
block-axgp4hfecu7img
4 ч 14 мин назад
Много лет диабета закончились за 2 дня! Теперь сахар в норме...

Еще

201
186
298

Читайте также: