DESTEC – CURSO DE CIENCIA DA COMPUTAÇÃO

PROFESSOR EVERTON – LÓGICA APLICADA A COMPUTAÇÃO

DISCENTES: __________________________________________________

ATIVIDADE (2,0 PONTOS – 29/03/2019)

1) Considere a proposição H=P→Q. Se I[H]=T, o que podemos dizer em relação a I[P] e
I[Q]? Faça a análise sem usar a tabela.

2) Escreva um algoritmo, tal que, dada a fórmula H (questão 01), da Lógica proposicional,
o algoritmo diz se exite interpretação I, tal que,

a) I[H]=T
b) I[H]=F

3) Usar o algoritmo abaixo e associe as etapas onde a variável é verdadeira (T) ou falsa
(F), identificando pelo número da linha.