Proposicion Logicaaa PDF

Principios de lgica.
Principios de la lgica
y
o
No ~
Si entonces
o m
S y slo si .c
a 1
it c
a
em
t
Objetivo general
a
.M
Establecer el valor de verdad de muchos de los enunciados lgicos, utilizando las leyes de
w
la lgica y las de las inferencias, ya sea para determinar la conclusin, o para determinar
w
la consistencia interna de un razonamiento.
w
Utilizar las diferentes leyes de la lgica con el fin de obtener precisin, claridad y
generalidad en diferentes razonamientos.
Objetivos especficos
1. Conocer la historia de la lgica y su clasificacin.
2. Establecer la relacin entre lgica y lingstica.
3. Aprender los conectivos lgicos: disyuncin, conjuncin, negacin, implicacin y
equivalencia.
4. Elaborar la tabla de verdad de enunciados o expresiones lgicas.
5. Aplicar las leyes del lgebra de proposiciones para realizar demostraciones.
6. Determinar la conclusin de un grupo de premisas utilizando las inferencias lgicas.
7. Definir y diferenciar conceptos tales como razonamiento, demostracin y
argumento.
www.LibrosZ.com www.Matematica1.com www.FisicaA.com

Historia y clasificacin
Etimolgicamente la lgica es la ciencia del logos. Originalmente logos significa palabra o

discurso, por lo que en un principio se defini la lgica como la rama de la gramtica que
se ocupaba de ciertas formas de lenguaje.
Como la palabra es la expresin, o manifestacin del pensamiento y el pensamiento

racional es la base de la filosofa, puede decirse en general, que la lgica es la ciencia del
pensamiento racional; es de aclarar que la lgica no se ocupa del contenido de los
pensamientos sino de la manera o forma de los pensamientos.
En respuesta a la necesidad de construir argumentos, para defender o refutar

pensamientos de los dems, Aristteles, considerado por los griegos. El padre de la
lgica, creo mtodos sistemticos para analizar y evaluar dichos argumentos, para lo
m
cual desarroll la lgica proposicional estableciendo procedimientos para determinar la
verdad o falsedad de proposiciones compuestas.
c o
1 .
a
El gran matemtico Gottfried Leibniz en 1646 fue el primero en intentar reformar la lgica
it c
clsica, planteando que la dependencia lgica entre proposiciones es demostrada,
a
reduciendo argumentos complejos en simples, para lo cual propuso representar el
em
conocimiento, en una forma que pudiera ser usado por un razonamiento mecnico y a ste
at
esquema (lgica simblica) lo llam una caracterstica universal.
M
El proceso de la lgica continu. en el siglo XIX. En 1847 el matemtico ingls George
Boole en compaa de Augustus w de Morgan hizo notar el parentesco entre las
operaciones lgicas con las w
w matemticas, pues a partir de los operadores aritmticos de
adicin, multiplicacin y sustraccin crearon los operadores lgicos equivalentes de unin,
interseccin y negacin; adems formularon los principios del razonamiento simblico y el
anlisis lgico. A Boole se le atribuye la invencin de las tablas de verdad para
comprobar la veracidad de proposiciones compuestas.
Este trabajo fue retomado por Bertrand Russell y Alfred Whitehead en 1910 en su obra
Principio Matemtico, quienes codificaron la lgica simblica en su presente forma
definindola como la Ciencia de todas las operaciones conceptuales posibles, por
esta razn la fundacin de la lgica formal moderna se le atribuye a ellos.

Clasificacin de la lgica
La lgica se puede clasificar como:
1. Lgica tradicional o no formal.

2. Lgica simblica o formal.
En la lgica tradicional se consideran los procesos psicobiolgicos del pensamiento lgico,

y los mtodos de inferencia que estn relacionados con la destreza para interpretar y
distinguir el razonamiento correcto del incorrecto; se puede considerar que la lgica no
formal resume las experiencias humanas obtenidas del conocimiento y de la observacin
del mundo circundante.
La lgica como ciencia constituye la lgica formal o simblica, la cual se encarga de

investigar, desarrollar y establecer los principios fundamentales que siguen la validez de la
inferencia; es considerada como uno de los sistemas mediante el cual se llega a formas
m
puras y rigurosas. En el pensamiento simblico, las palabras se manipulan, segn las
o
reglas establecidas, como si fueran simples signos sin preocuparse por su sentido.
c
1 .
a
it c
Conceptualizacin a
m
e proposiciones, evaluar sus valores de
t
a pueden deducir correctamente a partir de
La lgica ofrece mtodos que ensean cmo formar
M
verdad y determinar si unas conclusiones se
. es una ciencia que se interesa por las
proposiciones supuestas; adems, la lgica
w
w
relaciones existentes entre las proposiciones, con el fin de obtener precisin, claridad y
generalidad en los razonamientos.
w
La precisin la logra mediante el uso de smbolos, los cuales tienen como funcin
primordial eliminar las ambigedades que la estructura del lenguaje ordinario no puede
evitar con facilidad.
La claridad y generalidad, la consigue en la medida en que el usuario se familiariza con los

