Lgica

Profa. Idalyn Ros

1.1 Lgica
Proposicin es una oracin que es cierta o falsa pero no ambas.
Proposicin Compuesta se forma de proposiciones existentes usando operadores lgicos
Definicin (negacin)
Sea p una proposicin, la negacin de p es no p o no es el caso que p y se denota p.
Su valor de veracidad es el valor opuesto a p: si p es cierto, p es falso; si p es falso, p
es cierto.

p
C
F

Definicin (conjuncin)
Sean p y q proposiciones, la conjuncin p y q es p y q, denotada pq. Es cierta ssi p
y q son ciertas. Si una de ellas es falsa o ambas son falsas, pq es falsa.
Ejemplo
p: Hoy es lunes. q: Est lloviendo.
pq: Hoy es lunes y est lloviendo. (Hoy es lunes pero est lloviendo.)
Definicin (disyuncin)
Sean p y q proposiciones, la disyuncin de p y q es p o q, denotada pq. Es cierta
cuando p es cierta o q es cierta o ambas son ciertas. Es falsa solo cuando ambas son
falsas.
Ejemplo
p
q p
q
p: Hoy es lunes. q: Est lloviendo.
C C
F
pq: Hoy es lunes o est lloviendo.
C F
C
F C
C
o Exclusivo se usa p o q pero no ambas
F
F
F

p
C
C
F
F

p
C
C
F
F

p
F
C
q
C
F
C
F

q
C
F
C
F

p
q
C
F
F
F

p
q
C
C
C
F

Ejemplo: Sea p: 0< x,

q: x<3,
r: x = 3
Escribe las siguientes desigualdades en forma simblica
a) x 3
qr
b) 0 < x <3
pq
c) 0 < x 3
p(qr)
Ejemplo: Construir tabla de veracidad para (pq) (pq)
Ejemplo:
p
q p
q p
q (p
q) (p
q) (p
q)
Construir tabla de veracidad para (pq) r
C C
C
C
F
F
C F
C
F
C
C
p
q
r
p
q r (p
q) r
F C
C
F
C
C
C C
C
C
F
C
F
F
F
F
C
F
C C
F
C
C
C
C F
C
F
F
F
C F
F
F
C
C
F C
C
F
F
F
F C
F
F
C
C
F
F
C
F
F
F
F
F
F
F
C
C

Equivalencias Lgicas
Definicin Dos aseveraciones son lgicamente equivalentes ssi tienen el mismo valor de veracidad
para todas las posibilidades. La equivalencia lgica de dos aseveraciones P y Q se denotan P Q.
Ejemplo: Demostrar que (p q) y p q no son lgicamente equivalente
p
C
C
F
F

q
C
F
C
F

p
F
F
C
C

q p q
F
C
C
F
F
F
C
F

(p q) p q
F
F
C

F
C

F
C
C

Leyes de De Morgan
(pq) p q
(pq) p q
Ejemplo: Escribir la negacin para cada una de las siguientes aseveraciones
a. Juan mide 6 pies y pesa al menos 200 lbs.
Juan no mide 6 pies o pesa menos de 200 lbs.
b. La guagua est atrasada o el reloj de Tom es lento.
La guagua no est atrasada y el reloj de Tom no es lento.
Ni la guagua est atrasada ni el reloj de Tom es lento. (Neither p nor q)
Ejemplo: Usa las leyes de De Morgan para escribir la negacin de -1 < x 4
Es equivalente a -1 < x y x 4
-1 < x o x 4 que es equivalente a -1 x o x > 4
Definicin
Una tautologa es una proposicin (aseveracin) compuesta que siempre es cierta.
Una contradiccin es una proposicin (aseveracin) compuesta que siempre es falsa.
Ejemplo: Verificar la equivalencia lgica (p q) (p q) p
(p q) (p q) (p q) (p q)
De Morgan
p (q q)
Prop. distributiva
p c
ley de negacin
p
ley de identidad

Equivalencias lgicas
Equivalencia
ptp
pcp
ptt
pcc
ppp
ppp
(p)p
pqqp
pqqp
(pq)rp(qr)
(pq)rp(qr)

