Zusammenfassung der Ressource
Flussdiagrammknoten
- Conocida también como lógica matemática
- * G. W. Leibniz -> Primero en proponer lenguaje simbólico y universal.
* George Boole y Augusto de Morgue: Precursores
* Gottlob Frege: Primer representante y considerado el precursor.
- Es un cálculo que consta de:
- * La lógica se maneja como un cálculo.
* Primero se construye un sistema formal y luego se interpreta en un lenguaje ordinario.
* Las leyes se formulan en lenguaje artificial que consiste en símbolos.
- Un grupo de signos lógicos
- Un grupo de reglas para operar con dichos signos
- Tiene como objeto de estudio el razonamiento, con el fi n de encontrar métodos para distinguir los razonamientos válidos de los no válidos.