PENSAMIENTO LOGICO Y MATEMATICO

PASO 2 - PROPOSICIONES Y TABLAS DE VERDAD

Presentado a:
CAROLINA CASTAÑO

Entregado por:
GUILLERMO FONTALVO

Grupo: 200611_79

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

FACULTAD INGENIERIA ELECTRONICA
JULIO 2018
 INTRODUCCIÓN

La presente actividad nos permite reconocer para así identificar el manejo previo que debe
darse frente a cualquier actividad por lo tanto nos brindando así la información oportuna y precisa
y recursos propios del curso y en general enriquecer nuestro proceso de aprendizaje.

Donde la Lógica es la disciplina que se ocupa de los métodos de razonamiento,

suministrando reglas y técnicas que nos permiten decidir si una argumentación, una deducción, es
correcta o no. Es la base de todo razonamiento matemático y tiene numerosas aplicaciones en las
ciencias de la computación (construcción, escritura y verificación de programas, diseño de
circuitos de ordenador,...), en las ciencias físicas y naturales, en las ciencia sociales y en la vida
diaria. Por lo tanto se busca siempre que el ser humano sea capaz de encontrar estos
relacionamientos entre los diferentes esquemas de aprendizaje, para que de esta manera tenga una
buena estructura cognitiva. Consideramos que si el alumno sabe lógica matemática puede
relacionar estos conocimientos, con los de otras áreas para de esta manera crear conocimiento.

En el presente trabajo comprende el estudio de la actividad del reconocimiento con cada

uno de sus temas, dando le importancia a cada ítem. En la cual está diseñado para la
interactividad colaborativa aplicando estrategias de aprendizaje con el fin de socializar el
desarrollo de cada una de las fases de trabajo. Se evidencia los conocimientos y la práctica a
partir del estudio del contenido y de la comprensión de las actividades desarrolladas.
 OBJETIVOS

 Identificar cada una de las unidades del curso.

 Conocer el desarrollo de cada una de las fases del trabajo individual.
 Tener conocimiento específico sobre el entorno de aprendizaje y la plataforma.
 Permitir que el estudiante pueda apropiarse de algunas "herramientas interactivas en la
cual son muy útiles en el desarrollo del curso.
 DESARROLLO DE LA ACTIVIDAD

Tarea 1 - Proposiciones

p: El departamento del Choco tiene acceso al Océano Pacifico

q: El departamento del Guajira tiene acceso al Océano Atlántico
r: Colombia tiene acceso a tres Océanos
(p∧¬q)→(¬r)

Proposición compuesta propuesta en lenguaje natural:

El departamento del Choco tiene acceso al Océano Pacífico y el departamento de la Guajira
no tiene acceso al Océano Atlántico, entonces Colombia no tiene acceso a tres Océanos

Valor de verdad de la proposición compuesta:

EL valor de verdad de cada una de las proposiciones simples es:
p:V q:V r:F

(𝑝 ∧ ¬𝑞) → (¬𝑟)
(𝑉 ∧ ¬𝑉) → (¬𝐹)
(𝐹) → (𝑉)
(𝐹)

Tarea 2 – Tablas de verdad

a. Si la tasa de natalidad sigue aumentando, entonces habrá escases de agua. La tasa

de natalidad no aumentó. Por lo tanto, no habrá escases de agua.

Expresión en lenguaje simbólico o formal.

[(𝑝 𝑞) ∧ ¬𝑝 → (¬𝑞)

 Generar la tabla de verdad manualmente y a través del simulador Truth Table.
Tabla de verdad
𝑝 𝑞 ¬𝑝 ¬𝑞 (𝑝 → 𝑞) [(𝑝 → 𝑞) ∧ ¬𝑝] [(𝑝 → 𝑞) ∧ ¬𝑝] → (¬𝑞)
V V F F V F V
V F F V F F V
F V V F F F F
F F V V V F V

Comprobar el resultado de la tabla de verdad manual versus simulador Truth Table.

Tarea 3 – Problemas de aplicación

a. [(p⟶q)∧(∼r⟶ s)∧(p v s)]⟶(q⟶r)

Definición de las proposiciones simples

p: Quiero estudiar
q: Estudio a distancia
r: Toca viajar
s: Ahorro dinero

Lenguaje natural de la expresión formal

Si quiero estudiar, entonces estudio a distancia. no toca viajar entonces ahorro dinero. Si
quiero estudiar o ahorro dinero, por lo tanto estudio a distancia entonces toca viajar.
 Generar la tabla de verdad manualmente y a través del simulador Truth Table.
p q r s 𝑝⟶𝑞 ∼r ∼r⟶s p⟶𝑠 [(p⟶q)∧(∼r⟶ s)∧(p v s)] 𝑞⟶r [(p⟶q)∧(∼r⟶ s)∧(p v s)]⟶(q⟶r)

V V V V V F V V V V V

V V V F V F V F F V V

V V F V V F V V V V V

V V F F V F V V V V V

V F V V F F V V F V V

V F V F F F V F F F V

V F F V F F V V F V V

V F F F F F V V F F V

F V V V V V V V V V V

F V V F V V V F F V V

F V F V V V F V F V V

F V F F V V F V F V V

F F V V V V V V V V V

F F V F V V V F F F V

F F F V V V F V V V V

F F F F V V F V V F F

Comprobar el resultado de la tabla de verdad manual versus simulador Truth Table.

Definir si el argumento es una Tautología, contradicción o contingencia

Es TAUTOLOGIA
 CONCLUSIONES

El desarrollo del presente trabajo, me permitió acercarme al conocimiento de la

plataforma dela UNAD, los entornos virtuales y sus componentes, para así poder resolver el
crucigrama de la actividad de forma satisfactoria.

También al estudiar y conocer cada una de las actividades, tenemos conocimientos positivos
sobre el curso y su desarrollo en la duración del curso, el cual el desarrollo de esta actividad, me
permitió asimilar una visión global, sobre la temática que deberé aprender.
 REFERENCIAS BIBLIOGRÁFICAS

Gamelearn (2017). B-learning. Recuperado de: https://www.game-learn.com/todo-necesitas-

saber-sobre-b-learning-definicion-ejemplos/

Gonzáles, T. L., & Saavedra, M. (2009). "Teoría de Conjuntos". En ProQuest ebrary

(Ed). Aciertos matemáticos 11: serie para la educación media. (pp. 20 -24). Bogotá,
Colombia: Educar Editores S.A. Recuperado
de http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=21&docID=10
345286&tm=1489708381971

Sánchez, H. R. (2014). "Conjuntos". En ProQuest ebrary (Ed) Álgebra. (pp. 2- 30). México, D.F.,
México: Larousse - Grupo Editorial Patria. Recuperado
de http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=15&docID=11
046169&tm=1489706134764

Universidad Nacional Abierta y a Distancia UNAD. (2015). Estrategia B - learning UNAD.

Recuperado de: https://www.youtube.com/watch?v=fPG2byJp9k0&feature=youtu.be

Universidad Nacional Abierta y a Distancia UNAD. (2016). Círculos de Interacción de

Interacción y Participación Académica y Social "CIPAS". Recuperado de:
https://www.youtube.com/watch?v=l6WTdt-OtPA&feature=youtu.be

UNAD. CIPAS. Recuperado de: https://viaci.unad.edu.co/index.php/cipas