2013

Apuntes de Lgica
Compiladores: Nstor Ral Henao Sierra & Elizabeth Gonzlez
Mediador: Roberto Cuartas





INDICE

Qu es la lgica? 3
Clculo proposicional 4
Conectores lgicos y tablas de verdad 5
Conjuncin lgica 6
Disyuncin lgica 7
Implicacin lgica 7
Equivalencia lgica 8
Tablas de verdad para ms de dos conectores lgicos 9
Cmo convertir una proposicin al lenguaje simblico 10
Convertir una proposicin en el lenguaje simblico a una proposicin escrita 11
Equivalencias lgicas de conmutabilidad, asociatividad y distribucin 12
Equivalencias lgicas de negacin, el contrarrecproco y la doble implicacin 12
Reglas de inferencia 13
Aplicaciones de las leyes del clculo proposicional 16
Cuantificadores en lgica: existencial y universal 18
Mtodos de demostracin: Mtodo directo 20
Mtodos de demostracin: Contrarrecproco 22
Mtodos de demostracin: Reduccin al absurdo 22
Mtodos de demostracin: Disyuncin de casos 23

Bibliografa 24



QU ES LA LGICA?

La lgica es una ciencia formal que estudia los principios de la demostracin y la
inferencia vlida.
Estudia las maneras por las cuales se puede acceder a verdades y adems los
procesos por los cuales se pueden derivar conclusiones a partir de otras verdades ya
conocidas.
En un principio la lgica se consideraba como una rama de la filosofa pero a partir del
S. XIX con el matemtico George Cantor y su teora de conjuntos, se pasa de la lgica
intuitiva a la lgica simblica. Esta lgica tiene dos partes principales: una que utiliza
los smbolos y la otra que utiliza las reglas de Inferencia. Las matemticas se empiezan
a fundamentar en este tipo de lgica. La lgica pasa a ser la fundamentacin terica de
las matemticas.
Las matemticas entonces se basan en los dos siguientes principios: el primero es que
todo va a ser un lenguaje conjuntista, es decir, toda la matemtica se va a definir a
partir de conjuntos y el segundo principio es que las matemticas van a fundamentarse
axiomticamente, es decir, basadas en algunas verdades que no se prueban sino que
se asumen. Entonces las matemticas estn fundamentadas en al lgica.
Se requieren algunos conceptos bsicos: el lenguaje y los signos. El lenguaje para
comunicar las ideas, a travs de la creacin de oraciones, de algunas simbologas,
pero el lenguaje debe ser claro y preciso. Los signos constituyen el idioma en general
como las letras del alfabeto, signos de interrogacin, admiracin, tildes, suma, resta,
etc. que dotan de significado a las palabras del lenguaje. por ejemplo, la diferencia
entre las palabras con tilde y sin ella. Hay diferentes clases de signos:
- Del lenguaje corriente: alfabeto y todos los dems signos utilizados.
- De conexin lgica: , , v, , , etc.
- De relacin: U, , =, , , , etc.
- De cuantificacin: , -,
- De operacin: +, -, x, , , etc.
- De agrupacin o puntuacin: ( ), [ ], { }



CLCULO PROPOSICIONAL
El clculo proposicional es la primera forma de la Lgica clsica en la cual se analizan
argumentos lgicos mediante mtodos matemticos.
Al observar cualquier fenmeno, siempre se comenta el fenmeno en forma descriptiva. A
partir de esta descripcin se encuentran relaciones entre las partes que componen este
fenmeno. De esta manera vamos a construir un modelo matemtico. Para esta construccin
se van a necesitar los siguientes elementos: primero, un abecedario, que va a manejar las
funciones de un conjunto que a su vez va a manejar nuestro lenguaje. Puede estar compuesto
por diferentes signos, por ejemplo, maysculas, minsculas, signos matemticos o conectores
lgicos. Este puede ser un ejemplo de abecedario. Segundo, con este abecedario se crean
palabras que a partir de definiciones se les adapta un significado. Por ejemplo: conjunto es la
coleccin de varios elementos. Tercer paso: axiomas que son oraciones o enunciados que se
consideran siempre verdaderas. Ejemplo a + b = b + a. Nuestro cuarto punto son los
teoremas. Los teoremas son deducciones que se hacen a partir de los axiomas, de leyes
lgicas y mtodos de demostracin. Un ejemplo de teorema: dos rectas se interceptan en un
punto o no se interceptan. Para probar esto necesitamos tener claro lo anterior, es decir, se
requieren conocimientos previos como la definicin de recta, punto, intercepcin, etc. Por
ltimo tenemos las aplicaciones que es el punto ms importante de una teora de
matemticas. Siempre se debe buscar aplicacin en la vida prctica de los teoremas y
axiomas.
En matemticas debemos partir de definiciones de diferentes conceptos. Por ejemplo, definir
un conjunto de acuerdo a sus elementos. En matemticas hay elementos que no estn bien
definidos. Definamos proposicin que es la palabra ms importante en la lgica: es una
expresin de la cual puede decirse que es verdadera o falsa. Tambin que es una enunciado
del cual puede decirse con exactitud que es verdadero o falso. Ej. mi cuaderno tiene 80
pginas. 2 + 4 = 7, es falso. Hay expresiones que no son proposiciones porque no se les
puede dar valor de verdadero o falso: Cmo ests?. Cuntos aos tienes?. Las
interrogaciones o las frases imperativas, sintese, por favor, todos acrquense a mirar. No
son proposiciones.



