285 - Tarea 1 - TatianaOrtiz

TAREA 1 – PROPOSICIONES Y TABLAS DE VERDAD
PENSAMIENTO LOGICO MATEMATICO

GRUPO 200611_285
Estudiante:
Yesica Tatiana Ortiz Parra
Tutor:
Elkin Ricardo Laverde
ESCUELA DE CIENCIAS DE LA EDUCACIÓN (ECEDU)

LICENCIATURA EN PEDAGOGÍA INFANTIL
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD
CHIQUINQUIRÁ, SEPTIEMBRE – 2019

INTRODUCCIÓN
En este trabajo encontraremos proposiciones y tablas de verdad,

ejemplos de equivalencias entre cuantificadores entre otros ejemplos,
todo esto con el fin de desarrollar ejercicios expuestos en la guía de
actividades y entender sobre las tablas de verdad y las proposiciones
cuantificadas que existen, sus maneras de desarrollo y los lenguajes en
los cuales éstas se pueden solucionar y teniendo en cuenta cual es la
forma correcta para solucionar las tablas de verdad.
OBJETIVOS
 Explicar el concepto de equivalencias entre cuantificadores y

exponer ejemplos sobre el mismo tema.
 Resolver problemas expuestos sobre proposiciones simples y

compuestas que se encuentran en lenguaje simbólico al lenguaje
natural o viceversa.
 Definir cual es el resultado de las tablas de verdad teneindo en

cuenta las formulas propuestas en la guia de actividades.
EJERCICIO N° 1 – EQUIVALENCIAS ENTRE CUANTIFICADORES.
EJERCICIO # 2 PROPOSICIONES Y TABLAS DE VERDAD
E. PlayStation es una consola si y sólo si es usada como un reproductor

de BlueRay y para jugar juegos de video.
 Definir las proposiciones simples del argumento.
P: PlayStation es una consola

q: es usada como un reproductor de BlueRay
r: para jugar juegos de video.
 Definir la expresión del argumento en lenguaje simbólico o

formal.
(p↔q)^r
 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, así como el link de acceso al
recurso)
 Generar una tabla de verdad manualmente a partir del lenguaje
simbólico y determinar si el resultado es una tautología,
contingencia o contradicción.
p q r (p ↔ q) ^ r
V V V V V V V V
V V F V V V F F
V F V V F F F V
V F F V F F F F
F V V F F V F V
F V F F F V F F
F F V F V F V V
f F F F V F F F
Esta tabla es denominada como CONTINGENCIA ya que en su

conector lógico principal da como resultados verdaderos y falsos.
EJERCICIO # 3 PROBLEMAS DE ALICACIÓN
E. [ ( 𝑝 ⋀ 𝑞 ) ⟶ 𝑟 ] ∧ [ ( ~ 𝑞 ∨ 𝑠 ) ⟶ ~ 𝑟 ]
 Definir las proposiciones simples, tendrá la libertad de definirla

bajo una descripción basada en un contexto, el que se solicita es
un contexto académico.
p: Karen estudia ingeniería en la UNAD

q: En la UNAD estudia a distancia
r: Tiene que cursar Matemática lógica I
s: porque da la oportunidad también de trabajar.
• Remplazar las variables expresadas simbólicamente y llevarlas al

lenguaje natural. Las proposiciones simples deben ser de autoría de
cada estudiante.
Si Karen estudia ingeniería en la UNAD y en la UNAD estudia a distancia

entonces tiene que cursar Matemática Lógica I y no es cierto que en la
UNAD no se estudia a distancia o porque da la oportunidad también de
trabajar entonces no tendría que cursar Matemática Lógica I.
• Generar una tabla de verdad con el simulador Lógica UNAD a

partir del lenguaje simbólico.
p q r s
[(p ⋀ q) →r)] ⋀ [(~q v s) → ~r]
V V V V F
V V V F V
V V F V F
V V F F F
V F V V F
V F V F F
V F F V V
V F F F V
F V V V F
F V V F V
F V F V V
F V F F V
F F V V F
F F V F F
F F F V V
F F F F V
• Generar una tabla de verdad manualmente a partir del lenguaje
simbólico.
p q r s ~q ~r [( p ⋀ q) → r)] ⋀ [(~q v s) → ~r]

