Documentos de Académico
Documentos de Profesional
Documentos de Cultura
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
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→ ∧(𝑝∧𝑟)} 𝑟⟶𝑠)∧[(𝑞
(p (q q)∧( ∧𝑠)⟶𝑡]∧(
→q → q→r 𝑝∧𝑟)}⟶𝑡
¬ ¬ ¬ ¬ ) r) )
P Q R S T r s t p
V V V V V F F F F V V V V V
V V V V F F F V F V V V F V
v V V F V F V F F V V V F V
v V V F F F V V F V V V F V
v V F V V V F F F V F F F V
v V F V F V F V F V F F F V
v V F F V V V F F V F F F V
v V F F F V V V F V F F F V
v F V V V F F F F F V F F V
v F V V F F F V F F V F F V
v F V F V F V F F F V F F V
v F V F F F V V F F V F F V
v F F V V V F F F F V F F V
v F F V F V F V F F V F F V
v F F F V V V F F F V F F V
v F F F F V V V F F V F F V
f V V V V F F F V V V V F V
f V V V F F F V V V V V F V
f V V F V F V F V V V V F V
f V V F F F V V V V V V F V
f V F V V V F F V V F F F V
f V F V F V F V V V F F F V
f V F F V V V F V V F F F V
f V F F F V V V V V F F F V
f F V V V F F F V V V V F V
f F V V F F F V V V V V F V
f F V F V F V F V V V V F V
f F V F F F V V V V V V F V
f F F V V V F F V V V V F V
f F F V F V F V V V V V F V
f F F F V V V F V V V V F V
f F F F F V V V V V V V F v
Truth Table
[(p→q)Λ(q→r)Λ(sV¬ r)Λ(¬ sVt)Λ(¬ t)]→¬
p q r s t
p
Expresión es una tautología