CONECTORES LGICOS Y TABLAS DE VERDAD
Los valores de verdad representan si una proposicin es verdadera o falsa. Para comenzar a
comprender la lgica de las proposiciones comencemos por nombrar las proposiciones con las letras
minsculas del abecedario. Ejemplo: q= Juan camina. Depende de si Juan camina o no, damos valor
de F o V.
CLASES DE PROPOSICIONES
Simples o atmicas: oraciones que tienen un nico valor de verdad: V o F
Compuestas o moleculares: mezcla de proposiciones simples.
Para construir las segundas se usan conectores lgicos: v
Una proposicin simple o atmica tiene solamente dos valores de verdad: V o F.
En cambio en las proposiciones compuestas se pueden tener las siguientes
combinaciones: cuando son tres proposiciones? existen reglas para su construccin: si
tenemos n proposiciones, cuntas obtenemos? 2
n
posibilidades. Por ejemplo, si son
dos proposiciones, tendremos 2
2
= 4 posibilidades y son tres, 2
3
= 8 posibilidades.
Ahora veamos cmo esas posibilidades se comportan con los conectores lgicos y los valores de
verdad.

p: Carlos come maz
q: Daniel corre
p: Carlos no come maz
p q: Carlos come maz y Daniel corre.
La conjuncin slo es verdadera si ambas premisas son verdaderas.

Veamos ahora la Disyuncin y la Implicacin:
p: est lloviendo
q: estoy durmiendo
p v q: est lloviendo o estoy durmiendo
La disyuncin slo es falsa si ambas premisas son falsas.
p q: est lloviendo, entonces yo estoy durmiendo.
El valor de verdad depende de esto: si est lloviendo y yo estoy durmiendo,
entonces la proposicin es verdadera.
La implicacin slo es falsa si el antecedente es verdadero y el consecuente
falso.


p: cuatro es un nmero par
q: cuatro es mltiplo de tres
p q: 4 es un nmero par si y slo si 4 es mltiplo de 3. Falsa.
Quiere decir que en la equivalencia esta proposicin es falsa. La equivalencia es
verdadera cuando ambas premisas son verdaderas o ambas premisas son falsas



p q
V V
F F
p p
V F
F V
p q p q
V V V
V F F
F V F
F F F
p q p v q
V V V
V F V
F V V
F F F
p q p q
V V V
V F F
F V V
F F V
p q p q
V V V
V F F
F V F
F F V
Negacin
Conjuncin
Disyuncin
Implicacin
Equivalencia


CONJUNCIN


Tenemos la siguiente proposicin:
Juan realiza sus tareas y organiza su habitacin.
p: Juan realiza sus tareas
q: Juan organiza su habitacin
Si la mam de Juan le preguntara por lo que tiene qu hacer, qu pasara con los
valores de verdad de lo que dice. Pasara lo siguiente, que analizamos con la tabla: la
respuesta de Juan ser que s ha hecho ambas cosas si pas lo siguiente: si Juan hizo
ambas cosas, es decir, que si p es V y q es V, entonces responde afirmativamente a la
pregunta de la mam. Pero si Juan deja de hacer alguna de las dos cosas. Entonces
como tena que hacer ambas cosas y no hizo una de ellas, entonces es falso que haya
cumplido con su deber. Si no hizo ninguna de las tareas pues de hecho es falso que
haya cumplido con lo que tena que hacer.

Otro ejemplo: la mam le dice a Daniela: puedes salir a jugar cuando arregles la cama
y sacudas el polvo. Ser V que Daniela salga a jugar cuando cumpla con los dos
deberes. Si alguna de las dos no se cumple, no podr salir, es decir, es Falso que
pueda salir, porque tiene que cumplir con ambas tareas. Si no hace ninguna de las
tareas, pues ser tambin Falso que salga a jugar.

Hay una forma sencilla de recordar la tabla de la conjuncin. Es dando valores de V=1
y F=0, cuando organizamos la tabla con estos valores, no es sino multiplicar para
encontrar la igualdad, veamos:










p q p q
V V V
V F F
F V F
F F F
p q p q
1 x 1 = 1
1 x 0 = 0
0 x 1 = 0
0 x 0 = 0


DISYUNCIN

Ejemplo: un estudiante gana el ao escolar si gana todas las materias o si recupera
las materias perdidas. Organicemos las proposiciones:
p: el estudiante aprueba todas las materias.
q: el estudiante recupera todas las materias perdidas.

Por ser disyuncin sucede que puede suceder una
cosa u otra y ser VERDAD que gana el ao. Pero si no
cumple con ninguna de las dos condiciones, pues de hecho
pierde el ao, es decir, es FALSO que lo gane.

Otro ejemplo: Camila almuerza espaguetis o pizza
p: Camila almuerza espaguetis
q: Camila almuerza pizza
Supongamos que Camila siempre almuerza espaguetis o pizza. Si la mam le
pregunta: almorzaste? Ella va a responder si [V] si almuerza espaguetis o almuerza
pizza. Si almuerza las dos pues obviamente almorz [V]. Pero si no comi ninguna de
las dos, pues de hecho es FALSO que haya almorzado.
Para el caso de la disyuncin tambin hay una manera prctica de recordar la tabla de
verdad. Se dan valores de V=1 y F=0 y se toma el valor ms grande o mayor:







