Instituto Superior del Profesorado Joaqun V. Gonzlez.

Profesorado de Matemtica lgebra I Turno Maana Ao 2012 Trabajo Prctico N 1 - Unidad N 1 Lgica Matemtica
Ejercicio 1: Analizar si las siguientes expresiones son proposiciones o no. Justifique su respuesta a. Fue l el asesino? b. Pablo fue al cine con Marta y con Mara. c. Por favor, atienda el telfono si suena ms de dos veces. d. El agua hierve a los 90 centgrados. e. No se sabe quin mat a Kennedy. f. El 8 es un nmero par enotnces no es un nmero primo. g. Mir lo que trajo de las vacaciones. h. Pods decirle que se calle! i. Cmo te llams? j. La luna no est hecha de queso verde. k. No entiendo como hizo para llegar a ese puesto. Ejercicio 2: Siendo p: Brasil est ubicado al sur de Chile. q: Las Malvinas son argentinas r: Espaa y Rusia son pases limtrofes. Expresar simblicamente las siguientes proposiciones y dar el valor de verdad de cada una. a) Si Brasil est ubicado al sur de Chile, entonces las Malvinas son argentinas. b) Espaa y Rusia son pases limtrofes si y slo si Brasil est ubicado al sur de Chile. c) Si las Malvinas son argentinas, entonces Espaa y Rusia son pases limtrofes y Brasil est ubicado al sur de Chile. d) Espaa y Rusia son pases limtrofes o Brasil est ubicado al sur de Chile. e) Las Malvinas son argentinas pero Brasil no est ubicado al sur de Chile. Ejercicio 3: Siendo p: los precios son bajos y q: los precios no suben, escribir en lenguaje coloquial las expresiones simblicas siguientes: a) ~ q b) p ^ q c) p^ ~ q d) ~ p^~ q e) ~ (p v ~ q)
Profesoras: Loiacono - Tajeyan 1

Instituto Superior del Profesorado Joaqun V. Gonzlez. Profesorado de Matemtica lgebra I Turno Maana Ao 2012
Ejercicio 4: Hallar las tablas de verdad de las siguientes proposiciones y clasificarlas a) ( p q ) p b) ( p q ) r c) ( p q ) ( p q ) d) p ( p q ) q e) ~ [( p q ) p] f) p (q r ) ( p q ) ( p r ) g) p q q p h) p p p i) ~ ( p q ) ~ p ~ q j) ~ ( p q ) q p Ejercicio 5: Se define como la conjuncin negativa, es decir, p q se lee ni p ni q. a) Construir la tabla de verdad de p q. b) Pruebe que: i) ~ p p p ii) p v q (p q) (p q) q) ~ (p q) (p q) iii) (p

Ejercicio 6: Dadas las proposiciones p q y p q determine por tabla de verdad que se puede decir de las proposiciones compuestas si se sabe que V(q)=V Ejercicio 7: Si V(p)=F, qu se puede decir de las siguientes proposiciones? a) p p b) p p c) p ( p ( p ) ) d) ( p p ) ( p p ) Ejercicio 8: Si p q es falsa, qu valor de verdad tienen cada una de las siguientes proposiciones?
a) p q b) ( p q ) r c) p q

Profesoras: Loiacono - Tajeyan

Instituto Superior del Profesorado Joaqun V. Gonzlez. Profesorado de Matemtica lgebra I Turno Maana Ao 2012
Ejercicio 9: Justificar si la informacin sobre los valores de verdad de algunas proposiciones que se dan en cada caso es suficiente o no para determinar el valor de verdad de la proposicin compuesta indicada
a) ( p q ) ( p r ) b) [( p p ) q ] c) ( p q ) ( p r ) con v ( p ) = V y v(q ) = F con v (q ) = F con v ( q ) = F

Ejercicio 10: Si v(q)=V qu valores de verdad deben tener las proposiciones p, r y s para que la siguiente proposicin resulte verdadera : (q [(( p r ) s ) ( s ( r q ))]) Ejercicio 11: Aplicar el mtodo de invalidez, y en caso de ser vlidos, demustralos utilizando el mtodo deductivo a) b) c)
d) e)

p ~q

pq

p~q

pq

