Tabela da verdade

1- a) (¬P v Q) (P->Q) Tautologia

P | Q | ¬P | H1=¬P v Q | H2= P->Q | (H1) (H2) | T | T | F | T | T | T | T | F | F | F | F | T | F | T | T | T | T | T | F | F | T | T | T | T |

b) P -> ((Q->R) -> ((P->R) -> (P->R))) Tautologia

P | Q | R | H1=Q->R | H2=P->R | H3=P->R | H4=H2->H3 | H5=H1->H4 | P->H5 | T | T | T | T | T | T | T | T | T | T | T | F | F | F | F | T | T | T | T | F | T | T | T | T | T | T | T | T | F | F | T | F | F | T | T | T | F | T | T | T | T | T | T | T | T | F | T | F | F | T | T | T | T | T | F | F | T | T | T | T | T | T | T | F | F | F | T | T | T | T | T | T |

c) (P ->¬Q)¬P Satisfatibilidade

P | Q | ¬Q | ¬P | H1=P-> ¬Q | H1¬P | T | T | F | F | F | T | T | F | T | F | T | F | F | T | F | T | T | T | F | F | T | T | T | T |

d) (Q->¬P) Satisfatibilidade

Q | P | ¬P | Q->¬P | T | T | F | F | T | F | T | T | F | T | F | T | F | F | T | T |

e) (P-> (Q->R)) ((P^Q)->R) Tautologia

P | Q | R | H1=Q->R | H2=P->H1 | H3=P^Q | H4=H3->R | H2H4 | T | T | T | T | T | T | T | T | T | T | F | F | F | T | F | T | T | F | T | T | T | F | T | T | T | F | F | T | T | F | T | T | F | T