IMPLICACIN
Si llueve Laura abre su paraguas.
p: llueve
q: Laura abre su paraguas
Entonces, si Laura no desea mojarse, tendr que abrir su paraguas
si llueve. Va a ser VERDAD que no se va a mojar. Pero si llueve y Laura no abre su paraguas,
entonces ser FALSO que no se moja, es decir, Laura se moja. Si no llueve y abre su
paraguas, ser VERDAD que no se moja. Finalmente si no llueve ni tampoco Laura abre su
paraguas, ser VERDAD que no se moja.
Ejemplo: Daniel usa camiseta si hace calor. p= hace calor, q=Daniel usa camiseta
Si Daniel quiere tener el menor calor posible, usa camiseta.
p q p v q
V V V
V F V
F V V
F F F
p q p v q
1 1 1
1 0 1
0 1 1
0 0 0
p q p q
V V V
V F F
F V V
F F V


BICONDICIONAL o DOBLE IMPLICACIN o EQUIVALENCIA


Diana va a la ciclova si y solo si Xiomara va con ella.
p: Diana va a la ciclova
q: Xiomara acompaa a Diana a la ciclova


El signo de equivalencia nos dice que tienen que ocurrir ambas cosas al mismo tiempo para
que sea VERDAD. Si Diana va a la ciclova y Xiomara no la acompaa, es FALSO que Diana
vaya. Si Diana no va a la ciclova y Diana la quiere acompaar, tambin es FALSO que Diana
vaya. El caso ms extrao es el ltimo, pero es VERDAD que ambas no estn haciendo lo que
dijeron: si Diana no va a la ciclova y Xiomara no la acompaa tampoco, es decir, si no pas
nada estn cumpliendo con su especie de trato.

Otro ejemplo: Jos come si y solo si tiene hambre.
p: Jos come q: Jos tiene hambre
Si ambas son verdaderas, es decir, Jos come y Jos tiene hambre, es VERDAD que Jos
come cuando tiene hambre. Si decimos que Jos come pero no tiene hambre, no es correcto
decirlo, porque uno no come si no tiene hambre, por lo tanto es FALSO. Igual sucede si Jos
no come [F] teniendo hambre [V], es entonces FALSO porque no es normal. Finalmente, si
Jos no come y no tiene hambre eso est bien, es decir, es VERDADERO porque es lo
correcto. Si no come es porque no tiene hambre y si no tiene hambre para qu come.

Hay tambin una forma de recordar fcilmente la tabla. Damos valores de 0 y 1.
Cuando los dos valores sean iguales se coloca un 1 y si son distintos se coloca 0.








p q p q
V V V
V F F
F V F
F F V
p q p q
1 1 1
1 0 0
0 1 0
0 0 1


TABLAS DE VERDAD PARA MS DE DOS CONECTORES LGICOS

Aprendamos ahora a realizar tablas de verdad con diferentes proposiciones, con diferentes
conectores y por lo tanto con diferentes valores de verdad.
Ejemplo, tabla de valores de verdad para: (p v q) p
Primero se resuelve lo que est dentro del parntesis.
p q p pvq (pvq) p
V V F V V
V F F F F
F V V V F
F F V V F
Otro ejemplo: (p q) (r r)
p q r r pq r r
(p q)
(r r)
V V V F V V V
V V F V V V V
V F V F F V F
V F F V F V F
F V V F V V V
F V F V V V V
F F V F V V V
F F F V V V V

Existen dos conceptos importantes a tener en cuenta.
TAUTOLOGA: es una proposicin compuesta que siempre es verdadera, sin importar los
valores de verdad que tengan las proposiciones simples que la componen.
CONTRADICCIN: es una proposicin compuesta que siempre es falsa, sin importar los
valores de verdad que tengan las proposiciones simples que la componen.
Una Tautologa puede ser la siguiente: p p, como tambin, (p q) p






TAUTOLOGA
TAUTOLOGA
p q p q (p q) p
V V V V
V F F V
F V F V
F F F V
p p p
V V
F V


Veamos ahora ejemplos de CONTRADICCIN:
1. p p 2. (p q) (p q)
p p
V F
F V




Tambin hay proposiciones compuestas que no son contradicciones ni tautologas.
Por ejemplo:








Esta recibe el nombre de CONTINGENCIA.

CMO CONVERTIR UNA PROPOSICIN AL LENGUAJE SIMBLICO
Ejemplo. El carro es viejo si tiene diez aos y es azul si el dueo es Carlos.
Esta es una proposicin compuesta, entonces, las proposiciones quedarn:
p: el carro es viejo q: el carro tiene diez aos r: el carro es azul
s: el dueo del carro es Carlos
Ahora escribamos la proposicin en lenguaje simblico: (q p) (s r)
Veamos otro ejemplo:
Anita come carne y paleta o come pizza con gaseosa.
p: Anita come carne q: Anita come paleta r: Anita come pizza con gaseosa.
Ahora escribamos la proposicin en lenguaje simblico: (p q) v r
Ejemplo 3. Juan desayuna si y solo si, se levanta y se baa.
Veamos las premisas o proposiciones: p: Juan desayuna
q: Juan se levanta r: Juan se baa
La funcin quedar: p (q r)
p q q pq p q
(p q)
(p q)
V V F V F F
V F V F V F
F V F V F F
F F V V F F
p q r r pq r r
(p q)
(r r)
V V V F V V V
V V F V V V V
V F V F F V F
V F F V F V F
F V V F V V V
F V F V V V V
F F V F V V V
F F F V V V V


