logica

UNIVERSIDAD DE CONCEPCION
UNIDAD ACADEMICA LOS ANGELES
DEPTO.CIENCIAS BASICAS

EJERCICIOS DE LOGICA

Sean p : El es rico y q : El es feliz

1. Expresar por enunciados verbales lassiguientes proposiciones:
a) p v q c) q  p e) q   p g) ( p  q )  p
b) p  q d) p v  q f)  p  q

2. Escribir en forma simbólica los siguientes enunciados:a) El no es rico ni feliz
b) Ser pobre es ser infeliz
c) Uno nunca es feliz si es rico
d) El es pobre pero es feliz
e) El no puede ser rico y feliz
f) Si él es infeliz espobre
g) Si él no es pobre y feliz, entonces es rico
h) Ser rico es lo mismo que ser feliz
i) El es pobre o bien es rico e infeliz
j) Si él no es pobre, entonces es feliz

3.Determinar el valor de verdad de los siguientes enunciados:
a) Si 5 < 3, entonces - 3 < - 5
b) Es verdad que 2 + 2  4 y 3 + 3 = 6
c) Si 3 < 5, entonces - 3 < - 5
d) No esverdad que si 2 + 2 = 4 entonces 3 + 3 = 5 o 1 + 1 = 2
e) Si 2 + 2 = 4, entonces no es verdad que 2 + 2 = 3 v 5 + 5 = 10
f) Si 2 + 2  4, entonces no es verdad que 3 + 3 = 7 Ssi 1 + 1= 2

4. Escríbase la negación de cada uno de los enunciados siguientes de manera más posible.
a) El es alto pero galán
b) El no es rico ni feliz
c) Se caen los precios de las acciones,aumenta el desempeño
d) Ni Marcos ni Enrique son ricos
e) El tiene cabello rubio u ojos azules
f) El tiene cabello rubio si y solamente si tienen ojos azules
g) Ambos, Marcos y Enriqueson inteligentes
h) Si Marcos es rico, entonces, tanto Enrique como Aura son felices
i) Marcos o Enrique es inteligente y Aura es bonita

5. Hacer la tabla de verdad de cada una de lasproposiciones siguientes:
a)  p   q c) p  (  p  q )
b)  ( p  q) d) (p   q)  ( p  q)

6. Determinar el valor de verdad de los siguientes enunciados (Aquí el conjunto...