CENTRO UNIVERSITRIO CARIOCA UNICARIOCA

TUTORIAL PROJETO INTEGRADOR EM CINCIA DA COMPUTAO PROFESSOR: JLIO SILVEIRA

ATIVIDADE SUPERVISIONADA PARA A AV1 2017/1

TRABALHO INDIVIAUAL.
DATA: entrega at 09/06/2017.
ENTREGA: arquivo postado (upload) no link do AVA.
VALOR: 10.0 pontos para a AV1
ATENO: Respostas com similaridades em grupos distintos sero avaliadas com nota ZERO
O relatrio deve obrigatoriamente estar no formato .doc, .docx ou .pdf.
NO SERO ACEITOS TRABALHOS MANUSCRITOS OU QUE CONTENHAM FOTOGRAFIAS.
DVIDAS: mensagens no AVA. Podemos marcar algum dia para atendimento pessoal visando esclarecimento
do trabalho, caso necessrio.

Nome: ____________________________________________________________________________

LGICA DE PREDICADOS

Para os seguintes predicados B(x): significa que x bonito

R(x): significa que x rico
S(x): significa que x simptico
G(x,y): significa que x gosta de y
J o Joo (um objeto determinado)

Resolva os exerccios a seguir, usando a notao adotada no curso.

1) Escreva as sentenas abaixo em portugus. (2.0)

a) ~(x) [ B(x) R(x) S(x) ] No usar termos como Nem todo mundo, etc.
Inicie a sentena obrigatoriamente com o termo Existe algum ...
Usar obrigatoriamente os adjetivos pobre e antiptico.
b) B(J) (x) [ R(x) G(x, J) ]
c) (x) [ S(x) (y) G(x, y) ]
d) (x) [ G(x, J) ~B(x) ~R(x) ]

2) Escreva as fbss que expressem as sentenas abaixo na forma simblica. (2.0)

a) Todas as pessoas bonitas gostam de quem simptico.

b) Nem todas as pessoas que gostam do Joo so ricas e simpticas. (Use obrigatoriamente o quantificador ).
c) Se se algum gosta do Joo, ento o Joo gosta de todo mundo.
d) No existe ningum casado que goste do Joo. (Use obrigatoriamente o operador ).

3) Desenhe a representao plana de um grafo conexo que seja 4-regular. (2.0)

4) Assinale a expresso lgica que expresse f(X,Y,Z). (2.0)

X
a) XZ
Y
b) XY
f (X,Y,Z)
c) XY
d) XY
Z e) XZ

JUSTIFIQUE PASSO A PASSO sua resposta (a questo s ser considerada com justificativa).
No usar TABELA-VERDADE.
 CENTRO UNIVERSITRIO CARIOCA UNICARIOCA
TUTORIAL PROJETO INTEGRADOR EM CINCIA DA COMPUTAO PROFESSOR: JLIO SILVEIRA
ATIVIDADE SUPERVISIONADA PARA A AV1 2017/1

5) Indique um ciclo euleriano no grafo abaixo, ou prove porque tal ciclo no existe. (2.0)

X F

C D E
Y
B
A
Z

BONS ESTUDOS!