Tarea 1 - Proposiciones y Tablas de Verdad

Kennedy de Jesus Pineda

Codigo: 71642798

Tutor

Darwin William Barros

Universidad Nacional Abierta y a Distancia UNAD

Pensamiento lógico y Matematico

2019
 INTRODUCCION

La lógica matemática es la disciplina que trata de métodos de

razonamiento. En un nivel elemental, la lógica proporciona reglas y técnicas para

determinar si es o no valido un argumento dado.

Toda metodología basada en la teoría del aprendizaje significativo facilita a

que nosotros como alumnos en el aprendizaje tengamos una mejor y calidad sobre
unas bases fundamentales para un buen proceso pedagógico donde se obtiene el
fortalecimiento lógico matemático cuando se aplica una unidad didáctica basada en
la teoría de aprendizaje significativo donde se fortalecen mejores relaciones con el
mundo externo.

En esta actividad se presentó una solución completa y oportuna de la misma,

se tuvo en cuenta las participaciones significativas, continuas y claras.
 OBJETIVOS

OBJETIVO GENERAL

 Identificar y utilizar en forma clara las reglas de conectores lógicos de

razonamientos válidos en situaciones específicas del mundo real.

OBJETIVOS ESPECIFICOS

 Aprender y aplicar preposiciones simples y compuestas y tablas de verdad.

 Identificar métodos de demostración, razonamientos lógicos, inferencia
lógica y argumentos lógicos.
EJERCICIO 1: CONCEPTUALIZACIÓN DE CUANTIFICADORES
 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 del argumento.

p= Si pertenezco a la Escuela de Ciencias Básicas de la UNAD

q= podré graduarme con un proyecto aplicado

r= un proyecto de investigación.

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

p→qvr

Tabla de verdad con el simulador lógica Unad

Tabla de verdad manualmente a partir del lenguaje simbólico

p q r p→q p→qvr

V V V V V

V V F V V

V F V F V

V F F F F

F V V V V

F V F V V

F F V V V

F F F V V
 EJERCICIO 3: PROBLEMAS DE APLICACIÓN

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

Definir las proposiciones simples

Si Juan utiliza su celular para estudiar entonces las redes sociales lo desconcentran
y Juan pierde el examen entonces Juan utiliza su celular para estudiar. Juan utiliza
su celular para estudiar entonces las redes sociales lo desconcentran.

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

p: Juan utiliza su celular para estudiar

q: Las redes sociales lo desconcentran

r: Juan pierde el examen

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

• Generar una tabla de verdad manualmente a partir del lenguaje simbólico

p q r 𝐩⟶𝐪 𝐫⟶𝐩 {(𝐩 {(𝐩 ⟶ 𝐪) ∧ (𝐫

⟶ 𝐪) ∧ (𝐫 ⟶ 𝐩)} ⟶ ( 𝐩
⟶ 𝐩)} ⟶ 𝐪)

V V V V V V V

V V F V V V V

V F V F V F V

V F F F V F V

F V V V F F V

F V F V V V V

F F V V F F V

F F F V V V V

Es una contingencia.
 CONCLUSIONES

A medida que se desarrolló el trabajo se fueron poniendo en práctica algunos

de los conceptos dispuestos en la unidad 1.

La idea principal de este trabajo es que el alumno aprenda el concepto de

proposición, la forma en que se pueden formar proposiciones compuestas usando

los conectores lógicos.

 REFERENCIAS BIBLIOGRAFICAS

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=10

9&docID=3199701&tm=1529510366591

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

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