Question

Considere as seguintes proposições: Todos os cães uivam à noite. Pessoas que têm gato não têm ratos. Pessoas que têm sono leve não têm animais que uivam durante a noite. João tem um gato ou um cão. Empregue o algoritmo da Resolução para Lógica de
Predicados e responda: Se João tem sono leve então João não tem ratos?

Answer 1

Sim, João não pode ter um cão por causa do sono leve então ele tem um gato que come seus ratos