Baixe o app para aproveitar ainda mais
Prévia do material em texto
Lógica Computacional Instituto Federal do Rio Grande do Norte 1 de abril de 2016 Exercício 5 1. Demonstrar via tabela-verdade que: (a) q ⇒ (p→ q) (b) q ⇒ p ∧ q ↔ p (c) p↔ ¬q não implica em p→ q (d) p não implica em p ∧ q (e) p ∨ q não implica em p (f) p ∧ ¬p⇒ q (g) (p↔ q) ∧ p⇒ q 2. Dada as proposições p = Choveu e q = Está molhado. Se sabemos que está molhado, isso implica dizer que choveu e está molhado? 3. Dada as proposições p = Choveu, q = Está molhado e r = Faz frio. Se sabemos que se choveu então está molhado, e se está molhado então faz frio, isso implica dizer que se choveu então faz frio? Diego Silveira Costa Nascimento 1 diego.nascimento@ifrn.edu.br
Compartilhar