Алтернација

Логичка алтернација (или искључна дисјункција) је сложени исказ који се састоји из два атомска исказа који се називају алтернативе. Оператор алтернације је $\Uparrow \,$ или ↑ (чита се или... или). Алтернација је тачна акко оба атомска исказа имају различиту истинитосну вредност.

Логичка алтернација

p	q	p ↑ q
⊥	⊥	⊥
⊥	T	T
T	⊥	T
T	T	⊥

Логичка алтернација са речима обичног језика

Петар је појео кифлу	Петар је попио чај	Петар је или појео кифлу или попио чај
⊥	⊥	⊥
⊥	T	T
T	⊥	T
T	T	⊥

Дакле, Петар је могао да изабере да ли ће појести кифлу или ће попити чај, значи бира само једну ствар од две понуђене. Једино на тај начин завршни исказ може бити тачан.