Question

Usando as propriedades dos conectivos, simplifique as proposições abaixo até chegar numa tautologia:


(~p → p) → p


(p → p ∧ q) ↔ (p →q)


[(p → q) → q] ↔ (p ∨ q)

Answer 1

Resposta:

Usando as propriedades dos conectivos, simplifique as proposições abaixo até chegar numa tautologia: (~p → p) → p (p → p ∧ q) ↔ (p →q) [(p → q) → q]...

Explicação:

Usando as propriedades dos conectivos, simplifique as proposições abaixo até chegar numa tautologia: (~p → p) → p (p → p ∧ q) ↔ (p →q) [(p → q) → q]...