Nombre
Leyes de identidad
Leyes de dominancia
Leyes idempotentes
Leyes de doble negacin
Leyes conmutativas
Leyes asociativas

p(qr)(pq)(pr)
p(qr)(pq)(pr)
( p q ) p q
( p q ) p q
p(pq)p
p(pq)p
ppt
ppc

Leyes distributivas
Leyes de De Morgan
Leyes de absorcin
Leyes de negacin

1.2 Condicionales
Definicin
Sean p y q proposiciones, la condicional de q por p es si p ent. q o p implica q y se denota p q.
Es falso cuando p es cierto y q es falsa; de otra forma es cierto. Llamamos a p la
p
q pq
hiptesis (o antecedente) y a q la conclusin (o consecuente).
C C
C
C
F
F
pqpq
F C
C
F
F
C
Ejemplo
Si gano las elecciones, entonces no voy a despedir empleados.
Si obtiene 100% en el final, entonces tienes A.
Ejemplo: Construir una tabla de veracidad para p q p
p
C
C
F
F

q
C
F
C
F

p
F
F
C
C

q
F
C
F
C

p q
C
C
F
C

p q p
F
F
C
C

Ejemplo: Reescribir Llegas temprano al trabajo o estas despedido.

Sea p llegas temprano al trabajo
q ests despedido
p q Si no llegas temprano al trabajo, entonces ests despedido.
Variedad de terminologa que se utiliza para expresar pq
si p, entonces q
p implica q
p solo si q
p es suficiente para q
q si p
q siempre que p
Ejercicio
Demuestre que p q y p q son lgicamente equivalentes.
p q
p p q pq
C C
F
C
C
C F
F
F
F
F C
C
C
C
F F
C
C
C

si p, q
una condicin suficiente para q es p
una condicin necesaria para p es q

Negacin de una condicional

(p q) p q
Ejemplo: Escribir la negacin para cada aseveracin.
a. Si mi carro est en el taller, entonces no puedo ir a clases.
Mi carro est en el taller y puedo llegar a clases.
b. Si Sara vive en Atenas, entonces ella vive en Grecia.
Sara vive en Atenas, y no vive en Grecia.
El contrapositivo, el converso y el inverso de una condicional
Definicin
El contrapositivo de una condicional de la forma si p entonces q es
si q entonces p (q p)
Nota Una condicional es lgicamente equivalente a su contrapositivo.
Definicin
Suponer que tenemos una aseveracin condicional de la forma si p entonces q (p q)
1. El converso es si q entonces p.
(q p)
2. El inverso es si p entonces q.
(p q)
Nota El converso y el inverso de una condicional son lgicamente equivalentes.
Ejemplo: Escriba el contrapositivo, el converso y el inverso
a. Si Howard puede nadar a travs del lago, entonces Howard puede nadar a la isla.
contrapos
Si Howard no puede nadar a la isla, entonces Howard no puede nadar a travs del lago.
converso
Si Howard puede nadar a la isla, entonces Howard puede nadar a travs del lago.
inverso
Si Howard no puede nadar a travs del lago, entonces Howard no puede nadar a la isla.
b. Si hoy es Pascua, entonces maana es lunes.
contrapos
Si maana no es lunes, entonces hoy no es Pascua.
converso
Si maana es lunes, entonces hoy es Pascua.
inverso
Si hoy no es Pascua, entonces maana no es lunes.
c. El equipo local gana siempre que est lloviendo.
q siempre que p
pq
Si est lloviendo, entonces el equipo local gana.
Contrapositivo qp
Si el equipo local no gana (pierde), entonces no est lloviendo.
Converso qp
Si el equipo local gana, entonces est lloviendo.
Inverso pq
Si no est lloviendo, entonces el equipo local no gana (pierde).
Ejercicio: Construir una tabla para (p~q) (pq)

p
C
C
F
F

q
C
F
C
F

~q p
~q p
q (p
~q)
(p
q)
F
C
F
C

