tipos de logica

Páginas: 4 (754 palabras) Publicado: 7 de septiembre de 2013
La lógica de primer orden, también llamada lógica de predicados o cálculo de predicados, es un sistema formal diseñado para estudiar la inferencia en los lenguajes de primer orden.1 Los lenguajes deprimer orden son, a su vez, lenguajes formales concuantificadores que alcanzan sólo a variables de individuo, y con predicados y funciones cuyos argumentos son sólo constantes o variables deindividuo.2
La lógica de primer orden tiene el poder expresivo suficiente para definir a prácticamente todas las matemáticas.
Una lógica de segundo orden es una extensión de una lógica de primer orden en laque se añaden variables para propiedades, funciones y relaciones, y cuantificadores que operan sobre esas variables.1 Así se expande el poder expresivo del lenguaje sin tener que agregar nuevossímbolos lógicos.1
La lógica empírica es la base del razonamiento empírico y por lo tanto del método empírico. Esta visión de la lógica proviene de la antigua Grecia. El término empírico deriva del griegoantiguo de experiencia, έμπειρία, que a su vez deriva de έυ en y πεἳρα prueba,experimento. Su desarrollo provoca la definitiva superación de la separación histórica entre las ciencias formales (comola Geometría o el Álgebra) y las ciencias descriptivas (como la Física, la Zoología o la Botánica y, sobre todo de las llamadas "técnicas" como lasingenierías).
Las lógicas de descripción, tambiénllamadas lógicas descriptivas (DL por description logics) son una familia de lenguajes de representación del conocimiento que pueden ser usados para representar conocimiento terminológico de un dominiode aplicación de una forma estructurada y formalmente bien comprendida. El nombre lógica de descripción se refiere, por un lado, a descripciones de conceptos usadas para describir un dominio y, porotro lado, a la semántica que establece una equivalencia entre las fórmulas de lógicas de descripción y expresiones en lógica de predicados de primer orden.
Lógica Predicativa: Este tipo de lógica,...
Leer documento completo

Regístrate para leer el documento completo.

Estos documentos también te pueden resultar útiles

  • LÓGICA Y TIPOS DE LÓGICA
  • la lógica de los tipos logicos
  • Tipos De Logica
  • Tipos de logica
  • Tipos De Logica
  • El concepto de lógica y los distintos tipos de lógica
  • Logica Examen Tipo 1
  • Tipos De Compuertas Logicas

Conviértase en miembro formal de Buenas Tareas

INSCRÍBETE - ES GRATIS