- Lógica ProposicionalÁlgebra de Proposições
- Lógica ProposicionalContingência, Contradição e TautologiaTautologia
Se P e Q forem proposições simples, então a proposição composta Q∨(Q→P) é uma tautologia.
Provas
Questão presente nas seguintes provas
Se P e Q forem proposições simples, então a proposição composta Q∨(Q→P) é uma tautologia.
