Filosofia – 10º ano

Ficha de Trabalho nº 5 A professora: Beatriz Magalhães

Lógica Proposicional
(¬ ou ~ ∧ ∨ ⩢̄ → ↔)
Proposições – Tabelas de Verdade
Síntese das tabelas de verdade

P Q ¬P ¬Q P∧Q P∨Q P ⩢̄ Q P→Q P↔Q

V V F F V V F V V

V F F V F V V F F

F V V F F V V V F

F F V V F F F V V

Exercícios
1) Construa tabelas de verdade para cada uma das fórmulas que se seguem:
2) Indique as que são contingentes, tautológicas ou contraditórias
Exemplo: (P ∨ Q) → Q

P Q (P ∨ Q) →Q

V V V V

V F V F

F V V V

F F F V

1 2 ordem

É uma contingência Conectiva principal

a) ¬ (P ∧ ¬ Q)
b) P ↔ (Q ∧ P)
c) (P → Q) ∧ (Q → P)
d) ¬ (P ∨ Q) → ¬ Q
e) ¬ P → ¬ Q
f) (P ∧ ¬P) ∧ Q
g) R ∧ (P → Q)
h) ((R → P) ∧ Q) → P
i) P → (Q ⩢̄ R)