CONVERTIR UNA PROPOSICIN EN LENGUAJE SIMBLICO A UNA
PROPOSICIN EN LENGUAJE NATURAL
Tomemos el siguiente ejemplo:
p: la puerta es azul q: la puerta es de madera r: la puerta est vieja
Nos dan el siguiente sistema lgico: (p q) r
Quedara en lenguaje natural: Si la puerta es azul y es de madera entonces la puerta est
vieja.
Veamos cmo queda la siguiente expresin lgica con las mismas proposiciones:
(p r) q : si la puerta es azul o no est vieja, entonces es azul y es de madera.
Otro ejemplo con otras proposiciones:
p: Me gusta el jugo de naranja q: No me gusta la carne asada r: Se cocinar
(p q) (q v r) : Me gusta el jugo de naranja y la carne asada si y solo si no me gusta la
carne asada o se cocinar.
Tambin: p v (r q): Me gusta el jugo de naranja o, si s cocinar entonces me gusta la
carne.

EQUIVALENCIAS LGICAS

Vamos a establecer el conjunto de nuestros primeros axiomas. Cada una de estas leyes,
llamadas axiomas, son a su vez TAUTOLOGAS, es decir, siempre son verdaderas sin importar
el valor de verdad que tengan las proposiciones que las componen. Estas leyes se dividen
principalmente en dos: unas que son las equivalencias lgicas y otras que son las leyes de
inferencia.

Veamos las principales equivalencias lgicas:
Recordemos que una equivalencia es simplemente una doble implicacin, pero el sentido que
damos a una equivalencia es en cierta manera que podemos cambiar o reemplazar un trmino
por otro.

1. p p (doble negacin). Si negamos una proposicin dos veces, obtenemos la
misma proposicin. Ej. No es cierto que Juan no corre, significa que Juan corre.
2. Equivalencias con conmutatividad:
2.1 (p v q) (q v p) Conmutatividad de la disyuncin. La nia corre o camina es
equivalente a decir: la nia camina o corre.


2.2 (p q) (q p) Conmutatividad de la conjuncin. Mi pap trabaja y estudia es
equivalente a decir mi pap estudia y trabaja.
2.3 (pq) (pq) Conmutatividad de la doble implicacin. Mara es amiga de
Daniela si y slo si Daniela le regala un dulce es lo mismo que decir, Daniela le regala
un dulce a Mara si y solo si ella es amiga de Daniela.
Para estos casos es lo al mismo derecho que al revs.
Ahora veamos las Equivalencias por asociatividad:
[(p v q) v r] [p v (q v r)] Asociatividad de la disyuncin
[(p q) r] [p (q r)] Asociatividad de la conjuncin
Lo anterior significa que si tenemos una serie de proposiciones con el conector v o con
el conector , podemos asociar las proposiciones como queramos.

Otro tipo de equivalencias son las de Distribucin:
Ley Distributiva: [p v (q r)] [(p v q) (p v r)]
Ley Distributiva: [p (q v r)] [(p q) v (p r)]

El perro ladra o corre y juega, es equivalente a decir, el perro ladra o corre y el perro
ladra o juega.
El profesor dicta clase y, habla o camina. Es equivalente a decir, el profesor dicta clase
y habla, o dicta clase y camina.

Equivalencias de negacin
1. (p v q) (p q) [Ley de DMorgan] Negacin de la disyuncin.
2. (p q) (p v q) [Ley de DMorgan] Negacin de la conjuncin.
3. (p q) (p q) Negacin de la implicacin.
Ejemplos. 1. No es verdad que Juan perdi el ao o Pedro lo gan.
Juan gan el ao y Pedro lo perdi.
2. No es cierto que el cielo es verde y el mar es rojo.
El cielo no es verde o el mar no es rojo.
3. No se cumple que si camino mucho, troto ms rpido.
Camino mucho y no troto ms rpido.
OTRAS EQUIVALENCIAS: no estn relacionadas de ninguna manera pero igualmente
son importantes.
Contrarrecproco: 1. (p q) (q p] Que si se cumple p entonces q es lo
mismo que devolvernos negando ambas proposiciones q p.


Principio de Doble Implicacin: 2. (p q) [(p q) (q p)]
Una implicacin es lo mismo que negar el antecedente y aceptar el consecuente:
3. (p q) (p v q)
Ejemplos. 1. Si tienes sed, tomas agua.
Si no tomas agua entonces no tienes sed.
2. Los estudiantes van al colegio si y solo si hay clases.
Los estudiantes van al colegio si hay clases y hay
clases si los estudiantes van al colegio.
3. Mi vecino es alrgico al man y entonces no come man.
Mi vecino no es alrgico al man o no come man.
Las ltimas nos dicen que: si dos proposiciones son iguales y las unimos con una v, es
lo mismo que si tuviramos la misma proposicin. Igual sucede al unirlas con un .
(p v p) p (p p) p
Juan camina o Juan camina es lo mismo que decir Juan camina. Daniel corre y Daniel
corre es lo mismo que Daniel corre.

