Exercício 2 de Fundamentos de Matemática para Informática

Prévia do material em texto

Exercício de Fundamentos de Matemática para Informática - Exercício de Fixação 2 - Tentativa 1 de 3
Questão 1 de 10
Na análise e interpretação de argumentos lógicos, encontramos as "premissas" que são utilizadas para definir o tipo de argumento apresentado. 
Analise as afirmações a seguir:
Todo jogador famoso é conhecido (Premissa 1) 
Neymar é jogador famoso (Premissa 2)
Neymar é conhecido (Conclusão)
Com base na lógica de argumentação, podemos confirmar que as premissas e conclusão apresentadas são do tipo:
A - Conjuntivo.
B - Dedutivo. check_circleResposta correta
C - Indutivo. 
D - Condicional. 
E - Bicondicional.
Questão 2 de 10
Na lógica matemática, uma tautologia é uma fórmula proposicional que é verdadeira para todas as possíveis valorações de suas variáveis proposicionais. Em outras palavras, tautologia é toda proposição composta P(p, q, r), cujo valor lógico é sempre V (verdade). 
Com base neste contexto, analise as alternativas e indique aquela que representa logicamente uma tautologia:
A - ~p ∧ p
B - ~p ∧ ~q
C - (p ∧ q) ⇒ (p ∨ q)check_circleResposta correta
D - p ∨ q
E - (p ∨ q) ⇒ (p ∧ q)
Questão 3 de 10
Na matemática, o método dedutivo é utilizado nas propriedades vistas em álgebra das proposições, para demonstrar equivalências lógicas ou implicações lógicas. Esse processo utiliza as premissas analisadas para encontrar suas conclusões e pode-se trabalhar as proposições, utilizando hipóteses da seguinte maneira: 
I. Substituir as proposições por equivalentes até chegar a uma tautologia.
II. Substituir a primeira premissa por equivalentes até chegar a segunda premissa.
 III. Substituir a segunda premissa por equivalentes até chegar a primeira premissa.
  Com base nesse contexto, é correto o que se afirma em: 
A - I, apenas. 
B - III, apenas. 
C - I e II, apenas. 
D - II e III, apenas. 
E - I, II e III.check_circleResposta correta
Questão 4 de 10
No universo da lógica matemática, os argumentos são definidos como um conjunto de enunciados que estão relacionados uns com os outros. Existem vários tipos de classificações de argumentos, como por exemplo condicional, bicondicional entre outros, e cada tipo de argumento trata uma premissa/ afirmação usada para sustentar uma conclusão. 
Baseado neste contexto, analise o exemplo abaixo e selecione a qual tipo de argumento se refere:
 Se eu ganhar esta partida permanecerei invicto.
 Ganhei a partida.
 Permaneço invicto.
A - Conjuntivo. 
B - Disjuntivo. 
C - Condicional. check_circleResposta correta
D - Bicondicional. 
E - Dedutivo. 
Questão 5 de 10
No universo da lógica matemática, utilizamos diversos métodos, conceitos e estruturas de pensamentos com objetivo de solucionar problemas. Essas ferramentas nos ajudam a compreender melhor o conceito do raciocínio e a utilização da lógica. Com base neste contexto, analise a afirmação a seguir.
 "É um processo de análise de informação que nos leva a uma conclusão, onde para encontrar seu resultado final o argumento é feito do maior para o menor, ou seja, de uma premissa geral em direção a outra, particular ou singular”.
 Essa afirmação descreve corretamente um método:
A - Dedutivocheck_circleResposta correta
B - De demonstração
C - Equivalência
D - Contradição
E – Associativo
Questão 6 de 10
As proposições lógicas são basicamente definidas como sentenças que declarem algo, na qual podemos atribuir um valor lógico verdadeiro ou falso. Quando falamos a respeito da forma normal (FN) das proposições, encontramos o FNC e o FND que são descritos como Forma Normal Conjuntiva e Forma Normal Disjuntiva. Baseado neste contexto de proposições, selecione a opção que completa corretamente a afirmação a seguir. 
 
Uma proposição está na forma normal (FN) se é formada apenas pelos conectivos:
A - ~, V e ^ check_circleResposta correta
B - <->, ^ e ~
C - V, -> e ^
D - ^, <- e ~
E - ->, <-> e V
Questão 7 de 10
A tabela verdade é um instrumento aplicado no estudo da lógica matemática. Quando utilizamos esse dispositivo, podemos definir o valor lógico de uma proposição, ou seja, saber quando uma sentença é verdadeira ou falsa.
Com base nesse contexto, analise a tabela verdade a seguir:
image.png 2.76 KB
A proposição apresentada na tabela é verdadeira, logo trata-se de uma:
A - ContradiçãocancelRespondida
B - Contingência
C - Tautologiacheck_circleResposta correta
D - Negação
E - Implicação
Questão 8 de 10
Na lógica matemática, negar uma proposição significa alterar o seu valor lógico. Logo, se temos uma proposição verdadeira sua negação a transformará em uma proposição falsa. Com base nesse contexto, analise as seguintes proposições:
p: Tomates são vermelhos
q: Maracujás são amarelos
A negação de “Tomates são vermelhos e maracujás são amarelos” é “Tomates não são vermelhos ou maracujás não são amarelos”
Dada a negação, selecione a opção que representa simbolicamente esta proposição:
A - (p^q) <=> p -> q
B - ~(p^q) <=> ~p v ~qcheck_circleResposta correta
C - p <=> ~q -> (p^q)
D - ~p v ~q <=> ~p v ~qcancelRespondida
E - ~(p^q)~ <=> p -> q
Questão 9 de 10
Quando estudamos matemática, descobrimos que a lógica é essencial para diversas áreas do conhecimento, como em programação, quando falamos a respeito da área da computação. Um dos pontos mais importantes do conhecimento voltado à lógica é saber diferenciar tautologias, contradições e contingências. 
Dentro desse contexto, analise as sentenças e marque a alternativa correta:
I. Tautologia: proposição composta, cuja tabela verdade só apresenta valor lógico V.
II. Contradição: proposição composta, cuja tabela verdade só apresenta valor lógico F.
III. Contingência: proposição composta que apresenta tabela verdade com valores lógicos V e F.
Assinale a alternativa correta:
A - Somente I está correta.
B - Somente III está correta.
C - Somente I e II estão corretas.
D - Somente II e III estão corretas.
E - I, II e III estão corretas.check_circleResposta correta
Questão 10 de 10
A elaboração da Tabela-verdade de uma fórmula bem formada (fbf) disciplina e facilita a obtenção do valor lógico da proposição, já que sua montagem é feita passo-a-passo. Uma fórmula bem formada pode gerar somente valores lógicos verdadeiros. Também pode acontecer de gerar somente valores lógicos falsos. Observe as opções abaixo e marque a resposta que indica a denominação de uma fbf que contenha somente valores lógicos verdadeiros e somente valores lógicos falsos, respectivamente:
A - Conjunção e Disjunção.
B - Contradição e Disjunção. Cancel Respondida
C - Contradição e Tautologia.
D - Tautologia e Contradição. check_circle Resposta correta
E - Tautologia e Negação.