elementos bsicos de un argumento lgico, tanto en su representacin simblica como en
su significado para luego establecer un lenguaje simblico artificial, que le permita
simplificar argumentos lgicos complicados; de esta manera, el smbolo permite
concentracin sobre lo esencial de un contexto dado, incrementando la fiabilidad con que
se aplica el conocimiento.

Lgica y lingstica
Por su origen y desarrollo natural, han sido reconocidos dos tipos bsicos de lenguajes:
los lenguajes naturales y los lenguajes formales o artificiales.
Los lenguajes naturales no se establecieron a travs de ninguna teora, entre ellos estn el
castellano, el francs y el ingls. Las teoras y gramticas de lenguajes naturales, fueron
establecidas a posteriori, es decir despus de que el lenguaje ya haba madurado.
Los lenguajes formales como las matemticas y la lgica, fueron desarrollados,

generalmente, a partir del establecimiento de una teora, la cual da las bases para que a
travs de dichos lenguajes se pueda desarrollar la misma teora.
Los lenguajes naturales y formales tienen puntos en comn, en principio, se tiene la
m
existencia de un conjunto finito llamado alfabeto, el cual esta constituido de smbolos
c o
simples llamados comnmente letras. En los lenguajes naturales se tienen como ejemplos
1 .
los alfabetos: latino, griego y rabe-persa, entre otros. En los formales como la lgica se
a
tiene el lxico del clculo proposicional y de predicados.
it c
a
Mediante la concatenacin de las letras del alfabeto se forman los monemas, fonemas o
em
palabras que se encuentran en el interior de un enunciado, de tal forma que un lenguaje se
a t
considera como un conjunto infinito de oraciones o enunciados que se forman con
.M
palabras del diccionario.
w
En los sistemas formales los enunciados del lenguaje consisten en una lista de smbolos,
w
w
(lgicos o matemticos) sujetos a diversas interpretaciones. En un lenguaje formal, las
palabras y las oraciones estn perfectamente definidas, una palabra mantiene el mismo
significado prescindiendo del contexto o de su uso. Los lenguajes formales son, por esto,
necesariamente exentos de cualquier componente semntico fuera de sus operadores y
relaciones, y es gracias a esta ausencia de significado especial, que los lenguajes
formales pueden ser usados para modelar una teora de la ingeniera de sistemas,
mecnica, elctrica, entre otras.

Simbolizacin : proposiciones
La lgica utiliza un lenguaje exacto que no da lugar a imprecisiones, para tal fin toma como
elemento bsico de anlisis a la proposicin, que no es otra cosa que una oracin del
lenguaje cotidiano con un significado mucho ms limitado, en tales condiciones, se puede
considerar una proposicin como una excepcin lingstica que tiene la propiedad de ser
verdadera o falsa, y para simplificar la escritura de argumentos lgicos complicados; crea
un lenguaje simblico artificial, en donde establece un conjunto de reglas claras, bien
definidas y que no presentan las ambigedades ni vaguedades del lenguaje corriente.
Es importante tener en cuenta que las proposiciones representan oraciones declarativas,

las cuales contienen un sujeto perfectamente definido o dado por el contexto, un
predicado y una conjugacin del verbo ser.
Las proposiciones se representan simblicamente mediante el uso de letras minsculas
m
del alfabeto tales como p, q, r, s, ..., x, y, z, las cuales reciben el nombre de letras o
o
variables proposicionales, de esta forma, el lenguaje proposicional se hace ms simple y
c
exacto que el lenguaje natural.
1 .
a
it c las proposiciones:
Los siguientes ejemplos ilustran cmo se pueden simbolizar
a
q : Estudio ingeniera de sistemas. te
p : Hoy es sbado. m
r : New York es llamada la capital a del mundo.
s : 1 no es un nmero primo. .M
x : 4 + 3 = 10. w
w
Es decir, se puede establecer una wrelacin biunvoca entre el lenguaje natural y el lenguaje
formal. Estas proposiciones generalmente se llaman frases.
En el lenguaje cotidiano se encuentran expresiones como por ejemplo:
Las rosas son rojas y tienen espinas.

La seleccin Colombia gan o perdi?
En el pas no hay violencia.
Si estudio lgica matemtica entonces ser un destacado ingeniero de
sistemas.
4 es un nmero par si y slo si se puede dividir por 2.
Estas expresiones se denominan oraciones y para su formacin se utilizaron las letras y,

o, no, si entonces, s y slo si, que sirvieron para unir o enlazar los enunciados.

Conectivos Lgicos
Estos trminos de enlace reciben el nombre de Conectivos lgicos y al igual que a las
proposiciones, tambin se les asignan un lenguaje simblico, as:
LENGUAJE NATURAL LENGUAJE FORMAL
No ~
Si entonces
o m
.c
S y slo si
a 1
it c
a
em
Vemos varios ejemplos de notacin simblica de las proposiciones:
p : Las rosas son rojas. at

