El segundo momento de la Fase Grupal consiste en entregar un documento en PDF, en el cual,

como grupo realicen el planteamiento y la solucin del siguiente problema de Lgica

Proposicional:
Si Andrs estudia Economa, entonces participar en la convocatoria de una beca para
especializacin. Pero, no participar en la convocatoria, si reprob el curso de Fundamentos de
Administracin y no aprob el curso de Finanzas. Si Andrs no reprob el curso de Fundamentos
de Administracin o aprob el curso de Finanzas, entonces participar en la convocatoria de una
beca para especializacin. Por lo tanto, participar en la convocatoria si y solo si evidencia un
promedio de 4,3 en todos sus estudios.
Solucin
Declaracin de las proposiciones simples
p: Andrs estudia economa
q: Andrs participar en una convocatoria de una beca para especializacin
r: reprobar el curso de Fundamentos de Administracin
s: aprobar el curso de Finanzas
t: evidencia un promedio de 4,3 en todos sus estudios
Declaracin de las proposiciones compuestas (lenguaje natural)
Si Andrs estudia Economa, entonces participar en la convocatoria de una beca para
especializacin. Pero, no participar en la convocatoria, si reprob el curso de Fundamentos de
Administracin y no aprob el curso de Finanzas. Si Andrs no reprob el curso de Fundamentos
de Administracin o aprob el curso de Finanzas, entonces participar en la convocatoria de una
beca para especializacin. Por lo tanto, participar en la convocatoria si y solo si evidencia un
promedio de 4,3 en todos sus estudios.
Declaracin de las proposiciones compuestas (leguaje formal)
[(pq) (q r v s) ( r v sq)]qt

Tabla de Verdad
p

V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F

V
V
V
V
V
V
V
V
F
F
F
F
F
F
F
F
V
V
V
V
V
V
V
V
F
F
F
F
F
F
F
F

V
V
V
V
F
F
F
F
V
V
V
V
F
F
F
F
V
V
V
V
F
F
F
F
V
V
V
V
F
F
F
F

V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F
V
V
V
V

pq

V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F

V
V
V
V
V
V
V
V
F
F
F
F
F
F
F
F
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V

qr
vs

V
V
V
V
V
V
F
F
V
V
F
F
V
V
F
F
V
V
V
V
V
V
F
F
V
V
F
F
V
V
V
V

rvs
q

[(pq) (q r v
s) ( r v
sq)]qt

V
V
V
F
V
V
V
V
V
V
F
F
V
V
V
V
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F

V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
F
V
V
F
V
F

Corresponde a una contingencia por presentar valores verdaderos y falsos.

Pantallazo de la validacin de la tabla de verdad en el simulador TRUTH