///
Considere que P, Q e R sejam proposições simples que possam ser julgadas como verdadeiras (V) ou falsas (F). Com relação às operações lógicas de negação (~), conjunção (∧), disjunção (∨) e implicação (→), julgue os itens subsecutivos.
A proposição (P ∨ Q) → (Q ∧ P) é uma tautologia.