Alexander Florez Hormiga 8’035.

654
Leandro Garcia Montealegre 80’816.682
Julián Latorre Cuellar 1.054’373.918
Fundamentos de Matemáticas

Taller 1

1. Usando las letras 𝑝, 𝑞 𝑦 𝑟 para abreviar las proposiciones “Argentina se moviliza”, “Brasil
protesta ante la ONU” y “Chile convoca a una reunión de los países latinoamericanos”,

b) Escriba en correcto español:

𝑖. (𝑝 ∧ 𝑞) → 𝑟
Argentina se moviliza y Brasil protesta ante la ONU solo si Chile convoca
a una reunión de los países latinoamericanos.

𝑖. 𝑖. ¬(𝑝 ∧ 𝑟) → ¬𝑞
No es cierto que Argentina se moviliza y Chile convoca a una reunión de
los países latinoamericanos, solo si Brasil protesta ante la ONU.

2. Determine una proposición lógicamente equivalente a las siguientes, usando a lo sumo

solamente → y ^, justificando su respuesta:
𝑣. ¬𝑝 → ¬𝑞

1) ┐p → ┐q Premisa
2) ┐ (┐p → ┐q) Negación de 1
3) ┐p ʌ ┐┐q Equivalencia de 2 (*)
4) ┐(┐p ʌ ┐┐q) Negación de 3
5) ┐┐p ˅ ┐q Ley de De Morgan (**)

*Tabla de verdad de la equivalencia 1, 3

 ┐ (┐p → ┐q) Ξ ( ┐ p ʌ ┐ ┐ q)
F F V V F V V F V F V F V
F F V V V F V F V F F V F
V V F F F V V V F V V F V
F VF V V F V V F F F V F

**Tabla de verdad de la equivalencia 1, 5

┐p → ┐q Ξ ┐┐p ˅ ┐q
F V V F V V V F V V F V
F V V V F V V F V V V F
V F F F V V F V F F F V
V F V V F V F V F V V F

3. Demuestre las siguientes implicaciones lógicas:

(ℎ). (𝑝 → 𝑞) ∧ (𝑞 → 𝑟) ⟹ 𝑝 → 𝑟 (Silogismo Hipotético)

1 1 1 1 1 1 1 1 1 1 1
1 1 1 0 1 0 0 1 1 0 0
1 0 0 0 0 1 1 1 1 1 1
1 0 0 0 0 1 0 1 1 0 0
0 1 1 1 1 1 1 1 0 1 1
0 1 1 0 1 0 0 1 0 1 0
0 1 0 1 0 1 1 1 0 1 1
0 1 0 0 0 1 0 1 0 1 0
Tautología

4. Demuestre las siguientes equivalencias lógicas:

(𝑏). 𝑝 → 𝑞 ≡ ¬𝑝 ∨ 𝑞
𝑝 → 𝑞 ≡ ¬𝑝 ∨ 𝑞
1 1 1 1 01 1 1
1 0 0 1 01 0 0
0 1 1 1 10 1 1
0 1 0 1 10 1 0
Tautología

5. Determine la inversa, la conversa y la contra positiva de las siguientes proposiciones:

 (𝑐). Combinar adecuadamente los condimentos es suficiente para tener una buena
comida.

 Inversa: No combinar adecuadamente los condimentos es suficiente para no tener

una buena comida.

 Conversa: Combinar adecuadamente los condimentos es necesario para tener una

buena comida.

 Contra positiva: No combinar adecuadamente los condimentos es necesario para

no tener una buena comida.

6. Determine si los siguientes argumentos son válidos o no, usando tablas de verdad. En caso
que sean válidos, de una deducción de ese argumento, usando deducción natural:

(𝑏). 𝑝 ∨ ¬𝑞, 𝑞 ∨ (𝑝 ∨ 𝑟), ¬𝑝 ⊢ 𝑟

𝑝𝑞𝑟 (𝑝 ∨ ¬𝑞) ∧ [(𝑞 ∨ (𝑝 ∨ 𝑟)) ∧ ¬𝑝] ⟹ 𝑟

VVV VVFV F V V V VV F FV V V
VVF VVFV F V V V VF F FV V F
VFV VVVF F F V V VV F FV V V
VFF VVVF F F V V V F F FV V F
FVV FFFV F V V F VV V VF V V
FVF FFFV F V V F F F V VF V F
FFV FVVF V F V F VV V VF V V
FFF FVVF F F F F FF F V F V F

Como es tautología afirmamos

(𝑝 ∨ ¬𝑞) ∧ [(𝑞 ∨ (𝑝 ∨ 𝑟)) ∧ ¬𝑝] ⟹ 𝑟

1) 𝑝 ∨¬ 𝑞 Premisa
2) 𝑞 ∨ (𝑝 ∨ 𝑟) Premisa
3) ¬𝑝 Premisa
4) ¬𝑞 MTP 1,3
5) 𝑝∨𝑟 MTP 2,4
6) 𝑟 MTP 3,5

7. De una deducción de los siguientes argumentos válidos:

(𝑑). Si una función 𝑓 de valor y variable real es diferenciable en un punto 𝑎 ∈ ℝ entonces
es continua en 𝑎. Si 𝑓 es continua en 𝑎, entonces 𝑓(𝑎) está definida y lim 𝑓(𝑥) =
𝑥→𝑎
𝑓(𝑎). Pero 𝑓 no está definida en 𝑎. Por lo tanto 𝑓 no es diferenciable en 𝑎.

1) 𝑝 → 𝑞 Premisa
2) 𝑞 → (𝑟 ʌ 𝑠) Premisa
3) ┐𝑟 Premisa
4) ┐┐𝑝 Premisa adicional, reducción al absurdo
5) 𝑝 Equivalencia 4
6) 𝑞 MP 1,5
7) 𝑟ʌ𝑠 MP 2,6
8) 𝑟 Eliminacion conjuncion
9) 𝑟 ʌ ┐𝑟 Contradiccion 3,8
10) ┐𝑝 Reducción al absurdo 4,9