Prova de Lógica para Computação - Avaliação e Classificação de Fórmulas

Lógica para Computação Aluno Filipe Silva de Oliveira Profa Camila Bezerra Nota Data 01082023 1ºProva 1 Como você classificaria a fórmula H v G H H G Utilize o método de árvore semântica 2 A fórmula H G H G v H G é tautologia Utilize o método de redução ao absurdo 3 Existe uma consequência lógica P Q P v Q Q P 4 Como você classificaria a fórmula P Q P P Q P Utilize Tabela verdade 5 O conjunto P Q P Q P é satisfatível H G H G v H G é uma tautologia