Zusammenfassung der Ressource
Lógica Simbólica
- El personaje más significativo de la lógica matemática es G. W.
Leibniz
- 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
- 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).
- Tablas de verdad: exposocion gráfica de todos los valores de verdad que tiene un enunciado
extencional
Anmerkungen:
- 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
Anmerkungen:
- 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.