INTRODUCCIÓN

La presente actividad se refiere a conceptos básicos de fundamentos

de lógica y conjuntos, estos fundamentos tratan de enseñar al
individuo como debe llevar a cabo un pensamiento; entre estos
fundamentos tenemos el principio de la coherencia que existe en los
pensamientos, la coherencia es establecida por una conciencia y es
sistemática entre ideas y pensamientos. Otro de los fundamentos, es
el principio de la identidad; lo que significa que un concepto es igual
al mismo y no cambia cuando se piensa. (Botello, 2014)

La actividad tiene como finalidad que el estudiante aplica las tablas

de verdad y reglas de inferencia para probar la validez de
argumentos.

Este taller se encuentra estructurado de la forma ejercicio y su

inmediata solución que ayuda a comprender de mejor manera la
temática, además de esta introducción el trabajo cuenta con una
conclusión.
OBJETIVOS.

Objetivo general
Realizar diversos ejercicios de puesta en práctica de lo expresado en
las bibliografías de la unidad 1 para que el aprendizaje sea completo.

Objetivos específicos
1) Escribir las proposiciones compuestas propuesta en lenguaje
natural
2) Generar tablas de verdad manualmente a partir del lenguaje
simbólico y decir si el resultado es una tautología, contingencia
o contradicción.
3) Generar la tabla de verdad a través del simulador Lógica UNAD
 DESARROLLO DE EJERCICIO 1

A continuación, encontrará las proposiciones simples para el desarrollo del

ejercicio 1:

A.

p: Las primeras taxis a vapor tienen sus inicios en 1803

q: El Mercedes-Benz fabrica el primer automóvil diésel en serie.

r: En 1886 se diseñó el primer auto deportivo de la historia

[(𝑝 ∧ 𝑟) ∨ (𝑝 → 𝑞)]

SOLUCION

Escriba la proposición compuesta propuesta en lenguaje natural

Los primeros taxis a vapor tienen sus inicios en 1803 y En 1886 se diseñó el
primer auto deportivo de la historia o si los primeros taxis a vapor tienen
sus inicios en 1803 entonces el Mercedes-Benz fabrica el primer automóvil
diésel en serie.

Generar una tabla de verdad manualmente a partir del lenguaje

simbólico y determinar si el resultado es una tautología,
contingencia o contradicción.
𝑝∧𝑟 𝑝∧𝑟 ∨ 𝑝 𝑞

p q r 𝑝 p → q [( ) ( → )]
V V V V V V
V V F F V V
V F V V F V
V F F F F F
F V V F V V
F V F F V V
F F V F V V
F F F F V V

Según los resultados al existir una falsa, es una contingencia.

Generar la tabla de verdad a través del simulador Lógica UNAD

B.

p: El tiburón blanco también es llamado el gran depredador de los mares.

q: El tiburón blanco se encuentra en aguas templadas de casi todos los

océanos.

r: El tiburón blanco son un grupo de peces herbívoros marinos.

[(𝑝 ∨ 𝑟) → (𝑞 ∧ 𝑟)]

SOLUCION

Escriba la proposición compuesta propuesta en lenguaje natural

Si El tiburón blanco también es llamado el gran depredador de los mares o

el tiburón blanco son un grupo de peces herbívoros marinos, entonces el
tiburón blanco se encuentra en aguas templadas de casi todos los océanos y
el tiburón blanco son un grupo de peces herbívoros marinos.
Generar una tabla de verdad manualmente a partir del lenguaje
simbólico y determinar si el resultado es una tautología,
contingencia o contradicción

𝑝∨𝑟 𝑞∧𝑟 𝑝∨𝑟 𝑞∧𝑟

p q r [( )→( )]
V V V V V V
V V F V F F
V F V V F F
V F F V F F
F V V V V V
F V F F F V
F F V V F F
F F F F F V

Según los resultados al existir VARIAS FALSAS Y VERDADERAS, es una

contingencia.

Generar la tabla de verdad a través del simulador Lógica UNAD

C.

p: El mute Santandereano es un plato típico de la Región Andina.

q: El sancocho costeño es un plato típico de la Región Orinoquia.

r: La ternera a la llanera es un plato típico de la Región Caribe.

(𝑝 ∨ ¬𝑞) ↔ (𝑞 ∧ ¬𝑟)

SOLUCION

Escriba la proposición compuesta propuesta en lenguaje natural

Si y solo si el mute Santandereano es un plato típico de la Región Andina o

el sancocho costeño No es un plato típico de la Región Orinoquia, entonces
el sancocho costeño es un plato típico de la Región Orinoquia y la ternera a
la llanera No es un plato típico de la Región Caribe.

