INTRODUCCIN A LA

LGICA MATEMTICA
GUAS DE PRCTICAS

Alberto Gutierrez Borda*

 GUAS DE PRCTICAS

1. Si ( ) ; es una proposicin falsa, determinar los valores de verdad de y .

2. Si la proposicin ( ) ( ) es falsa, deducir el valor de verdad de
( ) .
3. Si la proposicin compuesta ( ) ( ) es falsa, determinar el valor de verdad
de y .
4. Si son proposiciones tales que ( ) ( ) es verdadera y
( ) es falsa; hallar el valor de verdad de , ( )- ( )
.
5. Si es una proposicin falsa, determinar el valor de verdad de la expresin *( )
, ( )-+ ( ).
6. Si la proposicin ( ) ( ) es falsa, hallar el valor de verdad de la frmula
( ) ( ).
7. Los valores de verdad de las proposiciones y son respectivamente V, F, F y V.
Obtener el valor de verdad de ( ) ( ).
8. Si la proposicin ( ) es falsa, hallar el valor de verdad ( ) ( ).
9. Si la proposicin compuesta no es falsa ,( ) ( )-. Hallar el valor de
verdad de las proposiciones y .
10. De la falsedad de la proposicin ( ) ( ) deducir el valor de verdad del
esquema ( ) ,( ) -.
11. Sean x es par; x divide a 22. Determinar el valor de verdad de las siguientes
proposiciones:
a) ,
b) ( ),
c) ,
d) * +( ),
e) * + ,( ) ( )-.
12. Sean las proposiciones:
( ) ,
( ) ,
( ) ( )( ).
Indique el valor de verdad ( ) ( ).
13. Sea * + el conjunto universal. Hallar el valor de verdad de:
a) ,
b) ,
c)
14. Si * +
Cul es valor de verdad de las siguientes proposiciones?
a) ,
Introduccin a la lgica Matemtica Alberto Gutirrez Borda - Dpto. de Matemticas
2
 b) ,
c) .
15. Halla los valores de verdad de las siguientes proposiciones:
a) ( ) ( ),
b) ( ) ( ),
c) ( ) ( ),
d) ( ) ( ).
16. Sea * +. Determinar el valor de verdad de las siguientes expresiones.
a) ,
b) ,
c) ,
d) .
17. Sealar la expresin equivalente a la expresin ( ) ( ).
a) ,
b) ,
c) ( ) ,
d) ( ),
e) ( ) .
18. Simplificar a su mnima expresin ( ) ,( ) ( )-.
19. Simplificar ,( ) ( )- ( ).
20. Simplificar ,( ) - , ( )-.
21. De la veracidad de ,( ) ( )-. Deducir el valor de verdad de
, ( )-.
22. De los siguientes esquemas:
( ) ( ),
, ( )- ,
,( ) - , ( )-.
Indicar cul es Tautologa, contingencia o contradiccin.
23. Dado el siguiente enunciado ,* (, - ) ( )+ -, segn su tabla de
verdad, podemos decir que dicha proposicin es una: tautologa, contradiccin,
contingencia, ley lgica, equivalencia lgica.
24. Si son nmeros reales, adems se define,

( ) { .

Hallar . Sabiendo que ( ) ( ) . Siendo,

, ( ) .
25. Simbolizar las siguientes proposiciones:
a) No me gusta trasnochar ni madrugar.
Introduccin a la lgica Matemtica Alberto Gutirrez Borda - Dpto. de Matemticas
3
 b) Si estuvieras loca, no habras venido a Ica.
c) Llueve y o bien nieva o sopla el viento.
d) O est lloviendo y nevando o est soplando el viento.
e) No vi la pelcula, pero le la novela.
26. Simbolizar las siguientes proposiciones:
a) No es caso que y .
b) Si , entonces , y si , entonces .
c) Si y , entonces . Luego si , entonces .
27. Formalizar las siguientes proposiciones:
a) No es cierto que no me guste cantar.
b) Si los canes de mi hermano no soltaran tanto pelo me gustara acariciarlos.
c) Si y slo si viera una Aliengena con mis propios ojos, creera que hay vida.
d) Prefiero ir de vacaciones o estar sin hacer nada si tengo tiempo para ello y no tengo
que ir trabajar.
e) Las brujas se peinan nicamente si llueve y hace sol.
f) Si las estrellas emiten luz, entonces los planetas la reflejan y giran alrededor de
ellas.
g) Roberto atiende en clase y estudia en casa, por otra parte, fracasa en los exmenes y
no es aplaudido.
h) Quin tiene un porqu para vivir puede soportar cualquier cmo. (F. Nietzsche).
i) El mundo entero es un escenario y todos los humanos somos unos actores. ( W.
Shakespeare).
j) Ojos que no ven, corazn que no siente.
k) Si escoges tus deseos y tus miedos, no existir para ti ningn tirano. (Epicteto).
28. Formalizar la siguiente proposicin:
Si tuvieran que justificarse ciertos hechos por su enorme tradicin entonces, si estos
hechos son inofensivos y respetan a todo ser viviente y al medio ambiente, no habra
ningn problema. Pero si los hechos son brbaros o no respetuosos con los seres
vivientes o el medio ambiente, entonces habra que dejar de justificarlos o no
podramos considerarnos dignos de nuestro tiempo.
29. Formalizar la siguiente proposicin y elabora su tabla de verdad:
O ests seguro y lo que dices es cierto o mientes como un bellaco.
30. Elabora las tablas de verdad de:
a) ,
b) ,
c) ( ) ,
d) ( ) ,
e) ( ) ,
f) , ( ) ( )- ,( ) -.

