Unidad 1: Paso 2 – Proposiciones y Tablas de Verdad

Pensamiento Lógico y Matemático

José Ochoa

Oscar Conrado Lizcano

Tutor: Armando López Sierra

Universidad Nacional Abierta y a Distancia (UNAD)

Programa Ingeniería de Alimentos

CEAD: Valledupar

Grupo: 200611_38

Marzo 2018

INTRODUCCION
Con el fin de lograr la óptima comprensión de las temáticas relacionadas con la unidad 2 razonamientos lógicos es necesario

realizar una adecuada revisión de las temáticas propuestas con el fin de cumplir con los objetivos establecidos para el

presente trabajo colaborativo.

En este trabajo colaborativo queremos exponer la solución a las tareas propuestas en la guía de actividades a través de la

interacción y aportes enviados por cada integrante del grupo colaborativo.

OBJETIVOS
 Realizar una previa revisión de los contenidos de la unidad 2 del curso académico lógica matemática.
 Gestionar la interacción en grupo colaborativo con el fin de realizar las tareas indicadas en la guía de actividades.
 Aplicar los conceptos propuestos en la temática de razonamientos lógicos en el desarrollo del trabajo
colaborativo.

Actividades a Desarrollar

Tarea 1: Proposiciones

Ejercicio

p: El rector de la UNAD es Jaime Alberto leal afanador

q: La UNAD es una institución de carácter público

r: En la UNAD se estudia de forma presencial

 [(p→r)˄q]↔(¬ r ˅¬q)

Proposición Compuesta en Lenguaje Natural: Ejercicio B

Si el rector de la UNAD es Jaime Alberto leal afanador, entonces en la UNAD se estudia de forma presencial y La

UNAD es una institución de carácter público. Si y solo si en la UNAD no se estudia de forma presencial o la UNAD no

es una institución de carácter público.

Determinación de Valor de Verdad:

p: V q:V r:F

[(p→r)˄q]↔(¬ r ˅¬q)

[(V→F)˄V]↔(V˅F)

[F˄V]↔V

F↔V

Tarea 2: Tablas de Verdad

Ejercicio A:

Si en las mañanas llueve entonces en la tarde hace frio y si en la tarde hace frio entonces en la noche llueve

Expresión en Lenguaje Simbólico o Formal:

A: lenguaje formal

p:en las mañanas llueve

q: en la tarde hace frio

r:en la noche llueve

B:lenguaje Simbólico:

(p→q)˄(q→r)

Tabla de Verdad Manualmente: se aplica la ley 2 elevado ala n

n:3

2e3: 8

Dos Ejemplos de los Desarrollos de Obtención de los Valores en la Tabla de la Verdad

Solución Completa de Tabla de la Verdad:

P Q R (p→q) (q→r) (p→q)˄(q→r)

V V V V V V

V V F V F F

V F V F V F

V F F F V F

F V V V V V

F V F V F F

F F V V V V

F F F V V V

Simulador Truth:
  Que los valores de la tabla de la verdad son idénticos a los del simulador truth. solo que en la tabla del simulador

aparece T= TRUTH = verdad en español

Tarea 3: Problemas de Aplicación.

Ejercicio A:
 [(𝑝⟶𝑞)∧(∼𝑝⟶𝑟)∧(𝑟⟶𝑠)]⟶(∼𝑞⟶𝑠)

DEFINICIONES DE LAS PROPOSICIONES SIMPLES:

P: La unidad #1 se llama lógica proposicional

q: el curso de pensamiento lógico matemático tiene un máximo puntaje de 500 puntos

r:la lógica proposicional utiliza oraciones simples como compuestas

s:los ejercicios deben ser probados en el simulador truth

Lenguaje de Expresión Formal:

Si la unidad #1 se llama lógica proposicional, entonces curso de pensamiento logico matemático tiene un máximo

puntaje de 500 puntos y si La unidad #1 no se llama lógica proposicional ,entonces la lógica proposicional utiliza

oraciones simples como compuestas y si la lógica proposicional utiliza oraciones simples como compuestas, entonces

los ejercicios deben ser probados en el simulador Ruth ,entonces si el curso de pensamiento lógico matemático no tiene

un máximo puntaje de 500 puntos, entonces los ejercicios deben ser probados en el simulador truth.

p q r s ∼𝑝 ~𝑞 (𝑝⟶𝑞) (∼𝑝⟶𝑟) (𝑟⟶𝑠) (∼𝑞⟶𝑠) [(𝑝⟶𝑞)∧(∼𝑝⟶

𝑟)∧(𝑟⟶𝑠)]⟶(∼

𝑞⟶𝑠)

V V V V F F V V V V V

V V V F F F V V F V V

V V F V F F V V V V V

V V F F F F V V V V V

V F V V F V F V V V V

V F V F F V F V F F V

V F F V F V F V V V V

V F F F F V F V V F V

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

F V F V V F V F V V V

F V F F V F V F V V V

F F V V V V V V V V V

F F V F V V V V F F V

F F F V V V V F V V V

F F F F V V V F V F V

Simulador Truth:
 Tarea 1: Proposiciones

Transcribir en el lenguaje natural la expresión formal que se relaciona y determinar el valor de

verdad de la proposición compuesta, a partir del valor de verdad de cada proposición simple

D p: El año 2020 será un año bisiesto

q: En un año bisiesto febrero tiene 29 días r: Los
años bisiestos se dan cada dos años

[(𝒑→𝒒)→𝒓]↔(¬𝒒∨𝒓)

Solución tarea 1:

Lenguaje natural.

El año 2020 sera un año bisiesto entonces febrero tendrá 29 dias en consecuencia que los años
bisiestos se dan cada dos años si y solo si en una año no bisiesto febrero tiene 29 dias o en todo
caso los años bisiestos de dan cada dos años.

Determinación del valor de verd

P:F Q:F R:F

[(𝒑→𝒒)→𝒓]↔(¬𝒒∨𝒓)
[(f→f)→f]↔(v∨f)
[v→f]↔v
f↔v
f
 Tarea 2: Tablas de verdad

Cada estudiante debe seleccionar uno de los ejercicios referenciados y anunciar su escogencia
en el foro, de tal forma que no coincida con los compañeros

D. Si hoy es lunes y pasado mañana es miércoles entonces mañana es martes y mañana no

es jueves.
Expresión lenguaje formal. p: hoy es lunes
q: pasado mañana es miércoles r:
mañana es martes
s: mañana es jueves
(𝒑⋀𝒒) → (r⋀¬s)
Generar la tabla de verdad manualmente y a través del simulador Truth Table.

p q r s (𝒑⋀𝒒) (r⋀¬s) (𝒑⋀𝒒) → (r⋀¬s)

v v v v v f f

v v v f v v v

v v f v v f f
v v f f v f f

v f v v f f v

v f v f f v v

v f f v f f v
v f f f f f v

f v v v f f v

f v v f f v v

f v f v f f v
f v f f f f v

f f v v f f v

f f v f f v v
f f f v f f v

f f f f f f v

Tabla generada desde el simulador Truth Table.

Como podemos observar mediante las dos tablas , se comprueba los resultados obtenidos
manualmente y a través del simulador, los resultados nos dan los mismos verificando así que el
resultado está bueno.
 Tarea 3: Problemas de aplicación

Cada estudiante debe seleccionar uno de los ejercicios referenciados y anunciar su escogencia
en el foro, de tal forma que no coincida con los compañeros.

D. {[𝑝→(𝑞∨𝑟)]∧(𝑠→∼𝑞)∧(𝑡→∼𝑟)∧(𝑝∧𝑡)}→𝑞

Solución tarea 3. Preposiciones

simples: p,q,r,s,t

Lenguaje natural: Si p entonces q y r tambien s entonces no q a la vez t entonces no r aunque p

y t entonces q.

La expresión anterior es de tautología y lo demostraremos en la siguiente tabla.

p Q r s T (𝑞∨𝑟) (𝑠→∼𝑞) (𝑡→∼𝑟 (𝑝∧𝑡 𝑝→(𝑞∨ 𝑝→(𝑞∨𝑟)]∧(𝑠→ (𝑡→∼𝑟)∧(𝑝∧𝑡) {[𝑝→(𝑞∨𝑟)]∧(𝑠

) ) 𝑟) ∼𝑞)
→∼𝑞)∧
(𝑡→∼𝑟)∧(𝑝∧𝑡)}
→q
V V V V V V F F V V F F V
V V V V F V F V F V F F V
V V V F V V V F V V V F V
V V V F F V V V F V V V V
V V F V V V F F V V F F V
V V F V F V F V F V F F V
V V F F V V v F V V V F V
V V F F F V V V F V V V V
V F V V V V F F V V F F V
V F V V F V F V F V F F V
V F V F V V V F V V V F V
V F V F F V V V F V V V V
V F F V V F F F V F V F V
V F F V F F F v F F V F V
V F F F V F V F V F V F V
v F F F F F V V F F V V V
F V V V V V F F F V F F V
F V V V F V F V F V F F V
F V V F V V V F F V V F V
F V V F F V V V F V V F V
F V F V V V F F F V F F V
F V F V F V F V F V F F V
F V F F V V V F F V V F V
F V F F F V V V F V V F V
F F V V V V F F F V F F V
F F V V F V F V F V F F V
F F V F V V V F F V V F V
F F V F F V V V F V V F V
F F F V V F F F F V F F V
F F F V F F f V F V F F V
F F F F V F V F F V V F V
F f F F F F v v f V V F V
 Conclusión

Finalizado este trabajo se ha adquirido un conocimiento nuevo a cerca de los temas de

proposiciones y tablas de la verdad, además se aprendió a utilizar el simulador truth

herramienta digital para determinar con facilidad los valores de cualquier expresión

simbólica .se logró aplicar el conocimiento aprendido en ejemplos de la vida diaria y el

contexto académico, por lo que fue muy fácil determinar si la expresión es tautológica,

contradictoria y contingente. Resumiendo todo en un lección fácil y sencilla de seguir

avanzando en mi proyecto de vida.

 Bibliografía

 Chávez, C. P. (2000). "Lógica Simbólica". En ProQuest (Ed). Compendio de lógica.

(pp. 151- 162). Guadalajara, México: Larousse - Grupo Editorial Patria. disponible en

:http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/re

ader.action?ppg=166&docID=11046000&tm=14897045 94878

 Argoty, L. (2015). Repaso Lógica Matemática. Disponible en

http://erenriquez.net/largoty/Ova01MD/

 González, T. L., & Saavedra, M. (2009). Aciertos matemáticos 11: serie para la

educación media. Bogotá, CO: Educar Editores S.A. Páginas 13 -19 disponible en :

http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/re

ader.action?ppg=14&docID=10345286&tm=149251867 1601

 Castaño, G. (2017). Proposiciones y tablas de verdad, [Video]. Recuperado de

http://hdl.handle.net/10596/13871