Professional Documents
Culture Documents
LA LÓGICA MATEMATICA
PRESENTADO POR:
GRUPO: 200611A_154
SOGAMOSO
2018
Contenido
INTRODUCCIÓN ..................................................................................................................3
OBJETIVOS ..........................................................................................................................4
GENERAL: ........................................................................................................................4
ESPECIFICOS: ..................................................................................................................4
CONCLUSIONES ................................................................................................................ 12
BIBLIOGRAFIA .................................................................................................................. 13
INTRODUCCIÓN
Este trabajo usaré la metodología aprendida durante este proceso formativo para el desarrollo y
capaces de por medio de la estructuración de enunciados, resolver problemas del mundo real y
cotidiano. Dando así cumplimiento a todos los logros propuestos y aplicación de los
GENERAL:
ESPECIFICOS:
C. {[p→(q∨r)]∧(s→∼q)∧(t→∼r)∧(p∧t)}→q
PROPOSICIONES SIMPLES:
P → Estudio en la UNAD.
T → Pierdo el semestre.
LENGUAJE NATURAL:
Estudio en la UNAD, entonces, quiero pasar todos los créditos o tengo que pagar
supletorios y tengo que repetir el semestre, entonces, no quiero pasar todos los créditos y
pierdo el semestre, entonces, no tengo que pagar supletorios y estudio en la UNAD y pierdo
el semestre, entonces, quiero pasar todos los créditos.
Es una Tautología.
(q∨ (s→∼ (t→ (p∧ p→(q p→(q∨r)]∧(s (t→∼r)∧( {[p→(q∨r)]∧(s→∼q)∧(t→∼r)
Q R S T r) q) ∼r) t) ∨r) →∼q) p∧t) ∧(p∧t)}→q
V V V V V V F F V V F F V
V V V V F V F V F V F F V
V V V F V V V F V V V F V
V V V F F V V V F V V V V
V V F V V V F F V V F F V
V V F V F V F V F V F F V
V V F F V V V F V V V F V
V V F F F V V V F V V V V
V F V V V V F F V V F F V
V F V V F V F V F V F F V
V F V F V V V F V V V F V
V F V F F V V V F V V V V
V F F V V F F F V F F F V
V F F V F F F V F F F F V
V F F F V F V F V F V F V
V F F F F F V V F F V V V
F V V V V V F F F V F F V
F V V V F V F V F V F F V
F V V F V V V F F V V F V
F V V F F V V V F V V F V
F V F V V V F F F V F F V
F V F V F V F V F V F F V
F V F F V V V F F V V F V
F V F F F V V V F V V F V
F F V V V V F F F V F F V
F F V V F V F V F V F F V
F F V F V V V F F V V F V
F F V F F V V V F V V F V
F F F V V F F F F V F F V
F F F V F F F V F V F F V
F F F F V F V F F V V F V
F F F F F F V V F V V F V
TAREA 2 – TEORÍA DE CONJUNTOS
A. 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:
SOLUCIÓN:
PREMISAS:
PREMISA 1 p→q V r
PREMISA 2 r→¬p
PREMISA 3 pΛs
CONCLUSIÓN: qΛs
PREMISA 4 s simplificación 3
PREMISA 5 p simplificación 3
q V r Modus Ponendo Ponens
PREMISA 6 1,5
PREMISA 7 ¬ r Modus Tollendo Tollens 2,5
PREMISA 8 q Modus Tollendo Ponens 6,7
PREMISA 9 q Λ s Adjunción 8,4
CONCLUSIONES