q : Las rosas tienen espinas. .M
w
p q : Las rosas son rojas y tienen espinas.
w
w
r: La seleccin Colombia gan?.
s: La seleccin Colombia perdi?.
r s : La seleccin Colombia gan o perdi?.
t : En el pas hay violencia.

~ t : En el pas no hay violencia.
x : Estudio lgica matemtica

y : Ser un destacado ingeniero de sistemas
x y : Si estudio lgica matemtica ser un destacado ingeniero de sistemas.
u : 4 es un nmero par.
v : 4 es divisible por 2.
u v : 4 es un nmero par si y slo si es divisible por 2.
En lgica se consideran y se simbolizan dos clases de proposiciones: atmicas o simples y

moleculares o compuestas, veamos:

Proposiciones simples:
Se denominan proposiciones simples aquellas oraciones que no utilizan conectivos
lgicos.
Estos son algunos ejemplos:
p: El eclipse es un fenmeno natural.

q: La luna es un satlite de la tierra.
r : 2 es el inverso multiplicativo de 2.
s: -3 es el inverso aditivo de 3.
El valor de verdad de una proposicin simple puede ser verdadero (V) o falso (F), pero no
los dos valores al mismo tiempo, pues dejara de ser proposicin.
Proposiciones Compuestas
Las proposiciones compuestas son aquellas que se obtienen combinando dos o ms
proposiciones simples mediante trminos de enlace.
Estos son algunos ejemplos de proposiciones compuestas:

o m
. c
p : Est lloviendo.
a 1
q: El sol brilla.
it c
p q: Est lloviendo y el sol brilla.
a
em
x : Quieres caf?.
y : Quieres t?. at
x y : quieres caf o t?. .M
w
w
s : Llueve.
r : Hace fro. w
s r : Si llueve entonces hace fro.
p : Un tringulo es equiltero.
q: Un tringulo tiene sus tres lados iguales.
p q : Un tringulo es equiltero si y slo si tiene sus tres lados iguales.
La veracidad o falsedad de una proposicin compuesta, depende del valor de verdad de

cada una de las proposiciones simples que la conforman y de la forma como estn
combinadas; para establecer este valor, se fijan criterios que se estudiarn en las
prximas secciones de este captulo.
Conectivos Lgicos
Como ya se dijo en la seccin anterior, los smbolos que sirven para enlazar dos o ms
proposiciones simples, se llaman conectivos lgicos, estos son: la conjuncin, la
disyuncin, la negacin, el condicional y el bicondicional.
La conjuncin:
Sean p y q dos proposiciones simples. La proposicin compuesta p y q simbolizada por
p q, se denomina la conjuncin de p y q.
Ejemplos de conjuncin:
Ejemplo 1
La proposicin compuesta r s : 6 es nmero par y entero positivo, est formada
por:
r : 6 es un nmero par.
:y
s : entero positivo.
Ejemplo 2
p q : Termino de escribir mi programa de computacin y luego jugar tenis
p: Termino de escribir mi programa de computacin.
: y
q: jugar tenis.
o m
Para establecer el valor de verdad de la conjuncin,.csurgen las siguientes posibilidades:
1. Que p y q sean verdaderas.
a 1
2. Que p sea verdadera y q sea falsa.
t ic
3. Que p sea falsa y q verdadera.
a
4. Que p y q sean falsas.
em
a t
M
A continuacin se analizan estas .posibilidades para el ejemplo 1, el anlisis del ejemplo 2
se deja como ejercicio. w
w
1. r: Verdadera.w 6 es un nmero par.
s: Verdadera. 6 es un entero positivo.
r s : Verdadera (V)
2. r: Verdadera. 6 es un nmero par.

s: Falsa. 6 no es un entero positivo.
r s : Falsa (F).
3. r: Falsa. 6 no es un nmero par.

s: Verdadera. 6 es un entero positivo.
r s :Falsa (F).
4 r : Falsa. 6 no es un nmero par.

s: Falsa. 6 no es un entero positivo.
r s: Falsa (F).
La disyuncin v

Sean p y q dos proposiciones simples. La proposicin p o q, simbolizada p v q se llama
disyuncin de p y q.
El operador o se puede usar de dos formas: como o incluyente o como o excluyente.

En el primer caso (o incluyente) hace que el valor de verdad de una de las dos
proposiciones simples repercuta en el valor verdadero de la proposicin disyuntiva;
mientras que en la segunda forma (o excluyente) el valor de verdad de una proposicin
excluye la veracidad de la otra proposicin, esto hace que la proposicin disyuntiva tome
el valor verdadero.
Ejemplo 1. Uso del o incluyente