LEYES DE INFERENCIA
1. Modus Ponens
2. Modus Tollens
3. Modus Tollendo Ponens
4. Ley conjuntiva
5. Ley simplificativa
6. Ley aditiva
7. Silogismo condicional o ley transitiva
8. Ley de transposicin
9. Ley de translacin
10. Leyes de De Morgan
11. Dilema constructivo
12. Dilema destructivo
13. Ley del condicional



Se denomina regla o ley de Inferencia a todo
esquema vlido de razonamiento



1. MODUS PONENS
p q
p
------------ tambin [(p q) p] q
q



Observemos que como todas las dems leyes se trata de una proposicin verdadera o
TAUTOLOGA:
Ntese que la conjuncin es conmutativa y podemos decir tambin:















2. MODUS TOLLENDO TOLLENS [MTT]

p q
q
----------- tambin [(p q) q] p
p
Es la contra recproca de la condicional p q


Veamos ahora la demostracin de validez de esta ley:
Si tenemos una implicacin y
sabemos que el primer trmino
es verdadero entonces podemos
concluir el segundo trmino.
Se lee: si p implica q y se cumple
p luego se deriva q.

Si sabemos que una implicacin es
verdadera y su consecuente es
falso entonces concluimos la
negacin del primero.
Negar el consecuente implica
negar el antecedente.






3. MODUS TOLLENDO PONENS
[Eliminacin de la falsa en la disyuncin] Silogismo Disyunto

p v q
p
------------- tambin [(p v q) p] q
q

p v q
q
------------- tambin [(p v q) q] p
p

Veamos su tabla de verdad:


4. LEY CONJUNTIVA

p
q
------------- tambin p, q p q
p q
Se cumple p o se cumple q y si
1. No se cumple p se cumple q
2. No se cumple q se cumple p
Dadas dos premisas se puede
concluir que ambas premisas se
cumplen a la vez.




5. LEY SIMPLIFICADA

p q p q
------------- o ------------
p q

6. LEY ADITIVA

p q
------------- o -----------
p v q q v p
7. SILOGISMO CONDICIONAL O LEY TRANSITIVA [silogismo hipottico]

p q
q r
--------------- tambin
p r

[(p q) (q r)] (p r)

Veamos su tabla de verdad, demostrando que se trata de una tautologa:




8. LEY DETRANSPOSICIN


p q q p

--------------------- o --------------
q p p q

Dadas p y q, inmediatamente se puede concluir
que p.
Dadas p y q, inmediatamente se puede concluir
que q.
Dada una premisa inmediatamente se puede
concluir en una disyuncin de la premisa dada
con cualquier otra proposicin. Si afirmo p o se
cumple p o se cumple cualquier otra proposicin
q. Si se cumple q se afirma una premisa p o
cualquier otra premisa q.

Si se cumple p se cumple q. Si se cumple q se
cumple r, por lo tanto si se cumple p se cumple r.
p q r [transitiva]
Si p implica q se puede afirmar que la negacin
de q implica la negacin de p.
Si se cumple que la negacin de q implica la
negacin de p, entonces se puede afirmar que
p implica q.
Observemos que de la premisa lleva a la
conclusin y de la conclusin lleva a la premisa.
Si niego la negacin de q estoy afirmando q y si
niego la negacin de p estoy afirmando p.


Esta ley es una extensin del
Modus Tollendo Tolens


9. LEY DE TRASLACIN


(p r) r p (q r)
--------------------- y ---------------------
p (q r) (p q) r






10. LEYES DE MORGAN

(p v q) (p q)
----------------- y ------------------
p q p v q




11. DILEMA CONSTRUCTIVO

(p q) (r s)
(p v r)
----------------------------
q v s


12. DILEMA DESTRUCTIVO
(p q) (r s)
q v s
-------------------------------
p v r


13. LEY DEL CONDICIONAL


p q p v q
---------------- o -----------------
p v q p q

Como tambin:
Se puede demostrar su validez a travs de
las tablas de verdad o del mtodo
abreviado.
Si se cumple p y q y esto implica r, se
puede concluir que p implica q entonces r.
Que si se cumple p entonces q y r, se
puede concluir que p y q implica r.

Dada la negacin de la disyuncin de p y q, entonces
se puede afirmar la conjuncin de ambas negadas.
Si se niega la conjuncin de p y q, se transforma en
la disyuncin de ambas negadas.
La disyuncin se transforma en conjuncin y la
conjuncin se transforma en disyuncin.
Siempre pasando el conectivo de la negacin a cada
uno de los componentes.

Si se cumple p y q y adems se cumple de que r
entonces s, si se cumple p o r, es decir, si se
cumplen los antecedentes entonces se concluye
que uno de los consecuentes se debe cumplir.
Es muy similar al Modus Ponens.

Si p implica q y r implica s, entonces si negamos q o
negamos s, entonces uno de los antecedentes p y r
negados, se debe de cumplir.
Sale como consecuencia de la Ley de Transposicin.
Si p implica q, podemos afirmar negacin de p
o q, y si se cumple la negacin de p o q,
tambin podemos afirmar p entonces q.
p entonces q me lleva a la disyuncin y la
disyuncin de negacin de p o q, me lleva a la
implicacin de p con q.
Esta Ley se ha tomado de la misma frmula de
la lgica proposicional: toda implicacin
siempre se puede expresar como una
disyuncin: p q p v q



