LÓGICA MATEMÁTICA

Prévia do material em texto

Disciplina: LÓGICA MATEMÁTICA AV 
 
 
 
 
Avaliação: 
10,0 
Av. Parcial.: 
2,0 
Nota SIA: 
10,0 pts 
 
 
 
 
 
LÓGICA MATEMÁTICA 
 
 
 1. Ref.: 249796 Pontos: 1,00 / 1,00 
 
O curso de TI é composto de 10 períodos com mais de uma turma em todos os 
períodos. Quantos alunos, no mínimo, a coordenação deve escolher para ter 
certeza que na prova da ENADE haverá pelo menos dois alunos do mesmo 
período. 
 
 
10 
 
20 
 
2 
 
21 
 
11 
 
 
 2. Ref.: 9600 Pontos: 1,00 / 1,00 
 
Uma porta lógica é uma maquina que possui entradas e saídas. Os bits entram, 
são processados de acordo com a função da maquina em questão e saem em 
forma de resultado. Considere as afirmativas abaixo. 
(I) A porta lógica NOT está associada ao operador NOT. Ela é como inversor 
porque inverte o bit de entrada, ou ainda, se o bit de entrada for um, o bit de saída 
será zero, e vice-versa. 
(II) A porta logica AND está associada ao operador AND. Ela possui dois bits de 
entrada e um de saída. Para que o bit de saída seja verdadeiro (valor 1) ambos os 
bits de entrada devem ser verdadeiros. 
(III) A porta logica OR está associada ao operador OR e pretende indicar escolha. 
A porta OR possui dois bits de entrada e um de saída. Para que o bit de saída 
tenha o valor um (verdadeiro), pelo menos um dos bits de entrada precisa ser 
verdadeiro. 
Com relação às afirmativas, é correto afirmar que: 
 
 
Somente a afirmativa II é verdadeira 
 
Somente a afirmativa 1 é verdadeira 
javascript:alert('Código%20da%20questão:%20249796.');
javascript:alert('Código%20da%20questão:%209600.');
 
Todas as afirmativas são verdadeiras 
 
Nenhuma das afirmativas é verdadeira 
 
Somente a afirmativa III é verdadeira 
 
 
 3. Ref.: 7912 Pontos: 1,00 / 1,00 
 
A proposição composta "p v (p ^ ~q)" é uma: 
 
 
Contradição 
 
Tautologia 
 
Afirmação 
 
Contingência 
 
Equivalência 
 
 
 4. Ref.: 9634 Pontos: 1,00 / 1,00 
 
Considere as proposições compostas:P: (p^q) e Q: p→(p^q). Podemos afirmar 
que 
 
 
Não há implicação logica. 
 
Q=> P 
 
P=> Q 
 
Nada se pode afirmar. 
 
Não são proposições compostas 
 
 
 5. Ref.: 708375 Pontos: 1,00 / 1,00 
 
A implicação (p --> q) ^ p => q é uma propriedade conhecida como: 
 
 
Silogismo Hipotético 
 
Modus Ponens 
 
Modus Tollens 
 
Princípio da Inconsitênca 
 
Silogismo Disjuntivo 
 
 
 6. Ref.: 7908 Pontos: 1,00 / 1,00 
 
Determine a contrapositiva da frase "Se o ator é bom, então o filme terá uma 
ótima bilheteria". 
 
 
Se o filme teve uma ótima bilheteria, então o ator era bom. 
 
Se o filme não teve uma ótima bilheteria, então o ator não era bom. 
 
O ator é bom e o filme teve ótima bilheteria. 
 
Se o ator não é bom, então o filme não terá uma ótima bilheteria. 
javascript:alert('Código%20da%20questão:%207912.');
javascript:alert('Código%20da%20questão:%209634.');
javascript:alert('Código%20da%20questão:%20708375.');
javascript:alert('Código%20da%20questão:%207908.');
 
O ator não é bom e o filme não teve ótima bilheteria. 
 
 
 7. Ref.: 15129 Pontos: 1,00 / 1,00 
 
Em Lógica matemática a ordem de precedência dos parêntesis indica qual 
conectivo é "mais fraco" até o considerado "mais forte". Assim sendo qual é a 
ordem de precedência do "mais fraco até o "mais forte": 
 
 
1. conectivo e ou (^ e ou); 
2. conectivos não (~); 
3. conectivo implicação (→); 
4. conectivo equivalência (↔). 
 
1. conectivo não (~); 
2. conectivos e ou (^ e v); 
3. conectivo equivalência (↔); 
4. conectivo implicação (→). 
 
1. conectivo não (~); 
2. conectivos e ou (^ e v); 
3. conectivo implicação (→); 
4. conectivo equivalência (↔). 
 
1. conectivo e (^); 
2. conectivo ou (v); 
3. conectivo implicação (→); 
4. conectivo negação (~). 
 
1. conectivo equivalência (↔); 
2. conectivos e ou implicação(→); 
3. conectivo e ou (^ e V); 
4. conectivo não (~). 
 
 
 8. Ref.: 228808 Pontos: 1,00 / 1,00 
 
Argumento é uma asserção em que um dado conjunto de proposições 
p1,p2,p3,...pn denominadas premissas produz (tem como consequência) outra 
proposição Q denominada conclusão. Tal argumento é indicado por: p1,p2,p3,...pn 
==> Q. De acordo com o conceito de argumentos, é correto afirmar que: 
 
 
Um argumento é verdadeiro se Q é verdadeiro sempre que todas as 
premissas são verdadeiras. 
 
Quando p1 v p2 v p3,... v pn  Q é uma tautologia. 
 
Um argumento é verdadeiro se Q é verdadeiro sempre que todas as 
premissas são falsas. 
 
Um argumento válido é denominado sofisma. 
 
Um argumento é falso se Q é verdadeiro sempre que todas as premissas são 
verdadeiras. 
 
 
 9. Ref.: 7914 Pontos: 1,00 / 1,00 
javascript:alert('Código%20da%20questão:%2015129.');
javascript:alert('Código%20da%20questão:%20228808.');
javascript:alert('Código%20da%20questão:%207914.');
 
Considerando o conjunto Universo como sendo U={1,2,3,5,7,9} e determinando 
os valores lógicos das proposições: 
(I) existe x pertencente a U, tal que x é par. 
(II) para todo x pertencente a U, temos que 1-x >2 
É correto afirmar que: 
 
 
As afirmativas não são proposições. 
 
Ambas são verdadeiras. 
 
Somente (I) é verdadeira. 
 
Ambas são falsas. 
 
Somente (II) é verdadeira. 
 
 
 10. Ref.: 8940 Pontos: 1,00 / 1,00 
 
Sejam as sentenças: p: √2 
 é irracional , q: 10 é múltiplo de 1000 e r: 1 é divisor de 1000 . Seus valores 
lógicos são , respectivamente: 
 
 
FVV 
 
VFV 
 
FFF 
 
VFF 
 
FFV 
 
javascript:alert('Código%20da%20questão:%208940.');