Analise de Argumentos Logicos e Validade com Tabelas Verdade e Inferencias

3 15 Analise o argumento a seguir P₁ x² 4x 3 0 x 2 P₂ x² 4x 3 0 Q x 2 Reescreva o argumento com suas proposições na forma clássica p q e em seguida por meio de tabelaverdade conclua se o argumento é válido ou não 20 Use regras de inferência e de equivalência para provar a validade dos argumentos abaixo Justifique todas as passagens como foi feito em aula 1 A B C E D 2 B C E Num argumento as premissas P1 e P2 devem ser verdadeiras por hipótese As duas últimas linhas descrevem o modelo onde isto ocorre e que a implicação é verdadeira Logo o argumento é válido 4 1 A B C E D 2 B C E Por impunção Passo 1 Modus Ponens p q p q Passo 2 Adição p p q Logo B A B C E D Passo 3 Simplificação p q p Então C E D E D Então temos B A B C E D E D Adição Modus Simplificação P₂ Ponens P₁ P₃