SlideShare a Scribd company logo
1 of 5
Lógica de predicados

      Rodrigo Barba Guamán
• Responde a la necesidad de un
  lenguaje    formal   específico que
  permita expresar el máximo de la
  riqueza del lenguaje natural sin
  perder la precisión.
• Los enunciados que se basan en el
  empleo de partículas como “TODO” y
  “alguno”.
Vocabulario
•   Nombre: “5”, “Venecia”
•   Cuantificadores: Universal y existencial
•   Símbolos de variable: x, y , z,
•   Conectores: ¬, ˅, ˄, ͢
•   Signos de puntuación: “(”, “)”, “,”
Ejemplos.
Gracias

More Related Content

What's hot

Fundamentos de Ingenieria de Software - Unidad 1 modelo de negocios
Fundamentos de Ingenieria de Software - Unidad 1 modelo de negociosFundamentos de Ingenieria de Software - Unidad 1 modelo de negocios
Fundamentos de Ingenieria de Software - Unidad 1 modelo de negociosJosé Antonio Sandoval Acosta
 
54714841 ejemplo-propuesta-de-desarrollo-de-software
54714841 ejemplo-propuesta-de-desarrollo-de-software54714841 ejemplo-propuesta-de-desarrollo-de-software
54714841 ejemplo-propuesta-de-desarrollo-de-softwarecristina_devargas
 
152289363 consultas-en-prolog
152289363 consultas-en-prolog152289363 consultas-en-prolog
152289363 consultas-en-prologHector Glez
 
Modelos de estimacion de software
Modelos de estimacion de softwareModelos de estimacion de software
Modelos de estimacion de softwareManuel Galindo Sanz
 
Planificacion de CPU FCFS (First Come, First Served)
Planificacion de CPU FCFS (First Come, First Served)Planificacion de CPU FCFS (First Come, First Served)
Planificacion de CPU FCFS (First Come, First Served)Rodrigo Saraguro
 
100 ejercicios-resueltos-de-sistemas-operativos
100 ejercicios-resueltos-de-sistemas-operativos100 ejercicios-resueltos-de-sistemas-operativos
100 ejercicios-resueltos-de-sistemas-operativosPatriciaDavila16
 
Estructuras (CAPAS) de un sistema operativo
Estructuras (CAPAS) de un sistema operativoEstructuras (CAPAS) de un sistema operativo
Estructuras (CAPAS) de un sistema operativoMarvin Romero
 
casos de éxito y fracaso del software
casos de éxito y fracaso del softwarecasos de éxito y fracaso del software
casos de éxito y fracaso del softwareJamesNeira
 
Clase 3 Modelo Entidad Relacion
Clase 3   Modelo Entidad   RelacionClase 3   Modelo Entidad   Relacion
Clase 3 Modelo Entidad Relacionoswchavez
 
5. Ejercicios normalización
5. Ejercicios normalización5. Ejercicios normalización
5. Ejercicios normalizaciónMarcelo Herrera
 

What's hot (20)

Metodología CommonKADS
Metodología CommonKADSMetodología CommonKADS
Metodología CommonKADS
 
Gestion de memoria en windows
Gestion de memoria en windowsGestion de memoria en windows
Gestion de memoria en windows
 
Algoritmo de dekker
Algoritmo de dekker Algoritmo de dekker
Algoritmo de dekker
 
Fundamentos de Ingenieria de Software - Unidad 1 modelo de negocios
Fundamentos de Ingenieria de Software - Unidad 1 modelo de negociosFundamentos de Ingenieria de Software - Unidad 1 modelo de negocios
Fundamentos de Ingenieria de Software - Unidad 1 modelo de negocios
 
Proyecto final de software
Proyecto final de softwareProyecto final de software
Proyecto final de software
 
Fases bpm
Fases bpmFases bpm
Fases bpm
 
Tutorial de JFLAP
Tutorial de JFLAPTutorial de JFLAP
Tutorial de JFLAP
 
54714841 ejemplo-propuesta-de-desarrollo-de-software
54714841 ejemplo-propuesta-de-desarrollo-de-software54714841 ejemplo-propuesta-de-desarrollo-de-software
54714841 ejemplo-propuesta-de-desarrollo-de-software
 
Ejemplo rup
Ejemplo rupEjemplo rup
Ejemplo rup
 
152289363 consultas-en-prolog
152289363 consultas-en-prolog152289363 consultas-en-prolog
152289363 consultas-en-prolog
 
Modelos de estimacion de software
Modelos de estimacion de softwareModelos de estimacion de software
Modelos de estimacion de software
 
Planificacion de CPU FCFS (First Come, First Served)
Planificacion de CPU FCFS (First Come, First Served)Planificacion de CPU FCFS (First Come, First Served)
Planificacion de CPU FCFS (First Come, First Served)
 
100 ejercicios-resueltos-de-sistemas-operativos
100 ejercicios-resueltos-de-sistemas-operativos100 ejercicios-resueltos-de-sistemas-operativos
100 ejercicios-resueltos-de-sistemas-operativos
 
El barbero-dormilón
El barbero-dormilónEl barbero-dormilón
El barbero-dormilón
 
Estructuras (CAPAS) de un sistema operativo
Estructuras (CAPAS) de un sistema operativoEstructuras (CAPAS) de un sistema operativo
Estructuras (CAPAS) de un sistema operativo
 
Recursividad
RecursividadRecursividad
Recursividad
 
Tecnicas de Administracion de Memoria
Tecnicas de Administracion de MemoriaTecnicas de Administracion de Memoria
Tecnicas de Administracion de Memoria
 
casos de éxito y fracaso del software
casos de éxito y fracaso del softwarecasos de éxito y fracaso del software
casos de éxito y fracaso del software
 
Clase 3 Modelo Entidad Relacion
Clase 3   Modelo Entidad   RelacionClase 3   Modelo Entidad   Relacion
Clase 3 Modelo Entidad Relacion
 
5. Ejercicios normalización
5. Ejercicios normalización5. Ejercicios normalización
5. Ejercicios normalización
 

Viewers also liked

Logica de predicados pastor, oveja, lobo, caja de coles
Logica de predicados pastor, oveja, lobo, caja de colesLogica de predicados pastor, oveja, lobo, caja de coles
Logica de predicados pastor, oveja, lobo, caja de colesG Hoyos A
 
Resumen lógica de predicados raiza niño
Resumen lógica de predicados  raiza niñoResumen lógica de predicados  raiza niño
Resumen lógica de predicados raiza niñoRaiza Niño
 
Ejercicios de logica proposicional y de predicados - grupo 6
Ejercicios de logica proposicional y de predicados - grupo 6Ejercicios de logica proposicional y de predicados - grupo 6
Ejercicios de logica proposicional y de predicados - grupo 6Facultad de Ciencias y Sistemas
 
Deduccion predicados
Deduccion predicadosDeduccion predicados
Deduccion predicadosJacky Leyva
 
Ejercicios de logica proposicional y de predicados - grupo 7
Ejercicios de logica proposicional y de predicados - grupo 7Ejercicios de logica proposicional y de predicados - grupo 7
Ejercicios de logica proposicional y de predicados - grupo 7Facultad de Ciencias y Sistemas
 
Predicados y cuantificadores autora elsa guédez
Predicados y cuantificadores autora elsa guédezPredicados y cuantificadores autora elsa guédez
Predicados y cuantificadores autora elsa guédezElsa Guédez
 
Aplicaciones Middleware
Aplicaciones MiddlewareAplicaciones Middleware
Aplicaciones Middlewareparedes03
 
Sistemas Distribuidos
Sistemas DistribuidosSistemas Distribuidos
Sistemas DistribuidosLeopoldo Capa
 
Ejercicios en prolog
Ejercicios en prologEjercicios en prolog
Ejercicios en prologJeffoG92
 
Logica de predicado
Logica de predicadoLogica de predicado
Logica de predicadorober_09
 
Practicas prolog
Practicas prologPracticas prolog
Practicas prologmaxsp5566
 
BD. control de concurrencia
BD. control de concurrenciaBD. control de concurrencia
BD. control de concurrencialiras loca
 
Caracteristicas de los Sistemas Distribuidos
Caracteristicas de los Sistemas DistribuidosCaracteristicas de los Sistemas Distribuidos
Caracteristicas de los Sistemas DistribuidosJorge Guerra
 
Comunidad primitiva.
Comunidad primitiva.Comunidad primitiva.
Comunidad primitiva.Karo Simental
 

Viewers also liked (20)

Logica de predicados pastor, oveja, lobo, caja de coles
Logica de predicados pastor, oveja, lobo, caja de colesLogica de predicados pastor, oveja, lobo, caja de coles
Logica de predicados pastor, oveja, lobo, caja de coles
 
Resumen lógica de predicados raiza niño
Resumen lógica de predicados  raiza niñoResumen lógica de predicados  raiza niño
Resumen lógica de predicados raiza niño
 
Lógica de Predicados
Lógica de PredicadosLógica de Predicados
Lógica de Predicados
 
Ejercicios de logica proposicional y de predicados - grupo 6
Ejercicios de logica proposicional y de predicados - grupo 6Ejercicios de logica proposicional y de predicados - grupo 6
Ejercicios de logica proposicional y de predicados - grupo 6
 
Deduccion predicados
Deduccion predicadosDeduccion predicados
Deduccion predicados
 
Mensajería (Informática)
Mensajería (Informática)Mensajería (Informática)
Mensajería (Informática)
 
Ejercicios de logica proposicional y de predicados - grupo 7
Ejercicios de logica proposicional y de predicados - grupo 7Ejercicios de logica proposicional y de predicados - grupo 7
Ejercicios de logica proposicional y de predicados - grupo 7
 
Predicados y cuantificadores autora elsa guédez
Predicados y cuantificadores autora elsa guédezPredicados y cuantificadores autora elsa guédez
Predicados y cuantificadores autora elsa guédez
 
Aplicaciones Middleware
Aplicaciones MiddlewareAplicaciones Middleware
Aplicaciones Middleware
 
Sistemas Distribuidos
Sistemas DistribuidosSistemas Distribuidos
Sistemas Distribuidos
 
Ejercicios en prolog
Ejercicios en prologEjercicios en prolog
Ejercicios en prolog
 
Middleware
MiddlewareMiddleware
Middleware
 
3.4. Logica de predicados
3.4. Logica de predicados3.4. Logica de predicados
3.4. Logica de predicados
 
Logica de predicado
Logica de predicadoLogica de predicado
Logica de predicado
 
Practicas prolog
Practicas prologPracticas prolog
Practicas prolog
 
BD. control de concurrencia
BD. control de concurrenciaBD. control de concurrencia
BD. control de concurrencia
 
Reglas de Inferencia
Reglas de Inferencia Reglas de Inferencia
Reglas de Inferencia
 
Caracteristicas de los Sistemas Distribuidos
Caracteristicas de los Sistemas DistribuidosCaracteristicas de los Sistemas Distribuidos
Caracteristicas de los Sistemas Distribuidos
 
Logica proposicional
Logica proposicionalLogica proposicional
Logica proposicional
 
Comunidad primitiva.
Comunidad primitiva.Comunidad primitiva.
Comunidad primitiva.
 

More from Videoconferencias UTPL

La oración en clave de espiritualidad misionera
La oración en clave de espiritualidad misioneraLa oración en clave de espiritualidad misionera
La oración en clave de espiritualidad misioneraVideoconferencias UTPL
 
