7.4.3 Antivalencia
Legyen p és q adott kijelentések.
Két kifejezés antivalenciája: A p
és q kijelentések antivalenciáján a „
nem igaz, hogy ha p akkor q, és ha q akkor p" kijelentést
értjük. Jele: .
Megjegyzés.
A művelet a „kizáró
vagy"-ként (XOR) ismert. Az antivalencia akkor és csak akkor igaz, ha a két
állítás logikai értéke különböző, azaz formálisan az ekvivalencia tagadása,
tehát .
Az antivalencia műveletének igazságtáblája:
Megjegyzés.
, azaz az antivalencia művelete kommutatív
