PENSAMIENTO LOGICO Y MATEMATICO

PASO 2: PROPOSICIONES Y TABLAS DE VERDAD

UNIVERSIDAD ABIERTA Y ADISTANCIA

CEAD TUNJA

MARZO DE 2018
 INTRODUCCIÓN
El siguiente trabajo que contiene respecto a lo que son proposiciones, simples y compuestas
nos resulta de amplio conocimiento, estudio para poder entender de gran manera este tema,
aprenderemos también lo que son las tablas de verdad que vienen en relación con las
proposiciones, ya que nos ayudaran a definir si son verdaderas o falsas.

El contenido detallado de buena información nos ayudara a entender el tema, que en si no

resulta tan difícil sino más bien un poco extenso eso en sus tablas de verdad información
que verán a continuación.
 OBJETIVOS
Como primordial objetivo tenemos
*El desarrollo y buen entendimiento del tema a tratar

*Estudiar los contenidos que complementan el aprendizaje

*Practicar con las composiciones para entender
*Fortalecer con investigación para entender por completo el tema
*Aplicar todo lo aprendido en los ejercicios para su buen desarrollo
 DESARROLLO TAREA 1

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

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

LENGUAJE NATURAL

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

p: V q: V r: F

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

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

[(F) ∧ V] ↔ V

F↔V

F
 DESARROLLO TAREA 2

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 r: la tierra hace parte de la vía láctea.

q: la luna es un satélite

(𝑝 ∧ 𝑞) ↔ 𝑟

TABLA DE VERDAD

p q r P∧q r (P ∧ q) ↔r
V V V V V V
V V F V F F
V F V F V F
V F F F F V
F V V F V F
F V F F F V
F F V F V F
F F F F F V

SIMULADOR TRUTH TABLE

p q r pΛq↔r

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

COMPROBACION

Al observar las tablas tanto manual como generada por truht table son compatibles