Ejercicio 1: Aplicación de la Teoría de Conjuntos

D) Se realizó una encuesta los estudiantes de Pensamiento Lógico Matemático, a acerca

de sus preferencias en el uso de las redes sociales y se obtuvieron los siguientes resultados
 60 prefieren Facebook,
 25 prefieren twitter,
 10 prefieren Instagram,
 2 prefieren las tres redes sociales,
 10 prefieren solo Facebook y twitter simultáneamente,
 2 prefieren sólo Instagram y Facebook simultáneamente
 4 prefieren sólo twitter y Instagram simultáneamente,
 4 no tiene preferencia por ninguna red social

Para el desarrollo de este ejercicio voy a utilizar un diagrama de Venn Eluer y través
de este grafico organizo en tres conjuntos daremos la explicación
 A partir de la situación planteada dar respuesta las siguientes preguntas:

 ¿Cuántos estudiantes prefieren únicamente Instagram?

2. estudiantes prefieren únicamente Instagram
 ¿Cuántos estudiantes prefieren únicamente twitter?
9. estudiantes prefieren únicamente Twitter
 ¿Cuántos estudiantes prefieren Instagram y Facebook?
2. estudiantes prefieren Instagram y Facebook únicamente
 ¿Cuántos estudiantes fueron encuestados?
79. Estudiantes fueron encuestados.

A partir de la expresión simbólica seleccionada, el estudiante deberá:

Definir las proposiciones simples, tendrá la libertad de definirla bajo una descripción
basada en un contexto, el que se solicita es un contexto académico

D)
Expresión simbólica:

[(p → q) ∧ (q→r) ∧ (¬r)] → (¬p )

Premisas

P1: p ⟶ q

P2: q ⟶ r

P3: ¬ r

Conclusión: ¬ p

p: estudia para el examen

q: obtiene buenas notas

r : va a cine
•Razonamiento en lenguaje natural

Si Juan estudia para el examen de matemáticas, entonces obtiene buenas notas, y Su hermana

lo invita a cine a ver la película preferida, entonces Juan estudia para el examen y no va a cine

entonces no es cierto que vio la película preferida.

 Generar la tabla de verdad manualmente:

p q r ¬p ¬r p→ q q → r (p → q ) ∧ (q→r) [(p → q ) ∧ (q→r)∧ (¬r) [(p → q ) ∧ (q→r)∧ (¬r)] → ( ¬p )

v v v f f v v v f v
v v f f v v f f f v
v f v f f f v f f v
v f f f v f v f f v
f v v v f v v v f v
f v f v v v f f f v
f f v v f v v v f v
f f f v v v v v v v
 Tabla de verdad con el simulador Lógica UNAD

[(p → q ) ∧ (q→r)∧ (¬r)] → ( ¬p)

Leyes de inferencia:

 Demostración de la validez del argumento mediante las leyes de la inferencia lógica

 Premisas:
 P1: p ⟶ q
 P2:( q ⟶ r )
 P3: ( ¬r )
 P4: ( ¬ p )
 P5: ( ¬ p )
 C: ¬ p

SH P2 CON P3
 P2:( q ⟶ r )
 P3:( ¬r )
 P6:( ¬ p )

MTP P1 Y P4
 P1:( p ⟶ q )
 P4: ( ¬ p )
P7:¬ p

MPP P6 Y P7
 P6: ( ¬ p )
 P7 :¬ p
 P8:¬ p
Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y computación.
(pp.78-99).Ediciones Elizcom, Madrid. Recuperado.de
https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?
ppg=81&docID=3199701&tm=1529336485971