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.
F V F F F V F F F V V F V V F F V F F V V F F F V F V V F F F F F V F -‐ Um opera<strong>do</strong>r n-‐ário possui um número de linhas em sua tabela de verdade correspondente à 2 ! , em que n corresponde ao número de frases concatenadas e 2 aos valores de verdade V e F. 4-‐ a) (P → Q), ¬Q ⊨ P P Q (P → Q) ¬Q ⊨ P V V V F V V F F V V F V V F F F F V V F Não é um sequente tautológico. b) P → ¬Q ⊨ Q → ¬P P Q ¬P ¬Q P → ¬Q ⊨ Q → ¬P V V F F F F V F F V V V F V V F V V F F V V V V É um sequente tautológico. c) P → ¬Q ⊨ ¬(P → Q) P Q ¬Q (P → Q) P →¬Q ⊨ ¬(P → Q) V V F V F F V F V F V V F V F V V F F F V V V F Não é um sequente tautológico.
Change language