O argumento apresentado é um exemplo de Modus ponens. O Modus ponens é um tipo de inferência lógica em que, a partir de duas premissas, uma implicação condicional e a afirmação da antecedente, podemos concluir a consequente. Nesse caso, as hipóteses 1 e 2 são as premissas e a conclusão é a expressão "g^r-w^s". Portanto, a opção correta sobre o nome desse argumento é "Modus ponens".
Para escrever sua resposta aqui, entre ou crie uma conta
Compartilhar