Documente Academic
Documente Profesional
Documente Cultură
a. El programa Ser Pilo Paga est dirigido a los mejores bachilleres del pas, con menores
recursos econmicos para que accedan a Instituciones de Educacin Superior acreditadas
en alta calidad. El secretario de educacin en determinado municipio ha informado al
alcalde como fue la premiacin, de acuerdo a los resultados obtenidos en la prueba Saber
11, el primer lugar recibir una beca completa 100% para ingresar en la universidad que
desee, el segundo lugar recibir una beca que cubre el 50% de los costos acadmicos en
la universidad que desee y el tercer lugar recibir un porttil ltima generacin; para dicho
fin el secretario hizo el siguiente razonamiento: Si Gabriela gan la beca del 100%
entonces Juan recibi la beca del 50% o Daniela fue quien recibi la beca del 50%. Si
Daniela fue quien recibi la beca del 50%, entonces Gabriela no obtuvo como premio la
beca del 100%. Si Pedro fue quien gan la beca del 50% entonces Daniela no fue quien
recibi la beca del 50%. Gabriela se gan la beca del 100%. Por lo tanto, Pedro no fue
quien recibi la beca del 50%.
P Q R S P(QV R~ S~ {[P(QVR)^(R~P)^(S~R)^P]
R) P R ~S}
V V V V F F F V
V V V F F F V V
V V F V V V V F
V V F F V V V V
V F V V V F F V
V F V F V F V V
V F F V F V V V
V F F F F V V V
F V V V V V F F
F V V F V V V V
F V F V V V V F
F V F F V V V V
F F V V V V F F
F F V F V V V V
F F F V V V V F
F F F F V V V V
Uso de reglas de inferencia:
P(QvR)
R~P
S~R
P
~S
1. P(QvR)
2. R~P
3. S~R
4. P
5. QvR Modus ponens de 1
6. R Simplificacion disyuntiva de 5
7. R~S Modus Tollens de 3
8. ~S Modus Ponens de 7
a. [( ) ( ) ( )] ( )
EN LENGUAJE NATURAL:
Si obtengo buenos resultados en el semestre, mi promedio acadmico sube.
Si mis notas son malas, pierdo la beca. Obtengo buenos resultados o mis
notas son malas. Por lo tanto aumento mi promedio acadmico o pierdo la
beca.
P Q R S PQ R Pv {[PQ)^(RS)^(PvR)]Qv
S R S}
V V V V V V V V
V V V F V F V V
V V F V V V V F
V V F F V V V V
V F V V F V V V
V F V F F F V V
V F F V F V V V
V F F F F V V V
F V V V V V V F
F V V F V F V V
F V F V V V F V
F V F F V V F V
F F V V V V V V
F F V F V F V V
F F F V V V F V
F F F F V V F V
BIBLIOGRAFIA
Acevedo, G. (10 de Febrero de 2008). Logica Matematica. Modulo logica
Matematica Segunda Edicion. Bogot, Bogot, Colombia: Universidad
Nacional Abierta y a Distancia - UNAD.
Wikipedia. (S.F.). Wikipedia. Obtenido de Wikipedia:
https://es.wikipedia.org/wiki/Silogismo_hipot%C3%A9tico
Wikipedia. (S.F.). Wikipedia. Obtenido de Wikipedia:
https://es.wikipedia.org/wiki/Modus_ponendo_ponens#Enlaces_externos