LGICA PROPOSICIONAL

La lgica proposicional es una tcnica formal que tiene origen en la necesidad de

diferenciar lo que est pensado de manera correcta de lo que no, es decir, la lgica formal
es una ciencia que incluye los principios y mtodos para diferenciar el razonamiento
correcto del incorrecto.

Esta lgica consiste en la aceptacin de ciertas reglas de inferencia a travs de las cuales se
obtienen conclusiones de mayor validez por medio de un nmero finito de pasos
encadenados donde cada paso viene sustentado por un razonamiento previo.

Proposiciones

Una proposicin es toda expresin afirmativa que tiene sentido, es decir, de la cual puede
decirse que es verdadera o falsa. Existen dos tipos de proposiciones: simples y compuestas.
Las proposiciones simples consisten en una sola oracin con sujeto, verbo y complemento,
algunas veces implcitos, por ejemplo: Hoy es lunes, Un cuadriltero tiene tres lados, Mara
estudia ingeniera, entre otras.

Las proposiciones compuestas consisten en dos o ms oraciones simples unidas con un

conector (y, o, sientonces), por ejemplo, Juan estudia medicina y trabaja en el hospital.

Generalmente, las proposiciones simples se simbolizan con una letra mayscula, lo que
facilita el uso de las reglas de inferencia que se describirn ms adelante.

Smbolos usados en la lgica proposicional o formal

Operacin Nombre Smbolo Ejemplo gramatical

lgica terico lgico
No Negacin ~ No trabajo = ~T
O Disyuncin Estudio o paseo= E P
Y Conjuncin Bailo y hago deporte= B P
Sientonces Condicional Si tengo vacaciones entonces viajo a
Mxico = V M

Negacin:
La negacin de una proposicin se obtiene al anteponer la palabra no al enunciado. Por
ejemplo: sea E la letra que representa la proposicin Estamos en clase de matemticas,
por lo tanto ~E corresponde a la proposicin No estamos en clase de matemticas.

De acuerdo con lo anterior, si E se cumple o es verdadera, ~E no se cumple o es falsa, lo

que puede representarse de la siguiente manera:

E ~E
x
x
Doble negacin:

La doble negacin es una regla de inferencia que dice: negar dos veces una proposicin se
convierte en una afirmacin, es decir: ~(~E) = E

Lo anterior se puede leer como: No es cierto que, no estamos en clase de matemticas

equivale a Estamos en clase de matemticas.

Disyuncin:

La disyuncin es la proposicin que se obtiene enunciando dos proposiciones unidas por el

conector o. Para que una proposicin unida con una disyuncin se cumpla, debe
cumplirse al menos una de las proposiciones simples que la conforman. Lo anterior, puede
representarse de la siguiente manera:

A B AB
x
x

x x x
Ejemplo: Dada la proposicin Ana estudia o practica baloncesto, se puede afirmar que:

- Si Ana estudia pero no practica baloncesto, la proposicin es verdadera

- Si Ana no estudia pero practica baloncesto, la proposicin es verdadera
- Si Ana estudia y practica baloncesto, la proposicin es verdadera
- Si Ana no estudia ni practica baloncesto, la proposicin es falsa

Se debe tener en cuenta que la disyuncin admite que se cumplan ambas proposiciones,
contrario a lo que sucede en el lenguaje cotidiano.
El caso en que se debe cumplir solo una de las proposiciones se denomina disyuncin
excluyente, y se simboliza . Por ejemplo: la proposicin La ensalada debe tener moras o
fresas pero no ambas, se simboliza M F.

Conjuncin:

La conjuncin es la proposicin que se obtiene enunciando dos proposiciones unidas por el

conector y. Para que una proposicin unida con una conjuncin se cumpla, deben
cumplirse todas las proposiciones simples que la conforman. Lo anterior, puede
representarse de la siguiente manera:

A B AB
x x
x x

x x x
Ejemplo: La proposicin: Andrs trabaja en el campo y estudia en la ciudad, solo es
verdadera si ambas proposiciones simples se cumplen.

Condicional:

Son proposiciones que contienen una condicin, como por ejemplo, si el da est lluvioso
entonces saldremos con el paraguas. Los enunciados con esta forma se simbolizan de la
siguiente manera AB, y se lee Si A entonces B. Este tipo de proposiciones permiten
deducir informacin a partir de una situacin, por lo cual, se puede hablar de certeza o no
certeza. Lo anterior se puede representar de la siguiente manera

A B

x ?
?
x x

Lo anterior se puede ejemplificar con la siguiente situacin:

Suponga que para llegar a un pueblo P existen 3 caminos denominados A, B y C. Considere

la siguiente condicin: Si tomo el camino A entonces llegar al pueblo P (AP)
De lo anterior se puede afirmar que:

-Se tiene certeza que si tomo el camino A, llegar al pueblo P

-No se tiene certeza de que si llegu al pueblo P entonces tom el camino A, porque pude
haber tomado otro camino; esto quiere decir que la condicin no se cumple necesariamente
en ambos sentidos, es decir, no se puede asegurar que la proposicin PA sea verdadera.
-No se tiene certeza de que si no tomo el camino A entonces no llegar al pueblo P, porque
puedo tomar otro camino; esto quiere decir que la negacin de un condicional NO es
~A~P, porque no se puede afirmar con seguridad que esta proposicin sea verdadera.
-Por ltimo, se tiene certeza de que si no llegu al pueblo P entonces no tom el camino A,
porque si lo hubiera tomado, habra llegado al pueblo; esto quiere decir que la proposicin
AP es equivalente a ~P~A, lo cual se denomina contrarrecproco.

