LISTA

3 DE EXERCÍCIOS LÓGICA DE PROGRAMAÇÃO - FAGEN-AARE

1) Prove se a seguinte fórmula H é uma tautologia, uma contradição e/ou satisfatível
usando o método indicado em cada um dos itens desta questão. Justifique sua
resposta.

H: ( (¬P) à ( Q Ú R ))

A) Prove usando a função “Eval” estudada;
B) Prove por meio de tabela-verdade.

2) Sabendo que duas fórmulas X e Y são equivalentes (representado por X Û Y) se, e
somente se, a bi-implicação entre elas é uma tautologia, prove por tabela verdade e
por meio da função “Eval” as seguintes equivalências lógicas:

a) ¬(H Ù G) Û ¬H Ú ¬G (Lei de Morgan)
b) ¬(H Ú G) Û ¬H Ù ¬G (Lei de Morgan)