SlideShare une entreprise Scribd logo

LóGica De Primer Orden

•Télécharger en tant que PPT, PDF•
•
rafael felix
rafael felix

SOBRE LOGICA DE PRIMER ORDEN

TechnologieFormation
1  sur  9
LÓGICA DE PRIMER ORDEN
LA NECESIDAD DE LA LÓGICA DE PRIMER GRADO ,[object Object],[object Object]
SINTAXIS BÁSICA ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
SIMBOLIZACIÓN ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
CUANTIFICADORES USUALES ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
CUANTIFICADOR INUSUAL ,[object Object],[object Object],[object Object],[object Object]
REGLAS DE INTERCAMBIO DE CUANTIFICADORES ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
EJEMPLO ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
USO DE LA LÓGICA DE PRIMER GRADO ,[object Object],[object Object],[object Object]

Recommandé

Limite y continuidad (blog)
Limite y continuidad (blog)Limite y continuidad (blog)
Limite y continuidad (blog)
Carlos Calzadilla
 
LA TECNOLOGÍA EN EL AYER
LA TECNOLOGÍA EN EL AYERLA TECNOLOGÍA EN EL AYER
LA TECNOLOGÍA EN EL AYER
MIGUEL RODRÍGUEZ ARCE
 
Tecnologia 2
Tecnologia 2Tecnologia 2
Tecnologia 2
pekada
 
Presentacion nicole carriilo
Presentacion nicole carriiloPresentacion nicole carriilo
Presentacion nicole carriilo
Nicole97_10
 
Inteligencia artificial conceptos
Inteligencia artificial conceptosInteligencia artificial conceptos
Inteligencia artificial conceptos
I.E.T.P
 
Agentes Lógicos
Agentes LógicosAgentes Lógicos
Agentes Lógicos
Leopoldo Capa
 
Avances tecnológicos,TICS,Tecnología ayer y hoy.
Avances tecnológicos,TICS,Tecnología ayer y hoy.Avances tecnológicos,TICS,Tecnología ayer y hoy.
Avances tecnológicos,TICS,Tecnología ayer y hoy.
Dario2313
 
Lógica de primer orden
Lógica de primer ordenLógica de primer orden
Lógica de primer orden
Héctor Estigarribia
 

Recommandé

Limite y continuidad (blog)
Limite y continuidad (blog)Limite y continuidad (blog)
Limite y continuidad (blog)
Carlos Calzadilla
 
LA TECNOLOGÍA EN EL AYER
LA TECNOLOGÍA EN EL AYERLA TECNOLOGÍA EN EL AYER
LA TECNOLOGÍA EN EL AYER
MIGUEL RODRÍGUEZ ARCE
 
Tecnologia 2
Tecnologia 2Tecnologia 2
Tecnologia 2
pekada
 
Presentacion nicole carriilo
Presentacion nicole carriiloPresentacion nicole carriilo
Presentacion nicole carriilo
Nicole97_10
 
Inteligencia artificial conceptos
Inteligencia artificial conceptosInteligencia artificial conceptos
Inteligencia artificial conceptos
I.E.T.P
 
Agentes Lógicos
Agentes LógicosAgentes Lógicos
Agentes Lógicos
Leopoldo Capa
 
Avances tecnológicos,TICS,Tecnología ayer y hoy.
Avances tecnológicos,TICS,Tecnología ayer y hoy.Avances tecnológicos,TICS,Tecnología ayer y hoy.
Avances tecnológicos,TICS,Tecnología ayer y hoy.
Dario2313
 
Lógica de primer orden
Lógica de primer ordenLógica de primer orden
Lógica de primer orden
Héctor Estigarribia
 
Inferencia en Lógica de Primer Orden
Inferencia en Lógica de Primer OrdenInferencia en Lógica de Primer Orden
Inferencia en Lógica de Primer Orden
Héctor Estigarribia
 