Aplicaciones de la Lgica Proposicional

La lgica proposicional puede ser utilizada para resolver situaciones que involucren tablas
de doble entrada, problemas de verdad o mentira (reduccin al absurdo), inferencia, entre
otras.

Tablas de doble entrada

Tres amigas: Mara, Marcela y Clara tiene cada una, una mascota diferente; perro, gato y
canario. Si se sabe que:
-Mara le dice a la duea del gato que la otra tiene un canario.
-Marcela le dice a la duea del gato que su mascota y la de Mara se llevan bien.
Cul es la mascota que tiene Mara y quin es la duea del gato?

Solucin: El problema se puede solucionar utilizando una tabla cuya primera entrada es el
nombre de cada una y la segunda entrada es la mascota:

Perro Gato Canario

Mara
Marcela
Clara
Con la afirmacin: Mara le dice a la duea del gato que la otra tiene un canario, se puede
inferir que Mara no es la duea del gato ni del canario, por lo cual se ubica una x en estas
dos mascotas y solo quedar un espacio libre que es el perro. De igual forma, se ubica una x
en Marcela y Clara porque no son las dueas del perro.

Perro Gato Canario

Mara x x
Marcela x
Clara x
Con la afirmacin: Marcela le dice a la duea del gato que su mascota y la de Mara se
llevan bien; se puede deducir que Marcela no es la duea del gato, por lo tanto, es la duea
del canario:

Perro Gato Canario

Mara x x
Marcela x x
Clara x
Al terminar de llenar la tabla, se obtiene:

Perro Gato Canario

Mara x x
Marcela x x
Clara x x
Por lo cual, la mascota de Mara es el perro y la duea del gato es Clara.

Reduccin al absurdo (problemas de verdad o mentira)

En un incidente diplomtico sobre el lanzamiento de un misil, comparecieron cuatro

potencias frente a la ONU, para aclarar el suceso.

-El canciller alemn dijo: EEUU lanz el misil

-El canciller americano dijo: El canciller alemn miente
-El canciller britnico dijo: Francia o EEUU mienten
-El canciller francs dijo: Francia no hizo el lanzamiento

Si la ONU sabe que uno de ellos miente, el culpable es:

A. Alemania
B. EEUU
C. Francia
D. Inglaterra

Solucin:

El mtodo de reduccin al absurdo consiste en suponer una hiptesis como verdadera y

buscar una contradiccin. Si se llega a la contradiccin, la hiptesis que se supuso
verdadera en realidad no lo es; si no existe contradiccin se puede afirmar que dicha
hiptesis es correcta.

Se puede proceder a suponer cada una de las opciones de respuesta y revisar en las
proposiciones que coincidan con la condicin de que solo una es mentira.
 A. Supongamos que el culpable es Alemania, por lo tanto:

Alemania EEUU lanz el misil Mentira

EEUU El canciller alemn miente Verdad, porque en realidad miente
Inglaterra Francia o EEUU mienten Mentira, porque ni EEUU ni Francia
mienten
Francia Francia no hizo el Verdad
lanzamiento

Como resultaron dos mentiras, esta no es la respuesta correcta.

Se debe tener muy presente que se est suponiendo quin fue el culpable, no quien dice
la mentira, puesto que al suponer esto ltimo, el resolver el problema se hace ms
complicado.

B. Supongamos que el culpable es EEUU, por lo tanto:

Alemania EEUU lanz el misil Verdad

EEUU El canciller alemn miente Mentira, porque el alemn no est
mintiendo
Inglaterra Francia o EEUU mienten Verdad, porque EEUU miente y no es
necesario que Francia lo haga por ser una
disyuncin
Francia Francia no hizo el Verdad
lanzamiento

Como resulto una sola mentira, esta es la respuesta correcta.

Como ejercicio, se propone analizar las opciones de respuesta C y D.

Inferencia

En Villa Primavera el clima es bastante peculiar: perpetuamente esta en invierno o sale un

enorme sol y, siempre que hay invierno entonces llueve y cae granizo. Pero si llueve y hace
sol entonces no falta el arco iris.

Si esta tarde llueve y no cae granizo entonces podemos inferir que:

A. Hace invierno esta tarde en Villa Primavera.

B. En Villa Primavera si cae granizo entonces hace invierno.

C. Esta tarde sale el arco iris.

D. Cae granizo.

Solucin:

Para llegar a la respuesta correcta, se pueden traducir las proposiciones a letras y

smbolos, y luego seguir las reglas de inferencia para cada conector.

Sea:

I: En Villa Primavera perpetuamente esta en invierno

S: En Villa Primavera sale un enorme sol
L: En Villa Primavera llueve
G: En Villa Primavera cae granizo
A: En Villa Primavera sale el arco iris

El enunciado quedara de la siguiente manera:

IvS
I (L G)
(L S) A

La premisa que da el ejercicio es que esta tarde llueve y no cae granizo (L ~G), por lo
cual se puede analizar de la siguiente manera:

L G no se cumple, por lo cual I tampoco se cumple (por contrarrecproco), es decir no hay

invierno.

Si no hay invierno entonces debe salir el inmenso sol, ya que I v S es verdadero.

Por ltimo, se sabe que lleve y sale el inmenso sol, es decir que, de acuerdo con el
enunciado, en villa primavera esta tarde sale el arco iris.

La respuesta correcta es la C.

Bibliografa:
Wills, D.; Guarn, H.; Londoo, N. & Gmez, Ral. (1976). Serie Matemtica Moderna
Estructurada. Editorial Norma, Bogot.