# data[].attributes.body
A Lógica computacional está envolvida estritamente com o mercado tecnológico, pois todo Software é desenvolvido por meio de algoritmos, tais algoritmos são desenvolvidos por meio de comandos escritos em uma linguagem, e essa estruturação de comandos é feita tendo como base principal a lógica computacional, que está atrelada a lógica filosófica que já conhecemos

# data[].attributes.body
A lógica formal começa no período Aristotélico (384 a.C - 322 a.c), e tem como objetivo o estudo e a ordenação dos pensamentos. Na prática é por meio dela que é possível analisar qualquer argumento para que se possa se chegar a uma conclusão válida.

# data[].attributes.headline
 A Lógica formal possui definições básicas como:

# data[].attributes.subject
 A Lógica formal possui definições básicas como:

# data[].attributes.body
Proposições, Premissas, Argumentos, Silogismos, Falácias e inferências do tipo indutiva e dedutiva.
⬇️⬇️⬇️⬇️⬇️⬇️⬇️⬇️⬇️⬇️

# data[].attributes.body
Após tudo isso é fácil notar que tais conhecimentos vão muito além da lógica computacional propriamente dita, é possível notar uma influência muito grande e positiva na vida de um aluno. Com o estudo da lógica na prática, é possível melhorar a fundamentação dos nossos argumentos, escrever e registrar de forma organizada, comunicarmos melhor, entender melhor o mundo a nossa volta, etc.

# data[].attributes.body
1- Proposições:

Proposição consiste em um enunciado, uma frase declarativa. Podendo a mesma ser verdadeira ou falsa.

2- Premissas:

São proposições que são utilizadas como base para um raciocínio.

3- Argumentos:

É um conjunto de sentenças afirmativas que podem ser verdadeiras ou falsas, na qual uma delas é a conclusão e as demais são premissas. As premissas justificam a conclusão.

4- Silogismos:

Consiste em um raciocínio dedutivo (premissas) e possibilita a dedução de uma conclusão a partir das premissas.

5- Falácias:

Consiste em argumentos que logicamente estão incorretos.

6- Inferências:

Inferência é o processo lógico que conduz uma premissa a uma conclusão. Os tipos de inferência são:

·        Inferências obtidas por dedução: ou seja pelo uso de argumentos válidos que nos permitem extrair o significado implícito nas premissas.

·        Inferências obtidas por indução: processo oposto, no qual se busca uma conclusão geral e universal a partir de premissas singulares.

# data[].attributes.headline
Parte preferida da lógica computacional:

# data[].attributes.subject
Parte preferida da lógica computacional:

# data[].attributes.body
Construção de tabelas verdade ❤️