Lógica Proposicional 9

LOGICA PROPOSICIONAL
En general el estudio de las matemáticas exige razonar en forma válida acerca de cosas
trascendentes y particularmente abstractas; hay que comenzar por eliminar las ambigüedades del
lenguaje ordinario, introduciendo símbolos y conectivos cuyo uso adecuado descarten las
contingencias, aporte claridad y economía del pensamiento.
Si bien es complicado lograr un lenguaje abstracto que sea útil y práctico, es necesario
lograr una aproximación a éste, y para ello haremos uso de algunos elementos de la lógica
proposicional. El cálculo proposicional es también llamado, lógica proposicional, calculo
sentencial, álgebra Booleana. El cálculo proposicional, junta dos cálculos de predicados con la
constitución de símbolos lógicos.
La Lógica Matemática surge como una disciplina matemática cuyo objeto de estudio es la
lógica del razonamiento matemático humano (y actualmente también de otras formas de
razonamiento.) Requiere de expresar la lógica en términos susceptibles de ser representados y
manejados por un computador.
La lógica proposicional es la parte de la lógica que estudia las formas en que se relacionan
unas proposiciones con otras y, sobre todo, la relación que se da entre las proposiciones que
componen un razonamiento.

PROPOSICIONES
Las proposiciones son definidas, apenas "como un pensamiento completo". Para nuestro
propósito las proposiciones pueden ser tentativamente igual a una sentencia. Las proposiciones son
una sentencia declarativa, o reglas las cuales tienen valores de verdad, una proposición puede tener
dos valores, verdadero o falso. Pero no ambos (verdadero y falso) y tampoco pueden no tomar
ningún valor. Una proposición es un hecho.
Se define como “todo enunciado que expresa algo sobre lo que se pueda decir si es
verdadero o falso”.
Los argumentos de las proposiciones son: premisas y conclusiones de una proposición. Las
proposiciones son portadoras de veracidad y falsedad.
Resumiendo:
Proposición es una expresión con sentido en un lenguaje, que afirma o niega algo,
proporciona una información, y se caracteriza por el hecho de ser verdadera o falsa.

Mientras las proposiciones son expresadas en sentencias, la rama de la lógica se conoce

como símbolos lógicos (para sintetizar las proposiciones) empleando letras de variables minúsculas,
o variables proposicionales, p, q, r, s,..., para expresar proposiciones.

Proposiciones simples o hechos

Son aquellas que no pueden reducirse a otras mas sencillas, es decir, no tienen conectivos.

Las siguientes son proposiciones simples las cuales son verdaderas:

El cielo es azul
La nieve es fría
12*12=144
La Segunda guerra mundial duro desde 1939 hasta 1945.

Las siguientes proposiciones simples son falsas:

Honda hace televisiones
El General Fidel Castro es un Demócrata
8+99=231

Analista de Sistemas de Computación

Lógica Proposicional 10

Los Insectos crean su comida a través de fotosíntesis.

Atenas es la capital de Italia.
Las siguientes son proposiciones no validas:
Él es un vendedor -> Esta no es una proposición porque "Él" no esta definido. Como un
resultado no hay manera de verificar la sentencia y asignarle un valor de verdad.
Esta declaración es una mentira -> No es una proposición porque "Esta" no esta definida
como una declaración. No hay referencia y como en otros ejemplos no podemos asignar un valor de
verdadero o falso a la declaración.
Las cosas buenas vienen en pequeños paquetes -> Este tipo de declaración expresa una idea
subjetiva o concepto el cual no puede ser verificado en términos de verdadero o falso.
La verdad es que no hay verdad -> Esta es también un valor de hecho y expresa un concepto
filosófico el cual no es verificable.
Dios es bueno -> Este es un valor de hecho y expresa una ética, idea religiosa o dogma. No
es una proposición.
¿Por que el Soccer no es más popular que el Básquetbol en Estados Unidos? -> Esta no es
una declaración. Simplemente hace una pregunta.
12 + x = 16 -> No es una proposición porque "x" es una variable indefinida, al menos que a
x se le asignen valores, hasta entonces se puede verificar el valor de verdad o falsedad de la
proposición.
Al Pacino era un buen actor -> No es una proposición. Esta sentencia expresa una opinión;
es subjetivo.

Proposiciones compuestas
Son aquellas que pueden reducirse a otras más sencillas. Se conocen porque usan
conectivos lógicos.
Las proposiciones son expresadas a través de variables (p, q, r, s). Conectivos lógicos y
operadores establecen relaciones entre dos o más proposiciones. La función principal de los
operadores es la de formar una nueva proposición de una o más proposiciones. Así las declaraciones
compuestas o proposiciones son formadas.
Por ejemplo: Pedro es alto y siete es par.

