UNIVERSIDAD DISTRITAL FRANCISCO JOSÉ DE CALDAS

FACULTAD CIENCIAS Y EDUCACIÓN

LICENCIATURA EN CIENCIAS SOCIALES

ESPACIO DE FORMACIÓN:
Pensamiento lógico – matemático.
TALLER 1: Lógica

FABIAN MURCIA. 20151155501

TRABAJO

1. De las siguientes frases, seleccione aquellas que sean proposiciones e indique su valor de verdad:

a) Bogotá es la capital de Colombia. Verdadero

b) 2 + 3 = 5. Verdadero
c) Luis está de viaje todos los fines de semana
d) Por favor responda la siguiente pregunta
e) La ciudad 𝑥 es famosa por su coliseo
f) ¿Qué hora es?
g) No hay ratones en New York Falso
h) El verano en el polo Norte es Cálido. Falso

2. Para las proposiciones

𝑝: Ayer compré un billete de lotería

𝑞: Hoy gané doscientos millones de pesos

Exprese cada una de las siguientes fórmulas en lenguaje cotidiano:}

a) ¬𝑝 b) 𝑝 ∨𝑞 c) 𝑝 →𝑞

d) 𝑝 ∧𝑞 e) 𝑝 ⟷𝑞 f) ¬𝑝 → ¬𝑞

g) ¬𝑝 ∧ ¬𝑞 h) ¬𝑝 ∨ (𝑝 ∧ 𝑞) i) 𝑝 ↔𝑞

a) Ayer no compré un billete de lotería

b) Ayer compré un billete de lotería o hoy gané doscientos millones de pesos
c) Ayer compré un billete de lotería entonces hoy gané doscientos millones de pesos
d) Ayer compré un billete de lotería y hoy gané doscientos millones de pesos
e) Ayer compré un billete de lotería si y solo si hoy gané doscientos millones de pesos
f) Ayer no compré un billete de lotería entonces hoy no gané doscientos millones de pesos
g) Ayer no compré un billete de lotería y hoy no gane doscientos millones de pesos
h) Ayer no compré un billete de lotería o ayer no compré un billete de lotería y hoy gané doscientos millones de pesos
i) Ayer compré un billete de lotería si y solo si hoy gane doscientos millones de pesos

3. Si en el punto anterior se asume que los valores de verdad para 𝑝 y 𝑞 son verdaderos, determine el valor de verdad de
cada una de las fórmulas de la tabla.

a) ¬𝑝: Falso
b) 𝑝 ∨ 𝑞 Verdadero
c) 𝑝 → 𝑞 Verdadero
d) Verdadero
e) Verdadero
f) Verdadero
g) Falso
h) Verdadero
Margarita María Torrijos Cobos
Página 1
Licenciada en matemáticas y física
 UNIVERSIDAD DISTRITAL FRANCISCO JOSÉ DE CALDAS

FACULTAD CIENCIAS Y EDUCACIÓN

LICENCIATURA EN CIENCIAS SOCIALES

ESPACIO DE FORMACIÓN:
Pensamiento lógico – matemático.
TALLER 1: Lógica
i) Verdadero

4. Sean las proposiciones

𝑝: Estamos bajo cero

𝑞: Nieva

Escriba usando conectivos lógicos las siguientes expresiones:

a) Estamos bajo cero y nieva: p ∧ q

b) Estamos bajo cero, entonces no nieva p → ¬ q
c) No estamos bajo cero y no nieva ¬ p ∧ ¬q
d) Si estamos bajo cero, entonces nieva p → q

5. Sean las proposiciones:

𝑝: Conduces a más de 100𝐾𝑚/ℎ

𝑞: Te multan por exceso de velocidad

Escribe los siguientes enunciados usando conectivos lógicos:

a) No conduces a más de 100 𝐾𝑚/ℎ . ¬p

b) Conduces a más de 100 𝐾𝑚/ℎ, entonces no te multan por exceso de velocidad. p → ¬ q
c) Si no conduces a más de 100 𝐾𝑚/ℎ, entonces no te multan por exceso de velocidad. ¬ p → ¬ q
d) Te multan por exceso de velocidad, y no conduces a más de 100 𝐾𝑚/ℎ. P ∧ ¬ q

6. Determine el valor de verdad de cada una de las siguientes proposiciones:

a) 4 + 8 = 12 y 9 − 4 = 5. Verdadero
b) 8 + 4 = 12 y 8 − 3 = 2. Falso
c) 8 + 4 = 12 o 7 − 2 = 3. Verdadero
d) Si 5 + 4 = 11, entonces 6 + 6 = 12. Verdadero
e) No es verdad que 3 + 3 = 7 si y sólo si 5 + 5 = 12. Falso
f) Lima está en Chile o La paz está en Ecuador. Falso
g) No es verdad que 2 + 2 = 5 o que 3 + 1 = 4. Verdadero

7. Explique el significado de cada una de las siguientes expresiones teniendo en cuenta si el 𝑜 es inclusivo o inclusivo.

a) Por la compra de un automóvil nuevo te descuentan $2.000.000 o te descuentan el 2% del valor total

Es inclusivo, por la compra del automóvil se pueden hacer cualquiera de los dos descuentos

b) La autopista se cierra si hay neblina o si hay lluvia.

Es inclusivo. Que haya neblina o que haya lluvia pueden ser causar que se cierre la autopista. La una no excluye a la
Margarita María Torrijos Cobos
Página 2
Licenciada en matemáticas y física
 UNIVERSIDAD DISTRITAL FRANCISCO JOSÉ DE CALDAS

FACULTAD CIENCIAS Y EDUCACIÓN

LICENCIATURA EN CIENCIAS SOCIALES

ESPACIO DE FORMACIÓN:
Pensamiento lógico – matemático.
TALLER 1: Lógica
otra

8. Enuncie la recíproca, la contrarrecíproca y la inversa de las siguientes implicaciones:

a) Si soy listo, entonces soy rico.

R: Si soy rico, entonces soy listo

CR: Si no soy rico, entonces no soy listo
I: Si no soy listo, entonces no soy rico

b) Si amanece lloviendo, entonces me quedaré en casa

R: Me quede en casa, entonces amaneció lloviendo

CR No me quede en casa, entonces no amaneció lloviendo
I: Si no amanece lloviendo, entonces no me quedare en casa

c) Si hoy me acuesto tarde, entonces mañana dormiré hasta mediodía.

R: Si mañana dormiré hasta medio día, entonces hoy me acuesto tarde

CR: Si mañana no dormiré hasta medio día, entonces hoy no me acuesto tarde
I: Si hoy no me acuesto tarde, entonces mañana no dormiré hasta mediodía

d) Si Juan llega tarde, entonces el jefe se molesta.

R: Si el jefe se molesta, entonces Juan llego tarde

CR: Si el jefe no se molesta, entonces Juan no llego tarde
I: Si juan no llega tarde, entonces el jefe no se molesta

9. Los valores de verdad de las proposiciones 𝑝, 𝑞, 𝑟, 𝑠 son respectivamente V, F, F y V, obtener el valor de verdad de las
siguientes formulas:

a) [(𝑝 ∨ 𝑞) ∨ 𝑟] ∧ 𝑠

p q r s p V q (p V q) V r [(𝑝 ∨ 𝑞) ∨ 𝑟] ∧ 𝑠

V F F V V V F V V F V V V

Margarita María Torrijos Cobos

Página 3
Licenciada en matemáticas y física
 UNIVERSIDAD DISTRITAL FRANCISCO JOSÉ DE CALDAS

FACULTAD CIENCIAS Y EDUCACIÓN

LICENCIATURA EN CIENCIAS SOCIALES

ESPACIO DE FORMACIÓN:
Pensamiento lógico – matemático.
TALLER 1: Lógica

b) 𝑟 → (𝑠 ∧ 𝑝)

p r s 𝑟 → (𝑠 ∧ 𝑝) 𝑟 → (𝑠 ∧ 𝑝)

V F V F → (v V v) F V V

c) (𝑝∨𝑟)→(𝑟∧¬𝑠)
p r s (𝑝 ∨ 𝑟) → (𝑟 ∧ ¬𝑠) (𝑝 ∨ 𝑟) → (𝑟 ∧ ¬𝑠)
V F V (V V F)→ (F F F) V F F

10. Construye tablas de verdad para cada una de las siguientes formulas:

a) 𝑝 ∧ ¬𝑝

p 𝑝 ∧ ¬𝑝

V V
F V

b) (𝑝 ∧ ¬𝑞) → 𝑞

p q (𝑝 ∧ ¬𝑞) → 𝑞

V V (V F F) V V
V F (V V V) F F
F V (F F F) V V
F F (F F V) V F

c) (𝑝⨁𝑞) → (𝑝 ∧ 𝑞)

p q (𝑝 ⨁ 𝑞) → (𝑝 ∧ 𝑞)

V V (V F V) V (V V V)
V F (V V F) F (V F F)
F V (F V V) F (F F V)
Margarita María Torrijos Cobos
Página 4
Licenciada en matemáticas y física
 UNIVERSIDAD DISTRITAL FRANCISCO JOSÉ DE CALDAS

FACULTAD CIENCIAS Y EDUCACIÓN

LICENCIATURA EN CIENCIAS SOCIALES

ESPACIO DE FORMACIÓN:
Pensamiento lógico – matemático.
TALLER 1: Lógica
F F (F F F) V (F F F)

d) (𝑝 ⟷ 𝑞)⨁(¬𝑝 ⟷ 𝑞)

p q (𝑝 ⟷ 𝑞) ⨁ (¬𝑝 ⟷ 𝑞)

V V (V V V) V (F F V)
V F (V F F) V (F V F)
F V (F F V) V (V V V)
F F (F V F) V (V F F)

e) (𝑝 ⟷ 𝑞) ∨ (¬𝑝 ⟷ 𝑞)

p q (𝑝 ⟷ 𝑞) ∨ (¬𝑝 ⟷ 𝑞)

V V (V V V) V (F F V)
V F (V F F) V (F V F)
F V (F F V) V (V V V)
F F (F V F) V (V F F)

