RACIOCÍNIO LÓGICO

Linguagem da Lógica Formal – Tabela–Verdade V

Produção: Equipe Pedagógica Gran Cursos Online

LINGUAGEM DA LÓGICA FORMAL – TABELA-VERDADE V

Tabelas-verdade

1. Conjunção: “e, mas” / símbolo ˄

X
e:
∩
A B

A B

TABELA-VERDADE
A B A˄B
V V V
V F F
F V F
F F F

2. Disjunção: “ou” / símbolo: ˅

+ não há algo comum
ou: P Q
U
Há algo comum

P Q

TABELA-VERDADE
P Q P˅Q
V V V
V F V
F V V
F F F

1
www.grancursosonline.com.br
RACIOCÍNIO LÓGICO
Linguagem da Lógica Formal – Tabela-Verdade V
Produção: Equipe Pedagógica Gran Cursos Online

Pode comutar?

P˅Q

Q˅P

Sim. É possível comutar.

P˅Q ↔ Q˅P

EXERCÍCIOS

Considerando que P, Q, R e S são proposições verdadeiras, julgue os itens

seguintes.

1. (CESPE) ¬ P ˅ Q é verdadeira.

Comentário
P: V
Q: V
R: V
S: V

¬V˅V=
F˅V=V

2. (CESPE) ¬ [(¬ P ˅ Q) ˅ (¬ R ˅ S)] é verdadeira.

Comentário
P: V
Q: V
R: V
S: V
ANOTAÇÕES

2
www.grancursosonline.com.br
RACIOCÍNIO LÓGICO
Linguagem da Lógica Formal – Tabela–Verdade V
Produção: Equipe Pedagógica Gran Cursos Online

¬ [(¬ V ˅ V) ˅ (¬ V ˅ V)]
¬ [(F ˅ V) ˅ (F ˅ V)]
¬ [V ˅ V]
¬ [V] = F

3. (CESPE) [P ˄ (Q ˅ S)] ˄ (¬ [(R ˄ Q) v (P ˄ S)]) é verdadeira.

Comentário
P: V
Q: V
R: V
S: V

[V ˄ (V ˅ V)] ˄ (¬ [(V ˄ V) v (V ˄ V)])

[V ˄ V] ˄ (¬ [V v V])

V ˄ ¬ (V)

V˄F=F

4. (CESPE) (P ˅ (¬ S)) ˄ (Q ˅ (¬ R)) é verdadeira.

Comentário
P: V
Q: V
R: V
S: V

(V ˅ (¬ V)) ˄ (V ˅ (¬ V))

(V ˅ F) ˄ (V ˅ F)

V˄V=V
ANOTAÇÕES

3
www.grancursosonline.com.br
RACIOCÍNIO LÓGICO
Linguagem da Lógica Formal – Tabela-Verdade V
Produção: Equipe Pedagógica Gran Cursos Online

5. (FUNIVERSA/2008) Os valores lógicos – verdadeiro e falso – podem cons-

tituir uma álgebra própria, conhecida como álgebra booleana. As operações
com esses valores podem ser representadas em tabelas-verdade, como
exemplificado abaixo:

As operações podem ter diversos níveis de complexidade e também diversas

tabelas-verdade. Analise as afirmativas abaixo e assinale a alternativa correta.
I – Se os valores lógicos de A, B e C na expressão (A e B e C), são, respectiva-
mente, falso, falso e verdadeiro, então o valor lógico dessa expressão é falso.
II – Se os valores lógicos de A, B e C na expressão (A ou B ou C), são, respec-
tivamente, falso, verdadeiro e falso, então o valor lógico dessa expressão
é verdadeiro.
III – Se os valores lógicos de A, B e C na expressão [A e (B ou C)], são, res-
pectivamente, falso, verdadeiro e verdadeiro, então o valor lógico dessa
expressão é verdadeiro.
IV – Se os valores lógicos de A, B e C na expressão [A ou (B e C)], são, respectiva-
mente, verdadeiro, falso e falso, então o valor lógico dessa expressão é falso
a. Todas as afirmativas estão erradas.
b. Há apenas uma afirmativa certa.
c. Há apenas duas afirmativas certas.
d. Há apenas três afirmativas certas.
e. Todas as afirmativas estão certas.

Comentário
I – A ˄ B ˄ C; A: F
B: F
C: V
ANOTAÇÕES

4
www.grancursosonline.com.br
RACIOCÍNIO LÓGICO
Linguagem da Lógica Formal – Tabela–Verdade V
Produção: Equipe Pedagógica Gran Cursos Online

F˄F˄V
F˄V=F

II – A ˅ B ˅ C; A: F
B: V
C: F
F˅V˅F
V˅F=V

III – (A ˄ (B ˅ C); A: F
B: V
C: V
F ˄ (V ˅ V)
F˄V=F

IV – A ˅ (B ˄ C); A: V
B: F
C: F
V ˅ (F ˄ F)
V˅F=V

GABARITO
1. C
2. E
3. E
4. C
5. c

Este material foi elaborado pela equipe pedagógica do Gran Cursos Online, de acordo com a
aula preparada e ministrada pelo professor Josimar Padilha.
ANOTAÇÕES

5
www.grancursosonline.com.br