Prova I Lógica Matemática

Prévia do material em texto

1.
	Fazer a tradução da linguagem natural de proposições para a linguagem simbólica requer o conhecimento dos operadores lógicos (conectivos) presentes em cada situação, para que se possa fazer a utilização correta em cada proposição. Sobre as proposições que apresentam somente o conectivo da conjunção, analise as sentenças a seguir:
I- Leonardo é catarinense ou gaúcho.
II- Não é verdade que Paola é bonita.
III- Se Cris é bonita, então sou linda.
IV- Ana foi ao shopping, contudo seu amigo Luiz foi à praia.
Assinale a alternativa CORRETA:
	 a)
	Somente a sentença IV está correta.
	 b)
	Somente a sentença II está correta.
	 c)
	As sentenças II e IV estão corretas.
	 d)
	As sentenças I e III estão corretas.
Anexos:
FORMULÁRIO UNIDADE 1 - LÓGICA MATEMÁTICA
	2.
	A substituição ou a tradução de proposições em linguagem simbólica é uma prática que os estudantes de lógica devem conhecer muito bem. As proposições simples devem ser trocadas por letras maiúsculas do alfabeto nos argumentos. Analisando o argumento a seguir, qual deverá ser a forma simbólica correta para representá-lo?
Fabrícia foi para a faculdade ou para a academia se, e somente se, ela não receber visita em sua casa.
	
	 a)
	Somente a opção III está correta.
	 b)
	Somente a opção II 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
	3.
	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 I está correta.
	 c)
	Somente a opção IV está correta.
	 d)
	Somente a opção III 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
	4.
	Observando o conjunto das três afirmações, podemos dizer que elas representam:
Se chover, pára de ventar.
Ora, parou de ventar.
Logo, choveu.
	 a)
	Uma falácia da afirmação do consequente.
	 b)
	Um argumento, pois uma depende da outra.
	 c)
	Nada se pode afirmar.
	 d)
	Uma falácia da negação do consequente.
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
FORMULÁRIO UNIDADE 1 - LÓGICA MATEMÁTICA
	5.
	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)
	Está claro ou está molhado.
	 b)
	Está escuro e está molhado.
	 c)
	Está claro ou está seco.
	 d)
	Está claro e não está molhado.
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
FORMULÁRIO UNIDADE 1 - LÓGICA MATEMÁTICA
FORMULÁRIO UNIDADE 1 - LÓGICA MATEMÁTICA
	6.
	Como a maioria das provas, as de lógica geralmente começam com as premissas, que são declarações que você está autorizado a assumir como verdadeiras. A conclusão é a afirmação que você precisa provar. A ideia é operar as premissas, utilizando as regras de inferência até chegar à conclusão. Com base nos conhecimentos das Regras de Inferência não Hipotéticas, Regras Derivas e Equivalências, determine se há algo errado na resolução da prova do argumento a seguir. Caso a resposta for sim, a partir de qual linha de resolução há algo errado?
	
	 a)
	A partir da linha 4.
	 b)
	A partir da linha 5.
	 c)
	A partir da linha 3.
	 d)
	A partir da linha 6.
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
FORMULÁRIO UNIDADE 1 - LÓGICA MATEMÁTICA
FORMULÁRIO UNIDADE 1 - LÓGICA MATEMÁTICA
FORMULÁRIO UNIDADE 1 - LÓGICA MATEMÁTICA
	7.
	É intuitivo perceber ou estabelecer que, para duas proposições que são logicamente equivalentes, na prática esta equivalência torna uma proposição qualquer em uma maneira diferente de apresentar o mesmo dizer. Acerca do exposto, qual das opções apresenta a equivalência para a negação da proposição a seguir?
