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

Prévia do material em texto

PERGUNTA 1 
1. Considere a sentença: "Se todo carro inglês é confortável e uma Porsche não é confortável, então a Porsche não é um 
carro inglês". 
Assinale a alternativa que corresponde à escrita em linguagem simbólica da frase acima, onde: 
C(x): o carro x é confortável 
I(x): o carro x é inglês 
p: Porsche 
 
PERGUNTA 2 
1. Assinale a alternativa que corresponde à negação da seguinte proposição: . 
 
PERGUNTA 3 
1. Considere o seguinte programa, que visa trocar a posição das entradas x, y e z, de tal forma que transforme uma 
terna (x,y,z), em (z,x,y) 
v1: = x 
v2: = y 
x: = z 
y: = v1 
z: = v2 
Ao fazer a demonstração de correção desse programa, assinale a alternativa que corresponde à pré-condição da sétima 
linha a seguir: 
 
 
 
 
 
 
 
 
PERGUNTA 4 
Considere os seguintes fatos em uma base de dados inserida no Prolog 
1. maior(São Paulo,Rio de Janeiro) 
2. maior(São Paulo,Juiz de Fora) 
3. maior(Rio de Janeiro,Curitiba) 
4. maior(Rio de Janeiro,Juiz de Fora) 
5. maior(Curitiba,Juiz de Fora) 
6. capital(São Paulo) 
7. capital(Rio de Janeiro) 
8. capital(Curitiba) 
Suponha agora que, a seguir, inserimos a seguinte regra no Prolog metropole(X) <=maior(X,Y) e capital(Y) 
 
Assinale a alternativa que corresponde à resposta que o Prolog retornará, à consulta ?metropole(X) 
 
PERGUNTA 5 
1. Considere a seguinte fórmula bem-formulada: 
 
Analisando a demonstração abaixo, assinale a alternativa que corresponde à justificativa correta do item 4. 
 
PERGUNTA 6 
Considere os seguintes fatos em uma base de dados inserida no Prolog 
1. maior(São Paulo,Rio de Janeiro) 
2. maior(Rio de Janeiro,Curitiba) 
3. maior(Rio de Janeiro,Juiz de Fora) 
4. maior(São Paulo,Juiz de Fora) 
Após introduzir o comando qual (x:maior (Rio de Janeiro, x)) no Prolog, assinale a alternativa que contém as entradas 
que o programa retornará: