Tarea 1: Proposiciones y tablas de verdad

{[(pΛq)→r]Λ(p→q)Λr}→(qVr)

Definición de las proposiciones simples

P: camilo viaja a Cartagena

Q: Carlos viaja a barranquilla

R: juan se queda trabajando

Lenguaje natural de la expresión formal

Si camilo viaja a Cartagena y Carlos viaja a barranquilla entonces juan se queda trabajando. Y si
camilo viaja a Cartagena entonces Carlos viaja a barranquilla y juan se queda trabajando, por lo
tanto Carlos viaja a barranquilla o juan se queda trabajando.

Generar la tabla de verdad manualmente y a través del simulador Truth Table

Tabla de la verdad manual

p→ [(pΛq)→ [(p→q)Λ {[(pΛq)→r]Λ(p→q) {[(pΛq)→r]Λ(p→q)Λr}→(q

p q r pΛq q qVr r] r] Λr} Vr)
v v v v v v v v v v
v v f v v v f f f v
v f v f f v v f f v
v f f f f v v f f v
f v v f v v v v v v
f v f f v f v f f v
f f v f v v v v v v
f f f f v f v f f v

Tabla de la verdad simulador truth

p q r {[(pΛq)→r]Λ(p→q)Λr}→(qVr)
T T T T
T T F T
T F T T
T F F T
F T T T
F T F T
F F T T
F F F T
Comprobar el resultado de la tabla de verdad manual versus simulador Truth Table.

tabla manual simulador truth

{[(pΛq)→r]Λ(p→q)Λr}→(qVr)
{[(pΛq)→r]Λ(p→q)Λr}→(qVr)
v T
v T
v T
v T
v T
v T
v T
v T

Al ver los resultados de la tabla de la verdad podemos definir que es una tautología lógica pues
todos los valores que se obtuvieron son verdaderos

Tarea 2: Teoría de Conjuntos

Una aerolínea desea saber el destino turístico de Colombia con más aceptación entre los viajeros
extranjeros en el año 2017. Por esta razón se ha realizado un análisis a la cantidad de personas
que han viajado a tres ciudades costeras de Colombia y se ha obtenido la siguiente información

 3356 personas viajaron al Amazonas.

 6861 personas viajaron a San Andrés.
 4643 personas viajaron a Medellín.
 1195 personas viajaron en el año 2017 al Amazonas y Medellín.
 778 personas viajaron ese año a Medellín y San Andrés.
 455 personas tuvieron como destino las tres ciudades en el año 2017.
 Ninguna persona manifestó haber viajado solamente a Amazonas y San Andrés.
La aerolínea desea saber:

 ¿Cuántos extranjeros viajaron a un solo destino?

R/2161 + 6083+3125=11369
 ¿Cuántos extranjeros viajaron únicamente a Medellín?
R/3125
 ¿Cuántos extranjeros viajaron al Amazonas o San Andrés, pero no a Medellín?
R/2161+6083=8244
 ¿Cuántas personas se tuvieron en cuenta para el análisis?
R/2161+6083+740+455+323+3125=12887
 Tarea 3: Leyes de Inferencia

Para planificar tu vida económica, debes tener presente cuáles son tus ingresos para poder
tomar decisiones de endeudamiento, por ello se debe tener en cuenta que: “Si trabajo
duro, entonces compro una casa y realizo el mantenimiento del carro. No realizo el
mantenimiento del carro. Si trabajo duro entonces realizo el mantenimiento al carro.
Compro una casa. Por lo tanto compro una casa”.

Generar la tabla de verdad manualmente y a través del simulador Truth Table

~ (p→q)Λ (~ (~ [(p→q)Λ r]v(~ [(p→q)Λ r]Λ(~

p q r r p→q p→r r r)Λ(p→r) r)Λ(p→r)Λq r)Λ(p→r)Λq r)Λ(p→r)→q
v v v f v v v f f v v
v v f v v f f f f f v
v f v f f v f f f f v
v f f v f f f f f f v
f v v f v v v f f v v
f v f v v v f v v v v
f f v f v v v f f v f
f f f v v v f v f f v

p q r (p→q)ΛrV¬rΛ(p→r)Λq→q

T T T T
T T F T
T F T T
T F F T
F T T T
F T F T
F F T F
F F F T
 Comprobar el resultado de la tabla de verdad manual versus simulador Truth Table.

simulador truth tabla manual

(p→q)ΛrV¬rΛ(p→r)Λq→q [(p→q)Λ r]Λ(~ r)Λ(p→r)→q
T v
T v
T v
T v
T v
T v
F f
T v

Aplicación de las reglas de inferencia.

p1 (p→q)Λ r
p2 ~r
p3 p→r
p4 q
c q

p5 qΛp→r adicion en (p4 y p3

p6 ~r MTT (p3 y p2
p7 q simolificasion en (p5)