r v s: Juan estudia ingeniera o Paola estudia medicina.
r : Juan estudia ingeniera.
v:O
s: Paola estudia medicina.
o m
.c
1
Ejemplo 2. Uso del o excluyente.
x v y : Quieres helado o gaseosa.
a
x : Quieres helado.
it c
v: O
a
y: Quieres gaseosa.
em
a t
Ejemplo 3: Uso del o excluyente
.M
w
p v q: Alexandra vive en Bogot o en Barranquilla.
w
p : Alexandra vive en Bogot.
v:O w
q : Alexandra vive en Barranquilla.

La negacin:
Sea p una proposicin simple. Se define la negacin de p mediante la proposicin
compuesta no p simbolizada por: ~ p.
Ejemplo 1.
p : 3 es un nmero entero primo.
~ p : 3 no es un nmero entero primo, tambin se puede leer.
es falso que 3 es un nmero entero primo.
Ejemplo 2.
q : El automvil de Francisco es rojo.
~ q: El automvil de Francisco no es rojo ,o, es falso que el automvil de
Francisco es rojo.
El condicional
o m
c
Se dice que una proposicin compuesta es condicional, si esta formada por dos
.
1
proposiciones simples enlazadas por la expresin sientonces.
a
it c si p entonces q se simboliza as :
Si p y q representan dos proposiciones, la expresin
p q y se lee p implica q. a
m
e si, se llama antecedente o hiptesis y la
a t
La proposicin precedida por la expresin
M
de la implicacin. En la expresin. p q, el antecedente es p y el consecuente es q.
proposicin precedida por la expresin entonces, se llama consecuente o conclusin
w
w
w se pueden enunciar de diferentes maneras as:
Las proposiciones condicionales
Si p entonces q.
p slo si q.
q si p.
p es suficiente para q.
q es necesaria para p.
Los siguientes ejemplos ilustran los anteriores enunciados:
Si un entero es mltiplo de 4 entonces es divisible por 2.

Apruebo el semestre slo si estudio.
El algoritmo esta bien enunciado si el programa corre.
Si dos rectas nunca se cortan necesariamente son paralelas.
Cuando una proposicin condicional se escribe en una de las anteriores formas,

probablemente, en el lenguaje comn habr alguna que no se interprete como se desea,
pero como la lgica no permite ambigedades, stas se deben escribir segn la definicin
dada en la seccin.
Existen varias formas de enunciar proposiciones condicionales as:
Implicacin directa: pq
Implicacin contraria: qp
Implicacin recproca: ~p~q
Implicacin contrarrecproca: ~q~p
Ejemplo 1.
Dadas las proposiciones p: 2m es divisible por 4
q: m es par
entonces:
La proposicin directa es: p q: Si 2m es divisible por 4 entonces m es par, la contraria

es: q p: Si m es par entonces 2m es divisible por 4, la recproca es: ~ p ~ q: si
m
2m no es divisible por 4, entonces m no es par y la contrarrecproca es: ~ q ~ p : Si m
o
no es par, entonces 2m no es divisible por 4.
c.
a 1
itc q construir las otras formas de la
Ejemplo 2.
Teniendo en cuenta la proposicin directa: ~p
a
implicacin:
em
Contraria: q~p at
.M
w
Recproca: ~ (~ p) ~ q
p ~ q
w
Contrarrecproca: w
~ q ~ (~ p)
~ qp.
Ejemplo 3.
Proposicin directa: ~p~ q
Contraria: ~q~ p
Recproca: ~ (~ p) ~ (~ q)
p q
Contrarrecproca: ~ (~ q) ~ (~ p)
q p
El bicondicional
Se denomina bicondicional a la proposicin formada por dos proposiciones simples
conectadas por la expresin s y slo s.

Simblicamente si p y q son proposiciones simples, la doble implicacin p q constituye
un bicondicional, donde p recibe el nombre de primer miembro y q segundo miembro.
El bicondicional est formado por las implicaciones p q y q p, las cuales deben

tener el mismo valor de verdad para formar una equivalencia entre p y q; en consecuencia,
se dice que la proposicin p es equivalente a la proposicin q y se acostumbra a escribir
p q.
La proposicin bicondicional tiene varias formas de traduccin ms no de significacin,

stas son:
p s y slo si q.
q s y slo si p.
si p entonces q y recprocamente.
si q entonces q y recprocamente.
p es una condicin necesaria y suficiente para q.
q es una condicin necesaria y suficiente para p.
o m
Ejemplo 1.
.c
Dadas las proposiciones:
a 1
it c
p: Un tringulo es rectngulo.
a
q: Un tringulo tiene un ngulo recto.
em
a t
El bicondicional p q se puede traducir de las siguientes formas:
.M
w
Un tringulo es rectngulo s y slo s tiene un ngulo recto.
w
Un tringulo tiene un ngulo recto s y slo s es un tringulo rectngulo
w
Si un tringulo es rectngulo entonces tiene un ngulo recto y si un tringulo tiene
un ngulo recto entonces es un tringulo rectngulo.
Una condicin necesaria y suficiente para que un tringulo sea rectngulo es que
tenga un ngulo recto.
Una condicin necesaria y suficiente para que un tringulo tenga un ngulo recto es
que sea un tringulo rectngulo.
Un tringulo rectngulo es equivalente a un tringulo con un ngulo recto.

