PENSAMIENTOS LÓGICOS MATEMÁTICOS

1183_TAREA_1_MAURA ARAGÓN

ESTUDIANTE
MAURA MAILETH ARAGÓN TORRES

TUTORA
YENNY MARISOL CAYACHOA

FACULTAD
PROGRAMA DE PSICOLOGÍA

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

UDR PLATO MAGDALENA
SEPTIEMBRE 2019
 INTRODUCCIÓN
El presente trabajo se refiere a la elaboración de ejercicios, que van relacionados con varios
temas como son proposiciones, tabal de la verdad, conectores lógicos y cuantificadores.
Donde se ven reflejado las características y aplicación de cada uno de ellos, podemos ver los
tipos de proposiciones y demás formas lógicas con sus respectivos ejemplos, así como también la
intervención de cada uno de los nexos lógicos y sus respectivos símbolos con base a ellos vemos
la elaboración de la tabla de la verdad y la apropiación de su lenguaje referente a los lenguajes
simbólicos y natural con ella podemos llegar a la verificación o expresar las propiedades según
sus respectivas formulas lógicas.
Podemos ver basándonos mediante las lecturas atribuidas a la actividad, las diferentes clases de
cuantificadores y los más utilizados. Para la elaboración de este trabajo fue otorgado el
cuantificador universal afirmativo en él se ve su respectiva explicación y sus ejemplos y formas
de aplicación mediante el lenguaje natural y la utilización de conectores y demás formulas.

OBJETIVO
Su objetivo fundamental es hacer mostrar la correcta aplicación y utilización de cada uno de los
temas usados en este caso, la elaboración de tabla de la verdad y el uso de los conectores y nexos
lógicos con el cual lo podemos aplicar mediante los ejercicios y explicación elaborados a
continuación mediante el proceso de aprendizaje que me otorga el curso para el buen manejo y el
previo resultado de los temas aplicados.
 Ejercicio 1
Pantallazos de la diapositiva:
 Ejercicio 2
C. Empresas estadounidenses no pueden negociar con empresas chinas o Google es una empresa
estadounidense y Si Huawei es una empresa china entonces no tiene Android de Google.

A partir del argumento que haya seleccionado deberá dar respuesta a los
Siguientes ítems:

• Definir las proposiciones simples del argumento.

p: Empresas estadounidenses no pueden negociar con empresas chinas

q: google es una empresa estadounidense
r: Si Huawei es una empresa china
s: entonces no tiene Android de Google.

• Definir la expresión del argumento en lenguaje simbólico o formal.

(~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, 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 s ~p ~s (~p∨q) (r⟶~s) (~p∨q) ⋀ (r⟶~s)

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

La tabla es una contingencia

 Ejercicio 3

A continuación, encontrará proposiciones compuestas en lenguaje simbólico (argumento) para el

desarrollo del ejercicio 3:

 [(𝑝 ⋁𝑞) ⟷ 𝑟]

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: La UNAD ofrece carreras virtuales

q: La psicología se estudia virtual

r: Maura estudia psicología

Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje natural.

Si la UNAD ofrece carreras virtuales o la psicología se estudia virtual si y solo si Maura estudia
psicología.
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 (En Word,
Excel o foto del desarrollo manual).

p q r (𝑝 ⋁𝑞) [(𝑝 ⋁𝑞) ⟷ 𝑟]

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

La tabla es una contingencia

 CONCLUSIÓN
Con base en lo realizado en el anterior trabajo se llega al conocimiento y manejo exacto de los
temas, esto se lleva para el desarrollo autónomo de las distintas clases de fórmulas
metamatemáticas aquí presentadas. Apoyándonos de las distintas plataformas de base que nos
aporta el curso como se vio reflejado en el simulador de la tabla de la unad, debido a esto ya
sabré conocer y manejar lo que es tabla de verdad, proposiciones y la utilización de sus
respectivos conectores así como se ve aplicado en los tres ejercicios presentados en el trabajo.
 REFERENCIAS BIBLIOGRÁFICAS

Matemáticas Discretas, M. D. (2018, 2 junio). 6. LOGICA DE CUANTIFICADORES.

Recuperado 19 septiembre, 2019, de https://medium.com/@matematicasdiscretaslibro/6-logica-
de-cuantificadores-d453d859dd20

Cuantificador existencial. (2019, 23 de mayo). Wikipedia, La enciclopedia libre. Fecha de

consulta: 16:09, septiembre 20, 2019
desde https://es.wikipedia.org/w/index.php?title=Cuantificador_existencial&oldid=116174277.

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=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 https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?ppg=12&docID=3199701
&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=319970
1&tm=1529510366591
Tablas de verdad
Moscote, H. (2016) Aplicación de las tablas de verdad en el álgebra de proposiciones, [Vídeo].
Recuperado de http://hdl.handle.net/10596/7961