Autor/es:
CASTRILLO CRIADO, Pilar
DÍEZ MARTÍNEZ, Amparo
ISBN: 978-84-362-4059-7
Num. páginas: 221
Año Edición: 2026
Colección: ADENDA
Código UNED: 0157102AD01A02
Editorial: UNED
Formato: Papel
Comentario: El objetivo de esta Guía es el de introducir al estudiante en esta materia, inferencias. En ella hacemos una presentación del lenguaje de la lógica clásica (Lógica de Enunciados y Lógica de Primer Orden con identidad y descripciones), damos pautas para la correcta formalización del lenguaje natural y ofrecemos métodos y estrategias para la evaluación de argumentos en el cálculo deductivo y el cálculo de árboles semánticos.