Introduccin a la lgica Matemtica Alberto Gutirrez Borda - Dpto. de Matemticas

4
31. Construye las tablas de verdad e indica si se trata de tautologas, contradicciones o
contingencias.
a) ,
b) ( ) ,
c) ,
d) ( ) ( ),
e) ( ) ( ),
f) ( ) ( ),
g) ( ) ( ).
32. Formalizar el siguiente enunciado y elabora su tabla de verdad Es una tautologa?
Si un animal enorme se enfada, te quedas paralizado del susto; y se te quedas
paralizado del susto, entonces no puedes sino apelar a su bondad y as no ser
engullido. Por lo tanto, si un animal enorme se enfada, tendrs que apelar a su
bondad o sers engullido.
33. Elaborar las tablas de verdad de las siguientes proposiciones, verificar si son
tautologas.
a) ( ) , ( )-,
b) ( ) , ( )-,
c) ( ) , ( )-.
34. Formalizar el siguiente argumento:
Si acepto este trabajo o dejo de cantar por falta de tiempo, entonces no realizar mis
sueos. He aceptado el trabajo y he dejado de cantar. Por lo tanto, no realizar mis
sueos.
35. Formalizar el siguiente argumento:
Si vamos a Per, entonces llegaremos hasta el Cusco. Si vamos a Per entonces, si
llegamos hasta el Cusco visitaremos Machu Picchu. Si vamos a Per entonces, si
visitamos Machu Picchu podremos ver el Ro Urubamba. Por lo tanto, si vamos a Per
veremos el Ro Urubamba.
36. Formalizar el siguiente enunciado:
El hombre lobo es un invento, y si lo mismo ocurre con Pap Noel, entonces los nios
son engaados.
37. Formalizar el enunciado:
Beln no ir a la fiesta a menos que vaya Silvia, y si Silvia va a la fiesta, ni Marisol ni
Alexis irn.
38. Formalizar el siguiente enunciado:
Dejar de beber cuando suba el precio del pisco, pero voy dejar de fumar, tanto si
sube el precio del tabaco como si no.

Introduccin a la lgica Matemtica Alberto Gutirrez Borda - Dpto. de Matemticas

5
39. Formalizar el enunciado:
Si no es cierto que se puede ser rico y dichoso a la vez, entonces la vida est llena de
frustraciones y no es un camino de rosas. Si se es feliz, no se puede tener de todo. Por
consiguiente, la vida est llena de frustraciones.
40. Formalizar el enunciado y elabora su tabla de verdad:
Aprobar Matemtica, si Dios quiere. Aprobar Matemtica si y slo si estudio y
resuelvo los problemas. Sin embargo. No he resuelto los problemas, as que Dios no
quiere que apruebe Matemtica.
41. Sean las proposiciones donde , tales que es falsa para todo
. Se tiene,
es verdadera.
( ) ( ) ( )
es falso para par y es verdadera para impar.
Hallar el valor de verdad de ,( ) ( )- , ( ) ( )-
42. Determinar si: es una consecuencia lgica de .
43. Determinar si el siguiente razonamiento es o no vlido
Si Mara est horneando un pastel, entonces no est estudiando lgica. Si Mara no
est estudiando lgica entonces su padre no pagar sus estudios. Mara est
horneando un pastel. Por tanto: su padre no pagar sus estudios.
44. Verificar si los siguientes razonamientos son o no vlidos:

a) d)

b) e)

c) f) ( )
( )

*Doctor en Educacin Matemtica

Docente principal
Departamento de Matemticas
Facultad de Ciencias, UNICA.
BLOG:
http://sabermatematica.blogdiario.com

Introduccin a la lgica Matemtica Alberto Gutirrez Borda - Dpto. de Matemticas

6