HipĂłtesis (lĂłgica)

En lógica matemática una 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 adicionales 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...,H'n, en un sistema de axiomas y reglas de inferencia S, escribimos:
Ver en Wikipedia.org

DistribuciĂłn 77

Exámenes en los que aparece