22 LÓGICA MATEMÁTICA Y CONJUNTOS

SECCIÓN 2.3

EJERCICIOS - LÓGICA MATEMÁTICA

I. Identifique cuáles de las oraciones son proposiciones

1. Es divertido este curso?

2. Si gano las elecciones, entonces bajaré los impuestos.
3. Todo hombre es honesto.
4. Qué podrı́a salir en el primer parcial de Cálculo Diferencial?
5. No deberı́a utilizar más el facebook.
6. Si el semáforo está en rojo los transeútes pueden pasar.
7. Será posible que el Real Madrid gane este año la UEFA Champion League?
8. Si ahorro me podré comprar una casa en seis años.
9. Acérquese por favor.
10. El 2 es un número primo.

II. Construya en orden lógico las siguientes proposiciones

1. Si como mucho, entonces engordo.

2. Si llueve, no voy.
3. Aprobaré este semestre, sı́ y sólo sı́, hago los deberes.
4. Yo como y no almuerzo.
5. Si gano las elecciones, entonces bajaré los impuestos
6. Si apruebo el examen entonces paso el corte.
7. Si no está nevando y tengo tiempo, entonces iré a la ciudad.
8. Si ahorro me podré comprar una casa en seis años.
9. Iré a la ciudad, sı́ y sólo s,́ tengo tiempo y no está nevando.
10. Ceno y almuerzo o desayuno y almuerzo.

III. Construya la tabla de verdad para cada proposición.

1. p ^ p , p _ p
2. p _ p , p ^ p
3. p ) q ^ p ) q
4. [(p ) q) ) p] ) q
5. Ley Dual de De Morgan: ⇠ (p ^ q) , (⇠ p) _ (⇠ q)
6. Ley Dual de De Morgan: ⇠ (p _ q) , (⇠ p) ^ (⇠ q)
7. Ley distributiva: p ^ (q _ r) , (p ^ q) _ (p ^ r)
8. Ley distributiva: p _ (q ^ r) , (p _ q) ^ (p _ r)
LÓGICA MATEMÁTICA Y CONJUNTOS 23

9. Sabiendo que p = 1 encuentre q ^ s ) p _ r

10. Sabiendo que p = 1 encuentre ⇠ (p _ q) ^ (p ) r)

IV. Las proposiciones que son Contradicciones y las Tautologıás (leyes lógicas) son muy importante
para los razonamientos y la programación. Un enunciado es una Tautologı́a si es verdadero para
todos los valores de verdad que se asignen, es decir, es verdadero independiente de los valores
de la entrada. Mientras que, la proposición se llama contradicción si siempre la salida es falsa
sin importar los valores de entrada. Establecer si las siguientes proposiciones son tautologı́as o
contradicciones.

1. p ) q ^ q ) p
2. [p _ (⇠ q)] ) q
3. (p ^ q) ) p
4. Sabiendo que p = 0 encuentre ⇠ (p _ q) ^ (p ) r)
5. (p ) q) ^ p ^ (⇠ q)
6. p ) (p _ q)
7. [p ^ (q ^ r)] ) [(p ^ q) _ (p ^ r)]
8. Sabiendo que p = 1 encuentre ⇠ (p _ q) ^ (p ) r)
9. p _ (⇠ p) ^ q _ (⇠ q)
10. [(p ^ q) , p] , (p , q)
11. Sabiendo que p = 0 determine [p _ (⇠ q)] ) q
12. ⇠ p ) (p _ (⇠ q))
13. (p ^ q) , (p ) q)
14. p ^ (q _ r) ) (p ^ q) _ (p ^ r)
15. p ^ (q ^ r) ) (p _ q) _ (p _ r)