(~ p q ) r
~ (q r )

~qr p ~r p

( p q) r
rs s

rq r ~p

~r~q ~r~q

f)

( p ~ q ) (r q )
p ~q ~r

g)

p ~ q

h)

~ (~ p q )

i)

( p q ) ~ (r s )
~ ( p q) ~s

j)

~ pq ~rt

~ q ~ r

qr
~r

r ~ p

q ~ t ~ pr

k)

p ~ q

l)

~ ( p ~ q ) r p

m)

( p q ) (r s )
~ r ~ q ~r ~p

~ q ~ r

r ~ p

q ~ r

Profesoras: Loiacono - Tajeyan

Instituto Superior del Profesorado Joaqun V. Gonzlez. Profesorado de Matemtica lgebra I Turno Maana Ao 2012
Ejercicio 12: Traducir los siguientes razonamientos al lenguaje de la lgica proposicional y analice su validez a travs de la prueba de invalidez. En caso de ser vlido, demustrelo tambin utilizando el mtodo deductivo a. Si sigues corriendo tanto, te caes o te cansas. Si te caes, maana no irs al campeonato. Seguro que no vas a dejar de correr tanto. As que seguro que maana no irs al campeonato. b. Si voy a tu casa, cenaremos muy tarde. Si no voy, me perder el partido de ftbol de esta noche. Es seguro que o voy a tu casa o no voy. Por lo tanto, es seguro que o cenaremos muy tarde o me perder el partido de ftbol de esta noche. c. Pepe es contable o Pepe es actor, pero no ambas cosas a la vez. Si no es contable, no llevar bien las cuentas de su casa. Es seguro que Pepe es actor. En consecuencia, Pepe no llevar bien las cuentas de su casa. d. Si no apruebo la previa no obtengo el ttulo de Bachillerato. Si apruebo la previa entonces es que tengo los conocimientos suficientes de 1. y 2. de Bachillerato. Si tengo los conocimientos suficientes de 1. y 2. de Bachillerato, entonces o me explican en clase el programa o aprendo lo que no me explican. No me explican en clase el temario. No aprendo lo que no me explican. Luego no obtengo el ttulo de Bachillerato e. La Tierra gira alrededor del Sol o el Sol alrededor de la Tierra. Si la Tierra gira alrededor del Sol deberamos apreciar una variacin en el brillo de las estrellas a lo largo del ao o en su posicin con respecto a un observador terrestre. No se aprecia variacin en el brillo de las estrellas a lo largo del ao. Tampoco se aprecia una variacin en su posicin con respecto a un observador terrestre. Luego el Sol gira alrededor de la Tierra. f. Si me dices que nunca has hecho mal mientes y, si mientes, eres malo. Si me dices que has hecho mal, eres malo y, si eres malo, no eres totalmente tico por haber sido malo. Digas lo que digas, no eres totalmente tico. g. Todo nmero entero o es primo o es compuesto. Si es compuesto, es un producto de factores primos, y si es un producto de factores primos, entonces es divisible por ellos. Pero si un nmero entero es primo, no es compuesto, aunque es divisible por s mismo y por la unidad, y consiguientemente, tambin divisible por nmeros primos. Por tanto, todo nmero entero es divisible por nmeros primos. h. Si acepto este trabajo o dejo de pintar por falta de tiempo, entonces no realizar mis sueos. He aceptado el trabajo y he dejado de pintar. Por lo tanto, no realizar mis sueos. Ejercicio 13: Dibujar el circuito ms simple que pueda asociarse a cada una de las siguientes proposiciones. a) (~ p ~ q ) (~ p q ) ( p ~ q ) b) (p q ) ( p ~ q ) (~ p ~ q )
Profesoras: Loiacono - Tajeyan 4

Instituto Superior del Profesorado Joaqun V. Gonzlez. Profesorado de Matemtica lgebra I Turno Maana Ao 2012
Ejercicio 14: Indicar la proposicin ms simple que puede asociarse a cada uno de los siguientes circuitos y graficar el nuevo circuito. a)
p q

~q

~q

b)

~p

~r p ~p

c)
a b a c b b c a