Tablas de verdad
Definicin
Una tabla de verdad es una representacin esquemtica de las relaciones entre

proposiciones; sirve para determinar los valores de verdad de proposiciones compuestas,
las cuales dependen de los conectivos utilizados y de los valores de verdad de sus
proposiciones simples.
En la elaboracin de una tabla de verdad los trminos de enlace tales como la negacin
( ~ ), la disyuncin ( ) y la conjuncin ( ) se consideran conectivos
fundamentales; por tal razn, sus valores de verdad constituyen base para establecer bajo
qu condiciones una proposicin compuesta es verdadera o falsa.
p q ~p pq pq pq pq
V V F V V V V
V F F F V F F
o m
F V V F V V F c
.
F F V F F V V
a 1
t i c
mediante el cual se le asigna 1 al valor verdaderoa y 0 al valor falso. La siguiente tabla
Para simbolizar los valores de verdad de una proposicin, se utiliza el sistema binario,
m
resume los valores de verdad de los conectivoselgicos:
at
p q ~ p p q Mp q p q p q
.
1w
w
1 1 0 1 1 1
0 1 1 w 0
1 0 0 0 1 0 0
1 1 0
0 0 1 0 0 1 1
Construccin de tablas de verdad

Para determinar el valor de verdad de una proposicin compuesta es necesario elaborar la
correspondiente tabla de verdad; para tal fin y mediante el siguiente ejemplo se enuncian
los pasos a seguir:

Ejemplo 1.
Construir la tabla de verdad para la proposicin ~ (p q).
Paso 1.
Se hace un recorrido de izquierda a derecha teniendo en cuenta los parntesis.
Paso 2.
Se identifica el conectivo que aparece dentro del parntesis, en este ejemplo la conjuncin.
Paso 3.
Se precisa el trmino de enlace que precede al parntesis, en el ejemplo la negacin.
Paso 4.
Se elabora la tabla con el nmero de columnas determinado por:
Proposiciones que intervienen
Conectivos utilizados dentro del parntesis
Conectivo utilizado fuera del parntesis.
La siguiente tabla ilustra el paso 4:

o m
.c
a 1
it c
p q pq ~(pq)
a
Paso 5.
em
at
Se fijan los valores de verdad en las columnas de las proposiciones p y q. se ilustra en la
.M
siguiente tabla
wp
w
q pq ~(pq)
w 1
1
1
0
0 1
0 0
Paso 6.
Se completa la tabla por columnas, teniendo en cuenta el conectivo y el valor de verdad de
cada proposicin simple. La finalizacin de la elaboracin de la tabla de verdad es:
p q pq ~(pq) p q pq ~(pq)
V V V F 1 1 1 0
V F F V 1 0 0 1
F V F V 0 1 0 1
F F F V 0 0 0 1

Ejemplo 2.
Elaborar la tabla de verdad de la proposicin: (p q) (p q).
Al realizar el recorrido de izquierda a derecha se observa que la proposicin est

conformada por dos parntesis conectados por la disyuncin y dentro de cada parntesis
se identifican la disyuncin y la conjuncin respectivamente; despus de ste anlisis se
elabora la tabla.
p q p q p q (p q) (p q)
1 1 1 1 1
1 0 1 0 0
0 1 1 0 0
0 0 0 0 0
o m
.c
Ejemplo 3
a 1
it c
Elaborar la tabla de verdad para la doble negacin, es decir, ~ (~ p)
p ~ p ~ (~ p) a
p ~ p ~ (~ p)
V F
em1 0
t
V 1
F V F
a 0 1 0
M
. negacin de una proposicin es la misma
w
Este resultado permite concluir que la doble
proposicin.
w
w

Tablas de verdad para los conectivos lgicos
La conjuncin
p q pq
V V V Tabla No. 1 La conjuncin.
V F F
F V F
F F F
De la anterior tabla de verdad podemos concluir que la conjuncin es verdadera

nicamente cuando las dos proposiciones simples son verdaderas, en cualquier otro caso
la proposicin es falsa.
La disyuncin
p q p v q
o m
V V V
.c
V F V
a 1 Tabla No.2 La disyuncin.
it c
F V V
F F
a
F
em
t p
La negacin
a ~p
.M V F Tabla No.3 La negacin.

w F V
w
El condicional w
p q pq
V V V
Tabla No.4 El condicional.
V F F
F V V
F F V
El bicondicional
p q pq
Tabla No.5 El Bicondicional.
V V V
V F F
F V F
F F V
Implicacin directa, contraria, recproca y contrarecproca
Tabla de verdad para las cuatro formas de la implicacin,