V V V V F F V V V V V F F V V F F
V V V F F F V V V V V V F F F V F
V V F V F V V V V F F F F V V V V
V V F F F V V V V F F F F F F V V
V F V V V F V F F V V F V V V F F
V F V F V F V F F V V F V V F F F
V F F V V V V F F V F V V V V V V
V F F F V V V F F V F V V V F V V
F V V V F F F F V V V F F V V F F
F V V F F F F F V V V V F F F V F
F V F V F V F F V V F V F V V V V
F V F F F V F F V V F V F F F V V
F F V V V F F F F V V F V V V F F
F F V F V F F F F V V F V V F F F
F F F V V V F F F V F V V V V V V
F F F F V V F F F V F F V V F V V
Esta tabla es denominada como CONTINGENCIA ya que en su conector

lógico principal da como resultados verdaderos y falsos.
CONCLUSIONES
 Con este trabajo se busca reforzar el conocimiento de las tablas

de verdad vistas en la etapa escolar y de esta manera tener
conocimiento de una de las unidades expuestas en el curso
 Al culminar con ese trabajo podemos evidenciar la capacidad

mental que tenemos para entender las tablas de verdad y sus
proposiciones.
 Se logró identificar como es la manera correcta de pasar las

proposiciones simples y compuestas a un lenguaje natural o
formal.
BIBLIOGRAFÍA
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.
Cardona, T. S. A. (2010). Lógica matemática para ingeniería de

sistemas y computación. (pp. 9-28). 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.
Cardona, T. S. A. (2010). Lógica matemática para ingeniería

de sistemas y computación. (pp. 9-28). Ediciones Elizcom, Madrid.

285 - Tarea 1 - TatianaOrtiz

Cargado por

Copyright:

Formatos disponibles

285 - Tarea 1 - TatianaOrtiz

Cargado por

Información del documento

Descripción original:

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

285 - Tarea 1 - TatianaOrtiz

Cargado por

Copyright:

Formatos disponibles

TAREA 1 – PROPOSICIONES Y TABLAS DE VERDAD

PENSAMIENTO LOGICO MATEMATICO

ESCUELA DE CIENCIAS DE LA EDUCACIÓN (ECEDU)

CHIQUINQUIRÁ, SEPTIEMBRE – 2019

En este trabajo encontraremos proposiciones y tablas de verdad,

 Explicar el concepto de equivalencias entre cuantificadores y

 Resolver problemas expuestos sobre proposiciones simples y

 Definir cual es el resultado de las tablas de verdad teneindo en

E. PlayStation es una consola si y sólo si es usada como un reproductor

 Definir las proposiciones simples del argumento.

P: PlayStation es una consola

 Definir la expresión del argumento en lenguaje simbólico o

 Generar una tabla de verdad con el simulador Lógica UNAD a

Esta tabla es denominada como CONTINGENCIA ya que en su

 Definir las proposiciones simples, tendrá la libertad de definirla

p: Karen estudia ingeniería en la UNAD

• Remplazar las variables expresadas simbólicamente y llevarlas al

Si Karen estudia ingeniería en la UNAD y en la UNAD estudia a distancia

• Generar una tabla de verdad con el simulador Lógica UNAD a

p q r s ~q ~r [( p ⋀ q) → r)] ⋀ [(~q v s) → ~r]

Esta tabla es denominada como CONTINGENCIA ya que en su conector

 Con este trabajo se busca reforzar el conocimiento de las tablas

 Al culminar con ese trabajo podemos evidenciar la capacidad

 Se logró identificar como es la manera correcta de pasar las

Rodríguez, V. R. (2013). Conjuntos numéricos, estructuras

Cardona, T. S. A. (2010). Lógica matemática para ingeniería de

Rodríguez, V. R. (2013). Conjuntos numéricos, estructuras

Cardona, T. S. A. (2010). Lógica matemática para ingeniería

También podría gustarte