Sejam !$ p !$, !$ q !$, !$ r !$ e !$ t !$ proposições simples e !$ \sim p !$, !$ \sim q !$, !$ \sim r !$ e !$ \sim t !$, respectivamente, as suas negações. Se as seguintes proposições compostas têm valor lógico falso:

!$ p \vee \sim q !$

!$ q \wedge \sim r !$

!$ r \rightarrow t !$

conclui-se que são logicamente verdadeiras apenas as proposições simples