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.
P Q ¬Q (P ∧ (P → Q)) ∧ (P → ¬Q) V V F V V V F F V F V V F F F V F V F F F V F V F F V F F V F V Inconsistência. 2 – a) {¬Q, P, ¬(Q → R)} P Q R Q → R ¬Q P ¬(Q → R) V V V V F V F V V F F F V V V F V V V V F V F F V V V F F V V V F F F F V F F F F V F F V V V F F F F F V V F F 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, P ⊨ ¬¬(Q → R) P Q R ¬Q P ⊨ ¬¬(Q → R) V V V F V V V V F F V F V F V V V V V F F V V V F V V F F V F V F F F F F F V V F V F F F V F V b) {Q → Q, P → R, P, ¬(Q ∨ R)} P Q R Q ∨ R Q → Q P → R P ¬(Q ∨ R) V V V V V V V F V V F V V F V F
Change language