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 V V V V F V F F F V F V V F V V V V V F F F V F V V V F F F F V V V V F F F F F F V V F V Sequente tautológico forma<strong>do</strong> com a negação da fórmula “¬(Q ∨ R)” como conclusão e as fórmulas restantes como premissas. Q → Q, P → R, P ⊨ ¬¬(Q ∨ R) P Q R Q → Q P → R P ⊨ ¬¬(Q ∨ R) V V V V V V V V V F V F V V V F V V V V V V F F V F V F F V V V V F V F V F V V F V F F V V V F V F F F V V F F c) {P → Q, Q, ¬P} P Q P → Q ¬P V V V F V F F F F V V V F F V V As fórmulas não são inconsistentes. d) {P, Q → R, ¬(P → R)} P Q R P→ R P Q → R ¬(P → R) V V V V V V F V V F F V F V V F V V V V F V F F F V V V F V V V F V F
Change language