CONECTIVOS LÓGICOS
A partir de proposiciones simples es posible generar otras compuestas. Es decir, se puede
operar con proposiciones, y según sean tales operaciones se utilizan ciertos símbolos, llamados
conectivos lógicos.
Los conectivos lógicos son elementos que se usan para enlazar varias proposiciones o para
modificar el valor de verdad de una proposición.
En la siguiente tabla se indican los conectivos lógicos a utilizar, la operación a la que se
asocia y la forma usual de lectura del mismo.
Conectivo Operación asociada Significado
~ Negación no
Conjunción y
Disyunción incluyente o
Disyunción excluyente o ... o ..., entonces ...
Implicación si ..., entonces ...
Doble implicación ... si y solo si ...

Analista de Sistemas de Computación

Lógica Proposicional 11

El valor de verdad de una proposición compuesta dependerá del valor de verdad de las
proposiciones simples de las que se compone. Los estados de verdad y falsedad de proposiciones se
representan en tablas de verdad.

A continuación analizamos cada una de las operaciones lógicas y sus

correspondientes tablas de verdad.

Negación
La negación es la inversa de los valores de verdad de una declaración como se muestra en la
tabla:
p ~p
V F
F V

Ejemplos
Algunas personas tienen miedo a morir ( p )
Algunas personas no tienen miedo a morir ( ~ p )
Lo que se considera en este caso es solo negar la proposición original, utilizando la negación
de la proposición.

Conjunción
Cuando conjugamos dos declaraciones, tiene el sentido de afirmar que son simultáneamente
verdaderas. Por ejemplo, al decir que "Londres es la capital de Inglaterra y Cuba es una isla,". El
conector funciona indicando que las dos proposiciones conjuntadas son verdaderas, de modo que si
p es la proposición "Londres es capital de Inglaterra" y q es la proposición "Cuba es una isla", la
conjunción de ambas proposiciones se representará de la siguiente manera:
Asignación de valores Proposición
p = Londres es la capital de Inglaterra
p q (se lee “p y q”)
q = Cuba es una isla
Londres es la capital de Inglaterra y Cuba es una isla

Considerando que la conjunción de dos proposiciones cualquiera indica la verdad simultanea

de ambas, la proposición compuesta resultante es verdadera si efectivamente ambas son verdaderas.
En otro caso la proposición resultante es falsa.
p q p q
V V V
V F F
F V F
F F F

Ejemplos
Algunas personas tienen miedo a morir ( p )
Algunas personas no tienen miedo a morir ( ~ p )

Disyunción

Analista de Sistemas de Computación

Lógica Proposicional 12

La disyunción tiene la función de enlazar dos proposiciones, indicando que al menos una de
ellas es verdadera (aunque pueden serlo ambas también); supongamos el siguiente ejemplo, si p es
la proposición "3 es un número primo" y q es la proposición "3 es un número natural". La
proposición compuesta indica que cuando menos una de las proposiciones simples es verdadera.
Asignación de valores Proposición
p = 3 es un número primo
p q (se lee “p ó q”)
q = 3 es un número natural
3 es un número primo o 3 es un número natural

En general, dada una proposición compuesta cuya conectiva es una disyunción, será
verdadera si al menos una de las alternativas es verdadera (y por supuesto cuando las dos lo sean).
Será falsa sólo cuando las dos alternativas sean falsas.
p q p q
V V V
V F V
F V V
F F F

Nota: puede ocurrir que en la disyunción una de las proposiciones excluya a la otra. Por ejemplo:

Asignación de valores Proposición

p = 3 es un número primo
p q (se lee “p ó q”)
q = 3 es un número compuesto
3 es un número primo o 3 es un número compuesto

Necesariamente si “3 es un número primo” no podrá ocurrir que “3 es un número

compuesto”. En este caso la Disyunción es exclusiva (una proposición simple excluye a la otra). Si
su correspondiente tabla de verdad será:
p q p q
V V F
V F V
F V V
F F F

La proposición será verdadera únicamente cuando una de ellas sea verdadera. Ya que una
excluye a la otra, no pueden darse ambas posibilidades simultáneamente.

Implicación
Al relacionarse dos proposiciones con este conector es muy importante distinguir la que
queda a la izquierda (a la que se le llama antecedente), de la que queda a la derecha (que se llama
consecuente).
El sentido de este conector es señalar, que si la proposición antecedente es verdadera,
también lo es la proposición consecuente; es decir, basta o es suficiente que el antecedente sea
verdadera, para que el consecuente también sea verdadero. De aquí que una proposición compuesta
en la que el conector es condicional, será falsa si siendo verdadero el antecedente, es falso el
consecuente. La proposición será verdadera en los demás casos, en los que no ocurre que el
antecedente es verdadero y el consecuente falso.

