PENSAMIENTO LOGICO Y MATEMATICO

JUAN ESTEBAN GONZALEZ PINILLA

CURSO: 80017A_616

GRUPO: 18

TUTOR

ALEXIS TRUJILLO

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA “UNAD”

ESCUELA DE CIENCIAS ADMINISTRATIVAS, CONTABLES,

ECONOMICAS Y DE NEGOCIOS

CONTADURIA PÚBLICA

2019
INTRODUCCIÓN.

En el presente documento abordaremos en primera instancia el cuantificador universal negativo,

presentando su definición y algunos ejemplos, presentados en unas diapositivas (Prezi),
posteriormente se da la presentación de las proposiciones y tablas de verdad, dando a conocer a
través de este tema la solución a un enunciado planteado, generando sus preposiciones simples,
su lenguaje simbólico y la tabla de verdad del enunciado, por otra parte, se presenta los
problemas de aplicación, en donde a partir de un lenguaje simbólico se denotan las preposiciones
simple y su lenguaje natural que son propias del autor del documento, y para finalizar se presenta
la tabla de verdad a partir del lenguaje simbólico.
OBJETIVOS.

Generales.
 Comprender a través de las herramientas presentadas, la elaboración y solución detallada
de los diferentes ejercicios.

Específicos.
 Lograr entender a través de una presentación en PREZI el cuantificador universal
negativo.
 Reconocer a partir de un enunciado las proposiciones simples, su lenguaje simbólico y su
correspondiente tabla de verdad.
 Generar a partir de un lenguaje simbólico las preposiciones simples, su lenguaje natural y
su respectiva tabla de verdad.
-EJERCICIO 1 (CONCEPTUALIZACIÓN DE CUANTIFICADORES).
https://prezi.com/view/hJY5652NQyX5NqhwB4tz/
Cardona, T. S. A. (2010) (pp. 106-112).
-EJERCICIO 2 (PROPOSICIONES Y TABLAS DE VERDAD).

B. Si pertenezco a la Escuela de Ciencias Básicas de la UNAD, entonces podré graduarme con

un proyecto aplicado o un proyecto de investigación.

Proposiciones simples.
p: Pertenezco a la Escuela de Ciencias Básicas de la UNAD
q: Podré graduarme con proyecto aplicado
r: Podré graduarme con proyecto de investigación

Expresión del argumento en lenguaje simbólico o formal.

p → (q ˅ r)

Tabla de verdad con el simulador lógica UNAD.

Tabla de verdad manual a partir del lenguaje simbólico p → (q ˅ r).

p q r (q ˅ r) p → (q ˅ r)

V V V V V
V V F V V
V F V V V
V F F F F
F V V V V
F V F V V
F F V V V
F F F F V

El resultado de la tabla presentada es de contingencia.

Cardona, T. S. A. (2010). Castaño, G. (2017). Rodríguez, V. R. (2013). Wisniewski, P. M., &
Gutiérrez, B. A. L. (2011).

-EJERCICIO 3 (PROBLEMAS DE APLICACIÓN).

B. {(p ⟶ q) ∧ (r ⟶ p)} ⟶ (p ⟶ q)

Proposiciones simples.
p: María saca el tiempo para estudiar
q: María será una profesional
r: María entrega las actividades a tiempo en la UNAD

De variable simbólico a lenguaje natural.

Si María saca el tiempo para estudiar, entonces María será una profesional y si
María entrega las actividades a tiempo en la UNAD entonces María saca el tiempo
para estudiar, entonces, si María saca el tiempo para estudiar entonces María será
una profesional.
Tabla de verdad con el simulador lógica UNAD.

A partir del lenguaje simbólico {(p ⟶ q) ∧ (r ⟶ p)} ⟶ (p ⟶ q)

Tabla de verdad manual.

Como podemos observar en la tabla de verdad, el argumento seleccionado

inicialmente es una tautología.
Cardona, T. S. A. (2010). Castaño, G. (2017). Rodríguez, V. R. (2013). Wisniewski, P. M., &
Gutiérrez, B. A. L. (2011).
CONCLUSIONES.

 A través de las herramientas presentadas en los ejercicios, se puede ver la solución desde
un punto de vista diferente.
 El lenguaje simbólico lo manejamos todo el tiempo, solo que está disfrazado o presentado
en lenguaje natural.
 La tabla de verdad nos permite establecer la validez de varias propuestas en cuanto a
cualquier situación.

REFERENCIAS BIBLIOGRÁFICAS.
 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
https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?ppg=12&docID=3199
701&tm=1529335849013
 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
https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?ppg=109&docID=319
9701&tm=1529510366591
 Castaño, G. (2017). Proposiciones y tablas de verdad, [Vídeo]. Recuperado de
http://hdl.handle.net/10596/13871
 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
http://bibliotecavirtual.unad.edu.co:2460/lib/unadsp/reader.action?ppg=20&docID=3226
457&tm=1529246259924
 Wisniewski, P. M., & Gutiérrez, B. A. L. (2011). Introducción a las matemáticas
universitarias. México: McGraw-Hill Interamericana. Recuperado de
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?docID=10473069