Закон слабой дизъюнкции

а	в	а  в
и	и	и
и	л	и
л	и	и
л	л	л

Слабая дизъюнкция истинна тогда, когда по крайней мере одна из альтернатив истинна.

Закон строгой дизъюнкции

а	в	а * в
и	и	л
и	л	и
л	и	и
л	л	л

Строгая дизъюнкция истинна тогда, когда одна альтернатива истинна, а другая ложна.

Тема 28: Закон импликации, его значение.

Импликация (a → b) истинна во всех случаях, кроме одного. Другими словами, если оба входящих в импликацию простых суждения истинны или ложны либо если ложно суждение a, импликация истинна. Однако при ложности суждения b ложным становится и сама импликация. Это можно рассмотреть на примере: «Мы бросим исправный патрон в костер (a), он взорвется (b)». Очевидно, что если первое суждение верно, то верно и второе, так как взрыв патрона, брошенного в костер, произойдет с неизбежностью. Поэтому, рассмотрев первый случай, мы можем сделать вывод о том, что если второе суждение ложно, то ложна и вся импликация.

Закон импликации

а	в	а  в
и	и	и
и	л	л
л	и	и
л	л	и

Импликация истинна во все случаях кроме одного, когда основание истинно, а следствие ложно.

Тема 29: Закон эквиваленции, его значение.

Эквивалентнция характеризуется тем, что образованное сложное суждение истинно только в тех случаях, когда истинны оба простых суждения, входящих в его состав, и ложно при ложности

обоих этих суждений. В буквенном выражении эквивалентность выглядит как a ≡ b.

При отрицании суждения, отображающееся как a, истинно тогда, когда ложно отрицаемое понятие. Это связано с тем, что отрицание и отрицаемое простое суждение не только противоречат, но и исключают (отрицают) друг друга. Таким образом, получается, что, когда истинно понятие a, ложно понятие a. И наоборот, если ложно a, то отрицающее его a является истинным.

Закон эквиваленции

а	в	а  в
и	и	И
и	л	Л
л	и	Л
л	л	И

Эквиваленция истинна тогда, когда основание и следствие одновременно истинны или ложны.