Campus Los Angeles

Depto. Cs Bsicas

Prof.: Sixto Martnez H.

GUIA I Lgica Fundamento de la Matemtica
1. Cules de las siguientes alternativas son proposiciones?
a. Es 2 un nmero positivo?
d.
Habr nieve en enero.
b. x2 + x + 1 = 0
e.
Si se caen los precios de las acciones, perder dinero
c. Estudie lgica.
2.
En cada uno de los siguientes casos, formar la conjuncin y la disyuncin de p y q.
b.
p : Soy rico. q : Soy feliz.
c.
p : Voy a ir en mi auto. q : Llegar tarde
a. p : 3 + 1 < 5 q : 7 = 3 6
3. En los ejercicios siguientes considerar p: Hoy es lunes, q: El pasto est mojado, r: El plato se fue con la cuchara. Escribir cada
una de las siguientes proposiciones en trminos de p, q, r y conectivos lgicos.
a. Hoy es lunes y el plato no se fue con la cuchara.
c.
Hoy no es lunes y el pasto est mojado.
b. el pasto est mojado u hoy es lunes.
d.
El plato se fue con la cuchara, pero el pasto est mojad
Escribir una oracin que corresponda a cada una de las siguientes proposiciones.
g.
( p q)
e.
rq
f.
qp
h.
pr
4.
Escribir cada una de las siguientes proposiciones en trminos de p, q y r y de palabras de enlaces lgicas
a.
Estoy despierto implica que trabajo duramente.
f. Si sueo con mi hogar, entonces estoy despierto y trabajo duramente.
b.
Sueo con mi hogar solamente si estoy despierto.
g. No trabajo duramente slo si estoy despierto y no sueo con mi hogar.
c.
Trabajar duramente me basta para estar despierto.
h. No estar despierto y soando con mi hogar me basta para trabajar
d.
Me es necesario estar despierto para no soar con mi hogar duramente.
e.
No estoy despierto si y slo si sueo con mi hogar.
5. En los siguientes ejercicios sean p, q y r las siguientes proposiciones: p: Estudiar matemtica, q: Ir a un cine, r: Estoy de buen
humor. Escribir las siguientes proposiciones en trminos de p, q, r y de conectivos lgicos.
a. Si no estoy de buen humor, entonces ir a un cine.
c. Ir a un cine slo si no estudio matemtica.
b. No ir a un cine y estudiar matemtica.
d. Si no estudio matemtica, entonces no estoy de buen humor
Escribir oraciones que correspondan a las siguientes proposiciones.
a.
(( p) q) r
b. r ( p q)
c. ( r) (( q) p)
d. ( q ( p)) r
6. En los siguientes ejercicios formular la expresin simblica en palabras usando p: Hoy es mi cumpleaos; q: Est lloviendo;
r: Hace calor.
a.
~ p(qr)
b.
~ (pq)r
c.
( pq)~ (rp)
d.
( p(qr))(r(qp)
7. En los siguientes ejercicios, representar la afirmacin sabiendo que p : 4 < 2, q : 7 < 10; r : 6 < 6.
a.
Si 4 < 2, entonces 7 < 10.
c. Si no es el caso que (6 < 6 y 7 no es menor que 10), entonces 6 < 6.
b.
Si (4 < 2 y 6 < 6), entonces 7 < 10.
d. 7 < 10 si y slo si (4 < 2 y 6 no es menor que 6).
8. Determinar el valor de verdad de los siguientes enunciados:
a) Si 5 < 3, entonces - 3 < - 5
d) No es verdad que si 2 + 2 = 4 entonces 3 + 3 = 5 o 1 + 1 = 2
b) Es verdad que 2 + 2 4 y 3 + 3 = 6
e) Si 2 + 2 = 4, entonces no es verdad que 2 + 1 = 3 5 + 5 = 10
c) Si 3 < 5, entonces - 3 < - 5
f) Si 2 + 2 4, entonces no es verdad que 3 + 3 = 7 Ssi 1 + 1 = 2
9. Escrbase la negacin de cada uno de los enunciados siguientes de manera ms simple posible.
a)
b)
c)
d)
e)

El es alto pero galn

El no es rico ni feliz
Se caen los precios de las acciones, aumenta el desempeo
Ni Marcos ni Enrique son ricos
El tiene cabello rubio u ojos azules

f)
g)
h)
i)

El tiene cabello rubio si y solamente si tiene ojos azules

Ambos, Marcos y Enrique son inteligentes
Si Marcos es rico, entonces, tanto Enrique como Aura son felices
Marcos o Enrique es inteligente y Aura es bonita

10. Hacer la tabla de verdad de cada una de las proposiciones siguientes:

a) p q
b) ( p q)
c) p ( p q )
d) ( p q) ( p q)
11. Determinar si cada una de las siguientes sentencias es una proposicin. En caso de serlo, escribir su negacin.
a. 2 + 5 = 19
c. Todo entero par mayor que 4 es la suma de dos primos.
d. La diferencia entre dos primos.
b. Para algn entero positivo n, 19340 = n 17.
12. Dar la negacin de cada una de las siguientes proposiciones.
c.
Llover maana o nevar maana.
a.
2 + 7 11
d.
Si usted va en auto, entonces yo caminar
b.
2 es un entero par y 8 es un entero impar.
13. Cul de las siguientes proposiciones es la negacin de la proposicin "2 es par o -3 es negativo."?
a
2 es par o -3 es no negativo.
c
2 es par y -3 es no negativo.
b
2 es impar o -3 es no negativo.
d
2 es impar y -3 es no negativo
14. Mediante una tabla de verdad determine el carcter de las siguientes proposiciones compuestas:
a)
[(pq)~q]~p
f) (~pr)[(pq)r]
k) [(pq)~r][(~pr)~q]
b)
(pq)[(pr)(qr)]
g) ~[(pq)(~qp)](pq)
l) ~[p(p~q)](qp)
c)
[~p(qr)][(p~r)q]
h) [(pq)(~pr)](~q~r)
m) ~[~(ab)(~ab)]
d)
~(~p~q)(~pq)
i) [p(q~q)]p
n) (pq)~[p(q~r)]
e)
[(pq)r][(p~r)~q]
j) [(pq)(qr)](pr)
15. Simplifique usando las leyes del lgebra de proposiciones:
a) (~pq)~q
d) ~(pq)q
g) p[~(pq)~(~qp)]
j) q~[(pq)(p~q)]
b) q[~p(pq)]
e) ~[~(pq)(~pq)]
h) ~p[q(p~q)]
k) (pq)~(p~q)
c) ~[(~pq)~(pq)]p
f) (p~q)q
i) (~p~q)(p~q)
l) ~[(b~b)~(ac)](a~a)
16. Demuestre las siguientes equivalencias
a) [(ab)(ba)][(a~b)~(b~a)]
c) [~(rp)(qr)][r(pq)]
e) ~{q~[~p(p~q)]}(qp)
b) {[~p(qp)]~q}~(pq)
d) [(pr)(pq)][p(qr)]
f) {[p(qr)](pq)}(pq)
17. Demostrar que:
a. (pq)(qp) (Recproco) es una contingencia
b.
(pq)(qp) (Contrarecproco) es una tautologa
18. Enunciar la recproca de cada una de las siguientes implicaciones.
a Si 2 + 2 = 4, entonces yo no soy la reina de Inglaterra.
b Si no soy el presidente de los Estados Unidos entonces caminar a mi trabajo.
c Si ya se me hizo tarde, entonces no tom el tren para mi trabajo.
d Si tengo tiempo y no estoy demasiado cansado, entonces ir a la tienda.
e Si tengo suficiente dinero, entonces comprar un automvil y comprar una casa.