Lógica Matemática - Avaliação 2

Prévia do material em texto

Lógica Matemática (MAT23) 
Avaliação Individual I (Individual) - (Cód.: 823910) 
 
1 Uma tabela-verdade apresenta todos os valores lógicos possíveis para uma proposição simples. A combinação várias 
proposições simples e o eventual valor lógico de uma proposição é composta para cada combinação dos valores das 
proposições simples que a formam. 
 
 
 
Considerando a tabela-verdade da proposição P(p, q) = p ∨ ~q, e a coluna solução, de cima para baixo, assinale a 
alternativa CORRETA: 
 
A) V - F - V - V. 
B) V - V - F - V. 
C) F - V - F - V. 
D) V - V - F - F. 
 
2 Ao analisar uma tabela-verdade, existem três tipos de conclusões que podem ser colocadas quanto ao tipo de resposta 
encontrada. Elas podem ser tautologias, contradições ou contingências. 
 
 
 
Sobre a proposição P(p, q) =~(p ∨ q) → ~(p ∧ q), assinale a alternativa CORRETA: 
 
A) Tautológica. 
B) Contingente. 
C) Assertiva. 
D) Contraditória. 
 
3 Na tabela-verdade, as células de ambas as colunas são preenchidas com valores lógicos V e F, de modo a esgotar 
todas as possíveis combinações dentro de um argumento. Podemos analisar as colunas das premissas e sua conclusão 
para verificar a veracidade do argumento. Com base na tabela exposta e nos argumentos, analise as sentenças a seguir: 
 
 
 
I- O argumento p → q, p |-- p ∧ q é um sofisma. 
II- O argumento p ∨ q, p |-- p ∧ q é um sofisma. 
III- O argumento p → q, p ∨ q, ~p |-- ~(p ∧ q) é um sofisma. 
Assinale a alternativa CORRETA: 
 
A) As sentenças I e II estão corretas. 
B) As sentenças I e III estão corretas. 
C) Somente a sentença II está correta. 
D) As sentenças II e III estão corretas. 
 
4 Uma das importantes utilizações da árvore de refutação é o fato de que a análise é rapidamente feita quando se tem 
várias premissas. Por outro lado, resolver problemas lógicos com várias premissas na tabela-verdade é um trabalho 
árduo e demorado. Supondo que uma tabela-verdade possua 32 linhas de resolução, calcule quantas premissas há nesta 
resolução. Sobre a quantidade de premissas, assinale a alternativa CORRETA: 
 
A) 5. 
B) 4. 
C) 6. 
D) 7. 
 
5 Ao analisar a última coluna de uma tabela verdade, podemos fazer várias observações, como comparar um argumento 
com outro para verificar sua equivalência. Construindo a tabela-verdade da proposição P(p, q) = (~p ↔ q) ∧ (q → p), 
e com base na coluna solução, de cima para baixo, assinale a alternativa que apresenta a sequência CORRETA: 
 
 
 
A) V - F - V - V. 
B) V - V - F - V. 
C) F - V - F - V. 
D) F - V - F - F. 
 
6 Uma tabela-verdade apresenta todos os valores lógicos possíveis para uma proposição simples. A combinação várias 
proposições simples e o eventual valor lógico de uma proposição é composta para cada combinação dos valores das 
proposições simples que a formam. 
 
 
 
Considerando a tabela-verdade da proposição P(p, q) = ~p ∨ q, e a coluna solução, de cima para baixo, assinale a 
alternativa CORRETA: 
 
A) V - V - F - F. 
B) V - V - V - V. 
C) V - F - V - V. 
D) F - V - F - V. 
7 Na tabela-verdade, as células de ambas as colunas são preenchidas com valores lógicos V e F, de modo a esgotar 
todas as possíveis combinações dentro de um argumento. Podemos analisar as colunas das premissas e sua conclusão 
para verificar a veracidade do argumento. Com base na tabela exposta e nos argumentos, analise as sentenças a seguir: 
 
 
 
I - O argumento p → q, ~p |-- p ∧ q é um sofisma. 
II - O argumento p → q, p ∨ q, ~p |-- p ∧ q é válido. 
III - O argumento p → q, p ∨ q |-- p ∧ q é válido. 
 
Assinale a alternativa CORRETA: 
 
A) As sentenças II e III estão corretas. 
B) As sentenças I e II estão corretas. 
C) As sentenças I e III estão corretas. 
D) Somente a sentença I está correta. 
 
8 Uma tabela-verdade apresenta todos os valores lógicos possíveis para uma proposição simples. A combinação várias 
proposições simples e o eventual valor lógico de uma proposição é composta para cada combinação dos valores das 
proposições simples que a formam. 
 
 
 
Considerando a tabela-verdade da proposição P(p, q) = ~p→(p ∧ q), e a coluna solução, de cima para baixo, assinale 
a alternativa CORRETA: 
 
A) V - V - F - F. 
B) V - V - F - V. 
C) F - V - F - F. 
D) V - F - F - F. 
 
9 Uma das importantes utilizações da árvore de refutação é fato de que a análise é rapidamente feita quando se tem 
várias premissas. Por outro lado, resolver problemas lógicos com várias premissas na tabela-verdade é um trabalho 
árduo e demorado. Supondo que uma tabela verdade possua 16 linhas de resolução, calcule quantas premissas há nesta 
resolução. Sobre a quantidade de premissas, assinale a alternativa CORRETA: 
 
A) 4. 
B) 6. 
C) 5. 
D) 7. 
 
10 Uma tabela-verdade apresenta todos os valores lógicos possíveis para uma proposição simples. A combinação várias 
proposições simples e o eventual valor lógico de uma proposição é composta para cada combinação dos valores das 
proposições simples que a formam. 
 
 
 
Considerando a tabela-verdade da proposição P(p, q) = ~(p∨~q), e a coluna solução, de cima para baixo, assinale a 
alternativa CORRETA: 
 
A) V - V - F - F. 
B) F - V - F - V. 
C) V - V - V - V. 
D) F - F - V - F.