Элементы математической логики

при этом всегда можно сказать истинно оно или ложно, в

Пример:
=
x = x (враг моего врага мой друг)
=
Двойное отрицание - x

ложно, если x-истина, а y-ложно, и истина во всех остальных

высказывание, это истина когда оба высказывания одновременно истина и одновременно

высказывания истина)

высказывания ложно)

одинаковые логические значения на любом наборе входящих формулы элементарных высказываний.
А

А называется тождественно ложной, если принимает значение нуля, при всех значениях входящих в неё переменных.

1. А≡В
= 3.
2. x≡x

закон противоречия
8.

Итак, алгебра-логика обладает коммутативными и ассоциативными законами относительно операции конъюнкции и дизъюнкции и дистрибутивным законом конъюнкции относительно дизъюнкции.