Tarea 1: Proposiciones y tablas de Verdad

C. {[p→(q∨r)]∧(s→∼q)∧(t→∼r)∧(p∧t)}→q
La solución de los enunciados debe contar con las siguientes etapas:
 Definición de las proposiciones simples

 Lenguaje natural de la expresión formal

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

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

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

Solución.

P
Q
R Proposiciones
S simples
T

Lenguaje natural: si p y r también S entonces no q a la vez t entonces no r aunque p y t

entonces q:

La expresión es una tautología, se le realizara la demostración.

p q r s t (qvr) (s⟶¬q) (t⟶¬r) (p^t) p⟶ (qvr) [p⟶(qvr)] ^(s⟶¬

V V V V V V V F V V F

V V V V F V V V F V F

V V V F V V F F V V V

V V V F F V F V F V V

V V F V V V V F V V F

V V F V F V V V F V F

V V F F V V F F V V V

V V F F F V F V F V V

V F V V V V V F V V F

V F V V F V V V F V F

V F V F V V F F V V V

V F V F F V F V F V V

V F F V V F V F V F V

V F F V F F V V F F V

V F F F V F F F V F V

F F F F F F F V f f V

F V V V V V V F f V F

F V V V F V V V f V F

F V V F V V F F f V V

F V V F F V F V f V V

F V F V V V V F f V F

F V F V F V V V f V F

F V F F V V F F f V V

F V F F F V F V f V V

F F V V V V V F f V F
F F V V F V V V f V F

F F V F V V F F f V V

F F V F F V F V f V V

F F F V V F V F f V F

F F F V F F V V f V F

F F F F V F F F f V V

F F F F F F F V f V V
Tarea 2: Teoría de Conjuntos
C. El ICFES está realizando un análisis a los últimos resultados de las pruebas
saber 11 en el municipio de Palmira. Para la muestra se tienen 3332
estudiantes que presentaron la prueba, el análisis consiste en saber la cantidad
de estudiantes que estuvieron en un nivel muy superior en la prueba, se tienen
los siguientes datos:

 1446 estudiantes, obtuvieron calificación muy superior en Matemáticas y

Química.
 1082 estudiantes, obtuvieron calificación muy superior en Historia y Química.
 1080 no obtuvieron calificación muy superior en Matemáticas
 1128 obtuvieron calificación muy superior en Química, pero no en Historia.
 239 estudiantes no obtuvieron calificación muy superior en las áreas analizadas.
 574 estudiantes obtuvieron calificación muy superior en Historia, pero no en
Matemática
 246 obtuvieron muy superior solo en Matemáticas
Se desea saber:
a) ¿Cuántos estudiantes obtuvieron calificación muy superior sólo en Historia y
Matemáticas? 
246+2=248 estudiantes

b) ¿Cuántos estudiantes obtuvieron calificación muy superior en las trés áreas?

218+1446+508+2+248+246+X+239=3332
2907+X=3332
X=3332-2907 X=425
c) ¿Cuántos estudiantes obtuvieron calificación muy superior solamente en Historia? 
1082-1080= Solo 2 estudiantes
d) ¿Cuántos estudiantes en total obtuvieron calificación muy superior en Química?
1446+425+1080 = 2951 estudiantes
 Q M

218 1446 246

425

508 248

239
2

H
 Tarea 3: Leyes de Inferencia

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

 Comprobar el resultado de la tabla de verdad manual versus simulador Truth Table.
 Aplicación de las reglas de inferencia.

La consejera académica de la UDR Cali, está realizando un acompañamiento a un

estudiante del programa de ingeniería industrial, ella le quiere hacer entender que es
muy importante ser responsable para obtener buenas calificaciones, por eso le da el
siguiente consejo: “Si Carlos repasa el contenido del curso, entonces estará preparado
para el examen o Carlos se va de fiesta. Si Carlos se va de fiesta, entonces no repasa el
contenido del curso. Ocurre que Carlos repasa el contenido del curso y llegará con los
temas aprendidos. Por consiguiente, Carlos está preparado para el examen y llegará
con los temas aprendidos”.

Solución

Proposiciones Simples:
p: Si Carlos repasa el contenido del curso
q: estará preparado para el examen
r: Carlos se va de fiesta
s: llegará con los temas aprendidos
PREMISAS
1. Si Carlos repasa el contenido del curso, entonces estará preparado para el examen o Carlos se va de
fiesta
2. Si Carlos se va de fiesta, entonces no repasa el contenido del curso
 3. Carlos repasa el contenido del curso y llegará con los temas aprendidos
C. Carlos está preparado para el examen y llegará con los temas aprendidos”
LENGUAJE SIMBÓLICOP 1:
P1: p → (qvr)
P 2:r→ ̚ p
P 3: p Λ s
C: q Λ s
[p → ( q V r )]Λ (r→ ̚ p)Λ (pΛs)→ (qΛs)]
 Tabla de verdad

q R s ~p (qvr) r→ ̚ p p pΛs p → (qvr) p → ( q V r )]Λ (r→ ̚ p) p → ( q V r )]Λ

V V V F V F V V v F F

V V F F V F V F V F F

V F V F V V V V V V V

V F F F V V V F V V F

F V V F V F V V V F F

F V F F V F V F V F F

F F V F F V V V F F F

F F F F F V V F F F F

V V V V V V f F V V F

V V F V V V F F V V F

V F V V V V F F V V F

V F F V V V F F V V F

F V V V V V F F V V F

F V F V V V F F V V F

F F V V F V F F V V F

F F f v F V F F V V F
 SOLUCIÓN POR REGLAS DE INFERENCIA
[ p→ (q V r)]Λ (r→ ̚ p)Λ (pΛs)→ (qΛs)
P 1: p → ( q V r ) C: q Λ s
P 2: r→ ̚ p
P 3: p Λ s
P 4: pΛ ̚ r Método contra recíproco en 2P 5: p→ (q V r)Λ ̚ r Conjunción en 1 y 4
P 6: p → (q Λ r)
Ley de Absorción en 5
P 7: p Se asume como verdadero antecedente en 1
P 8: q Λ r
Modus Ponendo Ponens en 7 y 6
P 9: q Simplificación en 8
P 10: s Simplificación en 3
P 11: q Λ s Adjunción en 9 y 10
 BIBLIOGRAFIA

 https://es.wikipedia.org/wiki/Modus_tollendo_tollens
 https://youtu.be/KOQcYAJ1R-o
 https://youtu.be/sYZ2cNN2Qig
 https://youtu.be/n00R0Z5dc08
 https://youtu.be/7L_sC0onpXw
 https://youtu.be/APdgmZo-gbQ
 https://revolutionblogg.wordpress.com/2012/12/19/logica-proposicional-tablas-
de-verdad-e-inferencias/
 https://definicion.de/razonamiento-inductivo/