CAPITULO I

PROPOSICIONES LÓGICAS

1.1. DEFINICIÓN

1.1.1. ¿QUE ES UNA PROPOSICIÓN?

Es una oración con valor referencial o informativo, de la cual se puede predicar su veracidad
o falsedad, es decir, que puede ser falsa o verdadera pero no ambas a la vez.

La proposición es la expresión lingüística del razonamiento, que se caracteriza por ser

verdadera o falsa empíricamente, sin ambigüedades. Son proposiciones las oraciones
aseverativas, las leyes científicas, las fórmulas matemáticas, las fórmulas y/o esquemas lógicos,
los enunciados cerrados o claramente definidos. No son proposiciones las opiniones y
suposiciones; los proverbios, modismos y refranes; los enunciados abiertos no definidos; las
oraciones interrogativas, exclamativas, imperativas, desiderativas y dubitativas; las
interjecciones en general; ni las operaciones aritméticas.

1.1.2. LÓGICA PROPOSICIONAL

Una lógica proposicional es un sistema formal cuyos elementos más simples representan
proposiciones, y cuyas constantes lógicas, llamadas conectivas lógicas, representan operaciones
sobre proposiciones, capaces de formar otras proposiciones de mayor complejidad.

La lógica proposicional trata con sistemas lógicos que carecen de cuantificadores, o variables
interpretables como entidades. En lógica proposicional si bien no hay signos para variables de
tipo entidad, sí existen signos para variables proposicionales (es decir, que pueden ser
interpretadas como proposiciones con un valor de verdad definido), de ahí el nombre
proposicional. La lógica proposicional incluye además de variables interpretables como
proposiciones simples signos para conectivas lógicas, por lo que dentro de este tipo de lógica
puede analizarse la inferencia lógica de proposiciones a partir de proposiciones, pero sin tener
en cuenta la estructura interna de las proposiciones más simples.

1.2. CONECTIVOS LÓGICOS

La siguiente tabla despliega todas las conectivas lógicas que ocupan a la lógica proposicional,
incluyendo ejemplos de su uso en el lenguaje natural y los símbolos que se utilizan para
representarlas en lenguaje formal.

En lógica, una conectiva lógica, o simplemente conectiva, (también llamado operador lógico
o conectores lógicos) es un símbolo o palabra que se utiliza para conectar dos fórmulas bien
formadas o sentencias (atómicas o moleculares), de modo que el valor de verdad de la fórmula
compuesta depende del valor de verdad de las fórmulas componentes.

Los conectivos lógicos más comunes son los conectivos binarios (también llamados
conectivos diádicos) que unen dos frases, que pueden ser consideradas los operandos de la
función. También es común considerar a la negación como un conectivo monódico. Las
conectivas lógicas son, junto con los cuantificadores, las principales constantes lógicas de
muchos sistemas lógicos, principalmente la lógica proposicional y la lógica de predicados. En
programación se utilizan para combinar valores de verdad y obtener nuevos valores que
determinen el flujo de control de un algoritmo o programa.
 EXPRESIÓN EN EL
CONECTIVO LÓGICO SÍMBOLO
LENGUAJE NATURAL

Negación no ~
Conjunción y ^
Disyunción o ˅
Condicional material si... entonces →
Bicondicional sí y sólo si ↔
Disyunción opuesta ni... ni Δ

1.3. TABLAS DE VERDAD

1.3.1. NEGACIÓN

Palabras conectivas: no, no es cierto que, no es verdad que, nunca, carece de, sin,
etc.
Prefijos negativos: a, des, in, i.
Condición: lo V se transforma en F (y al revés) P -p

P ~P
V F
F V

1.3.2. CONJUNCIÓN

Palabras conectivas: y, aunque, pero, mas, también, sin embargo, además, etc.
Condición: es V cuando ambas son V.

P q P^q
V V V
V F F
F V F
F F F

Ejemplo:

Sea el siguiente enunciado "el auto enciende cuando tiene gasolina en el tanque y
tiene corriente en la batería"

Sean:

p= tiene gasolina el tanque

q = tiene corriente la batería
r = el auto enciende = p ^ q
 La conclusión resultante es que para que el auto encienda se debe tener gasolina
