PROPOSICIONES Y TABLAS DE VERDAD
JENIFER BARON
CODIGO: 1063295963
GRUPO: 1096
TUTOR: CAROLINA CASTANO
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
ESCUELA CIENCIAS SOCIALES ARTE Y HUMANIDADES
PORGRAMA PSICOLOGIA
CEAD SANTA MARTA MAGDALENA
Introducción
Defino de manera específica que es un cuantificador universal afirmativo y presento
ejemplos concisos que me dan una idea clara de lo que quiero plantear, después paso a
desarrollar proposiciones y tablas de verdad que me ayudan a una mejor explicación y
plantear de manera explícita lo que es, paso a un último paso que es problemas de
aplicación este es el resultado final de todo y es donde pongo en claro lo entendido de
cada tema, puedo decir que es un tema muy sustancioso y complejo a continuación vean
y lean lo que hice.
Objetivos
Los objetivos de esta primera actividad es tener claridad de que
es cuantificador y que son tablas de verdad.
nos proporciona un concepto básico de la lógica simbólica
nos permite profundizar sobre proposiciones
manejamos el concepto claro de tablas de verdad.
1: pegar los pantallazos de las diapositivas de su presentación.
2: Proposiciones y Tablas de verdad.
A: Si el vehículo de Gabriela necesita mantenimiento entonces, ella lo lleva al
concesionario o Si ella no lo lleva al concesionario entonces, lo lleva taller de Fernando.
P: el vehículo de Gabriela necesita mantenimiento
Q: ella lo lleva al concesionario
R: lo lleva al taller de Fernando
Tabla de verdad con el simulador Lógica UNAD
Tabla de verdad manualmente.
P q r q p →q q→r ( p →q ) ∨ ( q → r )
v v v f v v v
v v f f v v v
v f v v f v v
v f f v f f f
f v v f v v v
f v f f v v v
f f v v v v v
f f f v v f v
3: Problemas de aplicación
Si Jennifer estudia todos los días y cumple con lo establecido en las guías entonces será
reconocida en su universidad y tendrá un desempeño excelente..
p: Jennifer estudia todos los días
q: cumple con lo establecido en la guía
r: será reconocida en la universidad
s: tendrá un desempeño excelente.
tabla de verdad con el simulador Lógica UNAD
Tabla de verdad manualmente
p q r s ( p ∧q ) (r ⋀ s ) ( p ∧q ) → ( r ⋀ s )
V V V V V V V
V V V F V F F
V V F V V F F
V V F F V F F
V F V V F V V
V F V F F F V
V F F V F F V
V F F F F F V
f V V V F V V
F V V F F F V
F V F V F F V
F V F F F F V
F F V V F V V
F F V F F F V
F F F V F F V
F f F f f F V
Conclusiones
De este tema me quedo mucho conocimiento conocer a profundidad proposiciones y
tabla de verdad me deja un mejor manejo de lo que es lógica matemática pude
comprender los conceptos fundamentales de la lógica proposicional y cómo aplicarlos
para la solución de problemas matemáticos.
Referencias bibliográficas
Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y
computación. (pp. 106 - 112). Ediciones Elizcom, Madrid
Rodríguez, V. R. (2013). Conjuntos numéricos, estructuras algebraicas y
fundamentos de álgebra lineal. Volumen I: conjuntos numéricos, complementos.
(pp. 19-28). Madrid, España: Editorial Tébar Flores.
