Documente Academic
Documente Profesional
Documente Cultură
ARTIFICIAL
Inferir por lgica clsica: Inferencia que slo admite dos valores:
verdadero o falso.
Losgatos vuelan
Este es un gato
Este gato puede volar
Razonamiento