b'\n_START_ARTICLE_\nSenten\xc3\xa7a at\xc3\xb4mica\n_START_PARAGRAPH_\nNa l\xc3\xb3gica, uma senten\xc3\xa7a at\xc3\xb4mica \xc3\xa9 um tipo de senten\xc3\xa7a declarativa que pode ser verdadeira ou falsa (pode tamb\xc3\xa9m ser referido como uma proposi\xc3\xa7\xc3\xa3o, declara\xc3\xa7\xc3\xa3o ou portador da verdade) e que n\xc3\xa3o pode ser dividida em outras senten\xc3\xa7as mais simples. Por exemplo, "O cachorro correu" \xc3\xa9 uma senten\xc3\xa7a at\xc3\xb4mica em linguagem natural, enquanto que "O cachorro correu e o gato se escondeu" \xc3\xa9 uma senten\xc3\xa7a molecular em linguagem natural._NEWLINE_A partir de uma an\xc3\xa1lise l\xc3\xb3gica, a verdade ou falsidade de senten\xc3\xa7as, em geral, \xc3\xa9 determinada por apenas duas coisas: a forma l\xc3\xb3gica da senten\xc3\xa7a e da verdade ou falsidade das suas senten\xc3\xa7as simples. Isso quer dizer, por exemplo, que a verdade da senten\xc3\xa7a "Jo\xc3\xa3o \xc3\xa9 grego e Jo\xc3\xa3o \xc3\xa9 feliz" \xc3\xa9 uma fun\xc3\xa7\xc3\xa3o do significado de "e", e dos valores verdade das senten\xc3\xa7as at\xc3\xb4micas "Jo\xc3\xa3o \xc3\xa9 grego" e "Jo\xc3\xa3o \xc3\xa9 feliz ". No entanto, a verdade ou falsidade de uma senten\xc3\xa7a at\xc3\xb4mica n\xc3\xa3o \xc3\xa9 uma quest\xc3\xa3o que est\xc3\xa1 dentro do escopo da l\xc3\xb3gica em si, mas sim, sobre que arte ou ci\xc3\xaancia o conte\xc3\xbado da senten\xc3\xa7a at\xc3\xb4mica est\xc3\xa1 falando._NEWLINE_A l\xc3\xb3gica tem desenvolvido linguagens artificiais. Por exemplo, c\xc3\xa1lculo sentencial e c\xc3\xa1lculo de predicados partem da finalidade de revelar a l\xc3\xb3gica subjacente dos enunciados das linguagens naturais. A gram\xc3\xa1tica superficial dessas declara\xc3\xa7\xc3\xb5es pode ocultar a estrutura l\xc3\xb3gica subjacente; veja Filosof\xc3\xada Anal\xc3\xadtica. Nessas l\xc3\xadnguas artificiais uma senten\xc3\xa7a at\xc3\xb4mica \xc3\xa9 uma sequ\xc3\xaancia de s\xc3\xadmbolos que podem representar uma senten\xc3\xa7a elementar em uma linguagem natural, e pode ser definida da maneiras apresentadas abaixo._NEWLINE_Em uma linguagem formal, uma f\xc3\xb3rmula bem formada (ou fbf) \xc3\xa9 uma sequ\xc3\xaancia de s\xc3\xadmbolos constitu\xc3\xadda em conformidade com as regras da sintaxe da linguagem. Um termo \xc3\xa9 uma vari\xc3\xa1vel, uma constante individual ou uma fun\xc3\xa7\xc3\xa3o n-\xc3\xa1ria seguida por n termos. Uma f\xc3\xb3rmula at\xc3\xb4mica \xc3\xa9 uma fbf composta por uma letra sentencial ou uma letra de predicado n-\xc3\xa1ria seguida por n termos. Uma senten\xc3\xa7a \xc3\xa9 uma fbf na qual as vari\xc3\xa1veis est\xc3\xa3o vinculadas. Uma senten\xc3\xa7a at\xc3\xb4mica \xc3\xa9 uma f\xc3\xb3rmula at\xc3\xb4mica que n\xc3\xa3o cont\xc3\xa9m vari\xc3\xa1veis. Como resultado, uma senten\xc3\xa7a at\xc3\xb4mica n\xc3\xa3o cont\xc3\xa9m conectivos l\xc3\xb3gicos, vari\xc3\xa1veis ou quantificadores. Uma senten\xc3\xa7a constitu\xc3\xadda por uma ou mais senten\xc3\xa7as e um conectivo l\xc3\xb3gico torna-se uma composta (ou senten\xc3\xa7a molecular).'