ACTIVIDAD 2

PENSAMIENTO LÓGICO Y MATEMÁTICO PASO 2 – PROPOSICIONES

Y TABLAS DE VERDAD

LOGICA MATEMATICA 90004A_473

TUTOR
JAIRO LUIS GUTIERREZ

YAIR FERNANDO CHAVES MONTENGRO

80246572

UNIVERSIDAD NACIONAL ABIERTA Y ADISTANCIA- UNAD

BOGOTA
20 JULIO 2018
 OBJETIVOS

Relaciona e interpreta expresiones del lenguaje simbólico y del lenguaje natural en la

formulación y representación de estructuras semánticas lógicas, en términos de variables
y conectores lógicos, como elementos estructurales de la lógica proposicional y de esta
manera articular a diferentes formas de comunicación en diversos contextos, como
también comprende y aplica de manera suficiente nociones, conceptos, definiciones,
axiomas y leyes que fundamentan la teoría general de conjuntos en el estudio y análisis
de las fuentes documentales referenciadas para dinamizar el proceso de aprendizaje y en
situaciones específicas donde es pertinente su aplicabilidad en una metodología basada
en problemas.
INTRODUCCION

En el desarrollo de esta actividad trabajaremos las leyes lógicas, lógica

proposicional, enunciados, conectores; esto con el fin de fortalecer el pensamiento
analítico y crítico, fortalezas que serán indispensable en la formación universitaria.
 OBJETIVOS

Desarrollar el espíritu investigativo, y consultas en las herramientas de

formación los métodos para desarrollas las actividades propuestas en el curso.

Ser más sociable e interactuar con los compañeros del grupo el desarrollo de
las actividades
Actividades a desarrollar

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:
A. p: El estadio del Deportivo Cali se llama “Palmaseca”
q: Un equipo de futbol lo componen 12 jugadores

( ⋀ )↔(¬ ∨¬ )
A: Un estadio del deportivo Cali se llama Palmaseca y un equipo de futbol lo
componen 12 jugadores. Si y solo si el estadio del deportivo Cali no se llama
Palmaseca o un equipo de futbol no lo componen 12 jugadores.

B. 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

[( → )∧ ]↔(¬ ∨¬ )
B: El rector de la UNAD es Jaime Alberto Leal entonces 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.
C. p: Falcao García fue el mejor jugador de Colombia en la copa
mundial de Brasil 2014
q: Colombia llegó a la semifinal de la copa mundial de
Brasil 2014

¬( ⋀ ) ↔ (¬ ∨ )
Proposición compuesta en lenguaje Natural:
Falcao García no fue el mejor jugador de Colombia en la copa mundial de Brasil
2014y Colombia no llegó a la semifinal de la copa mundial de Brasil 2014, si y
solo si Falcao García no fue el mejor jugador de Colombia en la copa mundial de
Brasil 2014 o Colombia llegó a la semifinal de la copa mundial de Brasil 2014.

Determinación del valor de verdad:

p: f q: f

¬( ⋀ ) ↔ (¬ ∨ )

¬( )↔( ∨ )
¬( ) ↔ ( )
↔

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

[( → )→ ]↔(¬ ∨ )
D: El año 2020 será un año bisiesto entonces en un año bisiesto febrero tiene 29
días. Por esto los años bisiestos se dan cada dos años. Si y solo si, en un año
bisiesto febrero no tiene 29 días. O los años bisiestos se dan cada dos años.
 E. p: en la UNAD hay 5 periodos académicos anualmente
q: La UNAD tiene 3 periodos de 8 semanas cada uno

( ∧¬ ) →(¬ )

E: en la UNAD hay 5 periodos académicos anualmente y la UNAD no tiene 3

periodo de 8 semanas cada uno. Entonces en la UNAD no hay 5 periodos
académicos anualmente.

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

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
P: en las mañanas llueve
Q: en la tarde hace frio
R: en la noche llueve

(P->Q) ⋀ (Q->R)
TIPO DE ARGUMENTO CONTINGENCIA

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
B. El sol es redondo y la luna es un satélite si y solo si la tierra hace parte
de la vía láctea.

P: El sol es redondo
Q: luna es un satélite
R: La tierra hace parte de la via láctea
(P ⋀Q) <->R
TIPO DE ARGUMENTO CONTINGENCIA

P Q R P^Q (P ⋀Q)<->R
V V V V V
V V F V F
V F V F F
V F F F V
F V V F F
F V F F V
F F V F F
F F F F V
C. Si tengo una moto y no tengo licencia; y los policías me paran entonces me
harán una multa
P: tengo una moto
Q: tengo licencia
R: los policías me paran
T: Me multan
[(P ⋀ ~Q) ⋀ R] -> T
TIPO DE ARGUMENTO CONTINGENCIA

P Q R T P ⋀ ~Q [(P ⋀ ~Q) ⋀ R] [(P ⋀ ~Q) ⋀ R] -> T

V V V V F F F
V V V F F F V
V V F V F F F
V V F F F F V
V F V V V V V
V F V F V V V
V F F V V F F
V F F F V F V
F V V V V V V
F V V F V V V
F V F V V F F
F V F F V F V
F F V V F F F
F F V F F f V
 F F F V F F
F f F f F V

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

martes y mañana no es jueves
P: hoy es lunes
Q: Pasado mañana es miércoles
R: mañana es martes
T: Mañana es jueves
(P ⋀ Q) -> ( R ⋀ ~T)
TIPO DE ARGUMENTO CONTINGENCIA

p Q R t (p^q) (r^~t) (p^q)->(r^~t)

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 V 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
E. Si enero tiene 31 días y febrero 28 días entonces marzo tiene 31 días y abril
no tiene 31 días.

P: Enero tiene 31 días

Q: Febrero tiene 28 dias
R: Marzo tiene 31 dias
T: Abril tiene 31 dias
(P ⋀ Q) -> (R ⋀ ~T)
TIPO DE ARGUMENTO CONTINGENCIA

p q r t ~t P ^q r ^ ~t (P ^ q) -> ( r ^ ~t)

V V V V F V F F

V V V F V V V V

V V F V F V F F

V V F F V V F F

V F V V F F F V

V F V F V F V V

V F F V F F F V

V F F F V F F V

F V V V F F F V

F V V F V F V V

F V F V F F F V

F V F F V F F V

F F V V F F F V

F F V F V F V V

F F F V F F F V

F F F F V F F V
La solución de los enunciados debe contar con las siguientes etapas:
Expresión en lenguaje simbólico o formal.
Generar la tabla de verdad manualmente y a través del

simulador Truth Table.

Comprobar el resultado de la tabla de verdad manual versus

simulador Truth Table.

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.

A. [()∧(∼ )∧()] (∼ )

p: La matemática es un arte
q: La matemática es fácil de aprender
r: La matemática es una ciencia
s: la matemática hay que estudiarla

Si la matemática es un arte entonces es fácil de aprender y si la matemática no es un arte

entonces es una ciencia y si la matemática es una ciencia entonces hay que estudiarla,
entonces la matemática no es fácil de aprender entonces hay que estudiarla.

Tabla de verdad manual Simulador

p q r s [()∧(∼ )∧()] (∼ )
V V V V V
V V V F V
V V F V V
V V F F V
V F V V V
V F V F V
V F F V V
V F F F V
F V V V V
F V V F V
F V F V V
F V F F V
F F V V V
F F V F V
F F F V V
F F F F V
 La tabla de esta condición es una tautología ya que todos sul

valores resultantes son verdaderos (V).

B. {() ∧ () ∧[( ∧ ) ]∧( ∧ )}

Proposición compuesta en lenguaje formal:

Definición de las proposiciones simples
p: Estudiaré en la UNAD
q: estudiar Ingeniería electrónica
r: aprobare todas las materias
s: Seré ingeniero
t: cumpliré mis metas

Lenguaje natural de la expresión formal:

Si estudió en la UNAD entonces estudiaré Ing. Electrónica y aprobaré
todas las materias entonces seré ingeniero y si estudio Ing. electrónica
y seré ingeniero entonces cumpliré mis metas y estudiaré en la UNAD y
aprobare las materias s estarán satisfechos y si el gato duerme y la
nevera está vacía entonces cumpliré mis metas.
 C. [() ∧ ( V ) ∧ (r t) ∧(~q) ∧(u t) ∧(s p)]
Si estudio en la universidad UNAD entonces seré un profesional; y estudiaré
administración de empresas o ingeniería electrónica; y por lo que estudiaré
ingeniería electrónica entonces alcanzare mis metas propuestas y si no
estudio no seré profesional, y estudiando con dedicación; entonces alcanzaré
mis metas propuestas y si estudio administración de empresas entonces
estudio en la UNAD; entonces alcanzare mis metas propuestas.
p: Si estudio en la UNAD
q: Seré un profesional
r: Estudiaré ingeniería electrónica
s: Administración de empresas
t: Alcanzaré mis metas propuestas
¬u: No seré profesional
u: Estudiando con dedicación

P1: ()
P2: ( V )
P3: ( t)
P4: (~q)
P5: (u t)
P6: (s p)
P7: (s q) S.H. (p1,p7)
P8: (s q) ∧ ( t) Adición (P3,P7)
P9: (q t) DC (P8,P2)
P10: t S.D
∴t
La expresión es Tautología

P q r s t u [() ∧ ( V ) ∧ (r t) ∧(~q) ∧(u t) ∧(s p)]

T T T T T T T
T T T T T F T
T T T T F T T
T T T T F F T
T T T F T T T
T T T F T F T
T T T F F T T
T T T F F F T
T T F T T T T
T T F T T F T
T T F T F T T
T T F T F F T
T T F F T T T
T T F F T F T
T T F F F T T
T T F F F F T
T F T T T T T
T F T T T F T
T F T T F T T
T F T T F F T
T F T F T T T
T F T F T F T
T F T F F T T
T F T F F F T
T F F T T T T
T F F T T F T
T F F T F T T
T F F T F F T
T F F F T T T
T F F F T F T
T F F F F T T
F F F F F F T
F T T T T T T
F T T T T F T
F T T T F T T
F T T T F F T
F T T F T T T
F T T F T F T
F T T F F T T
F T T F F F T
F T F T T T T
F T F T T F T
F T F T F T T
F T F T F F T
F T F F T T T
F T F F T F T
F T F F F T T
F T F F F F T
F F T T T T T
F F T T T F T
F F T T F T T
F F T T F F T
F F T F T T T
F F T F T F T
F F T F F T T
F F T F F F T
F F F T T T T
F F F T T F T
F F F T F T T
F F F T F F T
F F F F T T T
F F F F T F T
F F F F F T T
D. {[ →( ∨ )]∧( →∼ )∧( →∼ )∧( ∧ )}→

Definición de las proposiciones simples

p:Estudiaré en la UNAD
q:estudiar Ingeniería industrial
r:me graduare de ingeniero
s:estaré con mi familia
t:seré feliz

Lenguaje natural de la expresión formal:

Si estudió en la UNAD si entonces estudiaré Ing. industrial y me graduare de ingeniero y
seré feliz entonces no me graduare de ingeniero y estudiaré en la UNAD y sere feliz
TIPO DE ARGUMENTO CONTINGENCIA
 Contingencia

E. [[( → ) ∧( → )]∧[( ∧ )→ ] ∧( ∧ )] →

Desde su rol como estudiante, tendrá la libertad de definir las proposiciones

simples bajo una descripción basada en el contexto académico,
remplazandolas variables expresadas simbólicamente para llevarlas al lenguaje
natural.

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

Definición de las proposiciones simples

Lenguaje natural de la expresión formal

Generar la tabla de verdad manualmente y a través del simulador Truth Table.

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

 Referencias bibliográficas

 Gutiérrez, J. (2016). Tutoría Unidad 2 Curso 90004. [Archivo

de video]. Recuperado de http://hdl.handle.net/10596/6559

 Gutiérrez, W. (2016). Validez de un argumento. [Archivo de

video]. Recuperado de http://hdl.handle.net/10596/6543

 Castaño, C. (2016). Razonamientos Lógicos. [Archivo de

video]. Recuperado de http://hdl.handle.net/10596/6548

 Rodríguez, H. (2017). Leyes de inferencia (Validación de
argumentos). [Archivo de video]. Recuperado
de http://hdl.handle.net/10596/11486

 Chávez, C. P. (2000). Compendio de lógica. : Larousse -

Grupo Editorial Patria. Páginas 163-166. Recuperado
dehttp://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.
action?ppg=178&docID=11046000&tm=1492520104862

 Pérez, A. R. (2013). Una introducción a las matemáticas

discretas y teoría de grafos. Córdoba, AR: El Cid Editor.
Páginas 40-49 Recuperado
dehttp://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.
action?ppg=59&docID=10732485&tm=1492520387992

 Garcia, G. Y. L. (2010). Introducción al cálculo diferencial.

México: Instituto Politécnico Nacional. Argumentos y reglas de
inferencia. Páginas 183 - 192. Recuperado
dehttp://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.
action?ppg=196&docID=10378216&tm=1492520562843

 Arredondo, C. J., & Escobar, V. G. (2015). Lógica: temas

básicos. Distrito Federal, MÉXICO: Grupo Editorial Patria.
Páginas 80- 84 Recuperado
de http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader
.action?ppg=91&docID=11230887&tm=1496180214861

 https://youtu.be/nVfZ6u9hoFc