p q ~p ~q pq qp ~p~q ~q~p
Directa Contraria Recproca Contrarrecporca
1 1 0 0 1 1 1 1
1 0 0 1 0 1 1 0
0 1 1 0 1 0 0 1
0 0 1 1 1 1 1 1
Tabla No. 6. Formas de la implicacin.
Esta tabla permite analizar que los valores de verdad correspondientes a las columnas de
la directa y la contrarecpoca coinciden, al igual que los de las columnas de la contraria y
de la recproca, por lo tanto estas implicaciones son equivalentes, es decir:
1. ( p q ) (~ q ~ p )
o m
.c
1
2. ( q p ) (~ p ~ q )
a
it c
a
m
Se propone al estudiante construir la tabla de verdad para las anteriores equivalencias.
e
a t
.M
w
w
w

Leyes de la lgica
Tautologa
Entre las proposiciones compuestas existen unas muy importantes por ser siempre
verdaderas, independientemente del valor de verdad de las proposiciones que la
conforman, este tipo de proposiciones reciben el nombre de tautologas, es decir, una
tautologa es una proposicin que es verdadera en todos los casos.
Ejemplo 1.
Demostrar que la proposicin ( p q ) (~ q p ) es verdadera:
Para verificar la validez de esta proposicin es necesario realizar la tabla de verdad y

comprobar que en la ltima columna solamente aparecen valores verdaderos.
m
p q p q ~ q ~ q p ( p q ) (~ q p)
o
1 1 1 0 1
.c1
1 0 1 1 1
a 1 1
0 1 1 0 1
it c 1
0 0 0 1 0
a 1
m
Tabla No. 7. Ejemplo 1.
te en todos los casos independientemente de los
Una proposicin compuesta, que esafalsa
.M que la conforman se llama Contradiccin.
valores de verdad de las proposiciones
w
Ejemplo 2. w
w
Es ( p ~ q ) q una tautologa?
Para responder la pregunta se hace necesario hacer la tabla de verdad, as:
p q ~ q p ~ q ( p ~ q) q
V V F F F
V F V V F
F V F F F
F F V F F
Por lo tanto esta proposicin no es una tautologa, es una contradiccin.
Dos proposiciones compuestas se consideran lgicamente equivalentes si tienen los

mismos valores de verdad para cada una de las opciones en la tabla de verdad.
Ejemplo 3
Establecer si las proposiciones (p q ) y (~ p q ) son lgicamente equivalentes.
Para esto hay que probar que (p q) (~ p q), la tabla de verdad es:
p q p q ~ p ~ p q (p q ) (~ p q)
1 1 1 0 1 1
1 0 0 0 0 1
0 1 1 1 1 1
0 0 1 1 1 1
Como la ltima columna es toda verdadera (tautologa), se puede concluir que las
proposiciones son lgicamente equivalentes.
o m
.c
a 1
it c
a
em
a t
.M
w
w
w

Leyes del lgebra de proposiciones
Las siguientes son las leyes de la lgica.
1. Idempotencia:
ppp
p p p
3. Asociativas:
(p q) r p (q r )
(p q) r p (q r)
4. Conmutativas:
pqqp
p q q p
o m
5. Distributivas:
.c
a 1
p (q r) (p q) (p r)
it c
p (q r) (p q) (p r)
a
6. Identidad:
em
at
.M
p0p, p 11
w p 0 0 , p 1 p.
w
7. Complemento:
w
p ~ p 1, p~p0
~ ( ~ p) p, ~ 1 0, ~01
8. Leyes D Morgan:
~(pq)~p~q
~(pq)~p~q
Estas leyes estn formuladas por pares debido a la naturaleza dual del lgebra de
proposiciones.

En los ejemplos que aparecen a continuacin, se utilizan las leyes de la lgica para
realizar las respectivas demostraciones:
Ejemplo 1.
Demostrar que:
1. p p p
2. p p p.
Estas demostraciones se pueden efectuar partiendo del primer miembro y llegar al

segundo o partiendo del segundo y llegar al primero. En la parte derecha se escribe el
nombre de la ley que justifica ese paso.
1. Partiendo del primer miembro se llega al segundo as:

p p (p p) 0 Identidad
p p (p p) (p ~ p) Complemento
o m
c
p p p (p ~ p) Distributiva
ppp1 Complemento
1 .
a
ppp Identidad
it c
a
m
2. Partiendo del segundo miembro se llega al primero as:
e
pp0
p p (p ~ p)
Identidad
Complemento a t
.M
w
p (p p) (p ~ p) Distributiva
p (p p) 1
w
Complemento
p (p p) w
Identidad.
Se sugiere hacer las demostraciones partiendo del primer miembro.
Ejemplo 2.
Demostrar que: (p q) (~ p q) q
( q p) (q ~ p) q Conmutativa
q(p~p) Distributiva
q0 Complemento
q Identidad

