Resumen: |
Lógica formal.- Cálculos clásicos de proposiciones.- Cálculos no clásicos: Lógicas modales-Lógicas plurivalentes-Lógicas plurivalentes-Lógicas disminuidas.- Análisis de las Preposiciones:- Proposición :atributiva,clásica,inherencia y forma proposicional.-Predicados,Clases,Relaciones:Cálculo funcional,operaciones,clases y proposiciones.Clases y Predicados:Funciones,Clases y relaciones |