LI-T6: Sintaxis y semántica de la lógica de primer orden
LI-T6: Sintaxis y semántica de la lógica de primer ordenLI-T6: Sintaxis y semántica de la lógica de primer orden
LI-T6: Sintaxis y semántica de la lógica de primer orden
José A. Alonso
 
Historia De Los Avances TecnolóGicos
Historia De Los Avances TecnolóGicosHistoria De Los Avances TecnolóGicos
Historia De Los Avances TecnolóGicos
Verónica
 
ayer y hoy de la comunicacion
ayer y hoy de la comunicacionayer y hoy de la comunicacion
ayer y hoy de la comunicacion
Euders Gomez
 
Como era la educación antes y ahora
Como era la educación antes y ahoraComo era la educación antes y ahora
Como era la educación antes y ahora
Jonathan Vidalsishi
 
Inteligencia Artificial y Sistemas Expertos
Inteligencia Artificial y Sistemas ExpertosInteligencia Artificial y Sistemas Expertos
Inteligencia Artificial y Sistemas Expertos
Melissa Eslava
 
Línea de tiempo avances tecnológicos en el tiempo
Línea de tiempo avances tecnológicos en el tiempoLínea de tiempo avances tecnológicos en el tiempo
Línea de tiempo avances tecnológicos en el tiempo
lokillorube
 
Logica de predicados1
Logica de predicados1Logica de predicados1
Logica de predicados1
Cesar Mujica
 
álgebra
álgebraálgebra
álgebra
greisonoguera
 
Algebra
AlgebraAlgebra
Algebra
Mariana Rodríguez
 
proceso de inferencia
proceso de inferencia proceso de inferencia
proceso de inferencia
Keiber Herrera
 
Calculos de predicados
Calculos de predicadosCalculos de predicados
Calculos de predicados
robert eleasther hernandez escobar
 
Calculo de Predicados
Calculo de PredicadosCalculo de Predicados
Calculo de Predicados
Adhony Martinez
 
Instituto universitario tecnologico
Instituto universitario tecnologicoInstituto universitario tecnologico
Instituto universitario tecnologico
ReaCarlos19
 
Lógica y conjuntos proposiciones y cuantificadores
Lógica y conjuntos proposiciones y cuantificadoresLógica y conjuntos proposiciones y cuantificadores
Lógica y conjuntos proposiciones y cuantificadores
jazzme
 
Calculo predicados mv
Calculo predicados mvCalculo predicados mv
Calculo predicados mv
Maria Alvarez
 
Calculo de predicados e inferencias logicas
Calculo de predicados e inferencias logicasCalculo de predicados e inferencias logicas
Calculo de predicados e inferencias logicas
Ricardo Santaella
 
Calculo predicadospartei
Calculo predicadosparteiCalculo predicadospartei
Calculo predicadospartei
PUCE SEDE IBARRA
 
Dea01 Cuantificadores
Dea01 CuantificadoresDea01 Cuantificadores
Dea01 Cuantificadores
Saúl Qc
 
itiel vilasmil
itiel vilasmilitiel vilasmil
itiel vilasmil
itielvillasmil
 
Diapositivas de informatica
Diapositivas de informaticaDiapositivas de informatica
Diapositivas de informatica
alejandragarcia1697
 
Relaciones Difusas, Graficas Difusas y Aritmética Difusa
Relaciones Difusas, Graficas Difusas y Aritmética DifusaRelaciones Difusas, Graficas Difusas y Aritmética Difusa
Relaciones Difusas, Graficas Difusas y Aritmética Difusa
ESCOM
 

Contenu connexe

En vedette

LI-T6: Sintaxis y semántica de la lógica de primer orden
LI-T6: Sintaxis y semántica de la lógica de primer ordenLI-T6: Sintaxis y semántica de la lógica de primer orden
LI-T6: Sintaxis y semántica de la lógica de primer orden
José A. Alonso
 
Historia De Los Avances TecnolóGicos
Historia De Los Avances TecnolóGicosHistoria De Los Avances TecnolóGicos
Historia De Los Avances TecnolóGicos
Verónica
 
