Lógica - Tabela Verdade
1) Construa tabelas-verdades para as seguintes proposições compostas: a) ¬(p ∧ q) b) ¬(p → ¬q) c) (p ∧ q) → (p ∨ q) d) ¬p → (q → p) e) (p → q) → (p ∧ q) f) (p ↔ ¬q) → (¬p ∧ q) g) (¬p ∧ r) → (q ∨ r) h) p → r ↔ q ∨ ¬r i) p → (p → ¬r) ↔ (q ∨ r) j) ((p ∨ q) → r) ∨ (¬p ↔ (q ∨ ¬r)) Respostas: