Ejercicios de Logica de Proposicional

"CONTENIDO TOMADO DE EL LIBRO INTRODUCCIN A LA

MATEMATICAS DISCRETAS SEGUNDA EDICIN DE JORGE GALVEZ Y
MIGUEL LOPZ "
LGICA PROPOSICIONAL

EJERCICIOS
SI SON PROPOSICIONES
PORQUE ES UNA ENUNCIACIN QUE NIEGA O AFIRMA ALGO.
1.Juan trabaja
2.Marcos es primo de Maribel
3.4 es un nmero impar
4.El duplo de 10 es 20
5.X > 44
6.Aquello no es azul
7.Algunas aves no vuelan
8.Ningn nmero par es menor que dos
9. 5+6 11
10.Todos los polticos aman la paz

NO SON PROPOSICIONES
PORQUE NO AFIRMAN, NI NIEGAN NADA, NI PUEDE DECIRSE DE
ELLAS QUE SEAN VERDADERAS, NI FALSAS.
1.Donde esta Juan?

2.Vete a tu asiento!
3.Tal vez te encontremos
4.Me gustara pasear contigo
5.Que hermosura de da!
6.El cuadrado de 35
7.Las aguas del mar
8.El nio que esta estudiando
9.(3+9) x 3
10.1 + 1

PROPOSICIONES ATMICAS
1.Martha baila
2.Juan es hermano de Lorena
3.El cuadrado de 2 es 4
4.4 < 40
5.9 es un nmero par
6.Pablo se encuentra entre Juan y Roberto
7.Esto es una casa
8.La madre de Miguel es Marlene
9.5 Z
10.Aquello es amarillo

PROPOSICIONES MOLECULARES O COMPUESTAS

1.Juan y Lorena son hermanos

2.Juan y Lorena

son trabajadores

3.Pablo pasea y descanza

4.3<7< X
5.Nosotros estudiamos
6.Esta escalera esta rota
7.Esto no es verde
8.7 < 80 y esto es una casa
9.X z
10.Mario

y Eduardo

son Ingenieros

CONECTIVAS
NEGACIN(no ,es falso que,no es cierto que,no sucede que)
a)Susi estudia
1.Susi no estudia
2.No es cierto que
3.No sucede que

Susi estudia

4.Es falso que

Susi estudia
Susi estudia

b)Nosotros estudiamos
5. Nosotros no estudiamos
6. No es cierto que
7. No sucede que

nosotros estudiamos

nosotros estudiamos

8. Es falso que nosotros estudiamos

c)5 es un nmero par

9. 5 no

es un nmero par

10.No es cierto que

11.No sucede que
12.Es falso que

5 es un nmero par

5 es un nmero par
5 es un nmero par

CONJUNCIN (y,pero,no obstante,sin embargo,e)

1.x

= 4

6 < z

2.Franco lee pero Juan escribe

3.4 < 7 no obstante 9>4
4.Hace frio sin embargo Jackeline estudia
5.El fuego calienta e ilumina

DISYUNCIN(o,al menos ,como mnimo, u, o bien)

1.Estudias o pierdes el ao
2.Miguel lee al menos escribe
3.hace sol como mnimo hace frio
4.Marcos tiene una expresa u organizacin
5.A es una vocal o bien es una letra mayscula

CONDICIONAL (Sientonces, .solo si.,.si.,es

necesario para que, .implica.,cada vez que, siempre
que,.cuando.)
1.Si hace frio entonces llueve
2.Hace frio solo si llueve
3.Hace frio si llueve
4.Hace frio si es necesario para que llueva
5.Hace frio implica que llueve
6.Cada vez que hace frio llueve
7.Llueve siempre que hace frio
8.Hace frio cuando llueve

BICONDICIONAL(si y solo si, solo y cuando,cuando y solo

cuando)
1.Marcos trabaja si y solo si Juan estudia
2.Marcos trabaja solo y cuando Juan estudia
3.Marcos trabaja cuando y solo cuando Juan estudia

SIMBOLIZACIN Y TABLAS DE VERDAD

NEGACIN ()
1.Laura no estudia (p)

2.5 no es un nmero par (q)

3.No es cierto que 4 > 1(r)

CONJUNCIN ( ^ )
1.Juan canta y estudia (p ^ q)

2.Carlos y Kevin son hermanos (q ^ r)

3.Lorena sonre y x + 2 = 7 (r ^ s )

DISYUNCIN ( V )
1.Maana llueve o hace sol (p v q)

2.Mara sonre o bien Luis es amigo de Rosa (q V r)

3.Marcos canta o Pedro trabaja (r V s)

CONDICIONAL( )
1.Si x + 2 = 7, entonces z > 9 (p r)

2.Si llueve entonces es una ciudad (s t)

3.6 es numero par, entonces 6 < 9 cuando 9 es un nmero impar ( p q) r

BICONDICIONAL()
1. Z > 9 si y solo si Z > 9 (p q)

2. Si nieva cuando y solo cuando llueve (s t)

3. 2 + 3 = 5 si y solo si 2 < 10 (p q)

TAUTOLOGA, CONTINGENCIA, CONTRADICCIN

TAUTOLOGIA
1. q V q

2.(p V q) V(qV p )

3.[(P V q ) ^ ( q V p)] p

CONTINGENCIA
1.(P v q )

2.(P V P) ^ (q V p)

3.(p V p ) ^ (q V q )

CONTRADICCIN
1. q ^ q

