Unidad 1

LÓGICA MATEMÁTICA

Tarea Virtual 1
 Nombre: Cindy Anahy Palacios Huacón
Curso: DSD-11 ITB DES. SOFTWARE
Tarea virtual 1

Tema: Lógica matemática

Objetivo: Resolver ejercicios con formas proposicionales y operadores lógicos.

Actividades para el logro del objetivo

Resuelva los siguientes ejercicios.

1. Identifique cuáles de las siguientes afirmaciones son proposiciones, indicando

verdadero (v) o falso (f).

Proposiciones V/F
4 es menor que ocho V
Carlos es alto V
México es un país de América V
6 es mayor que 10 V
María es inteligente V
El sábado no hay clases V
5 más 11 es 16 V
El uno es el primer número natural V
¿Cómo te llamas? F
¿Qué hora es? F
UPIICSA F
El árbol F
¡Levanta esa pluma! F

2. Escriba en forma simbólica los siguientes enunciados:

a) Si las exportaciones disminuyen entonces bajarán las utilidades

Proposiciones:
Las exportaciones disminuyen: p
Bajarán las utilidades: q
Operador Lógico:  Condicional
Simbología: p  q

b) Los precios son altos si y sólo sí los costos aumentan

Proposiciones:
Los precios son altos: p
Los costos aumentan: q
Operador Lógico:  Bicondicional
Simbología: p  q

C
Semipresencial ITB 2
Recurso de aprendizaje
 c) Si la producción aumenta entonces bajarán los precios
Proposiciones:
La producción aumenta: p
Bajarán los precios: q
Operador Lógico:  Condicional
Simbología: p  q

d) Si aumenta la demanda esto implica que aumenta la oferta y viceversa

Proposiciones:
Aumenta la demanda: p
Aumenta la oferta y viceversa: q
Operador Lógico:  Condicional
Simbología: p  q

e) Si la contaminación aumenta entonces existirá restricción vehicular adicional

Proposiciones:
La contaminación aumenta: p
Existirá restricción vehicular adicional: q
Operador Lógico:  Condicional
Simbología: p  q

3. Si p y r son proposiciones verdaderas y q es falsa, determine el valor de verdad de:

p = 1, r = 1, q = 0

a) [(p ^ ∼ q) v ∼ r] ⇒ q
[1 ^ 1] v 0] 0
(1 v 0)  0
1 0
0

b) [(∼ r v q) ^ (r v ∼ p)] ⇔ ∼ r
[(0 v 0) ∧ (1 v 0)]  0
(0^1)  0
0 0
1

c) [(∼ p ⇒ q) ⇒ ∼ r] v [∼ q ⇒r]
[(00) 0] v [1  1 ]
(1  0) v 1
0v1
1

C
Semipresencial ITB 3
Recurso de aprendizaje
 4. ¿Qué condiciones debe satisfacer p y q para que la siguiente proposición sea:

a) [(q ⇔ p) ^ ∼ q] ⇒ (p ^ ∼ q) Falsa

Si cumple
p q q (q  p) [(q  p) ^  q] (p ^q) [(q  p) ^  q]  (p ^q)
1 1 0 1 0 0 1
1 0 1 0 0 1 1
0 1 0 0 0 0 1
0 0 1 1 1 0 0

b) [(∼ p ⇒ q) ⇒∼ r] v [∼ q ⇒ r] Falsa

No cumple
p q r p q r (p q) [(p q)  r] (qr) [(p q)  r] v (qr)
1 1 1 0 0 0 1 0 1 1
1 1 0 0 0 1 1 1 1 1
1 0 1 0 1 0 1 0 1 1
1 0 0 0 1 1 1 1 0 1
0 1 1 1 0 0 1 0 1 1
0 1 0 1 0 1 1 1 1 1
0 0 1 1 1 0 0 1 1 1
0 0 0 1 1 1 0 1 0 1

c) {~p ^ (p v q)} ^ [p ⇔ q] Verdadera

No cumple
p q p (p v q) (pq) [p^(p v q)] {p^(p v q)} ^(pq)
1 1 0 1 1 0 0
1 0 0 1 0 0 0
0 1 1 1 0 1 0
0 0 1 0 1 0 0

5. Sean p, q, r, tres proposiciones tales que r es falsa, p ⇔ ∼ q y q ⇒ r son verdaderas,deducir

el valor de verdad de p.

p q r q (p  q) (qr)
1 1 1 0 0 1
1 1 0 0 0 0
1 0 1 1 1 1
1 0 0 1 1 1 Respuesta
0 1 1 0 1 1
0 1 0 0 1 0
0 0 1 1 0 1
0 0 0 1 0 1

C
Semipresencial ITB 4
Recurso de aprendizaje