Disciplina: Lógica

Curso: Filosofia

PAPER 6
Lógica proposicional básica

Lógica proposicional estuda argumentos cuja validade depende de “se-então”, “e”, “ou”, “não”
e noções similares. Nossos outros sistemas se desenvolvem a partir do que aprendemos aqui.

Criaremos agora uma “linguagem proposicional”, com regras precisas para construir argumentos e
testar validade. Nossa linguagem utiliza letras maiúsculas para enunciados verdadeiros-ou-falsos,
parênteses para agrupar e cinco conectivos lógicos especiais:

~ P ou ¬ P = Não-P

(P • Q) ou (P ˆ Q) = Ambos P e Q

(P v Q) = ou P ou Q

(P → Q) = Se P então Q

(P ☰ Q) ou (P ↔ Q) = P se e somente se Q

Exemplo:

(P • - Q) (N D (P • - Q)

P = Eu moro cm Paris.
¬ Q = Eu não moro em Quebec.
(P v ¬ Q) = Eu moro em Paris e eu não moro em Quebec.

(N → (P v ¬ Q) = Se eu sou Napoleão, então eu moro em Paris e não em Quebec.

(~ P v Q) = Ambos não P e Q

~ (P v Q) = Não ambos P e Q

A primeira é definida e diz que P é falso e Q é verdadeiro. A segunda diz apenas que ambas não são
verdadeiras (pelo menos uma é falsa:). Não leia ambas da mesma maneira, como “não P e Q ”. Leia
“ambos” para o parêntese esquerdo, ou utilize pausas.

Construindo a tabela verdade

(N → (F v E))
“Se nevar então eu vou para fora e vou esquiar”

O sentido exclusivo requer uma simbolização mais longa. A seguir a tabela de verdade e
equivalências para “se-então”:

P→Q

Se Nevar Vou para fora (F) e vou N → (F ^ E)

(N) esquiar (E)

0 0 1
0 1 1
1 0 0
1 1 1

A seguir a tabela e equivalências para “↔” (“se-e-somente-se”):

“Eu fui para Paris se e somente se eu fui para Quebec."

(P ↔ Q )"é um bicondicional.

Fui para Fui para Quebec P↔Q

Paris (P) (Q)
0 0 1
0 1 0
1 0 0
1 1 1

Exercícios - Calcule cada valor de verdade.

l.(0vl)

2. (0 ^ 0)

3. (0 → 0)

4.¬0

5. (0 ↔ 1)

6. (1 ^ 0)

7. (1 → l)

8. (1 ↔ 1)

9. (0 v 0)
10. (0 → 1)

11. (1 v 1)

12. (1 ^ 1)

13. (1 → 0)

14. ¬ 1

Exercidos

Assuma que A = 1 e B = 1 (A e B são ambas verdadeiras) enquanto X= 0 e Y = 0 (X e Y são ambas

falsas). Calcule o valor de verdade de cada uma das fbfs abaixo.

1. ¬ (A • X)
2. (˜A ^ ˜ X)
3. ¬ (¬ A • ¬ X)
4.(A → X)
5. (¬ X ↔ Y)
6.( ¬ B → A)
7.˜ (A → X)
8. (B ˆ (X v A))
9. ((A • ¬ X) → ~ B)
10. ¬ (A → (X v ¬ B)
11. (¬ X v ¬ (¬ A ↔ B))
12. (¬ (X ^ A) v ¬ B)
13.( ¬ Y → (A •X))
14.( ~A v ~(X→Y))
15. (¬ (A → B) → (B →Y))