Ejemplo 3.
Demostrar que: [ (p q) (~ p r) (q r) ] [ (p q) (~ p r)]
[ (p q) (~ p r) (q r) ] [ (p q) (~ p r) (q r) ] 0 Identidad
[(p q) (~ p r) (q r)] (q r) ~ (q r) Complemento
(p q) (~ p r) (q r) ~ (q r) Asociativa
(p q) (~ p r) 0 Complemento
(p q) (~ p r) Identidad
Ejemplo 4.
Demostrar: (p ~ q) (q r) (q ~ r) (p q)
o m
.c
(p ~ q) [q (r ~ r)]
a
Distributiva1
(p ~ q) [q 0]
it c
Complemento
(p ~ q) q
a
Identidad
(p q) (~ q q)
m
Distributiva
e
(p q) 0
(p q) a t Complemento
Identidad.
.M
w
w
Ejemplo 5. w
Demostrar: ~ [(p ~ q r) (p q r)] (~ p ~ r)
~ [(p ~ q r) (p q r)] ~ [(p r) (~ q q)] Conmutativa y distributiva

~ [(p ~ q r) (p q r)] ~ [(p r) 1] Complemento
~ [(p ~ q r) (p q r)] ~ (p r) Identidad
~ [(p ~ q r) (p q r)] (~ p ~ r) D Morgan

Cuantificadores
Cuantificador universal y existencial
Existen especialmente en matemticas, expresiones que contienen variables tales como x,
y, z, etc., para las cuales su valor de verdad depende del valor que tome la variable.
Ejemplo 1. x + 1 = 2
Esta proposicin es verdadera si x = 1 y falsa si x 1. A estas proposiciones se les llama
Proposiciones abiertas.
Hasta el momento se han tratado proposiciones a las cuales se les puede asignar un valor
de verdad, ya sea falso o verdadero, ahora en esta seccin, se estudia la lgica de
proposiciones abiertas, para ello, se asigna una expresin llamada cuantificador, que
permite restringir los valores de las variables, de tal forma que la proposicin toma un solo
valor de verdad para dicha restriccin.
m
En el ejemplo, la proposicin se puede enunciar de las siguientes formas:
o
1. Existe x = 1 tal que x + 1 = 2. Proposicin verdadera
1 .c
a falsa.
it c
2. Para todo x 1, se tiene que x + 1 = 2. Proposicin
a
m
(x = 1) / (x + 1 = 2) Verdadera.
t e
( x 1 ) / ( x + 1 = 2) Falsa.
a
. M
w
Simblicamente, en el primer caso el cuantificador recibe el nombre de cuantificador
w
existencial, pues est informando que existe un slo valor para x que hace verdadera la
proposicin dada, mientras que en w el segundo caso el cuantificador se llama universal
porque afirma que todos los valores de x diferentes de 1 hacen la proposicin falsa, es
decir, que un valor de x diferente de 1 convierte x + 1 = 2 en proposicin falsa.
Cualquier cuantificador de la forma para todo, todo, para cada, o cada se llama
cuantificador universal y se simboliza por
Ejemplo 2.
( x) / ( x + 4 = 4 + x). Significa que todo x verifica la ecuacin.
La palabra algunos(s) significa que por lo menos uno verifica la condicin. Los
cuantificadores de la forma existe por lo menos uno, y se llaman cuantificadores
existenciales y se representan as: .
Ejemplo 3
( x ) / ( 2 x + 2 = 5 ).
Valores de verdad de expresiones con cuantificadores
Para determinar el valor de verdad de una expresin que contiene un cuantificador es
importante tener claros los siguientes conceptos:

1. Conjunto Universal: es el conjunto que contiene todos los elementos
considerados en un estudio determinado.
2. Conjunto dominio de la variable: corresponde al conjunto de valores posibles de
la variable.
Ejemplo 1.
(x R ) / ( 2 x 1 = 0 ) que se lee para todo x que pertenece a los reales se verifica
que 2 x 1 = 0 .
En esta proposicin el conjunto universal esta formado por los nmeros reales y el dominio
de la variable es x = .
El ejemplo afirma que todo nmero real verifica 2x 1 = 0, lo cual es falso, pero si se
cambia el conjunto universal, por el conjunto { 1/2 }, la proposicin se convierte en
verdadera y se enuncia as:
m
( x { 1/2 } ) / ( 2 x 1 = 0) es verdadera.
c o
Lo anterior conduce a la siguiente afirmacin:
1 .
a
Una proposicin que contiene un cuantificador universal es verdadera s y slo s el
it c
dominio de la variable es igual al conjunto universal.
a
Ejemplo 2.
(x tR
m
e ) / ( x 2 - 1 = 0)
a
M
Conjunto universal: R (reales)
Dominio de la variable: x = 1 ,, . x = -1
En este caso el cuantificador w
w
existencial afirma que por lo menos existe un valor que
w
satisface la proposicin, as, el ejemplo 2 es verdadero.
Ejemplo 3.
(x R ) ( x 2 + 1 = 0)
El conjunto universal est formado por los nmeros reales, pero el dominio de la variable
es el conjunto vaco, pues, no hay un nmero real que al elevarlo al cuadrado y sumarle 1
de cmo resultado cero, esto hace que la proposicin sea falsa.
Del anlisis de los ejemplos 2 y 3 se puede afirmar: Una proposicin con un cuantificador
existencial es verdadera si y slo si el dominio de la variable no es vaco.