q p q v p
---------- y ----------
q v p q p




14. LEY DE ABSORCIN

p q p (q p)

Si estudio aprendo. Estudio, luego aprendo y estudio.
APLICACIONES DE LAS LEYES DEL CLCULO PROPOSICIONAL

Ahora se van a utilizar las leyes del clculo proposicional para probar algunas
cosas. Recordemos que las leyes del clculo proposicional son tautologas, es
decir, axiomas. A partir de los axiomas se pueden crear otros axiomas que no se
llamarn as porque no son los iniciales sino que se llamarn Teoremas los
cuales son tambin Tautologas.
Vamos a usar las leyes del clculo proposicional para probar algunas
tautologas.
Debemos probar que [q (p q)] es una tautologa.
No se van a utilizar las tablas de verdad sino las Leyes de Inferencia.
Recordemos que la conjuncin es conmutativa, es decir, podemos plantear la
siguiente equivalencia: [q (p q)] [(p q) q] MTP
Significa que ambas proposiciones tienen los mismos valores de verdad.
Recordemos que la segunda expresin es una de las leyes de inferencia,
llamada Modus Tollendo Ponens, por lo cual se tiene que esa expresin siempre
es verdadera, o sea, que es una tautologa. Por lo tanto, la expresin de la
izquierda tambin es una tautologa.
Otro ejemplo. Demostremos que (p q) p es una tautologa.
Tenemos una negacin de una implicacin. Organicemos una equivalencia
teniendo en cuenta que la negacin de la implicacin (p q) es equivalente a
decir: p q (p q) p q


Queda entonces: (p q) p (p q) p Esta ltima implicacin, la
pasamos a disyuncin: (p q) p
(p q) v p, entonces tenemos la
negacin de una conjuncin y queda:
(p v q) v p Ley DMorgan
Como tenemos una doble negacin, recordemos que es la misma proposicin,
queda entonces: (p v q) v p Doble negacin, ahora podemos cambiar de
lugar la p y la q, ya que con la disyuncin se vale la conmutatividad y puede
quedar: (p v p) v q, observemos la proposicin entre parntesis que
siempre es verdadera, se trata del tercer excludo, porque algo es verdadero o
es falso. Recordemos que con la v si algo es verdadero entonces es verdadero,
se trata de una tautologa. Al encontrar que se trata de una tautologa siguiendo
pasos lgicos hemos llegado a lo que se quera demostrar.

Veamos otro ejemplo: [p (q r)] [(p q) r] Demostrar que es una tautologa.
Esto se puede cambiar por lo siguiente: recordemos que el condicional se puede
cambiar por una disyuncin de la siguiente manera:
p q p v q [se niega el primero, se cambia la implicacin por disyuncin y se deja el
segundo]. En este caso el segundo trmino es (q r), entonces queda:
[p v (q r)] [(p q) r], ahora nuevamente se pueden cambiar los
condicionales por una disyuncin: [p v (q v r)] [(p q) v r] Ley DMorgan.
Veamos la nueva equivalencia: [p v (qvr)] [(p v q) v r]. Observemos
que las expresiones son similares pero agrupadas de manera diferente, pero la
disyuncin permite la conmutatividad y nos quedara:
[(p v q) v r)] [(p v q) v r]. Tenemos una igualdad, lo que nos demuestra
que es una tautologa, porque es como decir: p p

