Niech

, gdzie:

Missing \begin{align} or extra \end{align}A_{1} \in Z_{1} \\ \notin Z_{2} \\ \\ A_{2} \in Z_{1} \\ \in Z_{2} \\ \\ A_{3} \notin Z_{1} \\ \in Z_{2} \end{align}

Alternatywa jest to pojęcie złożone. Definiujemy ją jako zbiór: .

Alternatywa zbiorów (jest bardziej ogólna niż alternatywa zdań). Rozpatrujemy tu zbiory zdań dlatego korzystamy z teorii zbiorów.