# data[].attributes.body
- Operador lógico de conjunção ("e"): valoração V apenas quando todas as proposições simples forem verdadeiras

- Operador lógico de disjunção inclusiva ("ou"): valoração F somente quando todas as proposições simples forem falsas; em qualquer outro caso a valoração é V

- Operador lógico de disjunção exclusiva ("ou... ou"): valoração V se, e somente se, apenas uma das proposições simples for verdadeira

- Operador lógico de negação ("não"): troca o valor-verdade pelo seu oposto; se a proposição é verdadeira, torna-se falsa; se é falsa, torna-se verdadeira

- Operador lógico de condição ("se... então"): a verdade de uma primeira proposição (antecedente) implica a verdade da segunda proposição (consequente)

- Operador lógico de Bicondicional ("se... e somente se"): valoração V se o valor-lógico das duas proposições forem iguais, tanto verdadeiro quanto falso

# data[].attributes.body
- Proposições podem ser simples ou compostas

- Proposição simples: uma única afirmação na frase

- Proposição composta: pelo menos duas proposições simples, ligadas por um conector lógico

# data[].attributes.body
- Princípio da Identidade: toda proposição é idêntica a si mesma

- Princípio da Não Contradição: uma proposição não pode ser verdadeira e falsa ao mesmo tempo

- Princípio do Terceiro Excluído: toda proposição ou é verdadeira, ou falsa; não existe um terceiro valor

# data[].attributes.body
- Proposições devem poder ser valoradas como verdadeiras ou falsas (nunca ambas ao mesmo tempo)

- Classificação binária: só há dois resultados possíveis, verdadeiro ou falso

# data[].attributes.body
- Constrói argumentos embasados por premissas que levam a uma única conclusão

- Rosas são vermelhas (premissa 1). Rosas são flores (premissa 2). Todas as flores vermelhas são românticas (premissa 3). Rosas são românticas (conclusão)

# data[].attributes.body
- Princípio da identidade

- Princípio da não-contradição

- Princípio do terceiro excluído

# data[].attributes.body
- O que enuncia as identidades dos seres e das coisas; "Tudo é idêntico a si mesmo"

- A é A; todos os pássaros são pássaros; todas as flores são flores

# data[].attributes.body
- A Identidade de algo não pode ser ela mesma e não ser ela ao mesmo tempo; nenhuma afirmação pode ser verdadeira e falsa ao mesmo tempo

- É impossível que A seja e não seja A, ao mesmo tempo e sob o mesmo aspecto; é impossível que todas as flores sejam flores e não sejam flores, ao mesmo tempo e sob o mesmo aspecto

# data[].attributes.body
- Estudo formal da lógica, desenvolvido pelo filósofo grego Aristóteles

- 390 a.C. até meados do século XIX - 1840 d.C.

# data[].attributes.body
- Algo é ou não é - não existe uma terceira possibilidade

- Ou A é A, ou não é - não há outra possibilidade; se A for B, então deixa de ser A, se encaixando na segunda possibilidade

# data[].attributes.body
- Expressão máxima da lógica aristotélica

- Se baseia em premissas e uma conclusão: uma premissa maior, uma premissa menor e, a partir delas, a conclusão

- Não confere valor verdadeiro ou falso às proposições, mas observa a forma como o argumento é constituído

- Todas as flores são azuis (premissa maior). Rosa é uma flor (premissa menor). Logo, a rosa é azul (conclusão).

# data[].attributes.body
- Utiliza regras da Lógica Formal para escrever algoritmos capazes de tomar decisões

- Valora os conteúdos como verdadeiros ou falsos, a fim de extrair conclusões