PROVA 2 LÓGICA

Prévia do material em texto

1. 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. Neste sentido, a proposição a seguir é: 
 
 a) Contingente. 
 b) Tautológica. 
 c) Contraditória. 
 d) Assertiva. 
Anexos: 
FORMULÁRIO UNIDADE 2-3 - LÓGICA MATEMÁTICA 
 
2. 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. Neste sentido: 
 
 a) F - V - F - V. 
 b) V - V - F - V. 
 c) V - F - V - V. 
 d) V - V - F - F. 
Anexos: 
FORMULÁRIO UNIDADE 2-3 - LÓGICA MATEMÁTICA 
FORMULÁRIO UNIDADE 2-3 - LÓGICA MATEMÁTICA 
 
3. Considere os conectivos lógicos e as fórmulas proposicionais a seguir, sendo P, Q e 
R proposições simples. De acordo com interpretação das fórmulas proposicionais a 
seguir e suas tabelas-verdade: 
 
 a) A tem 8 linhas e B tem 4 linhas e ambas são tautologias. 
 b) Ambas têm 8 linhas e são contingências. 
 c) Ambas têm 8 linhas e são tautologias. 
 d) A tem 8 linhas e é uma tautologia, B tem 4 linhas e é uma contingência. 
Anexos: 
FORMULÁRIO UNIDADE 2-3 - LÓGICA MATEMÁTICA 
FORMULÁRIO UNIDADE 2-3 - LÓGICA MATEMÁTICA 
FORMULÁRIO UNIDADE 2-3 - LÓGICA MATEMÁTICA 
 
4. Seja o conjunto dos números naturais definidos por N = {0, 1, 2, ...}. A seguir temos 
alguns subconjuntos dos naturais: 
 
? A = {x / x é natural par menores que 10} 
? B = {x / x é natural maior que 2 e menor que 8} 
? C = {x / x é natural ímpar menor que 15} 
 
Com base nas definições destes subconjuntos dos naturais, qual das alternativas 
apresenta A - (B U C)? 
 a) {0, 2, 8} 
 b) {0, 4, 6, 8} 
 c) {2, 6} 
 d) {2, 4} 
Anexos: 
FORMULÁRIO UNIDADE 2-3 - LÓGICA MATEMÁTICA 
FORMULÁRIO UNIDADE 2-3 - LÓGICA MATEMÁTICA 
FORMULÁRIO UNIDADE 2-3 - LÓGICA MATEMÁTICA 
FORMULÁRIO UNIDADE 2-3 - LÓGICA MATEMÁTICA 
 
5. Uma proposição composta é o resultado da combinação de duas ou mais preposições 
simples. Por exemplo: 
 
O número 24 é divisível por 3 e 12 é o dobro de 24. 
 
Sendo assim, sobre as proposições compostas p v q e ~ (p ^ q), assinale a alternativa 
CORRETA: 
 
 a) Somente a afirmativa II está correta. 
 b) Somente a afirmativa IV está correta. 
 c) Somente a afirmativa III está correta. 
 d) Somente a afirmativa I está correta. 
Anexos: 
FORMULÁRIO UNIDADE 2-3 - LÓGICA MATEMÁTICA 
FORMULÁRIO UNIDADE 2-3 - LÓGICA MATEMÁTICA 
FORMULÁRIO UNIDADE 2-3 - LÓGICA MATEMÁTICA 
FORMULÁRIO UNIDADE 2-3 - LÓGICA MATEMÁTICA 
FORMULÁRIO UNIDADE 2-3 - LÓGICA MATEMÁTICA 
 
6. A palavra tautologia foi foi usada na Grécia antiga para descrever um enunciado que 
era verdadeiro meramente pelo fato de dizer a mesma coisa duas vezes. Em lógica 
matemática e, em particular, na análise de uma tabela-verdade, uma tautologia é uma 
proposição composta cuja última coluna da tabela-verdade: 
 a) Possui dois valores lógicos V e dois valores lógicos F. 
 b) Possui somente o valor lógico F. 
 c) Possui, obrigatoriamente, ao menos um valor lógico V e um F. 
 d) Possui somente o valor lógico V. 
Anexos: 
FORMULÁRIO UNIDADE 2-3 - LÓGICA MATEMÁTICA 
FORMULÁRIO UNIDADE 2-3 - LÓGICA MATEMÁTICA 
FORMULÁRIO UNIDADE 2-3 - LÓGICA MATEMÁTICA 
FORMULÁRIO UNIDADE 2-3 - LÓGICA MATEMÁTICA 
FORMULÁRIO UNIDADE 2-3 - LÓGICA MATEMÁTICA 
FORMULÁRIO UNIDADE 2-3 - LÓGICA MATEMÁTICA 
 
