Question

3. Докажите, что следующие пары формул не эквивалентны друг другу:A ⇒ B и B ⇒ A

Answer 1

А   В     А=>B     B=>A

0   0        1            1

0   1         1            0

1   0         0            1

1   1         1             1

Итоговые результаты разные. Таким образом, доказана неэквивалентность высказываний