Está en la página 1de 4
Alexander Florez Hormiga 8’035.654 Leandro Garcia Montealegre 80’816.682 Julián Latorre Cuellar

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)

5)

┐(┐p ʌ ┐┐q) ˅

┐┐p

┐q

Negación de 3 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

V F

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:

(). ∨

¬, ∨ ( ∨ ), ¬ ⊢

( ∨ ¬) ∧ [( ∨ ( ∨ )) ∧ ¬] ⟹

V

V V

V

V F V

F

V

V

V

V V

F

F V

V

V

V

V F

V

V F V

F

V

V

V

V F

F

F V

V

F

V

F V

V

V V F

F

F

V

V

V V

F

F V

V

V

V

F F

V

V V F

F

F

V

V

V

F

F

F V

V

F

F

V V

F

F F V

F

V

V

F

V V

V

V F

V

V

F

V F

F

F F V

F

V

V

F

F

F

V

V F

V

F

F

F V

F

V V F

V

F

V

F

V V

V

V F

V

V

F

F F

F V V F

F

F

F

F

F F

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