Proposicion Logicaaa PDF

Hochgeladen von

Dokumentinformationen

Originaltitel

Copyright

Verfügbare Formate

Dieses Dokument teilen

Dokument teilen oder einbetten

Freigabeoptionen

Stufen Sie dieses Dokument als nützlich ein?

Sind diese Inhalte unangemessen?

Copyright:

Verfügbare Formate

Proposicion Logicaaa PDF

Hochgeladen von

Copyright:

Verfügbare Formate

Principios de lgica.

www.LibrosZ.com www.Matematica1.com www.FisicaA.com

Etimolgicamente la lgica es la ciencia del logos. Originalmente logos significa palabra o

Como la palabra es la expresin, o manifestacin del pensamiento y el pensamiento

En respuesta a la necesidad de construir argumentos, para defender o refutar

www.LibrosZ.com www.Matematica1.com www.FisicaA.com

1. Lgica tradicional o no formal.

En la lgica tradicional se consideran los procesos psicobiolgicos del pensamiento lgico,

La lgica como ciencia constituye la lgica formal o simblica, la cual se encarga de

La claridad y generalidad, la consigue en la medida en que el usuario se familiariza con los

www.LibrosZ.com www.Matematica1.com www.FisicaA.com

Los lenguajes formales como las matemticas y la lgica, fueron desarrollados,

Los lenguajes naturales y formales tienen puntos en comn, en principio, se tiene la

www.LibrosZ.com www.Matematica1.com www.FisicaA.com

Es importante tener en cuenta que las proposiciones representan oraciones declarativas,

Las proposiciones se representan simblicamente mediante el uso de letras minsculas

En el lenguaje cotidiano se encuentran expresiones como por ejemplo:

Las rosas son rojas y tienen espinas.

Estas expresiones se denominan oraciones y para su formacin se utilizaron las letras y,

www.LibrosZ.com www.Matematica1.com www.FisicaA.com

LENGUAJE NATURAL LENGUAJE FORMAL

p : Las rosas son rojas. at

t : En el pas hay violencia.

x : Estudio lgica matemtica

En lgica se consideran y se simbolizan dos clases de proposiciones: atmicas o simples y

www.LibrosZ.com www.Matematica1.com www.FisicaA.com

p: El eclipse es un fenmeno natural.

Estos son algunos ejemplos de proposiciones compuestas:

La veracidad o falsedad de una proposicin compuesta, depende del valor de verdad de

2. r: Verdadera. 6 es un nmero par.

3. r: Falsa. 6 no es un nmero par.

4 r : Falsa. 6 no es un nmero par.

www.LibrosZ.com www.Matematica1.com www.FisicaA.com

El operador o se puede usar de dos formas: como o incluyente o como o excluyente.

Ejemplo 1. Uso del o incluyente

www.LibrosZ.com www.Matematica1.com www.FisicaA.com

Los siguientes ejemplos ilustran los anteriores enunciados:

Si un entero es mltiplo de 4 entonces es divisible por 2.

Cuando una proposicin condicional se escribe en una de las anteriores formas,

La proposicin directa es: p q: Si 2m es divisible por 4 entonces m es par, la contraria

www.LibrosZ.com www.Matematica1.com www.FisicaA.com

El bicondicional est formado por las implicaciones p q y q p, las cuales deben

La proposicin bicondicional tiene varias formas de traduccin ms no de significacin,

www.LibrosZ.com www.Matematica1.com www.FisicaA.com

Una tabla de verdad es una representacin esquemtica de las relaciones entre

Construccin de tablas de verdad

www.LibrosZ.com www.Matematica1.com www.FisicaA.com

La siguiente tabla ilustra el paso 4:

www.LibrosZ.com www.Matematica1.com www.FisicaA.com

Elaborar la tabla de verdad de la proposicin: (p q) (p q).

Al realizar el recorrido de izquierda a derecha se observa que la proposicin est

www.LibrosZ.com www.Matematica1.com www.FisicaA.com

De la anterior tabla de verdad podemos concluir que la conjuncin es verdadera

.M V F Tabla No.3 La negacin.

Implicacin directa, contraria, recproca y contrarecproca

Tabla de verdad para las cuatro formas de la implicacin,

www.LibrosZ.com www.Matematica1.com www.FisicaA.com

www.LibrosZ.com www.Matematica1.com www.FisicaA.com

Demostrar que la proposicin ( p q ) (~ q p ) es verdadera:

Para verificar la validez de esta proposicin es necesario realizar la tabla de verdad y

Para responder la pregunta se hace necesario hacer la tabla de verdad, as:

Por lo tanto esta proposicin no es una tautologa, es una contradiccin.

Dos proposiciones compuestas se consideran lgicamente equivalentes si tienen los