Generar una tabla de verdad manualmente a partir del lenguaje

simbólico y determinar si el resultado es una tautología,
contingencia o contradicción
𝑞 𝑟 𝑝∨ 𝑞 𝑞 ∧ 𝑟 𝑝∨ 𝑞 𝑞∧ 𝑟

p q r ¬ ¬ ¬ ¬ ( ¬ )↔( ¬ )
V V V F F V F F
V V F F V V V V
V F V V F V F F
V F F V V V F F
F V V F F F F V
F V F F V F V F
F F V V F V F F
F F F V V V F F

Según los resultados al existir VARIAS FALSAS Y VERDADERAS, es una

contingencia.
Generar la tabla de verdad a través del simulador Lógica UNAD

D.

p: El papa Juan Pablo II fue el papa 264 de la iglesia católica.

q: El papa Juan Pablo II Nació el 16 de octubre de 1978

r: El papa Juan Pablo II Fue canonizado en el año 2014

[(𝑝 ∧ 𝑟) → 𝑞] ∧ [(𝑝 ∨ 𝑞) → ~𝑟]

SOLUCION

Escriba la proposición compuesta propuesta en lenguaje natural

Si el papa Juan Pablo II fue el papa 264 de la iglesia católica y El papa Juan
Pablo II Fue canonizado en el año 2014 entonces el papa Juan Pablo II
Nació el 16 de octubre de 1978 y Si el papa Juan Pablo II fue el papa 264
de la iglesia católica o el papa Juan Pablo II Nació el 16 de octubre de 1978
entonces el papa Juan Pablo II No Fue canonizado en el año 2014.
Generar una tabla de verdad manualmente a partir del lenguaje
simbólico y determinar si el resultado es una tautología,
contingencia o contradicción

𝑟 𝑝∧𝑟 𝑝∨𝑞 𝑝∧𝑟 𝑞 𝑝∨𝑞 𝑟 𝑝∧𝑟 𝑞 ∧ 𝑝∨𝑞 𝑟

p q r ¬ ( ) [( )→ ] [( )→~ ] [( )→ ] [( )→~ ]
V V V F V V V F F
V V F V F V V V V
V F V F V V F F F
V F F V F V V V V
F V V F F V V F F
F V F V F V V V V
F F V F F F V V V
F F F V F F V V V

Según los resultados al existir VARIAS FALSAS Y VERDADERAS, es una

contingencia.

Generar la tabla de verdad a través del simulador Lógica UNAD

E.

p: Nelson Mandela fue médico

q: Nelson Mandela fue presidente de Sudáfrica de 1994 a 2002

r: Nelson Mandela nació en 1918

[𝑝 ↔ (𝑞 ∧ 𝑟)] → (~𝑝 ∨ 𝑟)

SOLUCION

Escriba la proposición compuesta propuesta en lenguaje natural

Si y solo si Nelson Mandela fue médico, entonces Nelson Mandela fue

presidente de Sudáfrica de 1994 a 2002 y Nelson Mandela nació en 1918
entonces Nelson Mandela No fue médico o Nelson Mandela nació en 1918

Generar una tabla de verdad manualmente a partir del lenguaje

simbólico y determinar si el resultado es una tautología,
contingencia o contradicción.
𝑝 𝑞∧𝑟 𝑝∨𝑟 𝑝 𝑞∧𝑟 𝑝 𝑞∧𝑟 𝑝∨𝑟

p q r ~ ( ) (~ ) [ ↔( )] [ ↔( )] → (~ )
V V V F V V V V
V V F F F F F V
V F V F F V F V
V F F F F F F V
F V V V V V F V
F V F V F V V V
F F V V F V V V
F F F V F V V V

Al ser todos los resultados Verdaderos, la proposición compuesta en una

TAUTOLOGIA.
Generar la tabla de verdad a través del simulador Lógica UNAD
 CONCLUSIONES

Las preposiciones son una disciplina que mediante reglas y técnicas estudia
la forma del razonamiento. En Matemáticas nos ayuda a demostrar
teoremas y en la vida diaria a encontrar soluciones a problemas cotidianos.
Gracias a ella, distinguimos la realidad de la percepción y podemos defender
los puntos de vistas con argumentos.

Para lo cual es muy importante ya que aporta mucho al raciocinio que más
adelante es el que ayuda a solucionar problemas en el quehacer profesional.
 BIBLIOGRAFÍA
Botello, E. (2014). Fundamnetos de logica.

Rodriguez Vallejo, R. (2013). Conjuntos numéricos, estructuras algebraicas y fundamentos de

álgebra lineal.