Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
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
Solución.
P
Q
R Proposiciones
S simples
T
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:
425
508 248
239
2
H
Tarea 3: Leyes de Inferencia
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
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/