Instituto Tecnolgico de Lzaro Crdenas

Lgica Proposicional | Unidad III

MATEMATICAS DISCRETAS

Lgica Proposicional
Resumen

Alumno: Julin Reyes Hernndez

Profesor: Daniel Benito Romn Ocampo
Tutor: Jess Rafael Garca Serna
Carrera: Ing. En Sistemas Computacionales
Grupo: 11-T

Lzaro Crdenas, Mich. A 25 de Octubre de 2015.

MATEMATICAS DISCRETAS | ING.SISTEMAS COMPUTACIONALES

ITLAC

Instituto Tecnolgico de Lzaro Crdenas

Lgica Proposicional | Unidad III

Lgica: La lgica por s sola es el arte del razonamiento, gracias a la lgica se

dice que algo tiene sentido.

Lgica matemtica: Estudia la relacin de consecuencia entre una serie de

premisas y la conclusin de un argumento vlido.
Uno de los ejemplos ms comunes es:
Premisa 1: Todos los hombres son mortales.
Premisa 2: Scrates es un hombre.
Conclusin: Scrates es mortal.
En el ejemplo se puede observar como en el lenguaje natural y cotidiano
partiendo de dos argumentos o premisas; podemos llegar a una conclusin vlida.

Ahora bien, ya que en esta primera unidad se aborda en forma general los
conceptos y aspectos base de lo que es la lgica de proposiciones, es de vital
importancia conocer lo que es una proposicin.
Proposicin:
Es aquel enunciado o premisa en el que se puede afirmar algo.
Ejemplo: Mara lleg tarde a clases
Esto es una proposicin, ya que se puede decir si tal afirmacin es verdadera o
falsa. As que, si yo digo:
Presione Enter para ingresar a la aplicacin; no es una proposicin ya que
corresponde a un mandato o instruccin.
La tierra es el nico planeta con vida en todo el universo; no constituira una
proposicin vlida ya que es algo desconocido para nosotros, no lo puedo afirmar
o negar con precisin.
5 ms 8 es grande tampoco se puede considerar una proposicin, ya que; no s
si estoy hablando de habitantes de una poblacin o si por decir algo estoy
hablando de dinero. En otras palabras no est enmarcado dentro de un contexto
determinado, y por lo tanto no lo puedo afirmar o negar.
MATEMATICAS DISCRETAS | ING.SISTEMAS COMPUTACIONALES
ITLAC

Instituto Tecnolgico de Lzaro Crdenas

Lgica Proposicional | Unidad III

En tal sentido, teniendo claro lo que es una proposicin; se puede hablar de sus
tipos. En total existen dos:
Proposiciones Atmicas o Simples:
Tal y como su nombre lo indica, son aquellas que no se pueden descomponer en
otras, ya que de llegar a ocurrir, carecera de sentido la proposicin.
Ejemplo: Lucy es estudiosa
Si elimino el sujeto, no se sabra de quin se habla, carecera de contexto, y si
dej slo a Lucy; sera slo un nombre, es decir no es algo que se pueda afirmar o
negar.
Las proposiciones atmicas se representan con letras minsculas, por lo regular
(p, q, r, s, t). Es decir; que la proposicin anterior se representara:
p: Lucy es estudiosa.

Proposiciones Moleculares o Compuestas:

Este tipo de proposiciones son aquellas formadas por proposiciones atmicas o
simples unidas mediante conectivos, que reciben el nombre de conectivos o
conectores lgicos.
Ejemplo: Jess es inteligente o estudia todos los das
En este caso tenemos 2 proposiciones atmicas, que son:
(1) Jess es inteligente
(2) Estudia todos los das
Y por supuesto el conector que me permite en este caso hacer la unin de ambas
es la o.
Este tipo de proposiciones se representa con letras maysculas (P, Q, R, S, T). La
proposicin anterior se representara:
P: Jess es inteligente o estudia todos los das.

MATEMATICAS DISCRETAS | ING.SISTEMAS COMPUTACIONALES

ITLAC

Instituto Tecnolgico de Lzaro Crdenas

Lgica Proposicional | Unidad III

Dado que las proposiciones moleculares estn formadas por proposiciones

atmicas y conectivos lgicos, se definen a continuacin los conectivos lgicos.

Conectivo Lgico:
Elemento verbal o escrito que permite unir proposiciones atmicas o
simples, a fin de formar proposiciones moleculares o compuestas. Los diferentes
conectores que existen en lgica matemtica son:
Negacin: Representada en muchos libros por los smbolos (~ ; ; o por una
rayita encima de la letra), permite simbolizar las formas enunciativas:
-

No p
no es cierto que p
es falso que p
no ocurre que p

Ejemplo:
No es cierto que Jasfeld falt a clases el sbado
Para su representacin primero identifico la proposicin y luego efectu la
representacin simblica:
La proposicin sera:

p: Jasfeld falt a clases el sbado.

La representacin simblica es por tanto:

~p

Conjuncin: representada por el smbolo (^ ; &) simboliza enunciados del

tipo:
-

pyq
p pero q
p no obstante q
p sin embargo q

Ejemplo: Hoy es sbado y tenemos clase

El mismo es equivalente a que yo diga: Hoy es sbado pero tenemos
clase, Hoy es sbado no obstante hay clase, Hoy es sbado sin
embargo hay clase.

MATEMATICAS DISCRETAS | ING.SISTEMAS COMPUTACIONALES

ITLAC

Instituto Tecnolgico de Lzaro Crdenas

Lgica Proposicional | Unidad III

As, que representacin sera:

p: Hoy es sbado; q: hay clase.

p^q

Disyuncin: Posee dos formas; Inclusiva y Exclusiva.

Inclusiva: Que denota alternativa o simultaneidad entre dos
proposiciones, la misma se representa con el smbolo ( v ). Y simboliza
enunciados del tipo: p o q; al menos p o q.
Ejemplo: Carlos donar sus zapatos viejos o sus zapatos nuevos.
(Que podra leerse tambin Carlos al menos donar sus zapatos viejos o
sus zapatos nuevos)
Esto quedara representado:
p: Carlos donar sus zapatos viejos. ; q: Carlos donar sus zapatos
nuevos.
pvq

Exclusiva: Indica una alternativa entre dos proposiciones. Se representa

son el smbolo ( v ), y simboliza enunciados del tipo: o p o q o bien p q
pero nunca ambas.
As, el ejemplo anterior quedara: O Carlos donar sus zapatos viejos o
donara sus zapatos nuevos. (Que tambin podra escribirse con Carlos
donar sus zapatos viejos donar sus zapatos nuevos; vean que la o en
este caso est acentuada).
Lo que se representara como: p v q

Condicional: representado por el smbolo () , representa enunciados de

la forma:
-

si p entonces q
si p, q
p implica q

MATEMATICAS DISCRETAS | ING.SISTEMAS COMPUTACIONALES

ITLAC

Instituto Tecnolgico de Lzaro Crdenas

Lgica Proposicional | Unidad III

p slo si q
p suficiente para q
p siempre que q
no p a menos que q
q necesario para p

Ejemplo: Si vemos todo el contenido hoy, entonces habr parcial el sbado.

Tomando en consideracin las frases anteriores, algunas formas en las que
se podra escribir el mismo enunciado seran: Si vemos todo el contenido
hoy, habr parcial el sbado; que veamos todos el contenido hoy implica
que habr parcial el sbado; Que veamos todo el contenido hoy es
suficiente para que haya parcial el sbado.
En tal sentido; se representa:
p: vemos todo el contenido hoy; q: habr parcial el sbado;

p q.

Bicondicional: Se representa con el smbolo () y denota enunciados del

tipo:
-

p si y slo si q
p necesario y suficiente para q

Ejemplo: Si y slo si llueve hoy, crecer el pasto maana.

p: llueve hoy ; q: crecer el pasto maana; p q.

Se han visto hasta el momento que son preposiciones, sus tipos y los conectivos
que me permiten hacer la unin de las mismas. Sin embargo; en lgica
matemtica ms all del contenido de las proposiciones, lo que nos interesa son
sus valores de verdad.

Valor de Verdad:
Veracidad o falsedad de una proposicin.
Para poder determinar la veracidad o falsedad de una proposicin existe una
herramienta muy til conocida como Tabla de Verdad.

MATEMATICAS DISCRETAS | ING.SISTEMAS COMPUTACIONALES

ITLAC

Instituto Tecnolgico de Lzaro Crdenas

Lgica Proposicional | Unidad III

Tabla de Verdad:
Es aquella que enumera todas las combinaciones posibles de los valores de
verdad para un conjunto de proposiciones dadas. Para construir una tabla de
verdad se consideran el nmero de proposiciones dadas (n), de esta forma el
nmero de filas de la tabla queda definida por:
# de filas = 2n
donde 2 representa los nicos posibles valores de la tabla;
Verdadero (V) y Falso (F) y n es el nmero de proposiciones.
si yo les doy las proposiciones p y q, la tabla tendra 4 filas. En las que se
debern distribuir los valores de verdad (V y F). Quedando de esta forma:

V
V
F
F

V
F
V
F

As cada conectivo lgico queda definido por una tabla de verdad:

Negacin
p

Conjuncin

~p

MATEMATICAS DISCRETAS | ING.SISTEMAS COMPUTACIONALES

ITLAC

Instituto Tecnolgico de Lzaro Crdenas

Lgica Proposicional | Unidad III

V
F

F
V

p
V
V
F
F

Disyuncin Inclusiva
p

V
V
F
F

V
F
V
F

V
F
V
F

p^
q
V
F
F
F

Disyuncin Exclusiva

pvq
V
Vp
VV
FV
F
F

pvq

V
F
V
F

F
V
V
F

Condicional
p

V
V
F
F

V
F
V
F

Bicondicional

pq
V

pF

pq

VV
VV
F

V
F
V

V
F
F
V

Una vez definidas las tablas de verdad, conseguimos tres conceptos interesantes
a la hora de determinar si un argumento es vlido o no.

Tautologa:
Una forma enunciativa es una tautologa si toma el valor de verdad (V) bajo
cualquier valoracin.
En otras palabras chicos, si la ltima columna de la tabla de verdad de una
proposicin molecular dada muestra puras (V) es una tautologa.
MATEMATICAS DISCRETAS | ING.SISTEMAS COMPUTACIONALES
ITLAC

Instituto Tecnolgico de Lzaro Crdenas

Lgica Proposicional | Unidad III

Contradiccin:
Una forma enunciativa es una contradiccin si toma el valor de verdad (F) bajo
toda valoracin.
Es decir, si la ltima columna de la tabla de verdad de una proposicin molecular
dada muestra solo (F) es una contradiccin.

Contingencia:
Una forma enunciativa es una contingencia si toma el valor de verdad (V)
para unas valoraciones y (F) para otras.
Es decir, si la ltima columna de la tabla de verdad de una proposicin
molecular dada muestra ambos valores (V) y (F) es una contingencia.

MATEMATICAS DISCRETAS | ING.SISTEMAS COMPUTACIONALES

ITLAC