PROPOSICIONES Y TABLAS DE VERDAD

JOHANA MILENA BERNAL NIETO

PSICOLOGIA
C.C.:1007380237

SANDRA PATRICIA BARRIOS

TUTOR
GRUPO: 217

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

CCAV ZIPAQUIRA
2018
 Introducción

Las tablas de verdad es una estrategia de la lógica simple que permite establecer la validez
de varias propuestas en cuanto a cualquier situación, es decir, determina las condiciones
necesarias para que sea verdadero un enunciado propuesto, permitiendo clasificarlos en
tautológicos (resultan verdaderos durante cualquier situación) contradictorias (son
enunciados falsos en la mayoría de los casos) o contingentes (enunciados que no pueden
será tantos verdaderos como falsos no existen tendencia a un solo sentido), este trabajo está
compuesto por tres tareas en la que se identifica lenguaje simbólico, natural y su respectiva
tablas de verdad, de las proposiciones propuestas en la guía de actividades; que luego se
comprueban con el programa truth table y nos permite rectificar la solución del ejercicio.
 Objetivos

 Cumplir con las tres tareas que nos ofrece la guía de actividades, tarea uno
proposiciones, tarea dos tablas de verdad y la tarea tres problema de aplicación.
 Reconocer la simbología respectiva de las tablas de verdad y su correcta solución.
 Ser capaz de dar solución a los ejercicios, con ayuda del material del entorno de
conocimiento y la web conferencia.
 Comprender la lógica matemática por medio de las tablas de verdad.
 Distinguir entre razonamientos validos e inválidos.
 Tarea 1
E. p: en la UNAD hay 5 periodos académicos anualmente
q: La UNAD tiene 3 periodos de 8 semanas cada uno

R/ En la UNAD hay 5 periodos académicos anualmente y la UNAD no tiene tres periodos

de 8 semanas cada uno, entonces en la UNAD no hay 5 periodos académicos anualmente

Tarea 2
E. Si enero tiene 31 días y febrero 28 días entonces marzo tiene 31 días y abril no tiene 31
días
Lenguaje simbólico: (p Λ q) → (r Λ ∼ s)
P: enero tiene 31 días.
Q: febrero 28 días.
R: abril no tiene 31 días.
S: abril no tiene 31 días.
p q r S ∼s pΛq r Λ∼s (p Λ q) → (r λ∼ s)
V V V V F V F F
V V V F V V V V
V V F V F v F F
V V F F V V f F
V F V V F F F V
V F V F V F V V
V F F V F f F V
V F F F V F f V
F V V V F f F V
F V V F V F V V
F V F V F f F V
F V F F V F F V
F F V V F f F V
F F V F V F V V
F F F V F F F V
F F F F V F F V
Comprobación

Tarea 3
E. [[(𝑝→𝑞) ∧ (𝑟→𝑠)] ∧ [(𝑞 ∧𝑠) →𝑡] ∧ (𝑝∧𝑟)] →𝑡
P: En la UNAD el método educativo es colaborativo.
Q: es importante la oportuna participación
R: se fundamenta en la comunicación entre estudiantes y tutor
S: la solidaridad es importante en el trabajo colaborativo
T: el estudiante obtiene buenas calificaciones.

 En la UNAD el método educativo es colaborativo entonces es importante la

oportuna participación y se fundamenta en la comunicación entre estudiantes y tutor
entonces la solidaridad es importante en el trabajo colaborativo; y es importante la
oportuna participación y la solidaridad es importante en el trabajo colaborativo
entonces el estudiante obtiene buenas calificaciones y En la UNAD el método
educativo es colaborativo y se fundamenta en la comunicación entre estudiantes y
tutor entonces el estudiante obtiene buenas calificaciones
p q r s t (p→ (r→ [(p→ (q∧ (q∧s) [(p→q) (p∧ [(p→q) [(p→q)
q) s) q) s) →t ∧(r→s) r) ∧(r→s) ∧(r→s)]
∧(r→ ] ] ∧[(q∧s)
s)] ∧[(q∧s) ∧[(q∧s) →t]
→t] →t] ∧(p∧r) ] →t
∧(p∧r)
]
V V V V V V V V V V V V V V
V V V V F V V V V F F V F V
V V V F V V F F F V F V F V
V V V F F V F F F V F V F V
V V F V V V V V V V V F F V
V V F V F V V V V F F F F V
V V F F V V V V F V V F F V
V V F F F V V V F V V F F V
V F V V V F V F F V F V F V
V F V V F F V F F V F V F V
V F V F V F F F F V F V F V
V F V F F F F F F V F V F V
V F F V V F V F F V F F F V
V F F V F F V F F V F F F V
V F F F V F V F F V F F F V
V F F F F F V F F V F F F V
F V V V V V V V V V V F F V
F V V V F V V V V F F F F V
F V V F V V F F F V F F F V
F V V F F V F F F V F F F V
F V F V V V V V V V V F F V
F V F V F V V V V F F F f V
F V F F V V V V F V V F F V
F V F F F V V V F V V F F V
F F V V V V V V F V V F F V
F F V V F V V V F V V F F V
F F V F V V F F F V F F F V
F F V F F V F F F V F F F V
F F F V V V V V F V V F F V
F F F V F V V V F V V F F V
F F F F V V V V F V V F F V
F F F F F V V V F V V F F V
Comprobación:

La tabla de verdad es tautológica porque todas sus proposiciones son verdaderas.

 Conclusiones

 Las tablas de verdad es una estrategia de la lógica simple que permite establecer la
validez de varias propuestas en cuanto a cualquier situación.
 El programa de truth table fue de gran utilidad ya que nos da una correcta
información de la solución del ejercicio y nos orienta para su realización.
 Las tablas de verdad se clasifican en tautológica si resultan verdaderas todas las
proposiciones; contradictorias si son enunciados falsos en la mayoría de los casos o
contingentes si sus enunciados son tantos verdaderos como falsos no existen
tendencia a un solo sentido
 Es necesario el uso correcto de los conectivos en el lenguaje simbólico para
solucionar la tabla de verdad; ya sea conjunción, disyunción, condicional,
bicondicional o disyunción exclusiva.
 La lógica es muy importante en las matemáticas, porque sirve para poder demostrar
con exactitud si un(s) argumentos son realmente lógicos o válidos.
 Los recursos del entorno de conocimiento y la web conferencia, fueron
fundamentales para el desarrollo de los ejercicios.
 Referencias

 Chávez, C. P. (2000). "Lógica Simbólica". En ProQuest (Ed). Compendio de lógica.

(pp. 151- 162). Guadalajara, México: Larousse - Grupo Editorial Patria.
Recuperado de http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?
ppg=166&docID=11046000&tm=1489704594878
 Gonzáles, T. L., & Saavedra, M. (2009). Aciertos matemáticos 11: serie para la
educación media. Bogotá, CO: Educar Editores S.A. Páginas 13 -19 Recuperado de:
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?
ppg=14&docID=10345286&tm=1492518671601
 Castaño, G. (2017). Proposiciones y tablas de verdad, [Video]. Recuperado de
http://hdl.handle.net/10596/13871