Analista de Sistemas de Computación

Lógica Proposicional 13

Ejemplo. Sí p es la proposición "Marte es un planeta", en tanto que q es la proposición "Marte brilla

con luz propia".
Asignación de valores Proposición
p = Marte es un planeta
p q (se lee “si p, entonces q”)
q = Marte brilla con luz propia
Si Marte es un planeta entonces Marte brilla con luz propia

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

Doble Implicación
Esta expresión es un conector lógico que al relacionar dos proposiciones indica que el valor
de verdad de ambas es el mismo, ya sea verdadero o falso. Así, p q es una proposición que
significa que si p es verdadera, entonces q también es verdadera y si q es verdadera, entonces p
también es verdadera. En realidad el conector “doble implicación” es la conjunción ( ) de dos
proposiciones “Implicaciones “ (también conocidas como condiciones), (si...entonces). es decir, la
proposición p q tiene el mismo sentido que la proposición ( p q) (p q ).
Consideremos el siguiente ejemplo: asignémosle valores a las variables que estamos
utilizando. De esta manera si p toma la proposición de "Febrero tiene 29 días" y q es "El año es
bisiesto".

Asignación de valores Proposición

p = Febrero tiene 29 días
p q (se lee "p sí y solo sí q" )
q = El año es bisiesto
Febrero tiene 29 días si y solo si el año es bisiesto

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

En este conector la regla a utilizar es la siguiente, la proposición es verdadera siempre y

cuando las dos proposiciones sean verdaderas o falsas.

Resumiendo:

p ~p
V F
F V

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

Analista de Sistemas de Computación

Lógica Proposicional 14

F F F F F V V

PROPOSICIONES Y TABLAS DE VERDAD

Hemos visto que con el uso de conectivos lógicos ( ~, , , , , ) podemos
elaborar a partir de proposiciones simples ( p, q, r, s, ...) proposiciones compuestas, denotadas por
P(p, q, r, s, ...).
También que el valor de verdad de una proposición compuesta, o simplemente proposición,
depende exclusivamente de los valores de verdad de las proposiciones simples, llamadas también
variables. Mejor dicho el valor de verdad de una proposición se conoce una vez que se conozcan los
valores de verdad de sus variables.

Si consideramos, por ejemplo la proposición: ~ ( p ~ q ) , su tabla de verdad es:

Columnas

p q ~q p ~q ~(p ~q)
V V F F V
f V F V V F
i F V F F V
l F F V F V
a
s
Las primeras columnas son tantas como las variables que intervienen (para este ejemplo son
dos). Y las siguientes corresponden a cada etapa “elemental” de la construcción de la proposición;
el valor de verdad de cada paso es determinado por el valor de las etapas anteriores, con las
definiciones de los conectivos presentes. Así, los valores en la cuarta columna se obtienen de la
conjunción de la primer y tercer columna.

En este caso explicaremos con mas detalles como se construye una tabla de verdad, en este
caso con 3 variables.
Primero se construye la fórmula y a su izquierda las variables (letras) que en ella entran. De
esta manera ya se tiene el encabezado.
Para conocer el número de renglones se aplica la fórmula , siendo "n" el número de variables.
En este caso , o sea. 2 x 2 x 2 = 8. Trazando pues ocho renglones.
Debajo de cada una de las variables de la izquierda ( p, q, r ) se escribe una columna de
valores. Empezando por la derecha anotando una V y una F, una V y una F, etc., hasta completar el
número de renglones (en este caso ocho). La siguiente columna a la izquierda se forma escribiendo
dos veces V y dos veces F, etc., hasta llenar los renglones. La siguiente columna se forma
escribiendo cuatro veces V y cuatro veces F.
Para calcular los valores de los conectivos se aplica la regla respectiva y se empieza por los más
interiores. El último conectivo en ser calculado es el que esté fuera de todo paréntesis.
Ejemplo: ( p q) (r q)
p q r (p q) (r q)
V V V V V V
V V F V V V
V F V F F F
V F F F V V
F V V F V V
F V F F V V

Analista de Sistemas de Computación

Lógica Proposicional 15

F F V F F F
F F F F V V

ACTIVIDADES DE AUTOEVALUACIÓN

1. Dadas las siguientes oraciones, indicar cuales son proposiciones:

¿quién viene?. La música es amada por juan.
¡alto!. Sevilla es la capital de España.
El calor dilata los cuerpos. ¿cómo te llamas?.
211 es un número primo. Soy casado y feliz.
Juan ama la música.

2. Escribir en forma simbólica las siguientes proposiciones:

El silencio es la respuesta de los sabios y más mueve los ejemplos que la palabra.
El verdadero valor nos coloca por encima de la suerte o cada día es el mejor del año.
Si es divisible por tres entonces no es cierto que sea primo y par.
Si razonáramos bien naturalmente, entonces la lógica no sería necesaria.
Saldremos antes o no alcanzaremos a ver el espectáculo.
De acá a diez años la informática va a crecer más de dos veces y el futuro promete menos horas de
trabajo.
El sector ventas será continua fuente de empleos, pero los empresarios exigirán a sus empleados
algún tipo de información técnica.
Si sube el precio del café entonces aumenta el consumo del té o de la yerba.
La localidad de Andresito pertenece al departamento Guaraní o al de Iguazú.

3. Sea p “hace frío” y sea q “llueve”. Dar una frase verbal simple que describa cada una de
las siguientes proposiciones:
a) ~p c) p q e) ~p ~q
b) p q d) p ~q f) ~ (~ q )

4. Sea p “el es apuesto” y q “el es inteligente”. Escribir cada una de las siguientes
proposiciones de manera simbólica, usando p y q:
El es apuesto e inteligente.
El es inteligente pero no es apuesto.
Es falso que sea apuesto o inteligente.
El no es inteligente pero si es apuesto.
El es inteligente, o apuesto y no inteligente.
No es cierto que no sea inteligente o apuesto.

5. Sean:
Las zonas afectadas por el paludismo son las áreas cálidas.
El paludismo es una enfermedad conocida desde hace más de dos mil años.
La reciente vacuna contra el paludismo tiene un costo ínfimo.
El paludismo afecta a inmensas cantidades de personas humildes.
La vacuna contra el paludismo es atractiva para la industria manufacturera.
El inventor de la vacuna contra el paludismo es el científico Patarroyo.
Patarroyo cedió sus derechos de inventor a la Organización Mundial de la Salud.
Formular una traducción verbal de cada uno de los enunciados siguientes:
a) p q b) s t

Analista de Sistemas de Computación

Lógica Proposicional 16

c) ~t g) ~ (p ~ t)
d) u r h) ~ (r ~t)
e) (s r) q i) (s ~ t) v
f) s ~t j) ~ (v q)

6. Determinar el valor de verdad de cada una de las proposiciones compuestas,

previamente escritas en forma simbólica.
Es falso que y
Es falso que o Londres está en Francia.
Londres esta en Francia o
Iremos a Fátima si y solo si Aprobamos Matemática I.

7. Usando solo ~ , , , construir dos esquemas proposicionales cuyas tablas de verdad

sean las siguientes:
a) b)
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

TAUTOLOGÍA, CONTRADICCION Y CONTINGENCIA.

Se define a los siguientes tipos de proposiciones según los valores de su tabla de verdad:

 Una proposición es una Tautología cuando todos los valores de su tabla de verdad son
verdaderos independientemente de la verdad o falsedad de sus variables.
p ~p p ~p
V F V
F V V

 Una proposición es una Contradicción cuando todos los valores de su tabla de verdad son
falsos independientemente de la verdad o falsedad de sus variables.
p ~p p ~p
V F F
F V F

 Una proposición es una Contingencia cuando los valores de su tabla de verdad son algunos
verdaderos y otros falsos dependiendo de los valores de verdad o falsedad de sus variables. Es
decir no es si Tautología ni Contradicción.
p p p p
V V V
F F F

Observación:
La negación de una tautología es una contradicción, ya que siempre es falsa; y la negación
de una contradicción es una tautología, pues siempre es verdadera.

Analista de Sistemas de Computación

Lógica Proposicional 17

Nota:
Si el estudio de los temas hasta aquí presentados requiere una mayor profundización para su
comprensión, queda a cargo del alumno la investigación. Utilizando la bibliografía recomendada.

EQUIVALENCIA LÓGICA

Cuando una doble implicación es una tautología, se dice que es una equivalencia lógica. O,
dicho de otra forma, una proposición “p” es equivalente a otra “q” ( p q ), cuando las tablas de
verdad de “p” y “q” son iguales. Simbólicamente se utilizan “ ” o “ ” para indicar que dos
proposiciones son idénticas.

Ejemplos:
Analicemos la tabla de verdad para: ( p q) (p q) (q p)

Luego de realizadas las tablas se verifica que ambas son idénticas, por tanto son
lógicamente equivalentes.

Analista de Sistemas de Computación