Lgica de Proposiciones

1.Proposiciones
1.1. Definicin
Proposicin lgica: es todo enunciado con sentido, respecto del cual se disponga de un
criterio que nos permita decir que es verdadero o falso
Ejemplos de proposiciones:

Caracas es la capital de Venezuela.

Gabriel Garca Mrquez gano el premio Nbel de literatura en 1982.
El hierro es un metal.
Las piezas publicitarias venden productos.
3+7<2.
La estructura de un viaducto es de cristal.

No son ejemplo de proposiciones:

Apague el aire acondicionado.

Levntese.
Haga la Asignacin

Ya que no son ni verdaderos ni falsos; en todo caso se da una orden.

Son proposiciones ya que para cada una de ellas se dispone de un criterio (geogrfico,
histrico, qumico, publicitario, matemtico o de ingeniera) que nos permita afirmar que
son verdaderas o falsas.
Podemos considerar el conjunto U, de todas las proposiciones posibles del lenguaje,
conjunto Universal y designarlo como: el universo del discurso. Podemos representar las
proposiciones o elementos de este conjunto con letras minsculas como: p, q, r....., y las
llamaremos variables o letras proposicionales.

1.2. Proposicin atmica y molecular

Proposicin atmica: es el enunciado mnimo que podemos expresar y mediante algn
criterio decir que es verdad o falso. Esto lo podemos relacionar con el concepto de tomo
que es definido como elemento material de los cuerpos, que se considera indivisible por su
pequeez.
Ejemplo de proposiciones atmicas:
p: Una dcada tiene diez aos
q: Hay un premio Nbel de ciencias de la computacin
r: La Tierra es plana
Se denominan Proposiciones moleculares o formulas, a las que se obtienen combinando
proposiciones atmicas, mediante ciertas partculas, llamadas conectivas.
De est forma podemos obtener proposiciones moleculares combinando las
proposiciones atmicas anteriores:
Ejemplo:
Una dcada tiene diez aos y La Tierra es plana
Como las proposiciones atmicas usadas las habamos representado con las letras p y r
respectivamente, la proposicin molecular vendr representada con la siguiente notacin:
pyr
Las proposiciones moleculares deben ser representadas con letras maysculas en
carcter normal, P, Q, R, ..., a las que se les dar el nombre de letras proposicionales.

1.3. Forma Proposicional

La forma proposicional es la manera como representamos las diferentes proposiciones.
Podemos hacerlo mediante el uso del lenguaje comn o utilizando la notacin de
proposiciones que introdujimos en los puntos anteriores.

1.4. Notaciones y Conectivos

Como se menciono arriba, las proposiciones atmicas se van a denotar o representar con
letras minsculas y las moleculares con letras maysculas.
Las Conectivas de una proposicin molecular es el elemento verbal o escrito que une las
proposiciones atmicas que forman dicha proposicin.
Existen dos tipos de conectivas: las que unen dos proposiciones atmicas o conectivas
mltiples y las negaciones o conectivas singulares.
Para efectos del curso se usarn las siguientes seis conectivas:
<<no>>, <<y>>, <<o>>, <<o...o>>, <<si....entonces>>, <<si y solo si>>
En la siguiente tabla los conectivos ms usados en la lgica proposicional:
Nombre

Smbolo

Notacin

Lectura

Conjuncin

pq

pyq

Disyuncin

pq

poq

Disyuncin Exclusiva

pq

O p o q pero no ambos

Implicacin

pq

p implica q

Equivalencia

pq

p si y solo si q

Negacin

~p

No p; es falso p

Valor de Verdad: se usa este termino para referirse indistintamente al hecho de que una
proposicin es verdadera o falsa. Decimos que una proposicin verdadera tiene el valor de
verdad verdadero y una proposicin falsa tiene valor de verdad falso.
Representamos los valores de verdad verdadero con la letra V y el de falso con la letra
F.
Ejemplos:

1.- La suma de los dos lados de un tringulo es mayor que la longitud de cualquier
lado, es una proposicin a la cual se asocia el valor verdadero en Geometra.
2.- 6 es un nmero impar se le asocia el valor falso en matemticas.
Los conectivos relacionan las proposiciones y nos permiten analizar el valor de verdad
de una proposicin compuesta a partir de los valores de verdad de sus proposiciones
componentes.
A continuacin relacionaremos cada uno de los conectores nombrados con su valores de
verdad.
Conjuncin:

<<y>> o . El valor de verdad de pq es: verdadero si las dos

proposiciones que la componen son verdaderas, y es falso si al menos una de las dos
proposiciones que la componen es falsa.
Ejemplo:
2 es un nmero la vaca es un animal : tiene valor de verdad V
2 es un nmero la vaca es un ave : tiene valor de verdad F
2 es impar la vaca es un animal : tiene valor de verdad F
2 es un impar la vaca es un ave : tiene valor de verdad F
Disyuncin: corresponde a <<o>> o . p o q (p q) significa: la proposicin p o la q
o ambas. En la proposicin: El prximo profesor ser ingeniero o matemtico, la
disyuncin o tiene el significado que se indica. En efecto, se significa con dicha
expresin que el prximo profesor ser ingeniero, ser matemtico o tendr ambos ttulos .
El valor de verdad de pq es: verdadero (V) si al menos una de las proposiciones es,
verdadera y falso, si ambas proposiciones son falsas.
Ejemplo:
Estudio por libros o estudio por apuntes, tendr el valor de verdad si estudio por uno
o por los dos y falso si no estudio por ninguno de las dos formas.

Disyuncin exclusiva: corresponde a <<o....o..>>

o p o q (pq) significa la

proposicin p o la q pero no ambas. En la expresin el empleado o renuncia o ser

despedido, la disyuncin exclusiva tiene ese sentido , el empleado o renuncia o ser
despedido pero no ambas cosas.
El valor de verdad de pq es: verdadero V, si una de las proposiciones es verdadera y la
otra falsa; y es falso F, si ambas proposiciones son verdaderas, o si ambas son falsas.
Condicional: corresponde a <<Si.... entonces...>> Si p entonces q (pq). De las
dos proposiciones p y q ligadas por el conectivo condicional, la primera recibe el nombre
de antecedente o hiptesis, y la segunda consecuente o conclusin
El valor de verdad de pq es: falso F, si el antecedente p es verdadera y el consecuente
q es falso; y verdadero V en todos los dems casos.
Resulta que pq tiene una reciproca que es qp y la contrareciproca ~ q ~ p
La conectiva si y solo si p si y solo si q (pq).
El valor de verdad de pq es: verdadero V, si el antecedente p y consecuente q tienen
igual valor de verdad o V o F, y falso F cuando tienen valores diferentes.
Negacin: <<no..>> ~ negacin de p o no p (~p).
Los valores de verdad para el conectivo ~ son : la negacin de una proposicin
verdadera es falsa F y la de una proposicin falsa es verdadera V.

1.5. Operadores lgicos

Si E es el conjunto de todas las proposiciones (atmicas y moleculares), p y q dos
proposiciones atmicas cualesquiera y designamos con una cualquiera de las cinco
conectivas mltiples estudiadas, es obvio que pq pertenece a E; por lo tanto, podemos
asimilar el papel de las conectivas al de los signos de operaciones aritmticas.
En este orden de ideas, las proposiciones de partida p y q son los componentes o datos
de la operacin, la proposicin molecular obtenida es el resultado de aquella.
Si la proposicin resultado la representamos con R, podemos escribir:

pq=R
leeremos (p compuesto con q igual a R)
Cuando formamos la negacin de una proposicin p diremos, tambin, que hemos
efectuado una operacin con aquella.
Si la proposicin resultado la representamos con R, podremos escribir:
~p=R

1.6. Tabla de Verdad

Tabla de Verdad: la tabla de verdad de una conectiva mltiple es un cuadro que permite
determinar mecnicamente la verdad o falsedad de una cualquiera de las proposiciones
compuestas, cuando son conocidos los valores de verdad de las proposiciones
componentes.
A continuacin presentamos las tablas de verdad de los diferentes conectivos, con estas
tablas se pueden construir las tabas de verdad de cualquier combinacin de proposiciones
con los diferentes conectores.
1.- Tabla de Verdad de la conectiva conjuncin <<y>> con dos proposiciones p y q.
P

pq

2.- Tabla de verdad de la conectiva disyuncin <<o>> , con consideraciones similares a

las del caso anterior nos lleva a la tabla de la verdad siguiente:
P

pq

3.- Tabla de verdad de la conectiva disyuncin exclusiva <<o...o>> , la tabla de la

verdad es la siguiente:
P

pq

4.- Tabla de verdad de la conectiva implica <<si...entonces>> , la tabla de la verdad

es la siguiente:
P

pq