Otro ejemplo. Probar que: [p (q r) [(p q) (p r)]. Recordemos
que cuando se tienen equivalencias lo que se hace es partir de un lado y llegar
al otro: [p (q r) cambiemos la implicacin por una disyuncin y queda:
[(p v (q r)]


[(p v q) (p v r)] Ley Distributiva
[(p v q) (p v r)] Recordemos que pq pvq.
Por lo tanto, [(p q) (p r)], con lo cual llegamos a:
p (q r) (p q) (p r) Que son igualdades.


CUANTIFICADORES EN LGICA

Hasta el momento se ha trabajado con proposiciones a las cuales se les puede
dar valor de verdad, sin embargo, si nos encontramos con expresiones o
proposiciones tales como: X = 2 2a > 3 n es par, no podemos
darles valores de verdad, a menos que por ejemplo en X = 2, le demos valor a X,
por ejemplo 4/2, esto sera Verdad, pero si no es as, ser falso. Si a = 4, ser
verdadero, pero si a=1, ser falso. Si n=3, ser falso. Pero si n=4, es verdadero.

Cmo vamos a referenciar entonces este tipo de proposiciones. Lo primero que
se debe hacer es ver qu valores toman las variables, para lo cual se sitan en
conjuntos. Hay valores de expresiones que siempre son verdaderas, por
ejemplo, 2n es par. Lo ms importante es situar un conjunto de referencia que
nos va a indicar los valores que puede tomar la variable. Por ejemplo, tomemos
el conjunto U = {1, 2, 3} este ser el conjunto de referencia. Determinar el
elemento variable que puede ser X. Decimos si X | X e U. Finalmente definir una
Funcin proposicional o Frmula que involucre el elemento variable. Por
ejemplo: p(X) = X < 3 q(X) = X es par
Ahora hay que introducir la nocin de cuantificador que son dos: el EXISTE [-]
y el PARA TODO [], lo que indicar que las frmulas se pueden cumplir para
algunos elementos o para todos los elementos que los componen.
Cuantificador Universal: significa para todo. Ejemplo, para todo nmero
natural n, 2n es par y p(n)= 2n es par, se representa: neN p(n).
Cuantificador Existencial: -, significa que existe al menos un elemento que
cumple tal propiedad. Por ejemplo: tomemos un conjunto de referencia:


U = {1, 2, 3} , si tomamos un elemento de ah, X, entonces X e U. Tomemos por
ejemplo, una propiedad: q(x) = x es par. Del conjunto U solamente el 2 cumple la
propiedad, entonces queda: Existe un x que pertenece a ese conjunto que es par. Lo
cual se escribe simblicamente: -xeU, q(x), que se lee: existe un x que
pertenece al conjunto U que cumple con la propiedad de ser par.

Veamos el valor de verdad de los cuantificadores. Por ejemplo, cuando decimos
para todo nmero natural n, 2n es par. Para que esto sea verdad se tiene que
cumplir para todos los nmeros que pertenezcan al conjunto. Esto es para .
Para - es diferente. Por ejemplo, con slo un elemento que cumpla con la
condicin o la funcin, la expresin ser Verdadera.
Al hablar de los valores de verdad debemos saber cmo negamos esos valores
de verdad. Por ejemplo, qu representa negar un existencial: -x q(x) o negar
un para todo, x p(x). Negar un existencial es aceptar un para todo, es decir:
-x q(x) = x q(x). Ahora, si negamos un para todo se convierte en un
existencial: x p(x) = -x p(x).
Veamos la siguiente proposicin: para todo x si x pertenece a n x pertenece a z.
Cul va a ser el conjunto de referencia: U = |N, es decir, los nmeros naturales. Cul es
la variable: x que x e N. Por ltimo cul es la funcin: p(x) = x e z. Cmo se escribe
entonces en lenguaje simblico: xeN se cumple p(x) para todo x que son los
naturales, se cumple x. Pero lo que se pide es negar los cuantificadores:
x p(x). Esto es igual a -x p(x). Existe un x perteneciente a n tal que x no
pertenece a z. Recordemos que los nmeros naturales pertenecen a los enteros.
Por tanto la proposicin inicial es verdadera.
Ejemplo de cmo se niega un existencial: existe x perteneciente a R tal que
x 2 = 0. De nuevo, cul es el conjunto de referencia. U = nmeros reales R.
La variable en esta caso tambin es x. X que pertenece a los reales. Por ltimo,
cul es la funcin: q(x) = x 2 = 0, el nmero que cumple esta propiedad es el 2.
La primera proposicin es verdadera ya que existe al menos un nmero que la
cumple. Simblicamente: xeR | q(x). Ahora hagamos la negacin: x | q(x).
Recordemos la propiedad : -x | q(x) = x| q(x). Cmo queda: para todo x
perteneciente a R, x 2 = 0. Esta negacin es falsa.



MTODOS DE DEMOSTRACIN
Una demostracin es un razonamiento finito donde cada paso est justificado
por los pasos anteriores, reglas de inferencia y teoremas ya demostrados.
Una demostracin es un proceso de varios pasos que se siguen para llegar de
una proposicin a otra.
Las proposiciones a demostrar son teoremas y se componen de dos partes
principales: hiptesis y tesis. Las Hiptesis son una o varias proposiciones con
las cuales se debe concluir la Tesis. Estas dos partes estn enlazadas por una
implicacin. Sin embargo hay teoremas en los cuales el conector es una
equivalencia. En estos casos se tienen dos teoremas, uno por cada sentido de la
equivalencia.
Ejemplo de Teorema: si x es par, entonces 3x es par. La primera parte es la
hiptesis y la segunda parte es la tesis. Un tringulo es equiltero si y solo si es
equingulo. Como es una doble implicacin, se parte en 2: 1. Un tringulo es
equiltero [hiptesis] si es equingulo [tesis] y 2. Un tringulo es equingulo
[hiptesis] si es equiltero [tesis].

Mtodo de Demostracin Directo. El primer paso para el mtodo directo es
tomar todas las hiptesis como vlidas. El segundo, a partir de pasos lgicos y
usando las leyes de inferencia, llegar a la tesis.
Ejemplo: probar que p p v (p q) es una Tautologa. Hay que trabajar
cada implicacin por aparte. Tomamos de izquierda a derecha primero.
Recordemos que la hiptesis es la que va antes del entonces. La hiptesis es p,
entonces es verdadera. Ahora vamos a empezar a emplear proceso lgicos para
llegar a la tesis. Recordemos que cuando se tiene una proposicin verdadera, se
le puede agregar cualquier otra proposicin por medio de una v. Vamos a
agregarle lo que necesitamos, es decir, (p q) queda entonces:
p v (p q) por la Adicin (cada paso debe ir acompaado de su justificacin, es
decir, de la propiedad o teorema que se utiliza).
Veamos: 1. p
2. p v (p q) Adicin


Tomemos ahora el lado derecho: p v (p q) p. El primer paso es poner la
hiptesis, que es: 1. p v (p q)
2. (p v p) (p v q) Ley Distributiva
Recordemos p v p p 3. p (p v q)
4. p Simplificacin
De la hiptesis se lleg a la tesis. Por tanto ambas partes de la funcin son
tautologas y por consiguiente toda la expresin es una tautologa.
Ahora veamos un ejemplo que no sea con smbolos:
El producto de dos nmeros pares es un nmero par. La hiptesis es que dos
nmeros son pares y la tesis es que el producto de esos dos nmeros es par.
Demostracin: a y b son pares. a = 2c b= 2d esto significa que a es par y
b es par, por consiguiente, a x b = 2c x 2d = 4cd = 2 (2cd) con esto se termina la
demostracin porque se demostr que la tesis es verdadera.
Veamos otro ejemplo para utilizar el mtodo directo:
[q (p q)] p la hiptesis es [q (p q)] y la tesis p.
A partir de la hiptesis, lleguemos a la tesis.
Tomemos entonces: 1. [q (p q)]
2. q
3. p q Simplificacin
Recordemos que (pq)(qp) 4. q p Contrarrecproco
5. p Modus Ponens

De esta manera se lleg a la Tesis, demostrando que [q (p q)] p es
una tautologa, es decir, esta expresin es siempre verdadera.
MTODO DEL CONTRARRECRPROCO

Recordemos la Ley del Contrarrecproco: (pq) (q p)
Se puede probar cualquiera de las dos implicaciones, antes o despus de la
equivalencia. Los paso para este mtodo son: 1. Negar la tesis y 2. Concluir la
negacin de la hiptesis.
Ejemplo: si a es un nmero entero y a al cuadrado es impar, entonces, a es
impar. La hiptesis: a al cuadrado es impar. Tesis: a es impar.
Usando el mtodo del Contrarrecproco: 1. negar la tesis, es decir:


1. negar a es impar es lo mismo que decir a es par, hay
que llegar a concluir la negacin de la hiptesis.
2. a x a es un producto par. A partir de la negacin de la
tesis, llegamos a la negacin de la hiptesis, quedando demostrado el teorema.

REDUCCIN AL ABSURDO
Su nombre se debe a que se llega a conclusiones que son absurdas o
incorrectas. Los pasos para utilizar este mtodo: 1. negar la tesis y 2. llegar a
una contradiccin.
Por ejemplo, nos piden probar que esto es verdadero: [(p v q) q] p
Antes de la implicacin est la hiptesis y despus, la tesis.
Primer paso, negar la tesis: 1. p hiptesis de reduccin al absurdo
2. (p v q) q
Esta hiptesis se puede partir: 3. p v q simplificacin
4. q simplificacin
5. q eliminacin de la falsa en una disyuncin (en 1 y 3).
Recordemos que cada paso que se da tiene que ser una tautologa, algo
verdadero y en este caso se concluye una contradiccin: Se tiene q y q, por
lo tanto queda establecido que la funcin inicial es una tautologa.

Otro ejemplo: demostrar que si el producto ab de dos enteros es par,
entonces, o b es par o a es par. Comencemos por negar la tesis: b es par o a
es par. Observemos que es una disyuncin y al negarla, quedara:
1. b no es par a no es par b = 2c + 1
2. hiptesis: a x b es par [2k] a = 2d + 1
3. a x b = (2c +1) (2d + 1) = 4cd + 2c + 2d +1 = 2( 2cd+c+d) +1, es decir, 2 que
multiplica a un nmero +1. Con lo que se concluye que axb es impar, lo cual es
absurdo, ya que el supuesto es que axb es par. Por tanto queda probado el
teorema.
Otra manera grfica de realizar este mtodo es planteando la funcin en su
desarrollo con las leyes de inferencia y al llegar a la conclusin, devolverse,
dndole valor FALSO, arbitrario, a la conclusin, de la siguiente manera:



DISYUNCIN DE CASOS

Este mtodo tiene el nombre de la Ley que dice que al tener 2 proposiciones
unidas por una disyuncin y que si ambas por aparte concluyen la misma cosa,
entonces, se concluye la tesis. Los pasos a seguir para este mtodo de
demostracin son: 1. Separar la hiptesis en varios casos
2. Para cada caso probar la tesis.
Ejemplo: la ltima cifra de un nmero natural al cuadrado es 0,1,4,5,6 o 9.
Hiptesis: nmero natural. Tesis: la ltima cifra al cuadrado es 0,1,4,5,6 o 9.
Se parte la hiptesis en varias ms pequeas: pares e impares. Cul es la ltima
cifra de un nmero par: 0, 2, 4 , 6 , 8.. y de los impares: 1, 3, 5, 7, 9. Ahora
elevemos al cuadrado los pares: 0, 4, 16, 36, 64 [por lo pronto tenemos 0, 4 y 6]
Ahora elevemos al cuadrado los impares: 1, 9, 25, 49, 81. [tenemos 1, 5, 9],
entonces como por ambos lados se cumple la tesis, entonces todo completo
reafirma que cualquier nmero natural tiene que ser par o impar.







BIBLIOGRAFA



Cuartas, Roberto. Qu es la Lgica?. TareasPlus. Videos YouTube.co.
Colombia. 2013

Ching Briceo, A. Salomn. Inferencia Lgica.
http://mathsalomon.blogspot.com/. Videos YouTube.co. Per.2011