Tarea - 1 - Pensamiento Logico y Matematico

Tarea 1 – Proposiciones y Tablas de Verdad
Estudiante
Tutora
Amelia Elizabeth Córdoba
Curso
Pensamiento lógico y matemático
Universidad Nacional Abierta y a Distancia UNAD
Marzo de 2020
INTRODUCCION
El presente trabajo fue realizado con base a los planteamientos dados en el material de
estudio correspondientes a la Unidad 1- Lógica Proposicional, se considera el aprendizaje
matemático como un componente practico aplicado a los diferentes aspectos de la vida, se
presentan actividades individuales que concluyen en el aprendizaje de Proposiciones y
Tablas de Verdad reforzando los conocimientos evaluativos con estrategia de aprendizaje
como la utilización de un simulador virtual.

OBJETIVOS
 Comprender los conceptos fundamentales de la lógica proposicional y la
aplicación de estos para la solución de problemas.

Ejercicio 1: Conceptualización de Cuantificadores
Con base en los contenidos desarrollados en la lectura, el estudiante debe escoger uno de
los siguientes temas y presentarlo de manera gráfica a través de una presentación,
utilizando un recurso didáctico tipo PREZI, PowerPoint u otra herramienta digital. A partir
del tema deberá dar su definición y dos ejemplos.
B. Cuantificador Universal negativo
https://prezi.com/view/y5VthRoyTr1kBLTVFzv3/
Ejercicio 2: Proposiciones y Tablas de verdad
B. Gabriel García Márquez escribió Cien años de soledad o La Ilíada. Si y solo si es un
escritor brillante e ingenioso.
A partir del argumento que haya seleccionado deberá dar respuesta a los siguientes ítems:
• Definir las proposiciones simples del argumento.
P: Gabriel García Márquez escribió Cien años de soledad
q: Gabriel García Márquez escribió La Ilíada
r: Es un escritor brillante
s: Es un escritor ingenioso
• 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 v q) (r∧s) (p v q) ↔(r∧s)
V V V V V V V
V V V F V F F
V V F V V F F
V V F F V F F
V F V V V V V
V F V F V F F
V F F V V F F
V F F F V F F
F V V V V V V
F V V F V F F
F V F V V F F
F V F F V F F
F F V V F V F
F F V F F F V
F F F V F F V
F F F F F F V
La proposición es contingencia, ya que en su tabla de verdad aparecen valores
verdaderos y falsos.
Ejercicio 3: Problemas de aplicación
B. [(𝑝 ∧ 𝑞) ⟷ (∼ 𝑟 ⋀ 𝑠)]
A partir de la proposición compuesta en lenguaje simbólico que haya seleccionado
deberá:
• 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: Lina estudia pensamiento lógico
q: Martin estudia Biología molecular
r: se han graduado
s: estudian en la UNAD
• Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje natural. Las
proposiciones simples deben ser de autoría de cada estudiante
Lina estudia pensamiento lógico y Martin estudia Biología molecular, si y solo si no
se han graduado y estudian en la UNAD
• Generar una tabla de verdad con el simulador Lógica UNAD a partir del lenguaje
simbólico
• Generar una tabla de verdad manualmente a partir del lenguaje simbólico (En Word,
Excel o foto del desarrollo manual).

p q r s ¬r (p ∧ q) (¬r ∧ (p ∧ q) ↔(¬r ∧ s)
s)
V V V V F V F F
V V V F F V F F
V V F V V V V V
V V F F V V F F
V F V V F F F V
V F V F F F F V
V F F V V F V F
V F F F V F F V
F V V V F F F V
F V V F F F F V
F V F V V F V F
F V F F V F F V
F F V V F F F V
F F V F F F F V
F F F V V F V F
F F F F V F F V
• Definir si el argumento seleccionado inicialmente es una tautología, contradicción o
contingencia
La proposición es contingencia, ya que en su tabla de verdad aparecen valores
verdaderos y falsos.
CONCLUSIONES
El desarrollo de esta actividad me permitió reconocer el valor y la importancia de la
lógica proposicional y las diversas aplicaciones para solucionar problemas de la vida diaria
analizando las diferentes posibilidades para llegar a concluir resultados sean positivos o
negativos, además de comprender los conceptos y los diferentes nexos operacionales con
sus respectivas tablas de verdad para el uso de proposiciones.

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
https://ebookcentral-proquest-
com.bibliotecavirtual.unad.edu.co/lib/unadsp/reader.action?
docID=3226457&ppg=20
 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
docID=3199701&ppg=12
 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
docID=3199701&ppg=109
 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
 Castaño, G. (2017). Proposiciones y tablas de verdad, [Vídeo]. Recuperado de
http://hdl.handle.net/10596/13871
 Cuantificador. Tomado de Wikipedia. Ultima actualización el 15 ene 2020 a las
21:37 https://es.wikipedia.org/wiki/Cuantificador

Tarea - 1 - Pensamiento Logico y Matematico

Cargado por

Copyright:

Formatos disponibles

Tarea - 1 - Pensamiento Logico y Matematico

Cargado por

Información del documento

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

Tarea - 1 - Pensamiento Logico y Matematico

Cargado por

Copyright:

Formatos disponibles

Tarea 1 – Proposiciones y Tablas de Verdad

Amelia Elizabeth Córdoba

Pensamiento lógico y matemático

Universidad Nacional Abierta y a Distancia UNAD

estudio correspondientes a la Unidad 1- Lógica Proposicional, se considera el aprendizaje

matemático como un componente practico aplicado a los diferentes aspectos de la vida, se

presentan actividades individuales que concluyen en el aprendizaje de Proposiciones y

Tablas de Verdad reforzando los conocimientos evaluativos con estrategia de aprendizaje

como la utilización de un simulador virtual.

 Comprender los conceptos fundamentales de la lógica proposicional y la

aplicación de estos para la solución de problemas.

los siguientes temas y presentarlo de manera gráfica a través de una presentación,

del tema deberá dar su definición y dos ejemplos.

B. Cuantificador Universal negativo

Ejercicio 2: Proposiciones y Tablas de verdad

B. Gabriel García Márquez escribió Cien años de soledad o La Ilíada. Si y solo si es un

escritor brillante e ingenioso.

• Definir las proposiciones simples del argumento.

P: Gabriel García Márquez escribió Cien años de soledad

q: Gabriel García Márquez escribió La Ilíada

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

Lógica UNAD, en el Entorno de Aprendizaje Práctico, así como el link de acceso al

si el resultado es una tautología, contingencia o contradicción.

La proposición es contingencia, ya que en su tabla de verdad aparecen valores

Ejercicio 3: Problemas de aplicación

A partir de la proposición compuesta en lenguaje simbólico que haya seleccionado

basada en un contexto, el que se solicita es un contexto académico

p: Lina estudia pensamiento lógico

q: Martin estudia Biología molecular

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

proposiciones simples deben ser de autoría de cada estudiante

Lina estudia pensamiento lógico y Martin estudia Biología molecular, si y solo si no

se han graduado y estudian en la UNAD

Excel o foto del desarrollo manual).

• Definir si el argumento seleccionado inicialmente es una tautología, contradicción o

La proposición es contingencia, ya que en su tabla de verdad aparecen valores

El desarrollo de esta actividad me permitió reconocer el valor y la importancia de la

sus respectivas tablas de verdad para el uso de proposiciones.

 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

 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

 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

 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

 Castaño, G. (2017). Proposiciones y tablas de verdad, [Vídeo]. Recuperado de

 Cuantificador. Tomado de Wikipedia. Ultima actualización el 15 ene 2020 a las

También podría gustarte