3011012017 PLATAFORMA TECNOLOGICA DE LA UCSE [Evaluaciones) Programa > Unidad > Realizacién EV5-Logica de Predicados Evaluacién Virtual 5 Puntaje total: 100.00 Puntaje de aprobacién: 60.00 Incorrectas restan: No Abierta: desde 26/10/2017 00:00 hasta 30/10/2017 13:59 Realizacién Fecha: 29/10/2017 23:35:03 60.00 Tiempo realizacién: 00:39:55 Aprobada Cantidad de veces realizada: 1 Cantidad de respuestas correctas: 6 / 10 Para realizar un interpretacién se requiere asignar a cada simbolo de relacion una relacién en el dominio tn dominio no vacfo de individuos al que se referiran las variables asignar a cada simbolo de funcién una funcién en el dominio . Para cada aseveracién indicar si la misma resulta Verdadera o Falsa Verdadero Falso Si una férmula es valida en un dominio lo es en cualquiera 2 Una interpretacién puede ser satisfacible Si existe al menos una interpretacin que haga verdadera a una Y formula en un dominio, ésta es satisfacible Si todas las interpretaciones de una fbf en un dominio determinado, la hacen verdadera, la fof es valida en dicho dominio Una interpretacién es contramodelo, cuando hace falsa a la fof en un dominio determinado Formalizacién: Dadas las siguientes expresiones: -alumn9_unidadid=83045298i¢_curso=20608wAec.on=verevaluacion 14 hntpaleaming uese.eduarfevaluaciones.oo/?Dack_t3011012017 PLATAFORMA TECNOLOGICA DE LA UCSE [Evaluaciones) 1. Ana peina a los que no se peinan a si mismos 2. Existe un peluquero que peina a todos los que no se peinan a si mismos 3, Hay peluqueros que no peinan a nadie, pero Ana se peina a si misma 4, Todos los peluqueros peinan a Ana solo si Ana no se peina a si misma 5. Los peluqueros no peinan a Ana a menos que Ana sea peluquera Indicar para cada formula , a que expresién esta representando en el sistema de Kleene (Va(E(x) > A(x, j))) > Bj) 1 Ax(E(x) AYy(“A(y,y) > A(z.) 4 (Va(E(x) > A(z, j)))) = 7AG.9) Ve(7A(x, 2) > A(j,x)) 5 dx( E(x) A>SyA(x,y)) \AG,5) og Teniendo en cuenta el célculo de predicados, y dados los sistemas formales de Luckasiewicks y Kleene, indique para cada aseveracién a que sistema corresponde Sistema Sistema Luckasiewicks Kleene Posee un sistema de axiomas, compuesto por 6 J ‘esquemas de axiomas La fbf (A -> ( B -> A)) corresponde a un esquema de Y axioma En su vocabulario incluye la simbolizacién de la , > particula "Para todo" El conjunto adecuado de conectivas es (~, >} z Incluye la Regla de Modus Ponens como regia de . : inferencia Dada la siguiente formula para el sistema L 3( £2 AIC (44,4), X2) X3) es una fbf en el sistema L 8 una formula atémica, cuyo relator posee 3 términos, slum _unadid=9904529816_curso=20808WAcconverevaliaion 24 hntpoleaming.uese.oduarfevaluaciones.cg/?0ack_t3011012017 PLATAFORMA TECNOLOGICA DE LA UCSE [Evaluaciones) el functor es un término abierto Sea una fbf Aen L ‘Acs ldgicamente valida si y solo si para toda interpretacién, A es verdadera Los relatores son expresiones asociadas con relaciones o propiedades El calculo de predicados permite analizar un argumento, en funcién de la forma de sus enunciados En el sistema formal L (Luckasiewicks), para el célculo de predicados, un término Puede ser una funcién n-dica Sefialar las aseveraciones que resulten verdaderas, dado el sistema de Luckasiewicks hntpaleaming uese.eduarfevaluaciones.oo/?Dack_t -alumn9_unidadid=83045298i¢_curso=20608wAec.on=verevaluacion ia3011012017 PLATAFORMA TECNOLOGICA DE LA UCSE [Evaluaciones) (AF CFF (a1), 21) @ (van )4b 2) ligadas (ox)AU x 2) — (V2) 422) 1g vane x2 ton ne epee on el primer predicado y una igada en el segundo previcado, ‘ambas variables, se encuentran hntploleaming.uese.eduarfevaluaciones.co!?ack_to=alumno_nidadBid=@3085298i0_curso=20608wAccionsverevaluacion aa