PROPOSICIONES Y TABLAS DE VERDAD
Profesor
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
PENSAMIENTO LOGICO Y MATEMATICO
PUERTO COLOMBIA
2020
INTRODUCCION
Los ejercicios Y conceptos que se trataran en el siguiente trabajo son
fundamentales en las matemáticas, comprender y asimilar la operatividad entre con ayuda
de diagrama de Venn Euler, aplicándolos en nuestra vida cotidiana para resolver
cuestionamientos contextualizados mediante silogismos categóricos,
Analizaremos situaciones de la vida cotidiana, laboral y las aplicaremos en este
trabajo.
OBJETIVOS
GENERALES:
conocer el concepto claro de teoria de conjuntos, clases y su operatividad aplicadas
en este campo, realizar ejemplos propios de nuestra vida cotidiana sobre llevandolos a
interpretarlos y resolverlos utilizando las propiedades operativas entre conjuntos.
Lograr que el estudiante se familiarice con lo cotidiano aplicado a las matematicas y
aprender esta estrecha relacion
ESPECIFICOS:
Realizar diagramas de Venn Euler
Determinar la operación entre conjuntos
Aprender a plantear en palabras un ejercicio tipico de aplicación de teoria de
cojuntos.
silogismo categórico, identificar el sujeto, predicado y termini medio.
EJERCICIO #1
EJERCICIO 2
A. Si la base de un triángulo mide 6 cm y su altura mide 10 cm. Por lo tanto, su área
mide 60 cm2
PREPOSICIONES SIMPLES
P= la base de un triángulo mide 6 cm
q= su altura mide 10 cm
r= su área mide 60 cm2
LENGUAJE SIMBÓLICO O FORMAL.
(p q) r
TABLA DE VERDAD CON EL SIMULADOR LÓGICA UNAD
Paso 1
Paso 2
Paso 3
TABLA DE VERDAD MANUAL
p q r (p q) (p q) r
v v v v v
v v f v f
v f v f v
v f f f v
f v v f v
f v f f v
f f v f v
f f f f v
Es una contingencia.
EJERCICIO 3:
A. [ p →(q ⋀ r )]
Lenguaje natural.
La UNAD no es una universidad pública por lo tanto matricule solo 5 cursos y use el
subsidio de confamiliar.
PREPOSICIONES SIMPLES
p = La UNAD no es una universidad pública.
q = matricule solo 5 cursos.
r = y use el subsidio de confamiliar.
TABLA DE VERDAD MANUAL
p q r p (q r ) p (q r )
v v v f v v
v v f f f v
v f v f f v
v f f f f v
f v v v v v
f v f v f f
f f v v f f
f f f v f f
Es una contingencia
Paso 1
Paso 2
CONCLUCION
Podemos concluir que se lograron los objetivos trazados, logramos asimilar y
construir tablas de verdad, identificamos claramente si se trataron de una tautología,
contradicción o contingencia.
Aprendimos asimilar el concepto de cuantificadores y sus clasificaciones,
practicamos con ejemplos de nuestra vida universitaria, dimos un gran paso en la
utilización de las herramientas virtuales a nuestro alcance.
Aprendimos a autoevaluarnos y comprobar nuestros ejercicios con ayuda del
simulados de tablas de verdad y establecimos bases para afrontar nuestro próxima
actividad.
BIBLIOGRAFIA.
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. Recuperado
de [Link]
ppg=20&docID=3226457&tm=1529246259924
Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y
computación. (pp. 9-28). Ediciones Elizcom, Madrid. Recuperado de
[Link]
ppg=12&docID=3199701&tm=1529335849013
Cuantificadores
Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y
computación. (pp. 106-112). Ediciones Elizcom, Madrid. Recuperado
de [Link]
ppg=109&docID=3199701&tm=1529510366591
Castaño, G. (2017). Proposiciones y tablas de verdad, [Vídeo]. Recuperado
de [Link]