Sistema de Frege

Sistema de Frege

Sistema de Frege

Un sistema deductivo T, es un sistema de Frege si cumple las siguientes condiciones:

  • Los axiomas de T son tautologías
  • Para cada regla de inferencia de T se verifica {A1...An} satisface a A

Un sistema de Frege (T) es completo si toda tautología es un teorema de T.

Obtenido de "Sistema de Frege"

Wikimedia foundation. 2010.

Игры ⚽ Поможем решить контрольную работу

Mira otros diccionarios:

  • Sistema de Frege — Un sistema deductivo T, es un sistema de Frege si cumple las siguientes condiciones: ● Los axiomas de T son tautologías ● Para cada regla de inferencia de T se verifica A1...An satisface a A Un sistema de Frege (T) es completo si toda tautología… …   Enciclopedia Universal

  • Sistema axiomático — En matemáticas, un sistema axiomático consiste en un conjunto de axiomas que se utilizan, mediante deducciones, para demostrar teoremas. Una teoría matemática es un sistema axiomático y, por tanto, todos los teoremas derivados de ellos. Un… …   Wikipedia Español

  • Frege, (Friedrich Ludwig) Gottlob — (8 nov. 1848, Wismar, Mecklenburg Schwerin–26 jul. 1925, Bad Kleinen, Alemania). Matemático y lógico alemán, inventor de la lógica matemática moderna y uno de los fundadores de la tradición de la filosofía analítica. Enseñó en la Universidad de… …   Enciclopedia Universal

  • Gottlob Frege — cerca de 1879. Friedrich Ludwig Gottlob Frege (8 de noviembre de 1848 26 de julio de 1925) fue un matemático, lógico y filósofo alemán, padre de la lógica matemática y la filosofía analítica. Frege es ampliamente reconocido como el mayor lógico… …   Wikipedia Español

  • Axiomas de Zermelo-Fraenkel — Los axiomas de Zermelo Fraenkel, formulados por Ernst Zermelo y Adolf Fraenkel, son un sistema axiomático concebido para formular la teoría de conjuntos. Normalmente se abrevian como ZF o en su forma más común, complementados por el axioma de… …   Wikipedia Español

  • Logicismo — En la filosofía de la matemática, el logicismo es la doctrina que sostiene que la matemática es en algún sentido importante reducible a la lógica.[1] A veces se alega que los teoremas de incompletitud de Gödel socavan el propósito del proyecto.… …   Wikipedia Español

  • Cálculo — Saltar a navegación, búsqueda Para otros usos de este término, véase Cálculo (desambiguación). Para cálculo infinitesimal (diferencial o integral) véase Cálculo infinitesimal Para el estudio de los números reales, los complejos, los vectores y… …   Wikipedia Español

  • Lógica de primer orden — 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 de primer orden son, a su vez, lenguajes… …   Wikipedia Español

  • Lógica — La lógica es una ciencia formal y una rama de la filosofía que estudia los principios de la demostración e inferencia válida. La palabra deriva del griego antiguo λογική (logike), que significa «dotado de razón, intelectual, dialéctico,… …   Wikipedia Español

  • Opium fürs Volk — Álbum de estudio de Die Toten Hosen Publicación 26 de enero de 1996 2007 (edición remasterizada) Género(s) Punk rock Duración 67:03 76:01 (edición rema …   Wikipedia Español

Compartir el artículo y extractos

Link directo
Do a right-click on the link above
and select “Copy Link”