ayer y hoy de la comunicacion
ayer y hoy de la comunicacionayer y hoy de la comunicacion
ayer y hoy de la comunicacion
Euders Gomez
 
Como era la educación antes y ahora
Como era la educación antes y ahoraComo era la educación antes y ahora
Como era la educación antes y ahora
Jonathan Vidalsishi
 

En vedette (7)

Inferencia en Lógica de Primer Orden
Inferencia en Lógica de Primer OrdenInferencia en Lógica de Primer Orden
Inferencia en Lógica de Primer Orden
 
LI-T6: Sintaxis y semántica de la lógica de primer orden
LI-T6: Sintaxis y semántica de la lógica de primer ordenLI-T6: Sintaxis y semántica de la lógica de primer orden
LI-T6: Sintaxis y semántica de la lógica de primer orden
 
Historia De Los Avances TecnolóGicos
Historia De Los Avances TecnolóGicosHistoria De Los Avances TecnolóGicos
Historia De Los Avances TecnolóGicos
 
ayer y hoy de la comunicacion
ayer y hoy de la comunicacionayer y hoy de la comunicacion
ayer y hoy de la comunicacion
 
Como era la educación antes y ahora
Como era la educación antes y ahoraComo era la educación antes y ahora
Como era la educación antes y ahora
 
Inteligencia Artificial y Sistemas Expertos
Inteligencia Artificial y Sistemas ExpertosInteligencia Artificial y Sistemas Expertos
Inteligencia Artificial y Sistemas Expertos
 
Línea de tiempo avances tecnológicos en el tiempo
Línea de tiempo avances tecnológicos en el tiempoLínea de tiempo avances tecnológicos en el tiempo
Línea de tiempo avances tecnológicos en el tiempo
 

Similaire à LóGica De Primer Orden

Instituto universitario tecnologico
Instituto universitario tecnologicoInstituto universitario tecnologico
Instituto universitario tecnologico
ReaCarlos19
 
Dea01 Cuantificadores
Dea01 CuantificadoresDea01 Cuantificadores
Dea01 Cuantificadores
Saúl Qc
 

Similaire à LóGica De Primer Orden (20)

Logica de predicados1
Logica de predicados1Logica de predicados1
Logica de predicados1
 
álgebra
álgebraálgebra
álgebra
 
Algebra
AlgebraAlgebra
Algebra
 
proceso de inferencia
proceso de inferencia proceso de inferencia
proceso de inferencia
 
Calculos de predicados
Calculos de predicadosCalculos de predicados
Calculos de predicados
 
Calculo de Predicados
Calculo de PredicadosCalculo de Predicados
Calculo de Predicados
 
Instituto universitario tecnologico
Instituto universitario tecnologicoInstituto universitario tecnologico
Instituto universitario tecnologico
 
Lógica y conjuntos proposiciones y cuantificadores
Lógica y conjuntos proposiciones y cuantificadoresLógica y conjuntos proposiciones y cuantificadores
Lógica y conjuntos proposiciones y cuantificadores
 
Calculo predicados mv
Calculo predicados mvCalculo predicados mv
Calculo predicados mv
 
Calculo de predicados e inferencias logicas
Calculo de predicados e inferencias logicasCalculo de predicados e inferencias logicas
Calculo de predicados e inferencias logicas
 
Calculo predicadospartei
Calculo predicadosparteiCalculo predicadospartei
Calculo predicadospartei
 
Dea01 Cuantificadores
Dea01 CuantificadoresDea01 Cuantificadores
Dea01 Cuantificadores
 
itiel vilasmil
itiel vilasmilitiel vilasmil
itiel vilasmil
 
Diapositivas de informatica
Diapositivas de informaticaDiapositivas de informatica
Diapositivas de informatica
 
Relaciones Difusas, Graficas Difusas y Aritmética Difusa
Relaciones Difusas, Graficas Difusas y Aritmética DifusaRelaciones Difusas, Graficas Difusas y Aritmética Difusa
Relaciones Difusas, Graficas Difusas y Aritmética Difusa
 
