Paso 2 Proposiciones y Tablas de Verdad

YENNY FERNANDA SOLER

COD: 1049633378

Julio 2018.

Universidad Nacional Abierta y a Distancia UNAD

Psicología Semestre II.
Pensamiento Lógico Matemático
Grupo 200611_141
 INTRODUCCION

La lógica matemática consiste en el estudio matemático con respecto al razonamiento y en la aplicación de este
estudio a otras áreas de las matemáticas, en esta actividad se presentara una solución grupal completa y oportuna
de los ejercicios propuestos, donde se tendrá en cuenta la participación de los compañeros.

La metodología basada en el aprendizaje significativo facilita al estudiante obtener una mejor interpretación de
los conceptos basadas en el aprendizaje pedagógico obteniendo el fortalecimiento lógico matemático.

Para iniciar el curso de pensamiento lógico y matemático es verdaderamente crucial tener en claro definiciones de
proposiciones y sus clases; además sabernos desenvolver en los distintos lenguajes y así mismo operaciones de los
enunciados que se componen de esas proposiciones y por último acertar en la construcción de las tablas de verdad
para definir el valor de verdad de estos enunciados.
 OBJETIVOS

Objetivos Generales

 Interpretar y conjugar expresiones del lenguaje simbólico y del lenguaje natural en la

formulación y representación del pensamiento lógico.

Objetivos Específicos

 Representar la relación de proposiciones mediante el uso de tablas de verdad.

 Conocer y diferenciar el lenguaje simbólico y el lenguaje natural.

 Determinar los valores de verdad en proposiciones.

 Desarrollo de la actividad

Actividad No. 1-Enunciado A

a. 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)

RTA: El departamento de la guajira tiene acceso al océano atlántico Y NO el departamento del choco tiene
acceso al océano pacifico ENTONCES Colombia NO tiene acceso a dos océanos.

EL valor de verdad de cada una de las proposiciones simples es:

p: V q: V r: V
(p ∧ ¬q) → (¬r)
(V ∧ ¬V) → (¬V)
(F) → (F)
(F)

Actividad No. 2-Enunciado B

Si la contaminación ambiental no se combateylos ríos siguen recibiendo residuos tóxicos, entoncesla

calidad del medio ambiente será cada día peor. Los ríos no están recibiendo residuos tóxicos. Por lo

tanto, la contaminación ambiental se está combatiendo.

p: La contaminación ambiental se combate

q: Los ríos siguen recibiendo residuos tóxicos

r: La calidad del medio ambiente será cada día peor

 {[(¬𝒑∧𝒒) → 𝒓]∧ (¬ 𝒒)}→𝒑

p q r ¬ ¬ (¬𝒑∧𝒒) (¬𝒑∧𝒒) → 𝒓 {[(¬𝒑∧𝒒) → 𝒓]∧ (¬ 𝒒)} {[(¬𝒑∧𝒒) → 𝒓]∧ (¬ 𝒒)}→𝒑

p q
V V V F F F V F V
V V F F F F V F V
 V F V F V F V V V
V F F F V F V V V
F V V V F V V F V
F V F V F V F F V
F F V V V F V V F
F F F V V F V V F

Comprobación Turh Table

CONTINGENCIA: Se entiende por verdad contingente, o verdad de hecho, aquella proposición que puede ser
verdadera o falsa, según los valores de las proposiciones que la integran.
 Actividad No. 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.

E. {(pΛq)Λ(rVs)Λ(q→s)}→(r→p)q)Λq)Λ(rVs)Λ(q→s)}→(r→p)(rVs)Λq)Λ(rVs)Λ(q→s)}→(r→p)(q→s)}→(r→p)

La solución de los enunciados debe contar con las siguientes etapas:

 Definición de las proposiciones simples

P= Es tutor
Q= Es estudiante
R= Maneja los cursos
S= Pertenece a un grupo colaborativo

 Lenguaje natural de la expresión formal

Si es tutoe y estudiante, y maneja los curos o pertenece a un grupo colaborativo, y si es estudiante

entonces pertenece a un grupo colaborativo. Entonces si maneja los cursos entonces es tutor.

 Generar la tabla de verdad manualmente y a través del simulador TruthTable.

p q r s pΛq)Λ(rVs)Λ(q→s)}→(r→p)q) rVs) q→s r→ pΛq)Λ(rVs)Λ(q→s)}→(r→p)q)Λq)Λ(rVs)Λ(q→s)}→(r→p)(rVs) {(pΛq)Λ(rVs)Λ(q→s)}→(r→p)q)Λq)Λ(rVs)Λ(q→s)}→(r→p)(rVs)Λq)Λ(rVs)Λ(q→s)}→(r→p)(q→s) {(pΛq)Λ(rVs)Λ(q→s)}→(r→p)q)Λq)Λ(rVs)Λ(q→s)}→(r→p)(rVs)Λq)Λ(rVs)Λ(q→s)}→(r→p)(q→s)}→(r→p)

p
V V V V V V V V V V V
V V V F V V F V V F V
V V F V V V V V V F V
V V F F V F F V F F V
V F V V F V V V F F V
V F V F F V V V F F V
V F F V F V V V F F V
V F F F F F V V F F V
F V V V F V V F F F V
F V V F F V F F F F V
F V F V F V V V F F V
F V F F F F F V F F V
F F V V F V V F F F V
F F V F F V V F F F V
F F F V F V V V F F V
F F F F F F V V F F V

 Comprobar el resultado de la tabla de verdad manual versus simulador TruthTable.

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

El resultado de la tabla nos da una Tautología puesto que todas al premisas nos dan verdadero.
 CONCLUSIONES

 La lógica matemática ayuda a desarrollar los procesos de pensamiento, encontrando sentido a lo

que normalmente se realiza en la vida cotidiana de una persona.

 la lógica ofrece métodos que enseñan cómo elaborar proposiciones, y de esta forma evaluar su
valor de verdad, además de analizar si las conclusiones se han deducido correctamente a partir
de las proposiciones dadas.

 Las proposiciones se clasifican es en simples o atómicas y compuestas o moleculares.

 Las proposiciones compuestas son aquellas que tienen dos o más proposiciones simples unidas
por los operadores lógicos.

 El número de filas en una tabla de verdad se obtiene de la fórmula 2 elevado a la (n) donde (n)
es el número de proposiciones.

 Las formas proposicionales resultado de la construcción de la tabla de verdad son tautología,

contradicción y contingencia.
 BIBLIOGRAFIA

 Acevedo G, G. (2012). Módulo de Lógica Matemática. Unidad. Escuela de Ciencias Básicas

Tecnología e Ingeniería. Universidad Nacional Abierta y aDistancia. Medellín.

 Universidad Nacional Abierta y a Distancia. Escuela de Ciencias Básicas Tecnología e

Ingeniería. Curso de Lógica Matemática. (2014_1), Guía de actividades 6 Trabajo colaborativo
1.

 Villalpando, B. J. F. (2000). "Fundamentos de la Lógica Matemática y Cálculo Proposicional".

En ProQuest (Ed). Matemáticas discretas: aplicaciones y ejercicios de aplicación. (pp. 19 - 29).
Guadalajara, México: Larousse - Grupo Editorial Patria. Recuperado
de http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?
docID=11013570&ppg=30

 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. Recuperado
de http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?
ppg=166&docID=11046000&tm=1489704594878

 Gonzáles, 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 Recuperado
de:http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?
ppg=14&docID=10345286&tm=1492518671601

 Moscote, H. (2016) Aplicación de las tablas de verdad en el álgebra de proposiciones.

Recuperado de http://hdl.handle.net/10596/7961