Sejam as proposições compostas r: !$ p \rightarrow q,\, s:\,q \rightarrow \sim p, t: \sim q \rightarrow p !$. Se os valores lógicos de r, s e t forem sucessivamente V, F e Y, então o valor lógico de !$ ( p \rightarrow q) \wedge ( q \rightarrow \sim p ) \wedge ( \sim q \rightarrow p) !$ é F.