Lógica Simbólica

Lógica Simbólica

1. El personaje más significativo de la lógica matemática es G. W. Leibniz

2. Características

   • 1. La lógica se maneja como un calculo, 2. En esta lógica se construye un sistema formal y después se interpreta en el lenguaje ordinario y 3. Las leyes se construyen en un lenguaje artificial, símbolos similares a los matemáticos.
     • Calculo lógico
       • Grupo de signos lógicos
       • Grupo de reglas para operar dichos signos

3. Los enunciados y los conectivos

   • Tienen afirmaciones o (negaciones), El contenido se puede calificar como verdadro o falso
     • A. Nuestra desventura ya se transformó en dicha. B. Nuestros sufrimientos ya terminaron.
   • 1. Y (conjunción).
   • Simbolos (p,q.v.s)
   • 2. O (disyunción inclusiva).
   • 3. O… o (disyunción exclusiva).
   • 4. Si… entonces (condicional).
   • 5. Si y sólo si (bicondicional).
   • 6. No (negación).

4. Tablas de verdad: exposocion gráfica de todos los valores de verdad que tiene un enunciado extencional

   • y & o ∨ o - o ∨ Si — entonces → Si y sólo si ↔ No, no es verdad que ¬
   • Taulogías: tablas de la verdad, valores veritativos correspondiente al conectivo principal son todos V
     • • y & o ∨ o - o ∨ Si — entonces → Si y sólo si ↔ No, no es verdad que ¬
   • Los valores de verdad son las dos propiedades que puede tener cualquier enunciado, considerando que dicho enunciado o es verdadero o es falso; pero no ambas cosas
     • Ejemplo: C. N: Hay satélites naturales. D. A: Hay satélites artifi ciales.
   • Enunciados extensionales: Cualquier enunciado atómico o es verdadero o es falso, y el tener uno u otro valor depende de su propio contenido.
     • Ejemplo: E. Me duele la cabeza porque estuve estudiando durante cuatro horas. Es posible que el enunciado simple anterior sea verdadero o no lo sea.