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. Premissa significa a proposição, o conteúdo, às informações essenciais que servem de base para um raciocínio, para um estudo que levará a uma conclusão.