5.- Tabla de verdad de la conectiva <<si y solo si>> , la tabla de la verdad es la

siguiente:

pq

6.- Tabla de verdad de la conectiva <<no>> ~ , la tabla de la verdad es la siguiente:

P

~p

En resumen tenemos la siguiente tabla de la verdad para todos los conectores lgicos:
p

pq

pq

p
q

pq

pq

~p

1.7. Leyes de la lgica

1.- Ley de Idempotencia: a. (pp)p
b. (pp)p
2.- Ley de absorcin:

a. (p(pq))p
b. (p (pq))p

3.- Ley asociativa:

a. ((pq)r)(p(qr))
b. ((pq)r)(p(qr))

4.- Ley conmutativa:

a. pqqp

b. pqqp
c. pqqp
5.- Contrapositiva:

pq~q~p

6.- Doble negacin: ~ ~ pp

2.Enunciado de una Proposicin y Deducciones

2.1. Definicin de Tautologa
Se dice que una proposicin compuesta es una TAUTOLOGIA o que es lgicamente
verdadera, si y slo si, dicha proposicin toma valores de verdad verdadero (V) cualquiera
que sean las proposiciones atmicas que la formen.
Por tanto es inmediato que la tabla de verdad de una TAUTOLOGA contendr solo V
en la ltima columna.
Ejemplo: (pr)(pq)
P

R (pr) (pq) (pr)(pq)

2.2. Definicin de Contradiccin

Una proposicin compuesta es una contradiccin o lgicamente falsa si dicha
proposicin es falsa cualquiera que sean las proposiciones atmicas que la formen.
Es inmediato que la tabla de verdad de una CONTRADICCIN contendr solo F en la
ltima columna.

Ejemplo: ~((pq)p)

(p

(pq)

~((pq)

q)

p)

V V

2.3. Definicin de Contingencia

Una proposicin compuesta es una contingencia o Indeterminacin si dicha proposicin
tiene valores de verdad tanto verdadero como falsos.
Es inmediato que la tabla de verdad de una CONTINGENCIA contendr tanto V como F
en la ltima columna.

2.4. Implicacin Lgica

Diremos que una proposicin P implica una proposicin Q, si, y slo si, la proposicin
condicional PQ es una tautologa.
Tanto P como Q pueden ser proposiciones atmicas o compuestas.
Si P implica Q , escribiremos:
P Q
y leeremos P implica Q.
A la proposicin anterior se le llama Teorema , P es la hiptesis y Q la tesis.

2.5. Equivalencia lgica

Si P implica Q, e inversamente, Q implica P, se dice que P y Q son equivalentes y se
escribe:
PQ

Leeremos P equivalente a Q.
Para probar la equivalencia de dos proposiciones P y Q bastar construir la tabla de
verdad de la proposicin PQ y comprobar que las anotaciones de la ltima columna son
slo V.
En la prctica basta verificar que las tablas de verdad de Q y P son iguales.

2.6. Condicin Suficiente y necesaria

Puesto que con las proposiciones P y Q pueden formarse las proposiciones compuestas:
PQ, QP, ~P~Q, ~Q~P;
si a estas proposiciones las llamamos directa, recproca, contraria de la directa y
contrarecproca, respectivamente, y formamos sus tablas de verdad como a continuacin se
indica, tendremos:
P

~P

~Q

PQ

QP

~P~Q

~Q~P

Ahora bien, como las columnas 5 y 8 son iguales, los encabezamientos de estas
columnas sern equivalentes es decir:
PQ ~Q~P
Anlogamente:
Q P ~P ~Q
o sea:
1.- La proposicin condicional es equivalente a su contrarecproca.

2.- La proposicin condicional recproca es equivalente a la contrara de la diecta.

De las condiciones anteriores se sigue que si:

PQ, QP, ~P~Q, ~Q~P;
Son tautologas y por tanto,
PQ, QP, ~P~Q, ~Q~P;
Son

teoremas

directo,

recproco,

contrario

del

directo

contrarecproco,

respectivamente, podemos concluir, anlogamente, que:

3.- Los teoremas directo y contrarecproco son equivalentes.
4.- Los teoremas recproco y contraro de la directa son equivalentes.
Resumiendo: Los teoremas recprocos son equivalentes.
Relaciones entre un teorema y sus formas derivadas. Las relaciones existentes entre un
teorema
PQ
y sus formas derivadas puede ser esquematizado en la forma siguiente:

CONTRARIOS

PQ,

