La lógica simbólica

Ciencia básica para la evaluación teórica

La teoría lógica es la teoría del razonamiento correcto, en ella se analiza
la naturaleza de argumentos válidos.

Un razonamiento correcto, es válido en virtud de su forma lógica.

Para el análisis de un razonamiento son necesarias reglas y símbolos

lógicos.
Ciencia básica para la evaluación teórica
Necesita de conectores oracionales
- Negación y conjunción
- Disyunción
- Implicación (oraciones condicionales)
- Equivalencia (oraciones bicondicionales)
- Agrupamiento y paréntesis
- Tablas de verdad y tautologías
- Implicación y equivalencia tautológica
Los conectores se simbolizan
• Negación:
Se niega la verdad de una oración afirmando su negación.
Ejemplo:
“El azúcar produce caries dental”
“El azúcar no produce caries dental”
Simbolización
(El azúcar produce caries dental)

-La negación de una oración verdadera es falsa, y la negación de una oración falsa en verdadera.
• Conjunción
Se usa la palabra y para conjuntar dos oraciones a fin de hacer una sola
oración que llamamos conjunción.
Ejemplo:
“Juan ama a María y María ama a Juan”
Simbolización
P&Q
- La conjunción es verdadera sí, y sólo si ambas oraciones son verdaderas
• Disyunción
Se usa la palabra o para efectuar la disyunción de dos oraciones. Puede tener un
sentido no exclusivo (inclusivo) o uno exclusivo.
Ejemplo:
“Puedes ir al cine o al circo este sábado”
“Puedes ir al cine o al circo este sábado, pero no a los dos”
Simbolización
PVQ
- La disyunción de dos oraciones es verdadera sí, cuando menos una de las oraciones es verdadera.
- Suppes (1975), menciona que “No introduciremos un signo especial para ´o´ en el sentido exclusivo, pues resulta
que en las discusiones científicas es posible arreglárselas con ´o´ en el sentido no exclusivo” (p. 29).
• Implicación: oraciones condicionales
Las palabras “si…, entonces…” se utilizan para obtener de dos oraciones una
oración condicional.
Ejemplo:
“Si María ama a Juan, entonces Juan ama a María”
antecedente consecuente
Simbolización
P Q
- Una oración condicional es falsa si el antecedente es verdadero y el consecuente es falso; en cualquier
otro caso es verdadera.
• Equivalencia: oraciones bicondicionales
Usamos la expresión “si, y sólo sí” para obtener de dos oraciones una oración
bicondicional.
Ejemplo:
P, si, y sólo si, Q
M1 M2
Miembro 1 y miebro 2.
Simbolización
P Q
- Una oración bicondicional es verdadera, si, y sólo si, sus dos miembros son ambos verdaderos o ambos falsos.
• Agrupamiento y paréntesis
En el lenguaje ordinario el agrupamiento adecuado de las oraciones que se
combinan en una oración compuesta se indica por una variedad de medios o
dispositivos lingüísticos. Cuando se simbolizan estas oraciones en lógica, los
mencionados dispositivos pueden consistir en un adecuado uso de
paréntesis.
Ejemplo:
Si María Lorena gana la carrera, entonces lo anunciarán El País y El Sol del México.
Simbolización
P (Q & R)
• Tablas de verdad y tautologías
Las reglas sobre el uso de los conectores oracionales pueden resumirse en
tablas básicas de verdad.
Ejemplo:
Negación Conjunción Disyunción
 P  Q  P & Q P Q  P V Q 
 P  --P  V V  V  V  V V 
 V  F  V  F  F
 F  V  F  V  F  V
 F  V  F  F  F  F  V  V
 F  F  F
• Tablas de verdad y tautologías
Las reglas sobre el uso de los conectores oracionales pueden resumirse en
tablas básicas de verdad.
Ejemplo:
Implicación Equivalencia

P Q  P Q 
 P  Q  P  Q
 V  V V 
 V V  V
 V  F  F  V  F  F
 F  V  V  F  V  F
 F  F  V  F  F  V
- Una oración es una tautología si y sólo si el resultado de reemplazar cualquiera de sus oraciones atómicas
componentes (en todos los casos) por otras oraciones atómicas, es siempre una oración verdadera.
- P y Q son tautológicamente equivalentes cuando, y sólo cuando la bicondicional P Q es verdadera.