2. ИМПЛИКАЦИЯ (ЕСЛИ… ,ТО…) - двухместная операция четвёртого приоритета исполнения.

Выражение: A => B читается: “Если A, то

	A	B	A => B
	0	0	1
	0	1	1
	1	0	0
ЗАКЛЮЧЕНИЕ	1	1	1

Из истины в ложь, - ложь. Всё остальное истина.

Свойства операции:

_ _

Закон контрапозиции: A => B = B => A

2. ЭКВИВАЛЕНЦИЯ (ТОГДА И ТОЛЬКО ТОГДА, КОГДА) - двухместная операция пятого (низшего)

приоритета исполнения.

Выражение: A < = > B читается “A тогда и

только тогда, когда B”.

A	B	A < = > B
0	0	1
0	1	0
1	0	0
1	1	1

ЭКВИВАЛЕНЦИЯ истинна, если оба операнда одновременно ложны или одновременно истинны. Свойства операции:

Тавтология (заведомо истинное высказывание): A Λ B < = > B Λ A = 1

© KcH, 2011-2016