RECIPROCOS

QP,
C
O
N
T
R
A

CONTRARECIPROCO

~P~Q,

RECIPROCOS

~Q~P;

Variantes de los teoremas. Esta claro que s en matemticas decimos si P entonces Q,

nos estamos refiriendo al teorema de hiptesis P y de tesis Q.
Ahora bien, como existen diferentes maneras de enunciar los teoremas, es conveniente
que examinemos las formas ms comunes que suelen tomar aquellos.

1.- El enunciado P nicamente si Q expresa la misma idea que si ~Q entonces ~P,

esto es, que el contrario del recproco. Mas como, por otra parte, sabemos que el directo y
el contrario del reciproco de un teorema son equivalentes, podemos concluir que:
P nicamente si Q equivale a si P entonces Q
o sea, al teorema directo.
2.- Decir que P es la condicin necesaria para Q equivale a Q nicamente si P y
como en virtud del caso anterior, ste equivale a si Q entonces P, o sea, al recproco del
teorema, tendremos:
P es la condicin necesaria para Q equivale a si Q entonces P
o sea, al teorema recproco.
3.- Que P es la condicin suficiente para Q expresa lo mismo que si P entonces Q, o
sea que el directo, y, por tanto:
P es la condicin suficiente para Q equivale a si P entonces Q
o sea, al teorema directo
4.- Finalmente, decir que: P es la condicin necesaria y suficiente para Q
equivale a si P entonces Q y si Q entonces P
o sea, a los teoremas directos y recprocos.
Por tanto, para demostrar que P es la condicin necesaria y suficiente para Q
Habr que demostrar los teoremas directos y recprocos.

2.7. Reglas de Inferencias

Si actuando segn unas reglas dadas, sobre unas frmulas tambin dadas, obtenemos una
nueva formula, diremos que esta se ha inferido o deducido de aqullas.
A las reglas dadas se les llama regla de inferencia, a la formula de partida premisas y a
las frmulas de llegadas conclusin.
Al proceso mediante el cual la conclusin se sigue de las premisas se llama prueba,
deduccin o demostracin.

A las inferencias que siguen las reglas establecidas se les llama correctas, e incorrectas a
las que no la siguen.
Regla de inferencia. Son las que de cada conjunto suficiente de premisas, P1,P2,....., nos
permite deducir una conclusin C. Son varios los sistemas de reglas que resuelven este
problema; uno de ellos es el que esta integrado por las reglas siguientes:
1a. Regla de separacin. Si tomamos como premisa un condicional y su antecedente, el
consecuente puede ser inferido como conclusin.
Si las premisas P1 y P2 las ponemos una encima de otra, debajo de ellas una lnea
horizontal y debajo de esta la conclusin C, la primera regla de inferencia puede ser escrita
en la forma simblica siguiente:
P1: pq
P2: p
C: q
Ejemplo:
P1: Jos gana la Loterasu novia se alegra
P2: Jos gana la Lotera
C: su novia se alegra
2a. Regla de Unin. Si dos proposiciones son tomadas como premisas, su conjuncin
puede ser inferida como conclusin.
Procediendo como el caso anterior, la segunda regla puede ser escrita en la forma
simblica siguiente:
P1: p
P2: q
C: pq

Ejemplo:
P1: Jos se grada
P2: Jos le gusta el cine
C: Jos se grada y a Jos le gusta el cine
3a. Regla de Insercin. Cualquier tautologas puede ser tomada como premisa para el
desarrollo de cualquier inferencia.
La tercera regla puede escribirse de la siguiente forma:
P1: p1
P2: p2

..
Pn: pn
Pn+1: Cualquier Tautologa
C: La inferida de las premisas anteriores
4a. Regla de intercambio: Si dadas dos premisas, una de ellas es bicondicional y uno de
sus miembros figura en la otra, podemos inferir, como conclusin, el resultado de
intercambiar el miembro comn de la premisa no bicondicional, por el correspondiente de
la bicondicional.
Esta cuarta regla puede ser escrita de la forma simblica siguiente:
P1: pq
P2: qr
C: pr

Ejemplo:
P1: Hace mal tiempoJos no viaja
P2: Jos no viajaAlicia se alegra
C: Hace mal tiempo Alicia se alegra

2.8. Principio de Induccin Completa

Sea p(n) una proposicin referente al natural nN*
I

Si p(n) es cierta para n=1

II

Si para n=h>1 se tiene que : p(h) ciertap(h+1) cierta.

