Sistema Formal Um Sistema Formal para a lógica proposicional é uma 2-tupla, onde: L: linguagem proposicional R: conjunto de regras de inferências.
