Ejercicio 1 Aplicación de la teoría de conjuntos

Se realizó una encuesta a 37 jóvenes respecto a sus preferencias deportivas, encontrándose la

siguiente información

 A 2 de ellos les apasiona el fútbol, la natación y el ciclismo

 En total 5 de ellos les gusta el futbol y la natación
 En total a 7 de ellos les gusta la natación y el ciclismo
 Un total de 6 jóvenes manifestaron su gusto por el futbol y el ciclismo
 Solo 8 se apasionaron por el futbol
 Solo 6 practican la natación
 A 9 de ellos solo les gusta el ciclismo
 En total a 17 les gusta el futbol
 En total a 16 les gusta la natación

F
N F = Fútbol
8 3 6

2 N = Natación
4 5
C = Ciclismo
9
C

A partir de la situación planteada dar respuesta a las siguientes preguntas:

¿A cuántos jóvenes solo les gusta de manera simultánea el futbol y la natación?

(F U N) = 5 A 5 jóvenes solo les gusta de manera simultánea el futbol y la natación

¿A cuántos jóvenes solo les gusta de manera simultánea el futbol y el ciclismo?

(F U C) = 6 A 6 jóvenes solo les gusta de manera simultánea el futbol y el ciclismo

¿A cuántos jóvenes solo les gusta de manera simultánea la natación y el ciclismo?

(N U C) = 7 A 6 jóvenes solo les gusta de manera simultánea la natación y el ciclismo

¿En total a cuantos jóvenes les gusta el ciclismo?

C = 20 A 20 jóvenes les gusta el ciclismo
Ejercicio 2 Métodos para probar la validez de un argumento
Expresión simbólica {[(p→ q) V r] ∧ (r → ~p) ∧ (p ∧ s)} →(q ∧ s )

Premisas:
P1: (p→ q) V r p: Los estudiantes deben aprobar todas las asignaturas
P2 (r → ~p) q: Los estudiantes de ingeniería deben aprobar matemáticas
P3 (p ∧ s) r: Economía es una asignatura de ciencias sociales
Conclusión: (q ∧ s ) s: Carlos se graduará de Ingeniero

Los estudiantes deben aprobar todas las asignaturas entonces los estudiantes de ingeniería deben
aprobar matemáticas y economía es una asignatura de ciencias sociales, y como economía es una
asignatura de ciencias sociales entonces los estudiantes de ingeniería no deben aprobar esta asignatura
para graduarse, y los estudiantes deben aprobar todas las asignaturas y Carlos es estudiante de
ingeniería.
Conclusión: Los estudiantes de ingeniería deben aprobar matemáticas y Carlos se graduará de
Ingeniero
p ~p q r s (p→ q) (p→ q) V r (r → ~p) {[(p→ q) V r] ∧ (r → ~p) (p ∧ s)
V F V V V V V F F V
V F F F F F F V F F
F V V V V V V V V F
F V F F F V V V V F
V F V V F V V F F V
V F F V V F V F F F
F V V F F V V V V F
F V F F V V V V V F

{[(p→ q) V r] ∧ (r → ~p) ∧ (p ∧ s)} (q ∧ s ) {[(p→ q) V r] ∧ (r → ~p) ∧ (p ∧ s)} →(q ∧ s )

F V V
F F V
F V V
F F V
F F V
F F V
F F V
F F V

1. (p→ q) V r P1
2. r → ~p P2
3. p ∧ s P3
4. (q ∧ s ) Conclusión
5. q TP 3,4 modus tollendo ponens,
6. ¬ p TT 2,5 modus tollendo tollens,
7. ¬ r TT 1,6 modus tollendo tollens,