Premissa
Origem: Wikipédia, a enciclopédia livre.
Na lógica, uma premissa é uma fórmula considerada hipoteticamente verdadeira, dentro de uma dada inferência. Esta constitui-se de duas partes: uma coleção de premissas, e uma conclusão.
Uma dada fórmula pode ou não ser conclusão de uma dada coleção de premissas. Isto depende da Lógica ou do sistema lógico considerado.
