Lenguaje natural

La UNAD ofrece oportunidades de estudios la UNAD es la mejor mega Unversidad virttual de

colombia. La unad ofrece educacion virtual de alta calidad

Lenguaje simbolio

(~p→q)∧r

Tabla manual

p q r (~p→q)∧r
v v v V

v v f F

v f v V

v f f F

f v v V

f v f F

f f v F

f f f F

Tabla en el simulador
 La Escuela de ciencias Básicas Tecnologías e Ingenierías ECBTI de la UNAD realizó como
evento disciplinar unas Olimpiadas Matemáticas Virtuales. El Líder Nacional de la Escuela
le ha informado al decano Nacional de Escuela como fue la premiación, el primer lugar
recibirá un computador portátil, el segundo lugar recibirá una Tablet y el tercer lugar
recibirá una colección de libros de matemáticas Schaun; para dicho fin el líder Nacional
hizo el siguiente razonamiento: “Si Ximena se ganó el computador entonces Johan recibió
la Tablet o Ricardo fue quien recibió la Tablet. Si Ximena fue quien recibió la Tablet,
entonces Ximena no obtuvo como premio el computador. Si Carlos fue quien recibió la
Tablet entonces Ricardo no fue quien recibió la Tablet. Ximena se ganó el computador. Por
lo tanto, Carlos no fue quien recibió la Tablet.
Leguaje natural

“Si Ximena se ganó el computador entonces Johan recibió la Tablet o Ricardo fue quien
recibió la Tablet. Si Ximena fue quien recibió la Tablet, entonces Ximena no obtuvo como
premio el computador. Si Carlos fue quien recibió la Tablet entonces Ricardo no fue quien
recibió la Tablet. Ximena se ganó el computador. Por lo tanto, Carlos no fue quien recibió
la Tablet.
X: Ximena se ganó el computador
j : Johan recibió la Tablet
r : Ricardo recibió la Tablet
y : Ximena recibió la Tablet
c : Carlos recibió la Tablet
lenguaje simbólico

{[x→ ( j ˅ r )] ˄(y→~x) ˄ (c →~r) ˄ x }→~c

x j r y c ( j ∨ [x→(j ˅ ~x (y→~x ~r (c [x→(j ˅ r )] ~ c {[x→(j ˅
r) r )] ) →~r) ˄(y→~x) ˄ (c r )]
→~r) ˄ x ˄(y→~x)
˄ (c
→~r) ˄ x
}→~c

v v v v v v v f f f f f f v
v v v v f v v f f f v f v v
v v v f v v v f v f f f f v
v v v f f v v f v f v v v v
v v f v v v v f f v v f f v
v v f v f v v f f v v f v v
v v f f v v v f v v v v f f
v v f f f v v f v v v v v v
v f v v v v v f f f f f f v
v f v v f v v f f f v f v v
v f v f v v v f v f f f f v
v f v f f v v f v f v v v v
v f f v v f f f f v v f f v
v f f v f f f f f v v f v v
v f f f V f f f v v v f f v
v f f f f f f f v v v f v v
f v v v v v v v v f f f f v
f v v v f v v v v f v f v v
f v v f v v v v v f f f f v
f v v f f v v v v f v f v v
f v f v v v v v v v v f f v
f v f v f v v v v v v f v v
f v f f v v v v v v v f f v
f v f f f v v v v v v f v v
f f v v v v v v v f f f f v
f f v v f v v v v f v f v v
f f v f v v v v v f f f f v
f f v f f v v v v f v f v v
f f f v v f v v v v v f f v
f f f v f f v v v v v f v v
f f f f v f v v v v v f f v
f f f f f f f v v v v f v v