UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

PASO 2 uso de la tablas de verdad

Estudiante
Karen Ararat Sandoval

Docente
John Jairo Getial Pantoja

Curso
Pensamiento Lógico y Matemático

Grupo
200611_580
CALI

03/11/2017
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

OBJETIVOS
General: realizar un buen trabajo después de los aprendido en la unidad 1 sobre
el límite y continuidad

Específicos:
 Dar solución a cada uno de los ejercicios propuestos en la guía
 Presentar el trabajo de forma adecuada
 Alcanzar a máxima calificación
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

INTRODUCCIÓN
Este trabajo está comprendido en cuatro fases para recopilar el trabajo final que
es sobre el uso de las tablas de verdad y las fases son las siguientes.
Fase 1 definición y ejemplos de la terminología de lógica matemática: tautología,
contradicción y contingencia.
Fase 2
Link de la presentación en prezi sobre la ley distributiva de la lógica matemática
Fase 3
Pantallazo de la solución del enunciado en el simulador TRUTH
Fase 4
Presentación grafica del diagrama de Venn con el enunciado propuesto
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

Fase 1
Tautología: una tautología es una proposición que es verdadera para todos los
valores posibles de verdad de sus componentes simples.
Ejemplo 1:
p p

V v

F v

TAUTOLOGIA
Ejemplo 2
Comprobar si la siguiente proposición es una tautología
(∆ ) → ( ∇¬ )
p q r ¬ ( ∆ ) ( ∇¬ ) ( ∆ ) → ( ∇¬ )
V V V F V V V
V V F V V V V
V F V F F V V
V F F V F V V
F V V F F F V
F V F V F V V
F F V F F F V
F F F V F V V

TAUTOLOGIA
Ejemplo 3
Calcular si la siguiente proposición es una tautología
( ∆ )→( ∇ )
2 =4
p q ( ∆ ) ( ∇ ) ( ∆ )→( ∇ )
V V V V V
V F F V V
F V F V V
F F F F V

TAUTOLOGIA
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

Contradicción: una proposición es llamada contradicción o absurdo si ofrece un

resultado falso para todos los posibles valores de verdad de sus componentes
simples.
Ejemplo 1
p ¬
V F
F F

Ejemplo 2
Comprobar si la siguiente proposición es una contradicción
( ∇ )↔ ¬( ∇ )
p q ( ∇ ) ¬( ∇ ) ( ∇ ) ↔ ¬( ∇ )
V V V F F
V F V F F
F V V F F
F F F V F

Ejemplo 3
Determinar si la siguiente proposición es una contradicción
⟦( ∆ )∆¬( ∇ )⟧∆

1 2 3 4 5 6 7 8
A B C ∆ ∇ ¬( ∇ ) ( ∆ )∆¬(A∇B) [( ∆ )∆¬( ∇ )∆ ]
V V V V V F F F
V V F V V F F F
V F V F V F F F
V F F F V F F F
F V V F V F F F
F V F F V F F F
F F V F V V F F
F F F F V V F F

CONTRADICCION

Contingencia: es contingencia cuando puede ser verdadera o falsa, dependiendo

de los valores de sus componentes simples.
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

Ejemplo 1
p q ¬ ¬ ∇
V V F V
V F V F
F V F V
F F V V

Ejemplo 2
( ∆ ) → (¬ )
p q r ∆ ¬ ( ∆ ) → (¬ )
V V V V F F
V V F V V V
V F V F F V
V F F F V V
F V V F F V
F V F F V V
F F V F F V
F F F F V V

Ejemplo 3
[ → ¬ ]∆( → ¬ ) →

p q r ¬ ¬ ( →¬ ) →¬ ( → ¬ )∆ ( → ¬ ) ( → ¬ )∆ ( → ¬ ) →
V V V F F F F F V
V V F F V F V F F
V F V V F V V V V
V F F V V V V V V
F V V F F V F F V
F V F F V V V V V
F F V V F V V V V
F F F V V V V V V

