As proposições compostas A e B são duas tautologias e estão definidas a seguir.

A: !$ (P\wedge R)\rightarrow(\sim Q\vee R) !$

B:!$ [(P\rightarrow Q)\wedge (Q\rightarrow R )]\rightarrow (P\rightarrow R) !$

Dessa forma, se P é verdadeira, Q é falsa e R é falsa, as proposições A e B, respectivamente, são: