ATIVIDADE AVALIATIVA SEM1 Fundamentos Matemáticos para Computação - NOTA 10

Prévia do material em texto

PERGUNTA 1 
1. Considere a seguinte sentença: 
“Se Rafael se preparar bem, então ele terminará a corrida. Mas Rafael não terminou a corrida, portanto, Rafael não se 
preparou bem.” 
E seja: 
P: Rafael se preparar bem. 
Q: Rafael terminar a corrida. 
Assinale a alternativa que contém a representação em lógica proposicional da sentença acima. 
 
 
 
 
PERGUNTA 2 
1. Considere as seguintes fórmulas bem-formuladas: 
 
Sabendo que os valores verdade de A é verdadeiro, B é verdadeiro e C é falso. Assinale a alternativa que corresponde 
aos valores verdade, respectivamente, das fórmulas bem-formuladas acima. 
 
 
PERGUNTA 3 
1. Assinale a alternativa que melhor define “Sistema de Arquivos”. 
PERGUNTA 3 
1. Assinale a alternativa que corresponde ao valor-verdade da expressão 
(3x) (y) [P(x,y) AQ(x,y)] 
 
quando, respectivamente é: 
P(x,y):x2 + y2=1 e Q(x,y):x,y>0. 
P(x,y):x,y>0 e Q(x,y):x3+y3 <0. 
P(x,y):x +y e Q(x,y):x-y=0. 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
PERGUNTA 4 
Considere a seguinte demonstração para o teorema (P→Q) ^ (Q→R) → ( P→R) 
1. P→Q hip. 
2. Q→R hip. 
3. P hip 
4. Q 1,3, modus ponens 
5. R 
Assinale a alternativa que justifica a validade do item 5.