Tarea 1: Usar Tablas de Verdad para determinar la veracidad de una

expresión proposicional

Ana Lucia Suarez Monroy.

Mayo de 2019.

UNAD.
Santander.
Pensamiento Lógico Matemático
Introduccion:

Este trabajo es realizado para poder ver las diferentes formas de

expresión de las proposiciones y tablas de verdad entre estas podemos
ver de igual manera los cuantificadores y utilizaremos el simulador de
tablas para una mejor comprensión de los ejercicios que vamos a realizar.

Objetivos:

1- Lograr una mejor comprensión con relación a los diferentes tipos de

cuantificadores en especial haremos énfasis en el cuantificador
Universal negativo, en el que se darán ejemplos para poder tener
un conocimiento más completo.
2- Realización de ejercicios en los que veremos la manera en que
podemos expresarlos y argumentarlos por medio de las tablas de
verdad y además utilizaremos la herramienta de la UNAD en
relación al simulador para la realización de las tablas de verdad.
3- Veremos los problemas de aplicación donde se seleccionará uno de
estos y se elaborará la respectiva representación y elaboración de
tabla de verdad y el argumento al que pertenece el ejercicio
escogido
Ejercicio 2: Proposiciones y Tablas de verdad

A. Si Laura chatea en su celular y conduce por la autopista entonces

Laura tiene una alta probabilidad de accidentarse o Laura puede
dañar su automóvil.
Definición simple:
P: Laura chatea en su celular
q: conduce por la autopista
r: tiene una alta probabilidad de accidentarse
s: puede dañar su automóvil

p ∧ q→r ∨ s
Tabla de verdad
p q p∧q r o r∨s p∧q → r ∨ s

V V V V V V V

V F F V F V V

F V F F V V V

F F F F F F F
 El argumento es contingencia.

B. Aprender matemáticas desarrolla el razonamiento lógico si y solo si

se posee una buena comprensión lectora y buena ortografía
Definición simple:
P: aprender matemáticas desarrolla el razonamiento lógico
q: poseer buena comprensión lectora
r: buena ortografía

Lenguaje simbólico
p (q^r)
 Tabla de verdad:
P q (p^r) p (q^r)
v v v v
v v f f
v f f f
v f f f
f v v f
f v f v
f f f v
f f f v

El resultado de la tabla es contingencia.

C. Pereira es el nombre de una ciudad o Pereira es un apellido,
entonces Pereira es un sustantivo.

 P: Pereira es nombre de ciudad

 A: Pereira es un es un apellido
 S: Pereira Es un sustantivo.

 a composición total en lenguaje de formal es:

P v A -----> S

 Adjunto en la parte inferior la tabla de la verdad:

El resultado de la tabla es contingencia

D. Juan juega básquet por hobby o practica tenis de forma profesional.

Si practica tenis de forma profesional entonces juega por más de
tres horas diarias y quema muchas calorías
p: Juan juega básquet por hobby

q: practica tenis de forma profesional

r: juega por más de tres horas diarias

s: quema muchas calorías

Lenguaje natural de la exposición formal

(p v q): Juan juega básquet por hobby o practica tenis de forma

profesional.
q→r ∧ s: Si practica tenis de forma profesional entonces juega por
más de tres horas diarias y quema muchas calorías

Generar Tabla de la Verdad.

p q
(p v q)
V V V
V F V
F V V
F F F
q r s q→r q→r∧ s

V V V V V

V V F V F

V F F F F

F V V V V

F F V V V

F F F V F
El resultado de la tabla es contingencia

E. Si Lina consume alimentos balanceados y practica ejercicio

regularmente, entonces goza de buena salud. Si Lina no practica
ejercicio regularmente o se dedica a otras actividades, no gozará
de buena salud

p: Lina consume alimentos balanceados

q: practica ejercicio regularmente

r: goza de buena salud

s: se dedica a otras actividades

Lenguaje natural de la exposición formal

p ∧ q→r: Si Lina consume alimentos balanceados y practica ejercicio

regularmente, entonces goza de buena salud.

¬q ∨s→¬r: Si Lina no practica ejercicio regularmente o se dedica a

otras actividades, no gozará de buena salud.

[(p ∧ q→r] ∧ [ ¬q ∨s→¬r]

El argumento es contingencia.
Ejercicio 3: Problemas de aplicación

A continuación, encontrará proposiciones compuestas en lenguaje

simbólico (argumento) para el desarrollo del ejercicio 3:

A. [(𝑝⟶𝑞) ∧ (∼𝑝⟶𝑟)]⟶(∼𝑝⟶𝑟)

B. {(𝑝⟶𝑞) ∧ (𝑟⟶𝑝)}⟶(𝑝⟶𝑞)

C. [(𝑝⟶𝑞) ∧ (∼𝑞) ∧ (𝑟⟶𝑞)]⟶𝑟

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

E. [[(𝑝→𝑞) ∧ [(𝑞∧𝑟)→𝑝] ∧ 𝑟]→ 𝑝

Proposición Compuesta seleccionada:

Proposición Compuesta seleccionada:

B. {(𝑝⟶𝑞) ∧ (𝑟⟶𝑝)} ⟶ (𝑝⟶𝑞)

A partir de la proposición compuesta en lenguaje simbólico que haya

seleccionado deberá:

a) Definir las proposiciones simples, tendrá la libertad de definirla bajo

una descripción basada en un contexto, el que se solicita es un contexto

académico.

Solución: Las proposiciones simples son:

p: aprendo lo necesario

q: mi desempeño será excelente

r: todos los requisitos son satisfactorios

b) Remplazar las variables expresadas simbólicamente y llevarlas al

lenguaje natural. Las proposiciones simples deben ser de autoría de

cada estudiante.

Solución:

Lenguaje Simbólico:

{(𝑝⟶𝑞) ∧ (𝑟⟶ 𝑝)} ⟶ (𝑝⟶𝑞)

Lenguaje Natural:

si aprendo lo necesario, seré uno de los mejores, mi desempeño será

excelente y cumpliré todos lo requisitos exigidos.

Solución:

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

T T T T
T T F T
T F T T
T F F T
F T T T
F T F T
F F T T
F F F T

La expresión es tautologia
 {(𝑝⟶𝑞) ∧ {(𝑝⟶𝑞) ∧
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
Conclusiones:

Podemos concluir con la elaboración del anterior trabajo que las

proposiciones y tablas de verdad nos dan la certeza y la negación en
referencia a los diferentes planteamientos que cada uno de nosotros nos
hacemos en nuestra vida cotidiana.
También podemos ver de manera visual y representativa la manera en
que podemos presentar una proposición y las diferentes formas que
existen de argumentarlas siendo estas de tres maneras como son
Tautologia-Contradiccion y Contingencia.

Referencias Bibliográficas:

 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.
 Cardona, T. S. A. (2010). Lógica matemática para ingeniería de
sistemas y computación. (pp. 9-28). Ediciones Elizcom, Madrid.