7. Para Aristóteles, a lógica não é ciência, e sim um instrumento para o correto pensar. 
Pensando assim, afirmou que o principal objeto da lógica é o silogismo. Silogismo é 
um argumento constituído de proposições das quais se infere uma conclusão. Sobre a 
regra aristotélica do silogismo, assinale a alternativa CORRETA: 
 a) De duas premissas negativas só se pode tirar uma conclusão negativa. 
 b) De duas premissas afirmativas só se pode tirar uma conclusão afirmativa. 
 c) De duas premissas afirmativas só se pode tirar uma conclusão negativa. 
 d) De duas premissas negativas só se pode tirar uma conclusão afirmativa. 
Anexos: 
FORMULÁRIO UNIDADE 2-3 - LÓGICA MATEMÁTICA 
FORMULÁRIO UNIDADE 2-3 - LÓGICA MATEMÁTICA 
FORMULÁRIO UNIDADE 2-3 - LÓGICA MATEMÁTICA 
FORMULÁRIO UNIDADE 2-3 - LÓGICA MATEMÁTICA 
FORMULÁRIO UNIDADE 2-3 - LÓGICA MATEMÁTICA 
FORMULÁRIO UNIDADE 2-3 - LÓGICA MATEMÁTICA 
FORMULÁRIO UNIDADE 2-3 - LÓGICA MATEMÁTICA 
FORMULÁRIO UNIDADE 2-3 - LÓGICA MATEMÁTICA 
 
8. 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. 
 
 a) F - V - F - F. 
 b) V - V - V - V. 
 c) V - V - F - V. 
 d) V - F - F - V. 
Anexos: 
FORMULÁRIO UNIDADE 2-3 - LÓGICA MATEMÁTICA 
FORMULÁRIO UNIDADE 2-3 - LÓGICA MATEMÁTICA 
FORMULÁRIO UNIDADE 2-3 - LÓGICA MATEMÁTICA 
FORMULÁRIO UNIDADE 2-3 - LÓGICA MATEMÁTICA 
FORMULÁRIO UNIDADE 2-3 - LÓGICA MATEMÁTICA 
FORMULÁRIO UNIDADE 2-3 - LÓGICA MATEMÁTICA 
FORMULÁRIO UNIDADE 2-3 - LÓGICA MATEMÁTICA 
FORMULÁRIO UNIDADE 2-3 - LÓGICA MATEMÁTICA 
FORMULÁRIO UNIDADE 2-3 - LÓGICA MATEMÁTICA 
 
9. Os diagramas de Venn mostram todas as relações lógicas possíveis entre elementos 
finitos de um conjunto. Visto isto, o diagrama de Venn a seguir representa qual das 
operações entre os conjuntos A, B e C relacionadas a seguir na parte pintada de 
cinza? 
 
 a) O diagrama representa a operação IV. 
 b) O diagrama representa a operação III. 
 c) O diagrama representa a operação I. 
 d) O diagrama representa a operação II. 
Anexos: 
FORMULÁRIO UNIDADE 2-3 - LÓGICA MATEMÁTICA 
FORMULÁRIO UNIDADE 2-3 - LÓGICA MATEMÁTICA 
FORMULÁRIO UNIDADE 2-3 - LÓGICA MATEMÁTICA 
FORMULÁRIO UNIDADE 2-3 - LÓGICA MATEMÁTICA 
FORMULÁRIO UNIDADE 2-3 - LÓGICA MATEMÁTICA 
FORMULÁRIO UNIDADE 2-3 - LÓGICA MATEMÁTICA 
FORMULÁRIO UNIDADE 2-3 - LÓGICA MATEMÁTICA 
FORMULÁRIO UNIDADE 2-3 - LÓGICA MATEMÁTICA 
FORMULÁRIO UNIDADE 2-3 - LÓGICA MATEMÁTICA 
FORMULÁRIO UNIDADE 2-3 - LÓGICA MATEMÁTICA 
 
10. A tabela-verdade é usada para determinar o valor lógico de uma proposição 
composta, sendo que os valores das proposições simples já são conhecidos. Nelas, 
podemos aplicar as operações lógicas básicas. Sendo assim, analisando a tabela 
verdade a seguir, ela será válida para qual tipo de operação lógica? 
 
 a) Disjunção inclusiva. 
 b) Disjunção exclusiva. 
 c) Conjunção. 
 d) Negação. 
Anexos: 
FORMULÁRIO UNIDADE 2-3 - LÓGICA MATEMÁTICA 
FORMULÁRIO UNIDADE 2-3 - LÓGICA MATEMÁTICA 
FORMULÁRIO UNIDADE 2-3 - LÓGICA MATEMÁTICA 
FORMULÁRIO UNIDADE 2-3 - LÓGICA MATEMÁTICA 
FORMULÁRIO UNIDADE 2-3 - LÓGICA MATEMÁTICA 
FORMULÁRIO UNIDADE 2-3 - LÓGICA MATEMÁTICA 
FORMULÁRIO UNIDADE 2-3 - LÓGICA MATEMÁTICA