Regla de inferencia

Mira otros diccionarios:

• Regla — Saltar a navegación, búsqueda Una regla es: Regla Juridica: Derechos Y Obligaciones De Una Persona. Instrumento de medición: regla (instrumento) En lógica y matemática: Regla de inferencia, un método para construir inferencias válidas. Axioma,… …   Wikipedia Español

• Inferencia — Una inferencia es una evaluación que realiza la mente entre expresiones bien formadas de un lenguaje (EBF) que, al ser relacionadas intelectualmente como abstracción, permiten trazar una línea lógica de condición o implicación lógica entre las… …   Wikipedia Español

• regla — (Del lat. regŭla). 1. f. Instrumento de madera, metal u otra materia rígida, por lo común de poco grueso y de forma rectangular, que sirve principalmente para trazar líneas rectas, o para medir la distancia entre dos puntos. 2. Aquello que ha de… …   Diccionario de la lengua española

• Inferencia bayesiana — La inferencia bayesiana se aplica a muchos dominios de la teoría de la decisión La inferencia bayesiana es un tipo de inferencia estadística en la que las evidencias u observaciones se emplean para actualizar o inferir la probabilidad de que una… …   Wikipedia Español

• Regla — (Del lat. regula.) ► sustantivo femenino 1 Instrumento hecho de material rígido de forma rectangular que sirve para trazar líneas rectas o para medir la distancia entre dos puntos: ■ para hacer dibujo lineal es imprescindible una regla. SINÓNIMO… …   Enciclopedia Universal

• 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 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

• Silogismo — El silogismo es una forma de razonamiento deductivo que consta de dos proposiciones como premisas y otra como conclusión, siendo la última una inferencia necesariamente deductiva de las otras dos. Fue formulado por primera vez por Aristóteles, en …   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

• Demostración automática de teoremas — Saltar a navegación, búsqueda Para otros usos de este término, véase Demostración. La demostración automática de teoremas (de siglas ATP, por el término en inglés …   Wikipedia Español