f) (𝑝 ∨ 𝑞) ∨ 𝑟

pq r (𝑝 ∨ 𝑞) ∨ 𝑟

VVV (V V V) V V
VFV (V V F) V V
VVF (V V V) V F
FF F (F F F) F F
FVF (F V V) V F
FFV (F F F) V V
VFF (V V F) V F
FVV (F V V) V V

Margarita María Torrijos Cobos

Página 5
Licenciada en matemáticas y física
 UNIVERSIDAD DISTRITAL FRANCISCO JOSÉ DE CALDAS

FACULTAD CIENCIAS Y EDUCACIÓN

LICENCIATURA EN CIENCIAS SOCIALES

ESPACIO DE FORMACIÓN:
Pensamiento lógico – matemático.
TALLER 1: Lógica

g) 𝑝 → (¬𝑞 ∨ 𝑟)

pq r 𝑝 → (¬𝑞 ∨ 𝑟)

VVV V V (F V V)
VFV V V (V V V )
VVF V F (F F F)
VF F V V (V V F)
FVV F V (F V V)
FF F F V (V V V)
FVF F V (F F F)
FFV F V (V V V)

11 Utiliza tablas de verdad para verificar las siguientes equivalencias:

a) 𝑝∧𝑽 ≡𝑝
b) 𝑝∨𝑞 ≡ 𝑞∨𝑝

pq 𝑝∨𝑞 pq 𝑞∨𝑝
V V V V V V
V F V V F V
F V V F V V
F F F F F F

c) 𝑝 ∧ (𝑞 ∨ 𝑟) ≡ (𝑝 ∧ 𝑞) ∨ (𝑝 ∧ 𝑟)

pq r 𝑝 ∧ (𝑞 ∨ 𝑟) pq r (𝑝 ∧ 𝑞) ∨ (𝑝 ∧ 𝑟)

VVV V V (V V V) VVV V V V
VFV V V (F V V) VFV F V V
VVF V V (V V F) VVF V V F
VF F V F (F F F) VF F F F F
FVV F F (V V V) FVV F F F
FF F F F (F F F) FF F F F F
FVF F F (V V F) FVF F F F
FFV F F (F V V) FFV F F F
Margarita María Torrijos Cobos
Página 6
Licenciada en matemáticas y física
 UNIVERSIDAD DISTRITAL FRANCISCO JOSÉ DE CALDAS

FACULTAD CIENCIAS Y EDUCACIÓN

LICENCIATURA EN CIENCIAS SOCIALES

ESPACIO DE FORMACIÓN:
Pensamiento lógico – matemático.
TALLER 1: Lógica

d) ¬(𝑝 ∧ 𝑞) ≡ ¬𝑝 ∨ ¬𝑞

pq ¬(𝑝 ∧ 𝑞) pq ¬𝑝 ∨ ¬𝑞
V V F V V F F F
V F V V F F V V
F V V F V V V F
F F V F F V V V

12 Determine por medio del uso de tablas de verdad si las siguientes proposiciones corresponden a una tautología, una
contingencia o una contradicción.

a) [(𝑝 → 𝑞) ∧ ¬𝑝] → ¬𝑞. CONTINGENTE

pq [(𝑝 → 𝑞) ∧ ¬𝑝] → ¬𝑞

VV [(V V V) F F] V F
VF [(V F F) F F] V V
FV [(F V V) V V] F F
FF [(F V F) V V] V V

b) ¬{[¬𝑝 ∧ (¬𝑞 ∨ 𝑝)] → 𝑞} . CONTINGENTE

pq ¬{[¬𝑝 ∧ (¬𝑞 ∨ 𝑝)] → 𝑞}

VV ¬{[F F (V) ] → V F
VF ¬{[F F (V) ] →F F
FV ¬{[V F (F) ] →V F
FF ¬{[V V (V) ] →F V

c) (¬𝑝 ∧ (𝑝 → 𝑞)) → ¬𝑞. CONTINGENTE

pq (¬𝑝 ∧ (𝑝 → 𝑞)) → ¬𝑞

VV (F F (V)) V F F
VF (F F (F)) V V F
FV (V V (V)) F F F
FF V V (V)) V V V

Margarita María Torrijos Cobos

Página 7
Licenciada en matemáticas y física
 UNIVERSIDAD DISTRITAL FRANCISCO JOSÉ DE CALDAS

FACULTAD CIENCIAS Y EDUCACIÓN

LICENCIATURA EN CIENCIAS SOCIALES

ESPACIO DE FORMACIÓN:
Pensamiento lógico – matemático.
TALLER 1: Lógica

Margarita María Torrijos Cobos

Página 8
Licenciada en matemáticas y física
 UNIVERSIDAD DISTRITAL FRANCISCO JOSÉ DE CALDAS

FACULTAD CIENCIAS Y EDUCACIÓN

LICENCIATURA EN CIENCIAS SOCIALES

ESPACIO DE FORMACIÓN:
Pensamiento lógico – matemático.
TALLER 1: Lógica

Margarita María Torrijos Cobos

Página 9
Licenciada en matemáticas y física