Asesoria trabajo fin de titulacion (Lineas y proyectos de investigación )
Asesoria trabajo fin de titulacion (Lineas y proyectos de investigación )Asesoria trabajo fin de titulacion (Lineas y proyectos de investigación )
Asesoria trabajo fin de titulacion (Lineas y proyectos de investigación )Videoconferencias UTPL
 
Asesoria trabajo fin de titulacion (objetivos y planificacion)
Asesoria trabajo fin de titulacion (objetivos y planificacion)Asesoria trabajo fin de titulacion (objetivos y planificacion)
Asesoria trabajo fin de titulacion (objetivos y planificacion)Videoconferencias UTPL
 
Introducción a las ciencias ambientales
Introducción a las ciencias ambientalesIntroducción a las ciencias ambientales
Introducción a las ciencias ambientalesVideoconferencias UTPL
 

More from Videoconferencias UTPL (20)

La oración en clave de espiritualidad misionera
La oración en clave de espiritualidad misioneraLa oración en clave de espiritualidad misionera
La oración en clave de espiritualidad misionera
 
Asesoria trabajo fin de titulacion (Lineas y proyectos de investigación )
Asesoria trabajo fin de titulacion (Lineas y proyectos de investigación )Asesoria trabajo fin de titulacion (Lineas y proyectos de investigación )
Asesoria trabajo fin de titulacion (Lineas y proyectos de investigación )
 
Asesoria trabajo fin de titulacion (objetivos y planificacion)
Asesoria trabajo fin de titulacion (objetivos y planificacion)Asesoria trabajo fin de titulacion (objetivos y planificacion)
Asesoria trabajo fin de titulacion (objetivos y planificacion)
 
Generos graficos
Generos graficosGeneros graficos
Generos graficos
 
Periodismo digital
Periodismo digitalPeriodismo digital
Periodismo digital
 
El editorial
El editorialEl editorial
El editorial
 
La entrevista
La entrevistaLa entrevista
La entrevista
 
La noticia
La noticiaLa noticia
La noticia
 
Generos periodisticos
Generos periodisticosGeneros periodisticos
Generos periodisticos
 
Biología general
Biología generalBiología general
Biología general
 
Introducción a las ciencias ambientales
Introducción a las ciencias ambientalesIntroducción a las ciencias ambientales
Introducción a las ciencias ambientales
 
Expresion oral y escrita
Expresion oral y escritaExpresion oral y escrita
Expresion oral y escrita
 
Matematicas I
Matematicas IMatematicas I
Matematicas I
 
Contabilidad general I
Contabilidad general IContabilidad general I
Contabilidad general I
 
Realidad Nacional
Realidad NacionalRealidad Nacional
Realidad Nacional
 
Aplicación de nuevas tecnologías
Aplicación de nuevas tecnologíasAplicación de nuevas tecnologías
Aplicación de nuevas tecnologías
 
Marketing y protocolo empresarial
Marketing y protocolo empresarialMarketing y protocolo empresarial
Marketing y protocolo empresarial
 
Gerencia educativa
Gerencia educativaGerencia educativa
Gerencia educativa
 
Toma de decisiones
Toma de decisiones Toma de decisiones
Toma de decisiones
 
Ejercicios fonetica y fonologia
Ejercicios fonetica y fonologiaEjercicios fonetica y fonologia
Ejercicios fonetica y fonologia
 

Logica de predicados

  • 1. Lógica de predicados Rodrigo Barba Guamán
  • 2. • Responde a la necesidad de un lenguaje formal específico que permita expresar el máximo de la riqueza del lenguaje natural sin perder la precisión. • Los enunciados que se basan en el empleo de partículas como “TODO” y “alguno”.
  • 3. Vocabulario • Nombre: “5”, “Venecia” • Cuantificadores: Universal y existencial • Símbolos de variable: x, y , z, • Conectores: ¬, ˅, ˄, ͢ • Signos de puntuación: “(”, “)”, “,”