calculo de predicados
calculo de predicadoscalculo de predicados
calculo de predicados
 
Factorizacion de polinomios
Factorizacion de polinomiosFactorizacion de polinomios
Factorizacion de polinomios
 
Diapositivas de informatica
Diapositivas de informaticaDiapositivas de informatica
Diapositivas de informatica
 
LóGica SesióN N°4
LóGica SesióN N°4LóGica SesióN N°4
LóGica SesióN N°4
 
Luis moncada 16314597(predicados)
Luis moncada 16314597(predicados)Luis moncada 16314597(predicados)
Luis moncada 16314597(predicados)
 

Plus de rafael felix

Palabras para decirle a alguien en el momento de la pérdida de un ser querido
Palabras para decirle a alguien en el momento de la pérdida de un ser queridoPalabras para decirle a alguien en el momento de la pérdida de un ser querido
Palabras para decirle a alguien en el momento de la pérdida de un ser querido
rafael felix
 

Plus de rafael felix (20)

Filosofia del derecho, Filosofia del derecho
Filosofia del derecho, Filosofia del derechoFilosofia del derecho, Filosofia del derecho
Filosofia del derecho, Filosofia del derecho
 
La tecnología como un problema transdisciplinario.pptx
La tecnología como un problema transdisciplinario.pptxLa tecnología como un problema transdisciplinario.pptx
La tecnología como un problema transdisciplinario.pptx
 
Felicidad. entre la estupidez y la inteligencia
Felicidad. entre la estupidez y la inteligenciaFelicidad. entre la estupidez y la inteligencia
Felicidad. entre la estupidez y la inteligencia
 
El amor, según Marco Aurelio Denegri
El amor, según Marco Aurelio DenegriEl amor, según Marco Aurelio Denegri
El amor, según Marco Aurelio Denegri
 
Feminismo y la filosofía política de judith butler
Feminismo y la filosofía política de judith butlerFeminismo y la filosofía política de judith butler
Feminismo y la filosofía política de judith butler
 
Acosador
AcosadorAcosador
Acosador
 
La manipulación cultural y estrategias para superarla: el caso peruano
La manipulación cultural y estrategias para superarla: el caso peruanoLa manipulación cultural y estrategias para superarla: el caso peruano
La manipulación cultural y estrategias para superarla: el caso peruano
 
Investigación en UNMSM
Investigación en UNMSMInvestigación en UNMSM
Investigación en UNMSM
 
Lógica de la conversación
Lógica de la conversaciónLógica de la conversación
Lógica de la conversación
 
ÉTICA CONCEPTOS BÁSICOS
ÉTICA CONCEPTOS BÁSICOSÉTICA CONCEPTOS BÁSICOS
ÉTICA CONCEPTOS BÁSICOS
 
Palabras para decirle a alguien en el momento de la pérdida de un ser querido
Palabras para decirle a alguien en el momento de la pérdida de un ser queridoPalabras para decirle a alguien en el momento de la pérdida de un ser querido
Palabras para decirle a alguien en el momento de la pérdida de un ser querido
 
Ética de la investigación científica
Ética de la investigación científicaÉtica de la investigación científica
Ética de la investigación científica
 
Acosador
AcosadorAcosador
Acosador
 
Logica unfv internacional
Logica unfv internacionalLogica unfv internacional
Logica unfv internacional
 
9 Nietzsche y Heidegger.
9 Nietzsche y Heidegger.9 Nietzsche y Heidegger.
9 Nietzsche y Heidegger.
 
14 Gnoseologia
14 Gnoseologia14 Gnoseologia
14 Gnoseologia
 
4 aristoteles y helenisticos
4 aristoteles y helenisticos4 aristoteles y helenisticos
4 aristoteles y helenisticos
 
13 semana politica
13 semana politica13 semana politica
13 semana politica
 
6 ilustracion
6 ilustracion6 ilustracion
6 ilustracion
 
