prova lógica matemática

Prévia do material em texto

O Cálculo de Predicados, dotado de uma linguagem mais rica, tem várias aplicações importantes não só para matemáticos e filósofos, como também para estudantes de Ciência da Computação. Na demonstração do argumento a seguir, indique a sequência CORRETA das regras lógicas aplicadas em X, Y, Z, W, T:
	
	 a)
	Condicional, Dupla Negação, Comutatividade, Condicional, Modus Ponens.
	 b)
	Condicional, Eliminação da Conjunção, Comutatividade, Contradição, Modus Ponens.
	 c)
	Comutatividade, Dupla Negação, Silogismo Hipotético, Condicional, Modus Ponens.
	 d)
	Condicional, Dupla Negação, Associatividade, Condicional, Modus Tollens.
Anexos:
FORMULÁRIO UNIDADE 2-3 - LÓGICA MATEMÁTICA
	2.
	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, pois o valor lógico da proposição composta depende do valor lógico da proposição simples.
	
	 a)
	Somente a opção III está correta.
	 b)
	Somente a opção I está correta.
	 c)
	Somente a opção II está correta.
	 d)
	Somente a opção IV está correta.
Anexos:
FORMULÁRIO UNIDADE 2-3 - LÓGICA MATEMÁTICA
FORMULÁRIO UNIDADE 2-3 - LÓGICA MATEMÁTICA
	3.
	Uma proposição é um termo lógico que pode aferir dois valores (de forma exclusiva): Verdadeiro ou Falso. Visto isto, sejam as proposições 
p: Está claro 
q: Está seco. 
Assinale a alternativa CORRETA que traduz para a linguagem corrente a proposição composta:
	
	 a)
	Se está claro, então não está molhado.
	 b)
	Se está escuro, então está molhado.
	 c)
	Se está claro, então está seco.
	 d)
	Se está claro, então está molhado.
Anexos:
FORMULÁRIO UNIDADE 1 - LÓGICA MATEMÁTICA
	4.
	A disjunção exclusiva é uma operação sobre dois ou mais valores lógicos que retrata tipicamente os valores de duas proposições, sendo que produz um valor verdadeiro apenas se a quantidade de operadores verdadeiros for ímpar. Qual das proposições compostas a seguir apresenta uma disjunção exclusiva?
	 a)
	p: Jairo é adulto ou criança.
	 b)
	q: Paulo é professor ou médico.
	 c)
	r: Saulo é pagodeiro ou padeiro.
	 d)
	s: Janaina é bonita ou simpática.
Anexos:
FORMULÁRIO UNIDADE 1 - LÓGICA MATEMÁTICA
FORMULÁRIO UNIDADE 1 - LÓGICA MATEMÁTICA
	5.
	Fica claro que, quando falarmos em valor lógico, estamos nos referindo a um dos dois possíveis resultados cujos valores podem ser apenas verdadeiro ou falso. Baseado nestes valores, analise o  seguinte argumento:
A aluna A1 é estudiosa. A aluna A2 é estudiosa.... A aluna An+1 é estudiosa.
Esse argumento é:
I- Uma dedução, cujas premissas têm como consequência uma conclusão verdadeira.
II- Uma abdução, cuja conclusão explica aquilo que está enunciado nas premissas.
III- Uma indução, cujas premissas podem ser verdadeiras e a conclusão pode ser falsa.
IV- Um argumento, cuja conclusão sempre preserva a suposta verdade das premissas.
V- Um argumento, cuja conclusão não preserva a suposta verdade das premissas.
Assinale a alternativa CORRETA:
	 a)
	As sentenças II e IV estão corretas.
	 b)
	As sentenças II e V estão corretas.
	 c)
	As sentenças I e IV estão corretas.
	 d)
	As sentenças III e V estão corretas.
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
	6.
	A indução é o raciocínio que, após considerar um número suficiente de casos particulares, conclui uma verdade geral. Neste estudo, temos várias vertentes e tipos de casos que nos levam a conclusões indutivas. No argumento: "90% dos estudantes de matemática são criativos, e José é estudante de matemática, logo José é criativo". Com relação ao trecho citado, classifique V para as opções verdadeiras e F para as falsas:
(    ) Silogismo estatístico.
(    ) Força do enunciado.
(    ) Generalização estatística.
(    ) Generalização indutiva.
Assinale a alternativa que apresenta a sequência CORRETA:
	 a)
	V - F - F - V.
	 b)
	V - F - F - F.
	 c)
	F - F - V - F.
	 d)
	F - V - F - F.
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
	7.
	Três veículos estão parados em um estacionamento: um é vermelho, outro é prata e o outro é branco.
Observe as afirmações a seguir, sabendo que apenas uma delas é verdadeira:
I- O Corsa não é vermelho.
II- O Gol é vermelho.
III- O Palio não é prata.
Nessas condições, é possível afirmar corretamente que:
	 a)
	O Gol é prata, o Corsa é vermelho e o Palio é branco.
	 b)
	O Gol é branco, o Corsa é prata e o Palio é vermelho.
	 c)
	O Gol é prata, o Corsa é branco e o Palio é vermelho.
	 d)
	O Gol é branco, o Corsa é vermelho e o Palio é prata.
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
	8.
	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 I.
	 b)
	O diagrama representa a operação IV.
	 c)
	O diagrama representa a operação III.
	 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
	9.
	Em Lógica Matemática, a indução considera casos em que, a partir de um número razoável de casos, aferimos as conclusões. Alternativamente, pode ser definida como um argumento no qual a conclusão tem uma abrangência maior que as premissas. Com relação à indução, classifique V para as opções verdadeiras e F para as falsas:
(    ) Propõe verdades.
(    ) É probabilística.
(    ) É verdade absoluta.
(    ) É empírica.
Assinale a alternativa que apresenta a sequência CORRETA:
	 a)
	V - V - F - V.
	 b)
	F - F - V - F.
	 c)
	F - 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
	10.
	Na substituição de argumentos em linguagem simbólica, há a possibilidade de as fórmulas formadas não compreenderem a uma fbfs. Existem alguns casos em que estas irregularidades não podem aparecer, pois seria impossível analisar as proposições. Sabendo disso, assinale a alternativa CORRETA que apresenta uma fbfs:
	
	 a)
	Somente a opção II está correta.
	 b)
	Somente a opção III está correta.
	 c)
	Somente a opção I está correta.
	 d)
	Somente a opção IV está correta.
Anexos:
FORMULÁRIO UNIDADE 1 - LÓGICA MATEMÁTICA
FORMULÁRIO UNIDADE 1 - LÓGICA MATEMÁTICA
FORMULÁRIO UNIDADE 1 - LÓGICA MATEMÁTICA