Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Objetivos
Conocer más a fondo las proposiciones y como se compone.
Conocer y realizar tablas de verdad para mayor manejo del este tema.
Utilizar estrategias basadas en problemas
Adquirir herramientas útiles para nuestra vida profesional
Desarrollo de los 3 ejercicios
Ejercicio 1: Conceptualización de Cuantificadores
Se lee:
Existe un único elemento x de A, que cumple P(x).
Todos los planetas serian habitables si todos ellos tuvieran las mismas condiciones que la
tierra aunque podría ser posible algún día.
x: Todos los planetas serian habitables
a: si todos ellos tuvieran las mismas condiciones que la tierra
p(x): aunque podría ser posible algún día
REFERENCIA BIBLIOGRAFÍA
Real Academia de Ciencias Exactas, Física y Naturales, ed. (1999). Diccionario esencial de
las ciencias. Editorial Espasa Calpe, Madrid.
(p ˄ q) r˄s
•Generar una tabla de verdad con el simulador Lógica UNAD a partir del lenguaje
simbólico (El estudiante encontrará la Guía para el uso de recursos educativos Simulador
Lógica UNAD, en el Entorno de Aprendizaje Práctico
p q r s (p∧q)→r∧s
v v v v V
v v v f F
v v f v F
v v f f F
v f v v V
v f v f V
v f f v V
v f f f V
f v v v V
f v v f V
f v f v V
f v f f V
f f v v V
f f v f V
f f f v V
f f f f V
Tabla de la verdad manual
p q r s (p∧q)→r∧s
v v v v V
v v v f F
v v f v F
v v f f F
v f v v V
v f v f V
v f f v V
v f f f V
f v v v V
f v v f V
f v f v V
f v f f V
f f v v V
f f v f V
f f f v V
f f f f V
Ejercicio 3: Problemas de aplicación
Expresión formal simbólica.
(𝑝 ∧ 𝑞) → (𝑟 ∨ ¬𝑞)
Real Academia de Ciencias Exactas, Física y Naturales, ed. (1999). Diccionario esencial de
las ciencias. Editorial Espasa Calpe, Madrid.
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.