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

Tablas de Verdad
Ejercicio 2: Proposiciones y Tablas de Verdad
Enunciado:
Tengo moto y no tengo licencia, y los policías me paran. Entonces me
harán una multa.

 Proposiciones Simples:

p = Tengo moto

q = tengo Licencia

r = Los policías me paran

s = Me harán una multa.

 Lenguaje Simbólico:

[( P ^ ̴q ) ^ r ]→ s

 Tabla de la verdad:
 P q r s ̴ q ( P ^ ̴q ) (P^ q
̴ )^r (P^ q
̴ )^r→s
V V V V F F F V
V V V F F F F V
V V F V F F F V
V V F F F F F V
V F V V V V V V
V F V F V V V F
V F F V V V F V
V F F F V V F V
F V V V F F F V
F V V F F F F V
F V F V F F F V
F V F F F F F V
F F V V V F F V
F F V F V F F V
F F F V V F F V
F F F F V F F V

Simulador Truth Table:

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