MATEMÁTICAS DISCRETAS

Unidad 3. Lógica Matemática

La Lógica estudia métodos de razonamiento, métodos que separan los razonamientos válidos de los
no válidos.

Objetivos:
• Entender el concepto de proposición y la forma en que se puede elaborar proposiciones
compuestas usando los conectores lógicos.
• Evaluar proposiciones lógicas por medio de tablas de verdad.
• Demostrar por medio de las proposiciones cuando son una tautología, falacia, contingencia,
equivalencia lógica
• Utilizar las Proposiciones para Demostrar la conclusión resolviendo por reglas de inferencia.

Instrucciones: Determine si cada oración en los ejercicios 1 a 10 es una proposición.

1. El hielo flota en el agua

2. China está en Europa
3. Haz tu tarea
4. 2+5=19

5. -3<-2
6. ¡Qué bonito día!
7. París es la capital de Inglaterra
8. ¿Estudias o trabajas?
9. El 6 es un cuadrado perfecto

10. 15 es un número par

Instrucciones: Señalar cada proposición simple con una S y cada proposición

compuesta con una C. Escribir junto a cada proposición compuesta el término de
enlace utilizado

1. El gran oso negro andaba perezosamente por el camino de abajo.

2. La música es muy suave o la puerta está cerrada
3. Él pregunta por su pipa y pregunta por su escudilla.
4. Luis es un buen jugador si y solo si participará en el partido del colegio.
5. Los gatitos no acostumbran a llevar mitones.
6. Si los gatitos llevan mitones, entonces los gatos pueden llevar sombreros.

Instrucciones: Escribe las proposiciones simples y representa simbólicamente cada

una de las proposiciones

1. Si la luna está brillando y no está nevando, entonces Felipe sale a dar un paseo.
2. Si la luna está brillando, entonces si no está nevando, entonces Felipe sale a dar
paseo.
3. No ocurre que Felipe salga a dar un paseo si y sólo si está nevando o la luna está
brillando.
4. Si está nevando y la luna no está brillando, entonces Felipe no saldrá a dar un paseo.

Elaboró: MSC. Aline Pérez Martínez

 MATEMÁTICAS DISCRETAS

Unidad 3. Lógica Matemática

Instrucciones: Elabora la tabla de verdad para cada una de las siguientes
proposiciones compuestas-
1. p∧¬q
2. (p → ¬q ∨ r) (p ∧ q ∨ ¬r)

Instrucciones: Elabora la tabla de verdad para cada una de las proposiciones

compuestas e indique si es una tautología, falacia o contradicción.

1. (¬p ∨ ¬q) →q
∧ ¬q

2. (p→q) ∧ (q→r)

3. (s→(p ∧¬r)) ∧ ((p→(r ∨ q)) ∧ s)
4. (p∧q) →¬p
5. (p→q) ∧ (q→r) → (p→r)

Instrucciones: Demuestre que las proposiciones son lógicamente equivalentes

1. P= (p→q) Ù (p→r), Q=p→(qÙ r)

2. P=p→q, Q=¬pÚq

3. [(p v r) → (q Ù p v ¬r)] ≡ [¬(q Ù p v ¬r) →¬(p v r)]

Elaboró: MSC. Aline Pérez Martínez