En la lógica , una premissa es una fórmula considerada hipotéticamente verdadera, dentro de una dada inferencia. Esta se constituye de dos partes: una colección de premissas , y una conclusión.
Una dada fórmula puede o no ser conclusión de una dada colección de premissas . Esto depende de la Lógica o del sistema lógico considerado.
What?