Anexo -1-Ejemplos para el desarrollo Tarea 1 - Proposiciones y

Tablas de Verdad
Apreciados estudiantes.
A continuación usted podrá consultar los ejemplos para el desarrollo de
la tarea 1:

Ejemplos de desarrollo de los ejercicios de la tarea 1:

Ejercicio 2: Proposiciones y Tablas de Verdad

Proposiciones simples:

p: El estadio del Deportes Tolima se llama “Manuel Murillo Toro”

q: Un equipo de futbol lo componen 12 jugadores

(𝒑⋀𝒒)↔(¬𝒑∨¬𝒒)

Proposición compuesta en lenguaje natural:

El estadio del Deportes Tolima se llama “Manuel Murillo Toro” y Un

equipo de futbol lo componen 12 jugadores, si y solamente si El
estadio del Deportes Tolima NO se llama “Manuel Murillo Toro” o Un
equipo de futbol NO lo componen 12 jugadores.
Valor de verdad proposiciones simples:

𝒑: V

𝒒: F

Valor de verdad proposición compuesta:

(𝒑⋀𝒒)↔(¬𝒑∨¬𝒒)
(V⋀ F) ↔(F ∨ V)
(F) ↔ (V)
F

Ejercicio 3: Problemas de aplicación

 Expresión formal o simbólica (dada en el planteamiento del

ejercicio):

[(𝑝⟶𝑞)∧(∼𝑝⟶𝑟)∧(𝑟⟶𝑠)]⟶(∼𝑞⟶𝑠)

 Definición de las proposiciones simples

p: participo en los CIPAS

q: participo en los B-learning

r: debo obtener buenas calificaciones

s: apruebo el curso de pensamiento Lógico y Matemático

 Lenguaje natural de la expresión formal

Si participo en los CIPAS entonces participo en los B-learning. Si no

participo en los CIPAS, debo obtener buenas calificaciones. Si obtengo
buenas calificaciones, apruebo el curso de Pensamiento Lógico y
Matemático. Por lo tanto, si no participo en los B-learning, apruebo el
curso de pensamiento Lógico y Matemático.

 Generar la tabla de verdad manualmente

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 F F V
F V F V V F V F V V F V
F V F F V F V F V F 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
  Generar la tabla de verdad con el simulador Truth Table

El argumento es una Tautología