C
C
F
C

C
F
F
F

C
F
C
F

Definicin
Sean p y q dos proposiciones, la bicondicional de p y q es p ssi q y se denota p
q. Es cierto si ambas p y q tienen el mismo valor de veracidad y es falso si p y q
tienen valores de veracidad opuestos.
p q (p q) (q p)
p es necesario y suficiente para q
si p entonces q y viceversa

p
C
C
F
F

q
C
F
C
F

pq
C
F
F
C

orden de operadores lgicos

1.
2. ,
Cuando ambos estn presentes
3. ,
necesitamos parntesis
Condiciones necesarias y suficientes
Definicin
Si r y s son proposiciones (aseveraciones)
r es una condicin suficiente para s
r es una condicin necesaria para s
r es una condicin necesaria y suficiente para s
quiere decir ( r s ) r si y solo si s

significa si r ent. s
significa si no r ent. no s
si s ent. r

(r s)
(r s)
(s r)

Ejemplo: Reescribir de la forma si A entonces B

El que Mara nazca en tierra de U.S. es condicin suficiente para que sea ciudadana estadounidense.
Si Mara nace en tierra de U.S. entonces es ciudadana estadounidense.
Ejemplo: Use contrapositivo para escribirla en dos formas diferentes
El que Jorge haya llegado a 35 aos es una condicin necesaria para ser presidente.
Si Jorge no ha llegado a 35 aos, entonces no puede ser presidente.
Si Jorge puede ser presidente, entonces ha llegado a los 35 aos.
1.3 Argumentos vlidos
Definicin Un argumento es una sucesin de proposiciones (aseveraciones). Todas las aseveraciones
del argumento se llaman premisas excepto la final que se llama conclusin.
Ejemplo
Si p entonces q
p
q

Si Scrates es un hombre, entonces Scrates es mortal.

Scrates es un hombre.
Scrates es mortal.

Probar validez de argumentos

1. Identificar las premisas y la conclusin.
2. Construir una tabla de verdad para todas las premisas y conclusin.
3. El argumento es vlido si para todo caso donde las premisas son ciertas, la conclusin tambin es cierta.

Modus Ponens y Modus Tollens

Silogismos un argumento que consiste de 2 premisas y una conclusin
Modus Ponens (Mtodo de afirmar) Ley de desprendimiento
Si la suma de los dgitos de 371,487 es divisible por 3, entonces 371,487 es divisible por 3
La suma de los dgitos de 371,487 es divisible por 3.
371,487 es divisible por 3
Modus Tollens (mtodo de negar) Ley de contraposicin
Si Zeus es humano, entonces Zeus es mortal.
Zeus no es mortal
Zeus no es humano
Falacia Una falacia es un error en razonamiento que resulta en un argumento no vlido.
Falacias comunes
1. Usar premisas ambiguas (y tratarlas como si no fueran ambiguas)
2. Suponer lo que queremos probar sin que se derive de las premisas
3. brincar a conclusiones
Ejemplo: Demostrar que el siguiente argumento es no vlido
Si Pedro es un copin, entonces Pedro se sienta en la ltima fila.
Pedro se sienta en la ltima fila.
Pedro es un copin.

Falacia de afirmar el consecuente.

(Converse error)

(Inverse error)
Ejemplo:: Considere el siguiente argumento
Falacia de negar el antecedente
Si los intereses aumentan, los precios en el mercado de valores disminuyen.
Los intereses no estn aumentando.
Los precios del mercado de valores no disminuyen.
validez (argumento) es diferente a veracidad
Un argumento vlido puede tener una conclusin falsa y un argumento no vlido puede tener una
conclusin no cierta.
Contradiccin y argumentos vlidos
Regla de contradiccin Si puedes demostrar que suponiendo que la aseveracin p es falsa conduce
lgicamente a una contradiccin, entonces puedes concluir que p es cierto.
Ejemplo: Demostrar que el siguiente argumento es vlido.
p c donde c es una contradiccin
p

p
C
F

p
F
C

c p c
C
C
F
F

p
C
F