Encontre a forma de argumento para o argumento dado e determine se é válido. Podemos inferir que a conclusão é verdadeira se as premissas forem verdadeiras?
Se George não tem oito patas, então ele não é um inseto.
George é um inseto.
George tem oito patas.
George é um inseto.
Passo 1
O enunciado apresenta um argumento sobre George e suas pernas, envolvendo implicação e contraposição. O conteúdo principal é a lógica de proposições: identificar a forma simbólica das premissas e aplicar regras de inferência (especialmente contraposição e modus ponens) para avaliar se a conclusão decorre das premissas.
Passo 2
Definimos as proposições:
: “George tem oito patas”
: “George é um inseto”
As premissas e a conclusão ficam assim:
Passo 3
Usamos a regra de contraposição: uma implicação
é logicamente equivalente a
Logo, a sequência de premissas passa a ser
e daí, por modus ponens, obtemos
Passo 4
Tendo derivado
de forma correta pelas regras de contraposição e modus ponens, concluímos que o argumento é válido: se as premissas forem verdadeiras, a conclusão não pode ser falsa.
Resposta
Forma do argumento:
(equivalente a usar
e modus ponens)
Argumento válido? Sim.