Lgica

Trabajo Prctico n 1

Trabajo Prctico n 1
Tema: lgica
Ejercicios para resolver de forma individual
1. Cules de estas frases son proposiciones? Cul es el valor de verdad de aquellas que son
proposiciones? Cmo escribiras la negacin de las proposiciones?
a) Nueva Delhi es la capital de la India.
b) Qu tan hermosa es Ana?
c) Dos ms dos son cinco.
d) l es un estudiante universitario.
e) Juan estudia en la UNJu. l es un estudiante universitario.
f) Qu hora es?
g) + > 0
h) Tome una pastilla con el almuerzo.
i) Hoy no falt a la clase de Algebra.
2. Sean y los enunciados : Hay sol, : Hace calor y : Es verano, respectivamente. Expresar
cada una de las siguientes frmulas en lenguaje coloquial.
a)
e)
b)
f)
g) ()
c)
h) ( )
d)
j) ( )
i)
3. Reescriba los enunciados siguientes como expresiones simblicas, haciendo las interpretaciones para
, y del punto anterior.
a) Hace calor si hay sol.
b) Es verano si, hace calor y hay sol.
c) Si no es verano entonces no hay sol o no hace calor.
4. Escribe cada uno de los siguientes enunciados de la forma si , entonces
a) Siempre que el viento sopla desde el sur, nieva.
b) El manzano florecer siempre que el tiempo se mantenga clido.
c) Que Gimnasia y Esgrima de Jujuy gane el campeonato implica que venci a Boca.
d) Es necesario dejar el auto y caminar 12 km cuesta arriba (ambas) para llegar a la cima.
e) Tu garanta es vlida solo si compraste el reproductor de CD hace menos de 90 das.
5. Construye la tabla de verdad para las siguientes expresiones e indica si alguna de las expresiones son
una tautologa, una contradiccin o una contingencia:
a) ( ) ( )
b) ( ) (( ) ( ))
c) ( ) ( )
e) ( ) ( )

d) ( )
f) (( ( )) (( ) ( ))

g) ( ( )) (( ) ( ))

h) (( ) )

6. En una proposicin compuesta intervienen 5 variables. A) Determina el nmero de filas que se

necesitarn para construir la tabla de verdad. B) Indica cmo realizaste el clculo. C) Luego, indica las
distintas combinaciones de valores de verdad que pueden tomar las variables armando las cuatro

Algebra I San Pedro (APU 2008) UNJU

Pgina |1

Lgica

Trabajo Prctico n 1

primeras columnas de la tabla de verdad. D) Escribe el algoritmo que puede utilizarse para construir
las tablas de verdad sin olvidar ninguna de las combinaciones de valores de verdad posibles para las
variables que intervienen en una proposicin con 5 variables.
7. Enuncia la recproca, la contrarrecproca y la inversa de cada una de las siguientes implicaciones.
a) Si nieva hoy, esquiar maana.
b) Si esquo maana, maana a la noche estar cansado.
c) Me quedo en casa siempre que estoy cansado.
d) Un entero positivo es primo si, y solo si, tiene como divisores a 1 y a s mismo nicamente.
e) Cuando me acuesto tarde es necesario que duerma hasta medio da.
f) Que haga fro es suficiente para que me quede en casa.
8. Dadas las siguientes expresiones lgicas:
i.
Demostrar empleando tabla de verdad, que es una tautologa
ii.
Demostrar, sin emplear tabla de verdad, que es una tautologa
a) ( )
b) [( ) ( ) ( )]
9. Demostrar las siguientes equivalencias lgicas si usar tabla de verdad:
a) ( ) ( ( ))
b) ( ) ( )
c) ( ) ( ) ( ) ( ) ( )
10. Demuestre las equivalencias siguientes comprobando las equivalencias de los duales sin usar:
a) (( ) ( ) ( )
b) ( ) ( ) ( )
c) ( ( ))
11. Sea () la sentencia asiste a todas las clases de Algebra I, donde el dominio de consiste en
todos los estudiantes de la Carrera Analista Programador Universitario. Expresar las siguientes
cuantificaciones en lenguaje natural:
a) ()
d) ()
b) ()
e) ()
c) ()
f) ()
1

12. Sea () la sentencia > .

1

