Fórmula (lógica)
De Wikipedia, a enciclopédia encyclopedia
Na lógica matemática, uma fórmula é uma representação de uma proposição dentro de uma certa linguagem formal.
Este artigo ou secção contém uma lista de referências no fim do texto, mas as suas fontes não são claras porque não são citadas no corpo do artigo, o que compromete a confiabilidade das informações. (Março de 2020) |
Grosso modo, uma fórmula é uma frase construída segundo as regras gramaticais de uma determinada linguagem formal, a respeito de objetos do universo de discurso.