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
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
o) (P → Q) ∧ (P → ¬Q) ⊨ ¬P P Q ¬Q P → Q (P → ¬Q) (P → Q) ∧ (P → ¬Q) ⊨ ¬P V V F V F F F V F V F V F F F V F V V V V F F F V V V V O sequente é tautológico. 5 – a) Interpretação: P: Icabod é um estudante <strong>do</strong> Baillol College. Q: Icabod é uma pessoa modesta. Formalização: ¬(P ∧ Q) ⊨ ¬P ∨ ¬Q Inspetor de Circunstâncias: P Q ¬P ¬Q P ∧ Q ¬(P ∧ Q) ⊨ ¬P ∨ ¬Q V V F F V F F V F F V F V V F V V F F V V F F V F F V V O sequente é tautológico. b) Interpretação: P: Icabod é um estudante <strong>do</strong> Baillol College. Q: Icabod é modesto. Formalização: P ⊨ P ∨ Q Inspetor de Circunstâncias: