Académique Documents
Professionnel Documents
Culture Documents
a. {[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
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
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.
(r ∨¬q )
(s→¬r)
(p→¬s)
Uniendo las premisas y la conclusión.
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>