2.(P ^ q) v p

3.(P ^ q) ^ q

EQUIVALENCIAS POR LAS LEYES DE MORGAN

EJERCICIO 1
(pVq)pq
Si se escriben las tablas de verdad para P=(pVq) y Q=pq, se puede
verificar que ; a partir de cualesquiera valores de verdad para p y q, P y Q
son ambas verdaderas o P y Q son ambas falsas.

Entonces P y Q son equivalentes lgicos

EJERCICIO 2
Demuestre que la negacin de p q es equivalente lgico de
pq.Debe demostrar que
(pq)pq
Al escribir las tablas de verdad para P=(pq) y Q=pq, se puede
verificar que, a partir de cualesquiera valores de verdad de p yq, o bien P y
Q son ambas verdaderas o P y Q son ambas falsas:

Entonces P y Q son equivalentes lgicos

EJERCICIO 3
Use la equivalencia lgica de (pq) y pq, para escribir la negacin de:
Si Jesus recibe una beca, entonces va a la universidad,
Con smbolos y palabra Sean:
< CENTER>P: Jess recibe una beca</CENTER>
Q: Jess va a la universidad
La proposicin se escribe con smbolos como pq. Su negacin
lgicamente equivalente a pq. En palabras esta ltima expresin es
Jess recibe una beca y no va a la universidad
Ahora se demostrar que, segn estas definiciones pq es equivalente
lgico de pq y qp. En palabras,

Si p entonces q y si q entonces p.
La tabla de verdad muestra que
pq (pq) (qp)

Se concluye esta seccin con la definicinR de la contrapositiva de una

proposicin condicional. Se ver que la contrapositiva es una forma
alternativa, lgicamente
equivalente de la proposicin condicional.

SIMPLIFICACION de PROPOSICIONES
En esta seccin explicaremos los siguientes ejercicios:
Para realizar estos ejercicios es necesario plantear las leyes de
proposiciones.
EJERCICIO N .- 1<>BR

EXPLICACIN
PASO1.- Aplicamos

[ Morgan]

^ [( qvr) ^Morgan]

PASO2.- Aplicamos conmutativa

PASO3.- Aplicamos

PASO4.- Aplicamos

1 ^

PASO5.- Aplicamos
PASO6.- Aplicamos

[condicional]
[asociativa]

^ [idenpotencia v p vq]

[ qvr] ^

[asociativa v q]

[ qvr] ^
[ qvr] ^

[Morgan v q ]
[conmutativa]

[ asociativa] ^ complemento

PASO8.- Aplicamos

[ conmutativa ]^1

PASO9.- Aplicamos

(complemento) ^ 1

PASO10.-- Aplicamos
resultado

EXPLICACIN

[ complemento] ^

^ [ qvr]

1 ^
1 ^

PASO7.- Aplicamos

EJERCICIO N.-2

(complemento ) y esto es el mnimo es decir el

PASO1.- Aplicamos

[(pvq)

(Morgan)]

PASO2.- Aplicamos

[Complemento]

PASO3.- Aplicamos [(bicondicional)]

PASO4.- Aplicamos
PASO5.- Aplicamos
PASO6.- Aplicamos
PASO7.- Aplicamos
PASO8.- Aplicamos
resultado

[(condicional)

(condicional)]

[(conmutativa )
[(p v morgan )
(p v 0 )

^
^

( pv1)]
(p v 1)]

complemento

(complemento ) y esto es el mnimo es decir el

EJERCICIO N.-3

EXPLICACIN
PASO1.- Aplicamos

[idempotencia]

PASO2.- Aplicamos

[(morgan^morgan)

PASO3.- Aplicamos
PASO4.- Aplicamos
resultado

[(p ^ q)

v (pvq)]

v (morgan ^ morgan)]

(morgan ) y esto es el mnimo es decir el

EJERCICIOS PROPUESTOS
a.En el siguiente listado verificar si son o no son proposiciones.
1.Marcos esta en su casa
2.La casa de la montaa

3.4 + 6 + 45
4.El doble de 23
5.Caminemos ms lento!
6.Donde te encuentras?
7.Regrese a su puesto!
8.Dios mo!
9.7 N
10.Los polticos de Ecuador

<b.Determinar si son proposiciones Atmicas o Moleculares.

1.3-4 =2+5
2.Rosa es mayor que Susana
3.X 4
4.Platn fue filosofo
5.Santiago no esta en casa
6.Luis es primo de Rosa
7.Juan canta y Rosa estudia
8.Hace frio siempre que Susi estudia
9.Susi estudia hasta que hace frio
10.X > 4 o X = 2

<c.Simbolizar las siguientes preposiciones (p, q, r, s, t) y determinar

con la tablas de verdad si son contingencia, contradiccin, y
tautologa.
1.Si
2.Si
3.No
4.Si
5.Si
vez b = c

llueve y hace sol entonces b 4

a = b entonces b 4
sucede que si llueve y hace sol, entonces b 4
no se da a la vez que llueve y hace sol, entonces b 4
dan a la vez a b y b c si y solo si tambin se da a la

Determinar con las tablas de verdad si son o no son equivalentes

1.(pq)pq
2.pq pVq
3.pq (p V q) (p V q)
REALIZAR LAS SIGUIENTES SIMPLIFICACIONES
1.

^ [ qvr]

^ [p v p vq]

2. qvr) ^1]

[pv(pv(pvq))]

3. [p v p vq] v [(p v 1)]