# data[].attributes.body
Todos já falamos essa frase alguma vez na vida, mas já paramos para pensar sobre ela? Por que é lógico? o que define se é lógico ou não?

Aristóteles, a muito tempo antes de Cristo se perguntou a mesma coisa e o que resultou dessa pergunta perdura até os dias de hoje, ele começou a explorar o que chamamos de lógica formal, que explico sobre em outro poste.

A lógica permite, praticamente, que tenhamos o entendimento de como o nosso raciocínio lógico é formado, organizar e fundamentar nossos argumentos, para que nossa comunicação seja clara e sem riscos de desentendimentos. O principal objetivo é a resolução de problemas, e por isso é uma competência ensinada em varias áreas de estudos, inclusive a área de tecnologia.

# data[].attributes.body
"A lógica é a arte de pensar bem!" - Forbellone

A forma mais complexa do pensamento é o raciocínio e a lógica é o estudo da correção do raciocínio.

Começando então pela lógica formal que começou a ser estudada pelo famoso filosofo Aristóteles onde ela é chamada assim quando procura estabelecer a relação entre a forma de um argumento e sua validade. Ela ensina a distinguir argumentos de não-argumentos e argumentos válidos de não-válidos.

"A lógica formal lida com as relações entre premissas e as conclusões que se chegam a partir das premissas, independentemente se a premissa é verdadeira ou falsa." (MUNDIM, 2002).

# data[].attributes.body
Temos também a lógica dedutiva, em que suas conclusões são presumivelmente necessárias, ou seja, se as premissas são verdadeiras então as conclusões também são.
Ela parte de casos gerais para conclusões particulares.

EX: Todo planeta é quadrado - A Terra é um planeta - logo a Terra é quadrada.

EX²: Todo vertebrado possui vértebras - Todos os cães são vertebrados - Logo todos os cães possuem vértebras.

# data[].attributes.body
E finalmente a nossa companheira, a lógica simbólica é a parte em que representamos as premissas e suas relações por meio de símbolos matemáticos, sendo assim precisa e sem margem para duplas interpretações.
Ela é dividida em lógica proposicional e lógica de predicados.

Lógica proposicional
Símbolos representam as proposições e as relações entre elas, alguns deles são os exemplificados na imagem acima.          Além das tabelas de verdade utilizadas para saber se um argumento é válido ou não.

Lógica de predicados
Envolve os quantificadores (universais e existenciais) expressados pelas palavras, "qualquer", "todo", "cada", "algum", "nenhum" e "existe".

# data[].attributes.headline
E como trabalhamos com ela em nosso cotidiano?

# data[].attributes.subject
E como trabalhamos com ela em nosso cotidiano?

# data[].attributes.body
Entendendo os conceitos aqui mais cedo apresentados podemos perceber que a lógica faz parte do nosso cotidiano, o arquiteto usa, o psicologo usa, o dentista, a faxineira, eu, você...todos usam mas nem todos entendem isso.
Muitas vezes é usado de modo mais informal, outras vezes de modo a ter um conhecimento apurado do mesmo e saber aplicar em momentos que pareçam necessários.

Sophia, uma arquiteta, utiliza da lógica para para organizar seus clientes e separa-los em letras como, Cliente A, cliente B, cliente C...

Tânia , estudante, utiliza da lógica para organizar o melhor e mais rápido trajeto de ônibus de suas casa ao trabalho de meio período.

O Serralheiro, Gregório, utiliza o raciocínio lógico para montar um portão. Primeiro pensa nas medidas e desenho, faz um esboço para quando montar dar certo.

# data[].attributes.body
Já na indutiva os argumentos são prováveis mas não necessários, e partem de casos particulares para conclusões gerais.
Porem, um único contraexemplo invalida todo um raciocínio.

EX:  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.

# data[].attributes.headline
E para o Analista / Desenvolvedor de sistemas?

# data[].attributes.subject
E para o Analista / Desenvolvedor de sistemas?

# data[].attributes.body
Um desenvolvedor deve se apoiar fundamentalmente na lógica, pois ela ensina a pensar de forma organizada e assim criar um algoritmo, um meio de se comunicar com o computador de maneira assertiva, desenvolvendo instruções em uma sequência para atingir determinado objetivo.