Documentos de Académico
Documentos de Profesional
Documentos de Cultura
GRUPO: 200611_407
PRESENTADO A:
YERSSON DAVID MOSQUERA
TUTOR
TEMA:
TEORIA DE CONJUNTOS
PRESENTADO POR:
DILIA MOSQUERA MOSQUERA
1151434730
Expresión simbólica:
[(𝑝 → 𝑞)⋀(𝑞 → 𝑟)⋀(𝑝⋀𝑠)] → (𝑟)
Premisas:
P1: 𝑝 → 𝑞
P2: 𝑞 → 𝑟
P3: 𝑝⋀𝑠
v v v v v
v v v f v
v v f v v
v v f f v
v f v v v
v f v f v
v f f v v
v f f f v
f v v v v
f v v f v
f v f v v
f v f f v
f f v v v
f f v f v
f f f v v
f f f f v
Premisa 1
p q p→q
v v v
v f f
f v v
f f v
Premisa 2
q r q→r
v v v
v f f
f v v
f f v
Premisa 3
p s P ∧S
v v v
v f f
f v v
f f v
Referencias bibliográficas