"A casa será demolida e não construiremos um canil"
	 a)
	A casa não será demolida ou construiremos um canil.
	 b)
	Se a casa não for demolida então construiremos um canil.
	 c)
	A casa não será demolida e construiremos um canil.
	 d)
	Se a casa for demolida então não construiremos um canil.
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
FORMULÁRIO UNIDADE 1 - LÓGICA MATEMÁTICA
FORMULÁRIO UNIDADE 1 - LÓGICA MATEMÁTICA
FORMULÁRIO UNIDADE 1 - LÓGICA MATEMÁTICA
FORMULÁRIO UNIDADE 1 - LÓGICA MATEMÁTICA
	8.
	As regras de inferência não hipotéticas e hipotéticas podem ser utilizadas para demonstrar vários raciocínios bastante recorrentes. Estes raciocínios, uma vez demonstrados, podem ser usados como regras. Estas regras não são necessárias, mas são bastante úteis, tornando nossas provas muito mais sucintas. Utilizando estas regras de derivadas, analise o argumento a seguir e assinale a alternativa CORRETA que apresenta a regra decorrente:
"Ou o livro está na estante de casa ou ele está na sua mochila. O livro não está na minha mochila. Logo, o livro está na estante."
	 a)
	Silogismo Hipotético (SH).
	 b)
	Silogismo Disjuntivo (SD).
	 c)
	Modus Tollens (MT).
	 d)
	Dilema Construtivo (DC).
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
FORMULÁRIO UNIDADE 1 - LÓGICA MATEMÁTICA
FORMULÁRIO UNIDADE 1 - LÓGICA MATEMÁTICA
FORMULÁRIO UNIDADE 1 - LÓGICA MATEMÁTICA
FORMULÁRIO UNIDADE 1 - LÓGICA MATEMÁTICA
FORMULÁRIO UNIDADE 1 - LÓGICA MATEMÁTICA
	9.
	Uma bicondicional é uma forma de juntarmos duas afirmações. Podemos juntar as duas e gerar uma proposição. Esta frase grande (proposição), constituída pelas duas mais pequenas, utiliza uma condição suficiente e outra necessária. E será verdadeira quando as duas frases que a constituem tiverem o mesmo valor de verdade. Na afirmação: "Se correr o bicho pega", é correto afirmar que:
	 a)
	Correr é condição necessária para o bicho pegar.
	 b)
	O bicho pegar é condição suficiente para correr.
	 c)
	O bicho pegar é condição necessária e suficiente para correr.
	 d)
	Correr é condição suficiente para o bicho pegar.
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
FORMULÁRIO UNIDADE 1 - LÓGICA MATEMÁTICA
FORMULÁRIO UNIDADE 1 - LÓGICA MATEMÁTICA
FORMULÁRIO UNIDADE 1 - LÓGICA MATEMÁTICA
FORMULÁRIO UNIDADE 1 - LÓGICA MATEMÁTICA
FORMULÁRIO UNIDADE 1 - LÓGICA MATEMÁTICA
FORMULÁRIO UNIDADE 1 - LÓGICA MATEMÁTICA
	10.
	Considere as seguintes proposições: p: Paulo é administrador; q: Maria é professora. Qual dos itens a seguir representa, em linguagem comum, a proposição composta ~(p v ~q)?
	 a)
	Paulo não é administrador ou Maria não é professora.
	 b)
	Paulo não é administrador e Maria não é professora.
	 c)
	Paulo não é administrador ou Maria é professora.
	 d)
	Paulo não é administrador e Maria é professora.
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
FORMULÁRIO UNIDADE 1 - LÓGICA MATEMÁTICA
FORMULÁRIO UNIDADE 1 - LÓGICA MATEMÁTICA
FORMULÁRIO UNIDADE 1 - LÓGICA MATEMÁTICA
FORMULÁRIOUNIDADE 1 - LÓGICA MATEMÁTICA
FORMULÁRIO UNIDADE 1 - LÓGICA MATEMÁTICA
FORMULÁRIO UNIDADE 1 - LÓGICA MATEMÁTICA
FORMULÁRIO UNIDADE 1 - LÓGICA MATEMÁTICA