Validade de Argumentos Logicos Regras de Equivalencia e Inferencia

Questão 9 Enunciado Utilizando regras de equivalências de inferência podemos verificar a validade de um argumento Considere o seguinte argumento A B Ą C A Ą A C Dentro desse contexto analise as proposições a seguir e a relação entre elas 1 O argumento A Ą B Ą C válido PORQUE II Para demonstrar sua validade utilizase as regras de equivalência De Morgan dupla negação e condicional além da equivalência disjuntiva e do silogismo hipotético A respeito dessas asserções assinale a alternativa CORRETA Asserções I e II são proposições verdadeiras mas a II não justifica a I Vamos mostrar a validade do argumento Nesse caso temos das hipóteses A B Ą B C A C Uma das regras é equivalência lógica Ą A B Ą A B é uma conclusão A C Ą A B Então para a conclusão Ą A B usamos a regra de equivalência condicional A B A B é uma conclusão recíproca temos que Silogismo Hipotético Podemos concluir a validade do argumento Portanto As asserções I e II são proposições verdadeiras e a II justifica a I Prova final Lógica Computacional 2 de 10 Acertos Nota 10 pontos Correto Errado 1 4 3 5 9 10 8 7 6 2 Anterior Próxima