Entonces p(n) es cierta para todo nN*

Ejemplo:
Demostrar por el mtodo de Induccin completa que:
1 + 2 + 3 + ..............n=(1+n)n/2
Para demostrar la frmula anterior bastar con probar que son verdaderas las
proposiciones:
1

P1, P2,P3,Pn,

Siendo Pn la proposicin
1 + 2 + 3 + ..............n=(1+n)n/2
Ahora bien
a

P1 es verdadero puesto que:

1=(1+1)1/2
b

Si suponemos ahora que Pn es verdadera, esto es que se verifica la igualdad

1 + 2 + 3 + ..............n=(1+n)n/2

Vamos a demostrar que la proposicin Pn+1 tambin tiene que ser verdadera.

Sustituyendo n+1 en la relacin anterior:

1 +2 + 3 +............(n+1)=(1+(n+1))(n+1)/2
Como antes del termino n+1 tengo el termino n y asum que era cierto en (2) sustituyo
el valor de n en la relacin anterior:
1 + 2 + 3 ........(1+n)n/2 +(n+1) = (1 + (n+1))(n+1)/2
1 + 2 + 3 .........((1+n)n + 2(n+1))/2 = (n+2)(n+1)/2
Sacando factor comn n+1 en el lado izquierdo
(n+1)(n+2)/2 = (n+2)(n+1)/2
Queda demostrado que Pn+1 es cierto por tanto queda demostrado para todo Pn

3. Ejercicios
1.- Suponga que a, b y c, son nmeros reales. En los siguientes ejercicios(a al d) represente
en forma simblica los enunciados dados. Usando las siguientes proposiciones.
p:a<b; q:b<c; r:a<c
a.- a<b y b<c
b.- No es cierto (a<b y b<c)
c.- Si a<b, entonces bc
d.- Si (ab y b<c) entonces ac
2.- Sean p, q, r las proposiciones siguientes
p: est lloviendo
q: el sol est brillando
r : hay nubes en el cielo
Traduzca las siguientes proposiciones usando notacin lgica, usando p, q, r y conectivos
lgicos.
a.- El sol est brillando si y solo si no est lloviendo
b.- Esta lloviendo y el sol est brillando
c.- Si est lloviendo, entonces hay nubes en el cielo
3.- Formule en forma verbal (lenguaje cotidiano) las expresiones simblicas que se tienen
en los ejercicios siguientes (a a la d). Usando:
p: Hoy es Lunes
q: Est lloviendo

r: Hace calor
a.- pq
b.- (p(qr))(r(qp)
c.- ~p(qr)
d.- pq
4.- En los siguientes ejercicios evaluar cada proposicin segn los siguientes valores de
verdad:
p=F; q=V; r=F ; s=V
a.- pq
b.- p~(qr)
c.- pq
d.- (pq)r
e.- (s(p~r)((p(rq))s)
5.- Construya las tabla de verdad de las siguientes expresiones:
a.- ~ (pq)
b.- ~ p~q
c.- (pq)((p~q)(pq))
d.- ((pq)r)(p~q)
6.- Considere la tautologa p(q(pq)). Muestre que si la primera p se sustituye por la
proposicin pq, entonces la nueva proposicin no es una tautologa.
7.- Sean p y q contradicciones y r es una tautologa. Qu ser la proposicin (~p~q)r?
8.- Dada la siguiente expresin : si me gano el KINO, entonces me compro un
apartamento hallar la expresin reciproca, contrario y contrareciproco.
9.- Dado el Teorema: Si un tringulo tiene dos lados iguales, entonces los ngulos
opuestos a dichos lados deben ser tambin iguales.Se pide hallar sus formas derivadas
( reciproca, contrario y contrareciproco)
10.- Verifique por induccin:
a.- 1 + 3 + 5 + .......+2n-1= n2
b.- 1x2 + 2x3 +3x4 + . n(n+1) =(n(n+1)(n+2))/3
c.- 12 + 22 + 32 + ........ + n2 = (n(n+1)(2n+1))/6
d.- 1 + 1 + 1 +..........+
1______ = n___
1.3 3.5 5.7
(2n-1)(2n+1)
2n+1
e.- 11n 6 es divisible entre 5 para n=1,2,......
f..- 3n + 7n 2. es divisible entre 8 para n=1,2,......
g.- cos x + cos 2x +........ + cos nx = (cos ((x/2)(n+1)) sen (nx/2) ) /sen (x/2)