Hipótesis (lógica)

Hipótesis (lógica)
Para otros usos de este término, véase Hipótesis.

Es una fórmula de la que se parte para alcanzar finalmente otra fórmula mediante deducciones (deduciendo) válidas. Es decir, en la demostración de una fórmula, las hipótesis son el conjunto de afirmaciones que son añadidas al conjunto de axiomas, para determinar si la fórmula es deducible del conjunto formado por axiomas e hipótesis mediante la aplicación de reglas de inferencia. Cuando una fórmula A se sigue deductivamente de un conjunto de hipótesis H1,...,Hn, en un sistema de axiomas y reglas de inferencia S, escribimos:

H_1,\dots,H_n \vdash_S A

Un teorema es una fórmula que se sigue de los axiomas sin hipótesis adicionales, lo cual se escribe:

\varnothing \vdash A

O simplemente:

\vdash A

En estadística también se llama hipótesis a cada una de las dos proposiciones mutuamente contradictorias que se afirman en un contraste de hipótesis. La hipótesis alternativa Hi contra la hipótesis nula H0.


Wikimedia foundation. 2010.

Игры ⚽ Нужна курсовая?

Mira otros diccionarios:

  • Hipótesis (Lógica y Matemática) — En Lógica y Matemática, una hipótesis es una proposición de la que se parte para comprobar la veracidad de una tesis mediante argumentos válidos. En estadística se denomina también hipótesis a cada una de las dos proposiciones mutuamente… …   Enciclopedia Universal

  • Hipótesis — (Del gr. hypothesis, suposición.) ► sustantivo femenino 1 Suposición de la que se pretende sacar una consecuencia o llegar a una deducción: ■ la hipótesis de la que partes es falsa. IRREG. plural hipótesis SINÓNIMO conjetura figuración presunción …   Enciclopedia Universal

  • Hipótesis — El término hipótesis puede referirse a: contraste de hipótesis en estadística inferencial hipótesis (lógica) hipótesis (método científico) Esta página de desambiguación cataloga artículos relacionados con el mismo título. Si llegaste aquí a …   Wikipedia Español

  • Lógica empírica — 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 griego antiguo de experiencia, έμπειρία, que a su vez deriva de έυ… …   Wikipedia Español

  • Hipótesis (método científico) — Para otros usos de este término, véase Hipótesis. Una hipótesis es una proposición aceptable que ha sido formulada a través de la recolección de información y datos, aunque no esté confirmada, sirve para responder de forma tentativa a un problema …   Wikipedia Español

  • Hipótesis del ciclol — Reacción del ciclol clásica. Dos grupos peptídicos se unen por enlace N C , convirtiendo el oxígeno carbonílico en una grupo hidroxilo. Si bien esta reacción ocurre en unos pocos péptidos cíclicos, es desfavor …   Wikipedia Español

  • Hipótesis de simulación — Simulación del concepto de cerebro en una cubeta La hipótesis de simulación (argumento de simulación o simulismo) propone que la realidad es una simulación de la cual los afectados por el simulante no están conscientes. La hipótesis desarrolla la …   Wikipedia Español

  • Lógica por defecto — La lógica por defecto es una lógica no monotónica propuesta por Raymond Reiter para formalizar el razonamiento con hipótesis por defecto. La lógica por defecto puede expresar hechos como de forma predeterminada, algo es cierto , por el contrario …   Wikipedia Español

  • Programación lógica — Saltar a navegación, búsqueda La programación lógica consiste en la aplicación del corpus de conocimiento sobre lógica para el diseño de lenguajes de programación; no debe confundirse con la disciplina de la lógica computacional. La programación… …   Wikipedia Español

  • Teorema (lógica) — Saltar a navegación, búsqueda Un teorema es una afirmación que puede ser demostrada como verdadera dentro de un marco lógico. Demostrar teoremas es el asunto central en la matemática. Un teorema generalmente posee un número de condiciones que… …   Wikipedia Español

Compartir el artículo y extractos

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