Prova 2 logica matematica

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) Contraditória.
	
	b) Tautológica.
	
	c) Contingente.
	
	d) Assertiva.
	 
	 
	2.
	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. Analise os argumentos a seguir e assinale a alternativa CORRETA: II 
	
	
	a) As sentenças I e II estão corretas.
	
	b) Somente a sentença III está correta.
	
	c) As sentenças I e III estão corretas.
	
	d) As sentenças II e III estão corretas.
	 
	 
	3.
	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 possui 16 linhas de resolução, quantas premissas há nesta resolução?
	
	a) 4.
	
	b) 7.
	
	c) 6.
	
	d) 5.
	 
	 
	4.
	Em Lógica Matemática, dizemos que duas proposições são equivalentes se a primeira implicar a segunda e vice-versa. Por exemplo:
P: todo triângulo tem a soma de seus ângulos internos igual a 180°.
Q: se um polígono possui a soma de seus ângulos igual a 180°, ele é um triângulo.
Notamos que P e Q traduzem uma afirmação equivalente.
Sendo assim:
	
	
	a) Somente a opção II está correta.
	
	b) Somente a opção IV está correta.
	
	c) Somente a opção III está correta.
	
	d) Somente a opção I está correta.
	 
	 
	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.
	
	
	a) F - V - F - F.
	
	b) V - V - V - V.
	
	c) V - V - F - V.
	
	d) V - F - F - F.
	 
	 
	6.
	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 15}
? B = {x / x é natural maior que 1 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 U C) - (A U B)?
	
	a) {1, 9, 11, 13}
	
	b) {1, 11, 13}
	
	c) {9, 11}
	
	d) {1, 13}
	 
	 
	7.
	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 é uma inconsistente, B tem 4 linhas e é uma contingência.
	
	b) Ambas têm 8 linhas, porém A é tautologia e B é inconsistente.
	
	c) A tem 8 linhas e B tem 4 linhas e ambas são tautologias.
	
	d) Ambas têm 8 linhas e são tautologias.
	 
	 
	8.
	Na ilustração a seguir, temos quatro conjuntos A, B, C e D representadas por circunferências que se interceptam. Estas regiões estão numeradas de 1 a 13. Por exemplo, o número 1 representa a intersecção entre os quatro conjuntos. Sendo assim, qual das alternativas apresenta a numeração que compreende a região delimitado por:
	
	
	a) 4.
	
	b) 2, 3, 6, 7, 8, 9, 11 e 13.
	
	c) 1 e 5.
	
	d) 2, 3 e 4.
	 
	 
	9.
	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) Negação.
	
	b) Disjunção exclusiva.
	
	c) Conjunção.
	
	d) Disjunção inclusiva.
	 
	 
	10.
	Uma tabela-verdade apresenta todos os valores lógicos possíveis para uma proposição simples, a combinação de 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 - F - V - F.
	
	b) V - V - V - V.
	
	c) V - V - F - F.
	
	d) F - V - F - V.