Lógica Simbólica

1. 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.
   1. Calculo lógico
      1. Grupo de signos lógicos
      2. Grupo de reglas para operar dichos signos

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

Annotations:

• y & o ∨ o - o ∨ Si — entonces → Si y sólo si ↔ No, no es verdad que ¬

1. Taulogías: tablas de la verdad, valores veritativos correspondiente al conectivo principal son todos V

   1. Annotations:

      • y & o ∨ o - o ∨ Si — entonces → Si y sólo si ↔ No, no es verdad que ¬
2. 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
   1. Ejemplo: C. N: Hay satélites naturales. D. A: Hay satélites artifi ciales.
3. Enunciados extensionales: Cualquier enunciado atómico o es verdadero o es falso, y el tener uno u otro valor depende de su propio contenido.
   1. 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.