Taller 2: Ponderacion 10 % de la nota total de la materia. Marcar clara y completamente esta hoja y entregarla tambien.

Nombre completo. Numero de documento y firma 1:Nombre completo. Numero de documento y firma 2:Nombre completo. Numero de documento y firma 3:

Resolver en hojas blancas escritas por un solo lado y numeradas, ejemplo si son 4 hojas deben estar numeradas as: 1/4,2/4, 3/4 y 4/4.

Recuerden que este taller mas que una herramienta evaluativa, es una herramienta pedagogica para detectar dificultadesy superarlas a tiempo con la ayuda de companeros y el acompanamiento del profesor, entonces la invitacion es hacer elejercicio a conciencia y as prepararan muy bien evaluaciones venideras.

1 Traducir a un espanol claro y sencillo las siguientes tres sentencias cuantificadas (predicados) teniendo en cuenta lasfunciones proposicionales S y C y su significado e interpretacion en el universo y conjuntos implcitamente descritos.

* S(x, y) : x estudia y

* C(x) : x es estudiante universitario

a) y(C(y) S(y,Medicina))b) xy(C(x) S(x, y))c) ab(C(b) S(b, a))

2 Diga los valores de verdad los anteriores tres predicados explicando paso a paso las operaciones logicas hechas y teniendo encuenta los posibles valores para x y y: x {Juan,Carlos,Miguel} y y {Ingeniera,Medicina}. Los tres son estudiantesuniversitarios, Juan estudia medicina, Carlos estudia Ingeniera y Miguel estudia artes. Muestre paso a paso como seencuentra el valor de verdad de cada uno de los tres predicados del punto anterior.

3 Usando las funciones proposicionales del primer punto, expresar usando lenguaje matematico una sentencia cuantificadapara cada una de las siguientes frases en espanol.

a) Juan y mara estudian medicina, y existe al menos otro estudiante que estudia medicina e ingeniera que no es niJuan ni Mara.

b) Todos los estudiantes de ingeniera, tambien estudian medicina, y algunos de ellos estudian artes.

c) Existe algun estudiante diferente de Juan y diferente de Mara que estudia Medicina, Artes e Ingeniera.

4 Problema de inferencia logica con uso de cuantificadores: Demuestre usando reglas de inferencia la validez del siguienteargumento, o diga y justifique porque no es valido para cada una de las tres conclusiones. Justificar al frente de ca-da deduccion que propiedad/regla de inferencia/regla de equivalencia uso. Numerar todas los predicados/proposicionesinferidas.

nm(E(n) (F (n) H(m)))nF (n)nE(n)

n(H(n) E(n) F (n)) n((H(n) E(n) F (n))) n(H(n) E(n) F (n))

1