Sistema deductivo

Sistema deductivo

Un sistema deductivo (también nombrado como aparato deductivo de un sistema formal) esta constituido de axiomas y reglas de inferencia que pueden ser usados para derivar los teoremas del sistema.

Tal sistema deductivo tiene como propósito preservar ciertas cualidades deductivas en las fórmulas que son expresas en el sistema. Normalmente la calidad en la cual estamos preocupados es la verdad en oposición a la falsedad. No obstante, otras modalidades, tales como justificación o creencia, pueden ser preservadas alternativamente.

A fin de mantener su integridad deductiva, un aparato deductivo debe ser definido sin referencia a ninguna interpretación pretendida del lenguaje. El objetivo es garantizar que cada línea de una derivación es meramente una consecuencia formal de las líneas que la preceden. No debería haber ningún elemento perteneciente a cualquier interpretación del lenguaje encubierto en la naturaleza deductiva del sistema.

Deducción natural

La deducción natural es un sistema deductivo que sigue una vía formal y utiliza árboles de derivación. La deducción natural esta formada de varias reglas formales que son utilizadas para construir un determinado árbol de derivación (este sistema deductivo también es conocido como sistema Np[1] en la lógica proposicional, y sistema Nc[1] en la lógica de primer orden).

Véase también

Referencias

  1. ↑ a b Estos nombres varían, en la literatura.

Wikimedia foundation. 2010.

Игры ⚽ Нужно сделать НИР?

Mira otros diccionarios:

  • Sistema de Frege — Saltar a navegación, búsqueda 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… …   Wikipedia Español

  • 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

  • Sistema experto — ► locución INFORMÁTICA Software que desarrolla procesos que resuelven problemas de un sector especializado del conocimiento, simulando las acciones que tomaría una persona experta en dicho sector. * * * Los sistemas expertos son aquellos… …   Enciclopedia Universal

  • Razonamiento deductivo — Saltar a navegación, búsqueda El pensamiento deductivo parte de categorías generales para hacer afirmaciones sobre casos particulares. Hablamos de razonamiento deductivo cuando observando una cosas muchas veces se declama lo visto en toda las… …   Wikipedia Español

  • formal, sistema — En lógica, lenguaje formal, en conjunto con un aparato deductivo, por medio del cual algunas fórmulas bien construidas pueden ser derivadas de otras. Cada sistema formal tiene un lenguaje formal compuesto de símbolos primarios que figuran en… …   Enciclopedia Universal

  • Lógica modal — Una lógica modal es un sistema formal que intenta capturar el comportamiento deductivo de algún grupo de operadores modales.[1] Los operadores modales son expresiones que califican la verdad de los juicios.[1] Por ejemplo, en la oración es… …   Wikipedia Español

  • Razonamiento basado en casos — Saltar a navegación, búsqueda El Razonamiento basado en casos es el proceso de solucionar nuevos problemas basándose en las soluciones de problemas anteriores. Un mecánico de automóviles que repara un motor porque recordó que otro auto presentaba …   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

  • Conocimiento — Árbol del conocimiento de Lucas Cranach el Viejo. El conocimiento suele entenderse como: Hechos, o datos de información adquiridos por una persona a través de la experiencia o la educación, la comprensión teórica o práctica de un asunto u …   Wikipedia Español

Compartir el artículo y extractos

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