Declaração (lógica): diferenças entre revisões

Conteúdo apagado Conteúdo adicionado
Linha 1:
Em [[lógica]] uma '''declaração''' ou é (a) uma [[sentença declarativa]] que épode ser ou [[verdadeira]] ou [[falsa]], ou (b) que é afirmada ou criada pelo uso de uma sentença declarativa.
 
No último caso, uma declaração é distinta de uma [[Sentença (linguística)|sentença]] em que uma sentença é apenas uma [[formulação (lógica)|formulação]] de uma declaração, ao passo que podem haver muitas outras formulações expressando a mesma declaração.