en el tanque y corriente en la batería, sino se tiene una de estas dos condiciones el
auto no arrancará.

1.3.3. DISYUNCIÓN INCLUSIVA

Una, otra o ambas a la vez. (y/o)

Palabras conectivas: o
Condición: es F cuando las dos son F.

P q P˅q
V V V
V F V
F V V
F F F

Ejemplo:

Sea el siguiente enunciado "Una persona puede entrar al cine si compra boleto u
obtiene un pase"

Sean:

p= compra boleto
q = obtiene un pase
r = una persona entra al cine = p v q

La conclusión resultante es obvia, puesto que para entrar al cine es necesario tener
por lo menos una de las dos condiciones: comprar un boleto o tener un pase, si se
tiene ambas también se puede entrar, si no tengo ninguna de las dos alternativas
entonces no se puede entrar al cine.

1.3.4. LA CONDICIONAL

La condicional p→q, que se lee "si p, entonces q" o "p implica q," se define con la
siguiente tabla de verdad.

Condición: es falsa sólo si el antecedente (p) es V y el consecuente (q) es F.

p q p→q
V V V
V F F
F V V
F F V
 Ejemplo:

Si se tiene lo proposición "Si un cuerpo se calienta, entonces se dilata", se observa que

estamos diciendo es que la primera proposición "si el cuerpo se calienta" implica a la
segunda proposición " entonces se dilata", pero no se afirma que el antecedente es
verdadero, ni el consecuente es verdadero, puede ser que el cuerpo no se calentó y el
cuerpo se dilato por causa de otros factores ajenos a la temperatura, un golpe.

1.3.5. LA BICONDICIONAL

Palabras conectivas: si y sólo sí; cuando y sólo cuando; es equivalente a; es

condición suficiente y necesaria para; etc.

Condición: son verdaderas si ambas proposiciones tienen el mismo "valor de

verdad".

p q p↔q
V V V
V F F
F V F
F F V

Ejemplo:

(a) Verdad o falsa? "1+1 = 3 si y solo si Marte es un agujero negro."

(b) Reformula la oración: "Enseño matemáticas si y solo si me pagan una gran suma de
dinero."

Solución:

(a) Verdadera. La proposición dada tiene la forma p↔q, dónde p: "1+1=3" y q: "Marte
es un agujero negro." Ya que ambas proposiciones son falsas, el bicondicional p↔q es
verdadera.
(b) Aquí están algunas maneras equivalentes de expresar esta oración:
"Enseñar matemática es necesario y suficiente para que me paguen una gran suma de
dinero."
"Me pagan una gran suma de dinero si y solo si enseño matemáticas."
Lamentablemente para nuestras finanzas, ninguna de las dos oraciones es verdad.

1.4. TAUTOLOGÍAS, CONTRADICCIÓN Y CONTINGENCIA.

Con cinco conectivas lógicas básicas se construyen proposiciones compuestas que pueden
ser tautologías, contradicciones o contingencias.
- Si la tabla de verdad de la proposición es siempre verdadera, independientemente de la
verdad o falsedad de las proposiciones simples, entonces la expresión es tautológica.
- Si la tabla de verdad es siempre falsa, será una contradicción.
- Si es verdadera y falsa, la proposición es una contingencia.

1.4.1. TAUTOLOGÍA:

Una proposición compuesta es una tautología si es verdadera para todas las

asignaciones de valores de verdad para sus proposiciones componentes. Dicho de
otra forma, su valor V no depende de los valores de verdad de las proposiciones
que la forman, sino de la forma en que están establecidas las relaciones sintácticas
de unas con otras. Sea el caso:

1.4.2. CONTRADICCIÓN:

Se entiende por proposición contradictoria, o contradicción, aquella proposición

que en todos los casos posibles de su tabla de verdad su valor siempre es F. Dicho
de otra forma, su valor F no depende de los valores de verdad de las proposiciones
que la forman, sino de la forma en que están establecidas las relaciones sintácticas
de unas con otras. Sea el caso:

1.4.3. CONTINGENCIA: Se entiende por verdad contingente, o verdad de hecho, aquella

proposición que puede ser verdadera o falsa, (combinación entre tautología y
contradicción) según los valores de las proposiciones que la integran. Sea el caso: