1

Pensamiento Lógico y Matemático

Pao 2: Proposiciones y Tablas de Verdad

Rosa Angelica Fuentes Gelvis

cc.1.091.534.721

Docente:

Mireya Gómez Argote

Tutor

Grupo

200611_4

11/03/2018
 2

INTRODUCCION

Este es un trabajo realizado lógica proporcional, álgebra de proposiciones, tautologías y

contradicciones y contingencias, proposiciones categóricas. Manejando las tablas de verdad para
realizar los ejercicios que a continuación se encontraran. Donde encontrara tarea 1 de
proposiciones, tarea 2 las tablas de verdad, la tarea 3 problemas de aplicación.

OBJETIVOS

 Realizar adecuadamente los ejercicios

 Tomar lectura de la guía para así cumplir con lo solicitado
 Manejar adecuadamente las tablas de verdad
 3

Actividades

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

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
[(𝒑→𝒒)→𝒓]↔(¬𝒒∨𝒓)

Proposición compuesta en lenguaje Natural :

El año 2020 será un año bisiesto, y en un año bisiesto febrero tiene 29 días. Si y solo sí los años
bisiestos no se dan cada dos años, si no cada cuatro años.

Determinación del valor de verdad

P= V q= V r=F

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

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

V↔F

Tarea 2: Tablas de verdad

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

 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.
 4

P= Enero tiene 31 días

q= febrero 28 días

r=marzo tiene 31 días

X= abril no tiene 31 días

(p ⋀ q) → ( r ⋀ ¬ x )

Tabla de verdad

p q r x ¬x (p⋀q) (r ⋀ ¬x) (p ⋀ q) → ( r ⋀ ¬ x )
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
SIMULADOR Truth
 5

Tarea 3: Problemas de aplicación

Yo estudio matemáticas pero si este mes voy a trabajar, si solo si entonces este mes no moriré de
hambre y podré estudiar.

P= yo estudio matemáticas

q= voy a trabajar

r= moriré de hambre

s= estudiar

B. {(𝑝⟶𝑞)∧(𝑟⟶𝑠)∧[(𝑞∧𝑠)⟶𝑡]∧(𝑝∧𝑟)}⟶𝑡

P:V q : F r: V S:v

V ∧V∧V

V
 6

TABLA DE VERDAD

p q r s ¬p ¬q 𝑝⟶ ∼𝑝⟶ 𝑟⟶𝑠 ∼𝑞⟶ {(𝑝⟶𝑞)∧(𝑟⟶𝑠)∧[(𝑞∧𝑠)⟶𝑡 {(𝑝⟶𝑞)∧(𝑟⟶𝑠)∧[(𝑞∧𝑠)⟶𝑡]∧(𝑝

𝑞 𝑟 𝑠
]∧(𝑝∧𝑟)}⟶𝑡 ∧𝑟)}⟶𝑡

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

CONCLUSIONES
 7

Este es un ejercicio que es de mucha concentración y cuidado, ya que debemos estar atentos a los
materiales disponibles para la solución de esta actividad. Me costó mucho trabajo realizarlos pero
tomando los apuntes necesarios, creo que logre unos buenos ejercicios

REFERENCIAS BIBLIOGRÁFICAS TENIENDO EN CUENTA LAS NORMAS APA

http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.acti
on?docID=11013570&ppg=30

http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.acti
on?ppg=166&docID=11046000&tm=1489704594878
.

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

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

http://turner.faculty.swau.edu/mathematics/materialslibrary/tru
th/