Tarea 1: Proposiciones y tablas de verdad

a. {[p→(qΛr)]Λ¬rΛ(p→r)Λq}→q

 Lenguaje natural de la expresión formal

Si Tamara gana el próximo examen, entonces aprueba matemáticas y el viernes se va de fiesta. Y

si el viernes no se va de fiesta y gana el próximo examen, entonces el viernes se va de fiesta y
aprueba matemáticas. Por lo tanto Tamara aprueba matemáticas.

 Definición de las proposiciones simples

p: Tamara gana el próximo examen

q: aprueba matemáticas
r: el viernes se va de fiesta
  Generar la tabla de verdad manualmente y a través del simulador Truth Table.

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

v v f v f f f f v v v
v v v f v v v v v v v
v f f v f f f f v v v
v f v f f f v v v v v
f v f v f f v v v v v
f v v f v f v v v v v
f f f v f f v v v v v
f f v f f f v v v v v

 Comprobar el resultado de la tabla de verdad manual versus simulador Truth

Table

El resultado en la tabla de verdad manual y el simulador Truth dan verdadero por lo

tanto se demuestran los argumentos.

 Definir si el argumento es una Tautología, contradicción o contingencia

Todos los resultados son verdaderos por lo tanto los argumentos han dado Tautología.
Tarea 2: Teoría de Conjuntos

A. Al realizar una encuesta a 156 docentes de la UNAD sobre la base de datos más utilizada
para consultar se obtiene los siguientes resultados: A 52 docentes les gusta utilizar e-libro;
a 63 les gusta utilizar ebooks; a 87 les gusta utilizar proquest. Algunos de los docentes
coinciden en que les gusta utilizar más de una base de datos: 26 utilizan e-libro y ebooks;
37 ebooks y proquest; 23 utilizan e-libro y proquest, por último 7 docentes manifestaron
que les gusta las tres bases de datos.
 ¿Cuántos docentes utilizan otra base de datos que no fue nombrada en la encuesta?
 ¿Cuántos docentes utilizan solamente proquest?
 ¿Cuántos docentes utilizan solamente e-libro?
 e = 26 – 7 =
19
g= 37- 7 = 30
f= 23 – 7 = 16
 b = 52- 19-
7- 16 = 10
c= 63 – 19 –
30 -7 = 7
d= 87 – 30- 7 – 16 = 34
i= 156- 10- 19-7-30-16-7-34= 33

 ¿Cuántos docentes utilizan otra base de datos que no fue nombrada en la

encuesta?
Rta= 33
i= 156- 10- 19-7-30-16-7-34= 33

 ¿Cuántos docentes utilizan solamente proquest?

Rta= 87
30+34+7+16= 87
 ¿Cuántos docentes utilizan solamente e-libro?
Rta= 52
10+19+7+16= 52
 1. A los niños en edad escolar se les debe enseñar la importancia de cumplir con sus deberes en el
colegio, por tal razón una psicóloga infantil le recomienda a un chico lo siguiente: “Si estudias a
diario, tendrás tiempo para divertirte en el parque. Te va bien en las materias o no tendrás tiempo
para divertirte en el parque. Si haces trampa en las tareas, entonces no te va bien en las materias.
Por lo tanto, si estudias a diario, entonces no haces trampa en las tareas”.

Si estudias a diario, tendrás tiempo para divertirte en el parque. Te va bien en las materias o no
tendrás tiempo para divertirte en el parque. Si haces trampa en las tareas, entonces no te va bien
en las materias. Por lo tanto, si estudias a diario, entonces no haces trampa en las tareas.

p: estudias a diario
q: tiempo para divertirte en el parque
r: Te va bien en las materias
s: haces trampa en las tareas

 Declaración de premisas.

Premisa 1: Si estudias a diario, tendrás tiempo para divertirte en el parque.

(p→q)

Premisa 2: Te va bien en las materias o no tendrás tiempo para divertirte en el parque.

(r ∨¬q )

Premisa 3: Si haces trampa en las tareas, entonces no te va bien en las materias.

(s→¬r)

Premisa 4: Si estudias a diario, entonces no haces trampa en las tareas.

(p→¬s)
  Uniendo las premisas y la conclusión.

(p→q)Ʌ(r ∨¬q )Ʌ (s→¬r)→(p→¬s)

(p>q)&(r + ~q )& (s> ~r)>(p>~s)

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

p q r s ¬q ¬r ¬s (p→q) (r ∨¬q ) (p→q)Ʌ(r ∨¬q ) (s→¬r) (p→¬s) (s→¬r)→(p→¬s) (p→q)Ʌ(r ∨¬q )Ʌ (s→¬r)→(p→¬s)

v v v v f f f v v v f f v v
v v v f f f v v v v v v v v
v v f v f v f v f f v f f v
v v f f f v v v f f v v 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 v v v v
v f f v v v f f v f v f f v
v f f f v v v f v f v v v v
f v v v f f f v v v f v v v
f v v f f f v v v v v v v v
f v f v f v f v f f v v v v
f v f f f v v v f f v v v v
f f v v v f f v v v f v v v
f f v f v f v v v v v v v v
f f f v v v f v v v v v v v
f f f f v v v v v v v v v v
(p→q)Ʌ(r ∨¬q )Ʌ (s→¬r)→(p→¬s)

1: (p→q) Premisa
2: (r ∨¬q ) Premisa
3: (s→¬r) Premisa
:. (p→¬s)

4. (¬p→¬q)
5.
-</p>

TIQUETES: 806701-806702-706703-806704-806705-806706-806707- 806708-806709-806710-806711-806712-

806713-806714-806715-806716-806717-806718-806719-806720-806721-806722-806723-806724-806725-806726-
806727-806728-806729-806730-806731-806732-806733-806734-806735-806736-806737-806738

TIQUETES: 831374-831375-831376-831377-831378-831379-831380- 831381-831382-

831383-831384-831385-831386-831687-831388- 831389- 831390-831391-831392-
831393-831394-831395-831396-831397-831398- 831399-831400-831401-831402-
831403-831404-831405-831406-831407-831408-831409-831410-831411-831412-
831413-831414-831415-831416-831417-831418-831419-831420-831421-831422-
831423-831424-831425