10.07.2015 Views

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

SHOW MORE
SHOW LESS

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)

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!