Te ayudamos a crear tus cursos on-line
Lógica. Ingeniería Informática. Reglas de deducción natural
Introducción de la disyunción y eliminación de la implicación En esta entrada continuamos con las reglas de deducción natural de la asignatura de lógica del grado de Ingeniería Informática, en concreto, nos centraremos en las reglas de la introducción de