Deixem o português de lado, vamos a lógica..
P1 = Todos (transforma em ->) = Se são netos de José, então são alegres
C = Se João não é alegre, então ele não é neto de José
Vamos igualar a CONCLUSÃO à F e procurar o ERRO, caso encontre o erro argumento valido (resposta certa), do contrário argumento invalido (resposta errada).
C = ~ Alegre -> ~ José = F
-------- V ---------- F
P1 = José -> Alegre = V (Ao igualar a PREMISSA1 a verdade, percebe-se o erro pois Vera+Fisher, no -> = F
------ V -------- F
(DEU ERRADO, portanto, argumento valido, resposta certa)
Caso encontre algum erro ou alguma dúvida que talvez eu possa sanar comenta ai
Uma questão mais próximo do objetivo!
Equivalência do quantificador TODO é o SE..ENTÃO.
Todos os netos de José são alegres”
1° TRANSFORMA A ESCRITA NO SE..ENTÃO E APLICA A EQUIVALÊNCIA DELE.
- SE são netos de josé, então são alegres
EQUIVALE ..
- SE João não é alegre, então não é neto de josé.
VISSI, TROCOU E NEGOU . AH, E ESSE JOÃO ? NÃO IMPORTA SE FOR JOÃO ,MARIA,FRANCISCA ETC.. O QUE INTERESSA É A EQUIVALÊNCIA DO CONECTIVO.
Bons estudos..
Fonte;Jhonni estratégia