3 filosofia 3
3 filosofia 33 filosofia 3
3 filosofia 3
 

Dernier

Resistencia extrema al cobre por un consorcio bacteriano conformado por Sulfo...
Resistencia extrema al cobre por un consorcio bacteriano conformado por Sulfo...Resistencia extrema al cobre por un consorcio bacteriano conformado por Sulfo...
Resistencia extrema al cobre por un consorcio bacteriano conformado por Sulfo...
JohnRamos830530
 
Modulo-Mini Cargador.................pdf
Modulo-Mini Cargador.................pdfModulo-Mini Cargador.................pdf
Modulo-Mini Cargador.................pdf
AnnimoUno1
 

Dernier (11)

Resistencia extrema al cobre por un consorcio bacteriano conformado por Sulfo...
Resistencia extrema al cobre por un consorcio bacteriano conformado por Sulfo...Resistencia extrema al cobre por un consorcio bacteriano conformado por Sulfo...
Resistencia extrema al cobre por un consorcio bacteriano conformado por Sulfo...
 
EL CICLO PRÁCTICO DE UN MOTOR DE CUATRO TIEMPOS.pptx
EL CICLO PRÁCTICO DE UN MOTOR DE CUATRO TIEMPOS.pptxEL CICLO PRÁCTICO DE UN MOTOR DE CUATRO TIEMPOS.pptx
EL CICLO PRÁCTICO DE UN MOTOR DE CUATRO TIEMPOS.pptx
 
EVOLUCION DE LA TECNOLOGIA Y SUS ASPECTOSpptx
EVOLUCION DE LA TECNOLOGIA Y SUS ASPECTOSpptxEVOLUCION DE LA TECNOLOGIA Y SUS ASPECTOSpptx
EVOLUCION DE LA TECNOLOGIA Y SUS ASPECTOSpptx
 
Avances tecnológicos del siglo XXI 10-07 eyvana
Avances tecnológicos del siglo XXI 10-07 eyvanaAvances tecnológicos del siglo XXI 10-07 eyvana
Avances tecnológicos del siglo XXI 10-07 eyvana
 
Avances tecnológicos del siglo XXI y ejemplos de estos
Avances tecnológicos del siglo XXI y ejemplos de estosAvances tecnológicos del siglo XXI y ejemplos de estos
Avances tecnológicos del siglo XXI y ejemplos de estos
 
How to use Redis with MuleSoft. A quick start presentation.
How to use Redis with MuleSoft. A quick start presentation.How to use Redis with MuleSoft. A quick start presentation.
How to use Redis with MuleSoft. A quick start presentation.
 
Refrigerador_Inverter_Samsung_Curso_y_Manual_de_Servicio_Español.pdf
Refrigerador_Inverter_Samsung_Curso_y_Manual_de_Servicio_Español.pdfRefrigerador_Inverter_Samsung_Curso_y_Manual_de_Servicio_Español.pdf
Refrigerador_Inverter_Samsung_Curso_y_Manual_de_Servicio_Español.pdf
 
Modulo-Mini Cargador.................pdf
Modulo-Mini Cargador.................pdfModulo-Mini Cargador.................pdf
Modulo-Mini Cargador.................pdf
 
PROYECTO FINAL. Tutorial para publicar en SlideShare.pptx
PROYECTO FINAL. Tutorial para publicar en SlideShare.pptxPROYECTO FINAL. Tutorial para publicar en SlideShare.pptx
PROYECTO FINAL. Tutorial para publicar en SlideShare.pptx
 
Innovaciones tecnologicas en el siglo 21
Innovaciones tecnologicas en el siglo 21Innovaciones tecnologicas en el siglo 21
Innovaciones tecnologicas en el siglo 21
 
pruebas unitarias unitarias en java con JUNIT
pruebas unitarias unitarias en java con JUNITpruebas unitarias unitarias en java con JUNIT
pruebas unitarias unitarias en java con JUNIT
 

LóGica De Primer Orden