Sentenas Declarativas ou Preposies:

A lgica uma matria que estuda de sentenas declarativas ou preposies,

objetiva o raciocnio correto ou logico para assim elaborar procedimentos, ou
clculos assertivos ou mais assertivos.

Com a distino de argumentos para se chegar constituindo uma investigao da

verdade, distinguindo argumentos validos daqueles que no so, ou seja, falsos.

A logica surgiu na Grcia, atravs de Aristteles (384 322 AC.) atravs da

representao de pensamentos por um processo.

Conceitos de Preposies:

Define-se como proposio o conjunto de palavras ou smbolos que exprimem um

pensamento de sentido completo. As proposies transmitem pensamentos, que afirmam
fatos ou juzos que formamos a respeito das coisas. Enfim, uma proposio uma
declarao a respeito de algum tema.

Proposies:

um conjunto de palavras ou smbolos que exprime um pensamento de sentido

completo, de modo que se possa atribuir, dentro de certo contexto, somente um de
dois valores lgicos possveis: verdadeiro ou falso.

A lgica matemtica se assenta em dois princpios

fundamentais:

Princpio da no contradio:

Uma proposio no pode ser verdadeira e falsa ao mesmo tempo.

Princpio do terceiro excludo:

Toda proposio ou verdadeira ou falsa, excluindo-se qualquer outro valor.

Somente s sentenas declarativas pode-se atribuir valores de verdadeiro ou

falso, que ocorre quando a sentena confirmada ou negada, respectivamente. No se
pode atribuir um valor de verdadeiro ou falso s demais formas de sentenas como as
interrogativas, as exclamativas e outras, embora elas tambm expressem pensamentos
ou juzos.

Proposies classificam-se em simples ou atmicas e compostas ou moleculares:

Proposio simples:

um pensamento singular sem integrar qualquer outra proposio. Exemplos:

Antnio estudante.

Jos solteiro.

Proposio composta:

formada pela combinao de duas ou mais proposies simples.

Exemplos:
Maria professora e Pedro mecnico.

Se o carro novo, ento est em boa condio de uso.