Dado o conjunto de seres humanos (H), existem duas proposições ou sentenças abertas p(x).
x é Homem
x é Mulher
x é Mulher
Podemos obter as seguintes sentenças abertas:
I. (x é Homem) ^ (X é Mulher).
II. (x é Homem) V (x é Mulher).
II. (x é Homem) V (x é Mulher).
Sendo,
!$ \wedge !$ = Conjunção
!$ \vee !$ = Disjunção
!$ \vee !$ = Disjunção
Para o conjunto H, as novas sentenças 1 e 2, são, respectivamente: (onde F é Falso e V é Verdadeiro)
