¿Qué es?
No se ha añadido ninguna twiki todavía.
La lógica moderna que, mediante el simbolismo lógico, o mediante un lenguaje formal, se ocupa de la forma lógica de los enunciados y sus relaciones, esto es, los razonamientos.
Bibliografía sobre el concepto
- Suppes, P., Introducción a la lógica simbólica. CECSA, México, 1980.