Introducción a la Lógica Formal: Conceptos y Fundamentos
Enviado por Programa Chuletas y clasificado en Francés
Escrito el en español con un tamaño de 4,7 KB
Introducción a la Lógica Formal
La lógica formal se centra en la forma de los razonamientos, no en su contenido. Aristóteles es considerado el padre de la lógica formal, ya que fue el primero en formalizarla. La lógica formal es un lenguaje artificial, similar al matemático, y se divide en dos ramas principales:
- Lógica de proposiciones
- Lógica de predicados
Lógica de Proposiciones
La lógica de proposiciones utiliza:
- Variables: Letras que simbolizan proposiciones (p, q, r, s, etc.).
- Constantes: Símbolos que representan operaciones lógicas.
Constantes Lógicas
- Negación: ¬ (no)
- Conjunción: ∧ (y)
- Disyunción inclusiva: ∨ (o)
- Disyunción exclusiva: ⊻ (o bien... o bien...)
- Implicación: → (entonces)
- Coimplicación: ↔ (si y solo si)
Se utilizan... Continuar leyendo "Introducción a la Lógica Formal: Conceptos y Fundamentos" »