Exercícios

hbenevides

draft, 28 de abril de 2018

• Usando tabelas de verdade, verdade, verifique se as conclusões indicadas a seguir de fato são consequência
lógica das premissas, ou não:

(a) A ∨ B, ¬A  B (i) ¬(A ∧ B), D ↔ A  ¬D

(b) A ↔ B, ¬A  ¬B (j) A  (A → (B ∧ A)) → (A ∧ B)
(c) ¬ (A ∧ B)  ¬B ∧ ¬A (k) (B ∧ C) → A, ¬B, ¬C  ¬A
(d) A → B  A ∨ B (l) A ↔ B, B ↔ C  A ↔ C
(e) ¬A → ¬B  A → B (m) A → (B ∨ C), (B ∧ C) → D  A → D
(f) A, A → B  A ↔ B (n) (¬A ∨ B) ∨ C, (B ∨ C) → D  A → D
(g) B → ¬C  ¬(B ∧ C) (o) (A → B), A  A
(h) ¬(A ∨ B), C ↔ A  ¬C (p) (A ∧ B) → C, A ∧ ¬C, B  C ∧ ¬C

• Usando tabelas de verdade, verifique se os pares de fórmulas a seguir são tatutologicamente equivalentes ou
não.

(a) A → B e ¬A ∨ B (e) A ↔ B e (A → B) ∧ (B → A)
(b) A ∧ B e ¬(¬A ∨ ¬B) (f) A → (B → C) e (A → B) → C
(c) A → B e B → A (g) ¬¬A e A
(d) ¬(A → B) ¬B ∧ A (h) (A → B) ∨ A e ¬A

• Usando a notação sugerida, represente os argumentosa seguir na linguagem da lógica proposicional. Depois
use tabelas de verdade para verificar se os argumentos são ou não válidos.

(a) Não é verdade que Tweety é um papagaio vermelho. Tweety não é um papagaio. Logo, Tweety é
vermelho. (A: Tweety é um papagaio; B: Tweety é vermelho)
(b) Ou Miau é um gato, ou é preto. Logo, se Miau é um gato, então não é preto. (A: Miau é um gato; B:
Miau é preto).
(c) Se Miau é um gato e gosta de nadar, ele pratica pesca submarina. Miau não pratica pesca submarina.
Logo, Se Miau não gosta de nadar, ele não é um gato. (A: Miau é um gato; B: Miau gosta de nadar; C:
Miau pratica pesca submarina)
(d) Se Tweety é um gato, então é um felino. Se Tweety éum papagaio, então é vermelho. Não é verdade
que Tweety é um felino vermelho. Logo, ou Tweety não é um gato, ou não é um papagaio. (A: Tweety
é um gato; B: Tweety é um felino; C: Tweety é um papagaio; D: Tweety é vermelho).
(e) Miau é um gato se e somente se é um felino e tem quatro patas. Ou Miau não tem quatro patas, ou
gosta de caçar ratos. Miau gosta de caçar ratos. Logo, Miau é um gato. (A: Miau é um gato; B: Miau
é um felino; C: Miau tem quatro patas; D: Miau gosta de caçar ratos).