resumo aula-12-linguagem-da-logica-formal-tabela-verdade-viii

Prévia do material em texto

1
Linguagem da Lógica Formal - Tabela-Verdade VIII
RACIOCÍNIO LÓGICO
www.grancursosonline.com.br
AN
O
TAÇ
Õ
ES
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
2
Linguagem da Lógica Formal - Tabela-Verdade VIII
RACIOCÍNIO LÓGICO
www.grancursosonline.com.br
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
3
Linguagem da Lógica Formal - Tabela-Verdade VIII
RACIOCÍNIO LÓGICO
www.grancursosonline.com.br
AN
O
TAÇ
Õ
ES
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. 
4
Linguagem da Lógica Formal - Tabela-Verdade VIII
RACIOCÍNIO LÓGICO
www.grancursosonline.com.br
AN
O
TA
Ç
Õ
ES
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:
5
Linguagem da Lógica Formal - Tabela-Verdade VIII
RACIOCÍNIO LÓGICO
www.grancursosonline.com.br
AN
O
TAÇ
Õ
ES
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
Cartas André disse: Nº par →mamífero V
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. 
6
Linguagem da Lógica Formal - Tabela-Verdade VIII
RACIOCÍNIO LÓGICO
www.grancursosonline.com.br
AN
O
TA
Ç
Õ
ES
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.