Professional Documents
Culture Documents
C.C. N. 1.105.672.632
CURSO 200611_826
Tutor:
MARZO 2018
INTRODUCCION:
OBJETIVO GENERAL:
OBJETIVOS ESPECIFICOS:
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:
EJERCICIO SELECCIONADO: C
¬(𝒑⋀𝒒)↔(¬𝒑∨𝒒)
𝒒) ↔ (¬P ∨ Q)
(V ∧ V) ↔ (V ∨ F)
V↔V
V
P. tengo moto
Q. tengo licencia
R. los policías me paran
p q r s [(pΛ ¬ q)Λr]→s
T T T T T
T T T F T
T T F T T
T T F F T
T F T T T
T F T F F
T F F T T
T F F F T
F T T T T
F T T F T
F T F T T
F T F F T
F F T T T
F F T F T
F F F T T
F F F F T
EJERCICIO SELECCIONADO:
B. {(𝑝⟶𝑞)∧(𝑟⟶𝑠)∧[(𝑞∧𝑠)⟶𝑡]∧(𝑝∧𝑟)}⟶𝑡
Definición de las proposiciones simples
P: Si voy a viajar
Q: me toca coger transporte
R. si está lloviendo
S. me demorare más tiempo
T. tengo que madrugar
TABLA MANUAL:
(𝑝⟶𝑞 (𝑝∧𝑟 {(𝑝⟶𝑞)∧(𝑟 {(𝑝⟶𝑞)∧(
(𝑝⟶ )∧(𝑟 ) ⟶𝑠)∧[(𝑞∧𝑠 𝑟⟶𝑠)∧[(𝑞
(𝑝 𝑞)∧( ⟶𝑠)∧ )⟶𝑡]∧(𝑝∧𝑟 ∧𝑠)⟶𝑡]∧(
⟶ 𝑟⟶𝑠 (𝑞∧𝑠 (𝑞∧𝑠) [(𝑞∧𝑠) )} 𝑝∧𝑟)}⟶𝑡
P Q R S T 𝑞) (𝑟⟶𝑠) ) ) ⟶𝑡 ⟶𝑡]
V V V V V V V V V V V V V V
V V V V F V V V V F F V F V
v V V F V V F F F V F V F V
v V V F F V F F F V F V F V
v V F V V V V V V V V F F V
v V F V F V V V V F F F F V
v V F F V V V V F V V F F V
v V F F F v V V F V V F F V
v F V V V F V F F V F V F V
v F V V F F V F F V F V F V
v F V F V F F F F V F V F V
v F V F F F F F F V F V F V
v F F V V F V F F V F F F V
v F F V F F V F F V F F F V
v F F F V F V F F V F F F V
v F F F F F V F F V F F F V
f V V V V V V V V V V F F V
f V V V F V V V V F F F F V
f V V F V V F F F V F F F V
f V V F F V F F F V F F F V
f V F V V V V V V V V F F V
f V F V F V V V V F F F F V
f V F F V V V V F V V F F V
f V F F F V V V F V V F F V
f F V V V V V V F V V F F V
f F V V F V V V F V V F F V
f F V F V V F F F V F F F V
f F V F F V F F F V F F F V
f F F V V V V V F V V F F V
f F F V F V V V F V V F F V
f F F F V V V V F V V F F V
f F F F F V V V F V V F F v
TABLA GENERADA CON EL SIMULADOR TRUTH TABLE
p q r s t {(p→q)Λ(r→s)Λ[(qΛs)→t]Λ(pΛr)}→t
T T T T T T
T T T T F T
T T T F T T
T T T F F T
T T F T T T
T T F T F T
T T F F T T
T T F F F T
T F T T T T
T F T T F T
T F T F T T
T F T F F T
T F F T T T
T F F T F T
T F F F T T
T F F F F T
F T T T T T
F T T T F T
F T T F T T
F T T F F T
F T F T T T
F T F T F T
F T F F T T
F T F F F T
F F T T T T
F F T T F T
F F T F T T
F F T F F T
F F F T T T
F F F T F T
F F F F T T
F F F F F T
Expresión es una tautología