Ejercicio 15: Indicar cules de los siguientes enunciados son funciones proposicionales e indique su dominio y su conjunto de verdad a. X-8=3 b. X es un mes del ao 2 c. x 8 d. La madre de x e. X en un nmero entero positivo mltiplo de 2 Ejercicio 16: Expresar en smbolos lgicos y despus negar las siguientes oraciones: a) Todo mltiplo de 4 es nmero primo. b) Si 2 es par entonces todos los nmeros son pares. c) Todo nmero mayor que 2 es la suma de dos nmeros primos.

Profesoras: Loiacono - Tajeyan

Instituto Superior del Profesorado Joaqun V. Gonzlez. Profesorado de Matemtica lgebra I Turno Maana Ao 2012
Ejercicio 17: Dado A={1,2,3,4,5} hallar el valor de verdad de los siguientes enunciados. a) x A / x + 3 = 10 b) x A : x + 3 < 10 c) x A / x + 3 < 5 d) x A : x + 3 7 Ejercicio 18: Sea A={1,2,3,4,5,6,7,8,9,10}. Considerando las siguientes expresiones, indicar cules son proposiciones y cules funciones proporcionales. De las que son proposiciones indicar el valor de verdad. a) x A y A / x + y < 14 b) y A : x + y < 14 c) x A y A : x + y < 14 d) y A / x + y < 14 Ejercicio 19: Hallar el valor de verdad de las siguientes proposiciones categricas a. x : (x Z x es par ) b. x : (x x es divisible por 2) c. x, y : ( x + y = 8 en )

1 x, y : x ; y ; x + y = 8 5 d. e. x, y : (x + y = y en ) 1 x, y : x ; y ; x + y = 8 5 f.

Ejercicio 20: Analizar el valor de verdad de las siguientes proposiciones categricas a. x, y : (x Q; y Z ; x + y = 1) b. x, y : (x Z ; y N ; x + y = 1) c. x : x : [y : y R(x + y = 1)]

Ejercicio 21: Negar las siguientes proposiciones. a) x : x > 0 b) y / 5 + y = 12 c) x y / z / x < z < y 2 2 d) xy : (x y ) = (x + y )(x y ) e) x : [P( x ) (Q( x ))] f) x : [P(x ) Q( x)] g) x : [P(x ) (Q(x ))] h) x : [P(x ) (Q( x ))]

Profesoras: Loiacono - Tajeyan

Instituto Superior del Profesorado Joaqun V. Gonzlez. Profesorado de Matemtica lgebra I Turno Maana Ao 2012
Ejercicio 22: Indicar cules de los siguientes enunciados corresponden a verdades matemticas en el conjunto de los nmeros naturales. (Considere al 0 como nmero natural)
a. x, y : (x + y = y + x ) b. x, y : ( x + y = 0) c. x, y : ( y > x ) (x, y : ( y < x ))

Ejercicio 23: Simbolizar los siguientes enunciados en lgica de predicados de primer orden, primeramente sin usar cuantificadores existenciales y luego sin usar cuantificadores universales a. No todos los animales tienen cuatro patas b. Algunos pjaros son hermosos o coloridos c. Ningn ratn es ms pesado que un elefante d. Todo nmero entero es negativo o posee raz cuadrada Ejercicio 24: Expresar cada uno de los siguientes razonamientos como proposiciones categricas y determine su validez. Si son invlidos, modificar su conclusin para hacerlos vlidos a. Ningn cientfico es un gran artista. Algn gran artista es tambin buen deportista. Entonces, algn buen deportista no es un gran cientfico b. Toda recta es infinita. Algunas lneas son rectas. Luego, algunas lneas son infinitas c. Ningn atleta es una rata de biblioteca. Carlos es una rata de biblioteca. Entonces, Carlos no es un atleta d. Todos los montaeses son afables. Ninguna persona afable es accesible. Algn proscripto es montaes. Por lo tanto, algn proscripto es accesible. e. Ningn jugador es feliz. Algunos idealistas son felices. Algunos jugadores son forzudos. Por lo tanto, ningn idealista es forzudo. f. Todos los burlones son pcaros. Ningn pcaro dice la verdad. Nadie que dice la verdad es feliz. Por lo tanto, ningn burln es feliz.

Profesoras: Loiacono - Tajeyan