1. Semntica de Lgica de PredicadosClase 31 Leonel Morales Dazleonel@ingenieriasimple.com litomd@ufm.edu 06/Octubre/20141

2. Dominio Dominio de discurso Marco conceptual Conjunto de significados2 de 13 3. Dominio Dominio de discurso Marco conceptual Conjunto de significados Ejemplos:Empresarial:Ganancia PrdidaInversin CapitalAccionista ColaboradorCliente ProveedorElectrnica:Ganancia PrdidaCarga CorrienteResistencia CapacitorInductor LEDMedicina:Salud EnfermedadSntoma EnfermoMdico RecetaDosis Medicina3 de 13 4. Interpretacin Incluye:Dominio de Discurso:4 de 13 5. Interpretacin Incluye:Dominio de Discurso: Asignacin de Constantes:a = el clienteb = el accionistac = el colaborador5 de 13 6. Interpretacin Incluye:Dominio de Discurso: Asignacin de Constantes:a = el clienteb = el accionistac = el colaboradorAsignacin de PredicadosAridad Cero:R = verdaderoS = falso6 de 13 7. Interpretacin Incluye:Dominio de Discurso: Asignacin de Constantes:a = el clienteb = el accionistac = el colaboradorAsignacin de PredicadosAridad Cero:R = verdaderoS = falsoAsignacin de Predicados Aridad n > 0:H(u, v, w) = u y v son hermanos y su mam es wConjunto de tuplas que hacen verdadero el predicado:Tupla: n elementos ordenados{< Juan, Pedro, Mara >, < Jorge, Antonio, Luisa >, < Lul, Lul, Wendy > }7 de 13 8. Interpretar ((T(h,n,g) & Q) v P) T(x,y,z) = x est ms poblado que y pero menos que z Q = El Salvador es el pas ms poblado de Centroamrica P = El centro de Amrica est en Guatemala8 de 13 9. Interpretar ((T(h,n,g) & Q) v P) T(x,y,z) = x est ms poblado que y pero menos que z Q = El Salvador es el pas ms poblado de Centroamrica P = El centro de Amrica est en GuatemalaDominio de Discurso:Pases deCentroamrica9 de 13 10. Interpretar ((T(h,n,g) & Q) v P) T(x,y,z) = x est ms poblado que y pero menos que z Q = El Salvador es el pas ms poblado de Centroamrica P = El centro de Amrica est en GuatemalaDominio de Discurso:Pases deCentroamricaAsignacin de Constantes:h = Honduras b = Belicen = Nicaragua c = Costa Ricag = Guatemala e = El Salvadorp = Panam10 de 13 11. Interpretar ((T(h,n,g) & Q) v P) T(x,y,z) = x est ms poblado que y pero menos que z Q = El Salvador es el pas ms poblado de Centroamrica P = El centro de Amrica est en GuatemalaDominio de Discurso:Pases deCentroamricaAsignacin de Constantes:h = Honduras b = Belicen = Nicaragua c = Costa Ricag = Guatemala e = El Salvadorp = PanamAsignacin de PredicadosAridad Cero:Q = falsoP = verdadero11 de 13 12. Interpretar ((T(h,n,g) & Q) v P) T(x,y,z) = x est ms poblado que y pero menos que z Q = El Salvador es el pas ms poblado de Centroamrica P = El centro de Amrica est en GuatemalaDominio de Discurso:Pases deCentroamricaAsignacin de Constantes:h = Honduras b = Belicen = Nicaragua c = Costa Ricag = Guatemala e = El Salvadorp = PanamAsignacin de PredicadosAridad Cero:Q = falsoP = verdaderoAsignacin de Predicados Aridad n > 0:T(x, y, z) = x est ms poblado que y pero menos que zConjunto de tuplas que hacen verdadero el predicado, I(T) ={< p,b,c >, < p,b,n >, < p,b,e >, < p,b,h >, < p,b,g >, < c,b,n >, < c,b,e >, < c,b,h >, < c,b,g>,< c,p,n >, < c,p,e >, < c,p,h >, < c,p,g>, < n,b,e >, < n,b,h >, < n,b,g >, < n,p,e >, < n,p,h >,< n,p,g >, < n,c,e >, < n,c,h >, < n,c,g >, < e,b,h >, < e,b,g >, < e,p,h >, < e,p,g >, < e,c,h >,< e,c,g >, < e,n,h >, < e,n,g >, < h,b,g >, < h,p,g >, < h,p,g >, < h,c,g >, < h,n,g >, < h,e,g > }12 de 13 13. Interpretar ((T(h,n,g) & Q) v P) T(x,y,z) = x est ms poblado que y pero menos que z Q = El Salvador es el pas ms poblado de Centroamrica P = El centro de Amrica est en GuatemalaDominio de Discurso:Pases deCentroamricaAsignacin de Constantes:h = Honduras b = Belicen = Nicaragua c = Costa Ricag = Guatemala e = El Salvadorp = PanamAsignacin de PredicadosAridad Cero:Q = falsoP = verdaderoAsignacin de Predicados Aridad n > 0:T(x, y, z) = x est ms poblado que y pero menos que zConjunto de tuplas que hacen verdadero el predicado, I(T) ={< p,b,c >, < p,b,n >, < p,b,e >, < p,b,h >, < p,b,g >, < c,b,n >, < c,b,e >, < c,b,h >, < c,b,g>,< c,p,n >, < c,p,e >, < c,p,h >, < c,p,g>, < n,b,e >, < n,b,h >, < n,b,g >, < n,p,e >, < n,p,h >,< n,p,g >, < n,c,e >, < n,c,h >, < n,c,g >, < e,b,h >, < e,b,g >, < e,p,h >, < e,p,g >, < e,c,h >,< e,c,g >, < e,n,h >, < e,n,g >, < h,b,g >, < h,p,g >, < h,p,g >, < h,c,g >, < h,n,g >, < h,e,g > }Interpretacin:I((T(h,n,g) & Q) v P) = verdadero 13 de 13