EXERCÍCIO DE LÓGICA DE PROGRAMAÇÃO
1 – Use a tabela verdade para dizer si é tautologia, factível ou contraditória. H1 = P1^P2^P3^Q → Q
H2 = P1^P2^P3^Q → ┐Q
H3 = (P v ┐P) → Q ^ ┐Q)
D = (P → (Q → R)) ((P ^ Q) → R
H1 = P | Q | P1 | P2 | P3 | P1^P2^P3^Q | ┐(P v Q) | T | T | F | F | T | F | F | T | F | F | T | T | F | F | F | T | T | F | T | F | F | F | F | T | T | F | T | T |

1 - Exemplo de implicação. As fórmulas
H = (P ^ Q) e G = P
São tais que H implica G. A demonstração desta implicação pode ser feita a partir de tabelas verdades ou como segue. Considere uma interpretação I tal que I[H] = T. P | Q | P ^ Q | H → G | T | T | T | T | T | F | F | T | F | T | F | T | F | F | F | T |

(2º) Exemplo de …exibir mais conteúdo…

a) H é satisfatível → H é tautologia. = Falso. b) H equivale a G → H implica G = Verdadeiro. c) H implica G → H equivale a G = Falso. d) H implica G → (H v E) implica (G v E) = Verdadeiro. e) H implica G → (H ^ E) implica (G ^ E) = Verdadeiro. f) H implica G → (G → E)