ExercÃcios resolvidos do capÃtulo 2 - Desidério Murcho
ExercÃcios resolvidos do capÃtulo 2 - Desidério Murcho
ExercÃcios resolvidos do capÃtulo 2 - Desidério Murcho
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
V F V F V F F V V V V F F F V V F V F V F V V V F F F V V V F V F V F V F V F V F F V V V F F V V V F F F V V V F V F V O sequente é tautológico. j) Interpretação: P: O Diabo tem graças redentoras. Q: O Diabo é completamente mal. Formalização: ¬P → Q ⊨ Q → ¬P Inspetor de Circunstâncias: P Q ¬P ¬P → Q ⊨ Q → ¬P V V F V F V F F V V F V V V V F F V F V O sequente não é tautológico. Página 60 1 – a) P → ¬P P ¬P P → ¬P V F F F V V Fórmula contingente. b) (P ∧ Q) ↔ (Q ∧ P) P Q (P ∧ Q) ↔ (Q ∧ P)