Proêmio
É a parte introdutória da lógica material, na qual se estuda a sua praticidade, os objetos das diversas lógicas, se é uma ciência especulativa ou prática, a lógica utens, a lógica utilizável, cujas análises são proêmios para o estudo da lógica predicamental, que é a base da lógica demonstrativa.