Logica de programação exercício resolvidos

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 equivalência. As fórmulas
H = (┐P ^ ┐Q) e G = ┐(P v Q) P | Q | ┐P | ┐Q | (P v Q) | (┐P ^ ┐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 |
São equivalentes. Esta equivalência estabelece um importante resultado denominado Lei de De Morgan.
(3º) Tabela verdade associada as fórmulas(H1...H10) P | Q | H1 | H2 | H3 | H4 | H5 | H6 | H7 | H8 | H9 | H10 | T | T | T | T | T | T | F | T | F | T | F | F | T | F | T | T | T | F | T | T | F | F | T | F | F | T | T | T | F | T | T | F | T | F | T | F | F | F | T | F | T | T | T | F | T | T | F | F | a) Identifique os valores de i tais que Hi implica Hj para todo j.
R = De H1 até H10 não implicam.
R = De H10 até H1 somente H10 → H9 e H2 → H1. b) Identificar os valores de i tais que Hi não implica Hj para todo j.
R = De H1 até H10 não implicam.
R = De H10 até H1, não implicam H9 até H1. c) Identificar os valores de i, j, k, diferentes entre si, tais que Hi implica Hj e Hj implica Hk. Certifique-se de que Hi implica Hk.
R = Hj não implica Hk. d) Existem valores de i, j, diferentes entre si, tais que Hi implica Hj e Hj implica Hi? Como deve ser a relação entre as colunas de Hi e