Question

Considere a argumentação a seguir:
Se Carla for para casa, então o seu filho vai para a escola. Maria foi para a sua casa.
Qual é a conclusão que podemos determinar aplicando a regra de inferência modus ponens?
Escreva de forma simbólica e responda qual a sua conclusão.

Answer 1

Se a Carla for para casa, então o seu filho vai para a escola.
A Carla foi para casa.
Logo, o seu filho vai para a escola.

Modus ponens:
Se P então Q.
P.
Logo, Q.