RACIOCÍNIO LÓGICO

Linguagem da Lógica Formal - Tabela-Verdade VIII

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

LINGUAGEM DA LÓGICA FORMAL – TABELA-VERDADE VIII

1. (CESPE/STF-2008) Caso as colunas em branco na tabela abaixo sejam cor-

retamente preenchidas, a última coluna dessa tabela corresponderá à ex-
pressão [P ^ (¬Q)] ˅ [Q→P].
P Q ¬Q P ^ (¬Q) Q→P
V V V
V F V
F V F
F F V

Resolução
Calcula-se o número de linhas por 2n, em que n é o número de proposições
simples: 2n = 22 = 4
P Q ¬Q P ^ (¬ Q) Q→P [P ^ (¬Q)] ˅ [Q→P]
V V F F V V
V F V V V V
F V F F F F
F F V F V V

• P ^ (¬ Q): interseção da 1ª e 3ª colunas

• Q→P: interseção da 1ª e 2ª colunas, mas a leitura deve ser feita do Q para o P.
• [P ^ (¬Q)] → [Q→P]: interseção da 4ª e 5ª colunas

2. (CESPE/STF-2008) A última coluna da tabela-verdade abaixo corresponde à

proposição (P ^ R) → Q.
P Q R P^R
V V V V
V V F V
V F V F
V F F V
F V V F
F V F V
F F V F
F F F V
ANOTAÇÕES

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

Resolução
Número de linhas: 2n = 23 = 8
P Q R P^R (P ^ R) → Q
V V V V V
V V F F V
V F V V F
V F F F V
F V V F V
F V F F V
F F V F V
F F F F V

• P ^ R: interseção da 1ª e 3ª colunas
• P ^ R→Q: interseção da 2ª e 4ª colunas, mas a leitura deve ser feita do P
^ R para o Q.
• [P ^ (¬Q)] → [Q→P]: interseção da 4ª e 5ª colunas

3. (CESPE/STF-2008) A última coluna da tabela-verdade abaixo corresponde à

proposição (¬P) ˅ (Q → R).
P Q R ¬P Q→R
V V V V
V V F F
V F V V
V F F V
F V V V
F V F V
F F V V
F F F V

Resolução
Número de linhas: 2n = 23 = 8
P Q R ¬P Q→R (¬P) ˅ (Q → R)
V V V F V V
V V F F F F
V F V F V V
V F F F V V
F V V V V V
F V F V F V
F F V V V V
F F F V V V
• Q ^ R: interseção da 2ª e 3ª colunas
• (¬P) ˅ (Q → R): interseção da 4ª e 5ª colunas

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

4. (ESAF) Se o jardim não é florido, então o gato mia. Se o jardim é florido, en-
tão o passarinho não canta. Ora, o passarinho canta, logo:
a. O jardim é florido e o gato mia.
b. O jardim é florido e o gato não mia.
c. O jardim não é florido e o gato mia.
d. O jardim não é florido e o gato não mia.
e. Se o passarinho canta então o gato não mia.

Resolução
Consideraremos todas as proposições verdadeiras. Partiremos da proposição
simples “o passarinho canta”, que a questão considerou verdadeira.
• P1: ¬ JF → GM = V
V V
• P2: JF → ¬ PC = V
F F
• P3: PC = V

Passemos a analisar os operadores lógicos constantes das alternativas:

a) O jardim é florido e o gato mia = F ^ V = F
b) O jardim é florido e o gato não mia = F ^ F = F
c) O jardim não é florido e o gato mia =V ^ V = V
d) O jardim não é florido e o gato não mia =V ^ F = F
e) Se o passarinho canta então o gato não mia = V → F = F

5. (ESAF) Se o anão foge do tigre, então o tigre é feroz. Se o tigre é feroz, então
o rei fica no castelo. Se o rei fica no castelo, então a rainha briga com o rei.
Ora, a rainha não briga com o rei. Logo:
a. o rei não fica no castelo e o anão não foge do tigre.
b. o rei fica no castelo e o tigre é feroz.
c. o rei não fica no castelo e o tigre é feroz.
d. o tigre é feroz e o anão foge do tigre.
e. o tigre não é feroz e o anão foge do tigre.
ANOTAÇÕES

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

Resolução
Consideraremos todas as proposições verdadeiras. Partiremos da proposição
simples P4 “a rainha não briga com o rei”, que a questão considerou verdadeira.
• P1: Aft → Tf = V
F→F
• P2: Tf →Rfc = V
F →F
• P3: Rfc →Rbr = V
F →F
• P4: ¬ Rbr = V

Passemos a analisar os operadores lógicos constantes das alternativas:

a) o rei não fica no castelo e o anão não foge do tigre = V ^ V = V
b) o rei fica no castelo e o tigre é feroz = F ^ F = F
c) o rei não fica no castelo e o tigre é feroz = V ^ F = F
d) o tigre é feroz e o anão foge do tigre = F ^ F = F
e) o tigre não é feroz e o anão foge do tigre = V ^ F = F

6. (VUNESP/POLÍCIA CIVIL-SP/2013) André tem um conjunto de cartas. Cada

carta tem apenas um número em uma das faces e a foto de apenas um ani-
mal na outra. André dispôs quatro cartas sobre a mesa com as seguintes
faces expostas: cisne, gato, número 7 e número 10, como se mostra:
ANOTAÇÕES

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

André disse: “Se na face de uma carta há número par, então no verso há um
animal mamífero”. Para verificar se a afirmação de André está correta, é
a. suficiente que se verifiquem os versos das cartas B e C.
b. suficiente que se verifiquem os versos das cartas A e C.
c. suficiente que se verifiquem os versos das cartas A e D.
d. suficiente que se verifiquem os versos das cartas B e D.
e. necessário que se verifiquem os versos das quatro cartas.

Resolução
Nº par →mamífero

André disse:
Cartas V
Nº par →mamífero
A V/F → F V/F
B V/F →V V
C F →V/F V
D V → V/F V/F

A: é necessário virar a carta A, porque a afirmação pode ser verdadeira ou

falsa, dependendo se o número for par ou ímpar.
B: independentemente de o número ser par, a afirmação de André será
verdadeira.
C: independentemente de ser um mamífero, a afirmação de André será
verdadeira.
D: é necessário virar a carta A, pois a afirmação pode ser verdadeira ou falsa,
dependendo se houver um mamífero no verso da carta.
ANOTAÇÕES

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

GABARITO

1. C
2. E
3. C
4. c
5. a
6. 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

6
www.grancursosonline.com.br