Эквиваленция

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

p	q
И	И	И
И	Л	Л
Л	И	Л
Л	Л	И

Эквивалентное отношение “ р тогда и только тогда, когда q ”(“ р эквивалентно q ”) истинно в том случае, когда составляющие его простые высказывания либо оба истинны, либо оба ложны. Во всех остальных случаях эквиваленция ложна.

Дата добавления: 2014-01-04