# data[].attributes.body
Segundo Forbellone (2005, p. 1), lógica é a “arte de bem pensar”, que é a “ciência das formas do pensamento”.
A lógica estuda a correção do raciocínio; ou seja, um encadeamento de fatos ou uma organização de técnica, por exemplo, a matemática.
A lógica nos permite de forma prática, entender como nosso raciocínio lógico é formado, através dos nossos argumentos, escreve e registra de forma organizada, além de fazer conexões entre diversos assuntos e entender melhor o mundo que está a nossa volta.
Atualmente, é fortemente estudada em matérias relacionadas a tecnologia da informação e programação, pois é a base para a construção de algoritmos.

# data[].attributes.body
Proposição: consiste em um enunciado, ou seja, um pensamento em forma de frase declarativa, podendo ser verdadeira ou falsa.
A lógica não permite concluir se uma proposição ou afirmação é verdadeira ou falsa, ela apenas garante que, com base em premissas verdadeiras, seja possível chegar a conclusões verdadeiras.

# data[].attributes.body
Premissas: consistem em proposições que são utilizadas como base para um raciocínio.
Portanto, temos que as premissas podem ser verdadeiras ou falsas.
Exemplo: se afirmo que o céu está claro e sem nuvens, você pode olhar pela janela e concluir que a afirmação é verdadeira ou falsa. Se estiver chovendo, você dirá
que minha afirmação é falsa. Por outro lado, um argumento pode ser válido ou inválido.
Exemplificando
Se eu afirmar (premissas):
Em dias sem nuvens, chove.
Se há chuva, João sai com seu guarda-chuva

# data[].attributes.body
Argumento: conjunto de enunciados que se relacionam uns com os outros.
O argumentos serve para desenvolver um raciocínio, bem como traz regras a fim de que um raciocínio encadeado corretamente possibilite conclusões verdadeiras.

# data[].attributes.body
Silogismo: consiste em um raciocínio dedutivo (premissas) e possibilita a dedução de uma conclusão a partir das premissas.
É um argumento constituído de proposições das quais se extrai uma conclusão. Assim, não se trata de conferir valor de verdade ou falsidade às proposições (frases ou
premissas dadas) nem à conclusão, mas apenas de observar a forma como foi construída.
Em um silogismo, as premissas e conclusões se encaixam de tal forma que, uma vez que você aceita as premissas como verdadeiras, fica obrigado a aceitar a conclusão, independentemente do teor real argumento que está sendo construído.
Considere, por exemplo, o seguinte argumento lógico dedutivo:
Premissas:
• Todos os japoneses torcem pelo Japão.
• Tadashi é japones.
Conclusão:
• Tadashi torce pelo Japão.

# data[].attributes.body
Falácia: consiste em argumentos que logicamente estão incorretos. A partir dos vocabulários, podemos definir os tipos de lógica existentes, entre os quais estão a lógica formal e a lógica transcendental.

# data[].attributes.body
Inferência é o processo que permite chegar a conclusões a partir de premissas, constituindo a argumentação lógica perfeita.
Uma inferência inválida é chamada falácia.
Exemplos de inferências da lógica formal com argumento válido e conclusão lógica.
A partir de duas frases, que são as premissas, chegamos a uma conclusão.
1. Todos os homens são mortais.
Elias é homem.
Logo, Elias é mortal.
2. Toda novela conta histórias sobre o dia a dia das pessoas.
Roque Santeiro é uma novela.
Logo, Roque Santeiro conta histórias sobre a vida das pessoas.
A inferência, pode ser de dois tipos: indutiva e dedutiva.

A lógica dedutiva é aquela que parte de premissas afirmativas ou leis mais gerais permitindo a obtenção de verdades menos gerais ou particulares.

Um exemplo de inferência dedutiva ou dedução?
Todo o analista de sistemas sabe programar.
Mariana é analista de sistemas.
Portanto, Mariana sabe programar.
Aqui, partimos de uma informação geral sobre as habilidades dos analistas de sistemas para concluir sobre as habilidades de Mariana. Com base na afirmativa geral, tomada como verdadeira, a conclusão é inevitável.
Chamamos Silogismo esse tipo de argumentação lógica.
Exemplos de Lógica Dedutiva:
1. Todos os brasileiros gostam de praia. Antônio é brasileiro. Portanto,
Antônio gosta de praia.
2. Todo os jogadores de futebol treinam em academias. Paulo é um
jogador de futebol. Então, Paulo treina em uma academia.

A lógica indutiva se preocupa com argumentos que permitem conclusões gerais a partir de casos particulares. Vamos a um exemplo de inferência indutiva ou indução?
Mariana é analista de sistemas e sabe programar.
Enzo é analista de sistemas e sabe programar.
Sabrina é analista de sistemas e sabe programar.
Portanto, todos os analistas de sistemas sabem programar.
Observe que, ao consultar dezenas ou centenas de analistas de sistemas, chegamos a uma conclusão geral com relação a eles. Um cuidado a ser 15 tomado com a lógica indutiva é que um único contraexemplo é capaz de invalidar todo um raciocínio.
Um exemplo famoso é que por séculos a afirmação “todo cisne é branco” foi considerada verdadeira pelos europeus, pois a cada encontro com um cisne, eles verificavam que sua cor era branca.
Pela lógica indutiva, chegou-se à conclusão que todos eram brancos. Com as navegações, entretanto, verificou-se que na Austrália há cisnes negros. O contraexemplo, portanto,
invalidou imediatamente a conclusão anterior.

Exemplos de Lógica Indutiva:
1. Uma maçã solta no ar cai em direção ao solo. Uma caneta solta no ar cai em direção ao solo. Um livro solto no ar cai em direção ao solo.
Todos os objetos soltos no ar caem em direção ao solo.
2. Um imã atrai um prego de ferro. Um imã atrai limalha de ferro. Um imã atrai argolas de ferro. Um imã atrai o elemento ferro.
Note a importância do raciocínio indutivo para o desenvolvimento da ciência por meio da experimentação e da observação da natureza, dos fatos naturais isolados, permitindo a construção das leis naturais em um processo
de generalização.