Un Sistema de Deducción Natural para el Cálculo Proposicional.

Resumen

Pedro Ramos

En esta videoconferencia presentaré un sistema de reglas de deducción natural para el cálculo proposicional. Una primera versión de este sistema fue elaborada en la primera mitad de la década de los 90 por Raúl Orayen, Arturo Yañez y yo. Tanto en la primera versión del sistema como en ésta, las reglas de la lógica proposicional se agrupan de acuerdo con sus propiedades deductivas en algunos grupos que permiten su mejor manejo; hasta la fecha no he encontrado que nadie más haga algo parecido. Luego de varios años de aplicar el sistema original a la enseñanza de la lógica a alumnos de licenciatura en filosofúa me ha parecido adecuado hacerle algunas modificaciones, que son las que presentaré en la videoconferencia.


Ir a la página del ciclo 2005-2

Ir a la página del TDL

Ir a la página de Raymundo Morado

Ir a la página del IIF