fase 2
https://prezi.com/view/MaKVP9rtbINLGYhnBKRD/
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

Fase 3
1. La UNAD ofrece a sus estudiantes diferentes maneras de recibir asesoría
académica por parte de los docentes para resolver las inquietudes que se
suscitan frente al desarrollo de las actividades en los cursos. Laura está
matriculada en el curso Pensamiento Lógico y Matemático; ella ha presentado
una baja calificación en la actividad del Paso 1, denominada como
Operatividad entre Conjuntos. Por lo anterior, Óscar el director del Curso ha
solicitado a Leonardo, quien es el docente asignado, un informe del
desempeño de Laura; un fragmento del informe que ha presentado Leonardo
expresa lo siguiente: “… si Laura no asiste al desarrollo de los CIPAS,
entonces, si Laura no asiste a las webconference académicas y asiste al
desarrollo de CIPAS, entonces Laura no asiste al desarrollo de CIPAS y
asiste a la actividad B-Learning…”.
Transforma este fragmento del informe dado por Leonardo en lenguaje formal,
realiza las respectivas tablas de verdad e indica si es tautología, contradicción o
contingencia. Además, debes hacer la comprobación con el uso del simulador
TRUTH.
Definición de proposición simple: una proposición simple es aquella que ya no
puede descomponerse en dos expresiones que sean proposiciones.
Proposición compuesta: son aquellas en la que aparecen las partículas
moleculares o conectores lógicos como: no, o, si, entonces, si y solo sí.
Tabla de verdad para la demostración con el simulador
¬ → [(¬ ∆ ) → (¬ ∆ )]

p q r ¬ ¬ ¬ ∆ ¬ ∆ (¬ ∆ ) → (¬ ∆ ) ¬ → [(¬ ∆ ) → (¬ ∆ )]

V V V F F F F V V
V V F F F F F V V
V F V F V V F F V
V F F F V V F F V
F V V V F F V V V
F V F V F F F V V
F F V V V F V V V
F F F V V F F V V
Clasifica como una tautología
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

Resultado de la siguiente proposición

Se clasifica como una tautología
¬ → [(¬ ∆ ) → (¬ ∆ )]

fase 4
1. 4. Ningún estudiante de pregrado puede ocupar el primer lugar y el segundo
lugar al mismo tiempo en las pruebas SABER PRO
Vanessa es estudiante de pregrado.
Vanessa no puede ocupar el primer lugar y el segundo lugar al mismo
tiempo en las pruebas SABER PRO

PRIMERA PREMISA: Ningún estudiante de pregrado puede ocupar el primer

lugar y el segundo lugar al mismo tiempo en las pruebas SABER PRO.

SEGUNDA PREMISA: Vanessa es estudiante de pregrado

TERCERA PREMISA: Vanessa no puede ocupar el primer lugar y el segundo

lugar al mismo tiempo en las pruebas SABER PRO
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

Conclusiones
Este trabajo me dejo muchas enseñanzas aprendí que una contradicción se da si
aborda un resultado falso para todos los valores posibles, también aprendí a
utilizar el simulador TRUTH por medio del cual realiza una tabla de verdad con
una proposición.
Agradecimientos al tutor por su apoyo
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

Bibliografía.
Villapando, B. J. F. (2000).
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?docID=1101357
0&ppg=30
Chávez, C.P. (2000)
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=14&docID=
10345286&tm=1489705371767
Argoty, L. (2005)
http://erenriquez.net/largoty/Ova01MD/
Moscote, H. (2016)
http://hdl.handle.net/10596/7961
arrendo, C. J., & Escobar, V. G (2005)
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=91&docID=
11230887&tm=1496180214861
Óscar J. Gómez. (2017)
http://hdl.handle.net/10596/11571
referencias complementarias
wisniewski, P. M., & Gutiérrez, B. A. L (2011)
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?docID=1047306
9