a. Escribe (2), (2), (1), ( 2) y (8). Indica cules de estos enunciados son verdaderos
y cules son falsos.
b. Busca el conjunto de verdad de () si el dominio de es , el conjunto de los nmeros reales.
c. Si el dominio es el conjunto + , el conjunto de todos los nmeros reales positivos, Cul es el
conjunto de verdad de ()?
13. Sea (, ) el predicado si < entonces 2 < 2
a. Escriba (2, 1) y (2, 1) e indique el valor de verdad de esos enunciados.
b. D valores distintos de los que se ven en el punto anterior (por lo menos dos), para los que el
enunciado es verdadero.
c. D valores distintos de los que se ven en el primer punto (por lo menos dos) , para los que el
enunciado es falso.
d. Si es posible, encuentre el conjunto de verdad de (, ).
14. Escriba las siguientes expresiones utilizando predicados y cuantificadores. Luego escriba las
negaciones de cada enunciado en lenguaje formal.
a. Si un nmero real es mayor que 2, entonces su cuadrado es mayor que 4.

Algebra I San Pedro (APU 2008) UNJU

Pgina |2

Lgica

Trabajo Prctico n 1

b. Hay un estudiante en la clase de Algebra que no practica futbol.

c. Todos los estudiantes de Algebra practican futbol.
d. Un estudiante en esta clase sabe escribir programas en JAVA.
e. Todo aquel que sepa cmo escribir programas en JAVA puede conseguir un trabajo bien pagado.
f. Alguien en esta clase puede conseguir un trabajo bien pagado.
15. Qu reglas de inferencia se usan en los siguientes argumentos? Indica la regla.
a. Alicia estudia matemticas. Por tanto, Alicia estudia matemtica o ingeniera.
b. Luis estudia matemtica e ingeniera. Por tanto, Luis estudia matemtica.
c. Si llueve, se cierra la pileta de natacin. Llueve, por tanto est cerrada.
d. Si nieva hoy, se cerrar la facultad. La facultad no est cerrada hoy. Por tanto no nieva hoy.
e. Si voy a nadar, entonces estar al sol demasiado tiempo. Si estoy al sol demasiado tiempo, me
quemar. Por tanto, si voy a nadar me quemar.
f. Los canguros viven en Australia y son marsupiales. Por lo tanto los canguros son marsupiales.
g. Estamos a ms de 40C hoy o la polucin es peligrosa. Estamos a menos de 40C hoy. Por lo
tanto la polucin es peligroso.
h. Mara es una excelente nadadora. Si Mara es una excelente nadadora, entonces puede
trabajar como salvavidas. Por lo tanto Mara puede trabajar como salvavidas.
i. Si trabajo toda la noche, podr resolver todos los problemas. Si puedo resolver todos los
problemas entonce3s entender la asignatura. Por lo tanto si trabajo toda la noche, entonces
entender la asignatura.
16. Construir un argumento usando reglas de inferencia para mostrar la hiptesis:
a. Manuel trabaja duro, Si Manuel trabaja duro, ser un chico rico, Si Manuel es un chico
rico, no conseguir el trabajo, implican la conclusin Manuel no conseguir trabajo.
b. Si no llueve o si no hace niebla, entonces se celebrar la competicin de barcos y se har una
demostracin de los salvavidas, No se celebrar la competicin de barcos ni se hizo la
demostracin, implican la conclusin llovi.
c. Si el equipo estaba apagado el sbado por la tarde, entonces Mara fue al zoolgico. O Mara
fue al zoolgico o tom una siesta el sbado por la tarde. Mara no tom una siesta el sbado
por la tarde. Por lo tanto, el equipo estaba apagado el sbado por la tarde.
d. ; ; ; ( ), por lo tanto, .
e. ; ( ) ; ( ); ( ) ( ). Conclusin: .
17. Intente demostrar por los tres mtodos (directo, indirecto y reduccin al absurdo), si es posible, cada
una de las siguientes afirmaciones:
a. El producto de dos nmeros naturales impares es impar.
b. Si , y , son pares, entonces + es par.
c. Si es un entero positivo; 2 + 3 + 2 es par.
d. La suma de un entero par y un entero impar es otro entero impar.
e. Si n , entonces n es impar si y solo si, 7n + 4 es impar.
f. El cubo de un entero impar es otro nmero impar.

Algebra I San Pedro (APU 2008) UNJU

Pgina |3