Toda afirmativa que pode ser julgada como verdadeira ou falsa é denominada proposição.
Considere que A e B representem proposições básicas e que as expressões 
e ¬A sejam proposições compostas. A proposição é F quando A e B são F, caso contrário, é V, e ¬A é F quando A é V, e é V quando A é F.
Independentemente da valoração V ou F atribuída às proposições A e B, é correto concluir que a proposição ¬(A V B) V (A V B) é sempre V.
