Premissa
declaração hipoteticamente verdadeira que fundamenta inferência
Em 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.
Premissa significa a proposição, o conteúdo, as informações essenciais que servem de base para um raciocínio, para um estudo que levará a uma conclusão.
Uma dada fórmula pode ou não ser conclusão de uma dada coleção de premissas.[1] Isto depende da Lógica ou do sistema lógico considerado.
Referências
- ↑ p216, Jan Gullberg, Mathematics from the birth of numbers, W. W. Norton & Company; ISBN 0-393-04002-X ISBN 978-0393040029