# data[].attributes.body
Inferência a operação mental pela qual obtemos de uma ou mais proposições outra ou outras que nela(s) estava(m) já implicitamente contida(s). Podem ser divididas em dois tipos: imediatas e mediatas.

# data[].attributes.body
O silogismo é uma forma de raciocínio dedutivo, vai do geral para o particular, tira-se uma verdade que é aplicada a todos os seus componentes, para se afirmar ou negar que a outra parte possui ou não as mesmas características inerentes ao todo. É constituído de três termos que compõem 3 proposições distintas: uma premissa maior, uma menor e uma conclusão – essencial para estabelecer a relação lógica entre as premissas anteriores. Avaliando esse raciocínio lógico (silogismo categórico), temos como exemplo:
“Todos os homens são mortais.
Sócrates é homem,
Logo, Sócrates é mortal.”

Falácia, caracteriza-se por ser um erro de raciocínio. Existem vários tipos, entre eles:
1. GENERALIZAÇÃO EXCESSIVA.
2. FALSA ANALOGIA .
3. DEDUÇÕES FALSAS .
4. ARGUMENTO AUTORITÁRIO.
5. FALSO AXIOMA.
6. CÍRCULO VICIOSO.

# data[].attributes.body
No estudo da lógica matemática, as proposições são conhecidas como premissas. A partir dessas premissas, chegamos a uma conclusão. Uma sequência de premissas que levam a uma conclusão é conhecida como argumento.

Um argumento só será considerado válido se todas as premissas tiverem o valor lógico, o mesmo da conclusão. Portanto, podemos afirmar que um argumento será válido se todas as premissas forem verdadeiras e levarem a uma conclusão também verdadeira. Um argumento não válido é conhecido como sofisma ou falácia.

# data[].attributes.body
Proposições são palavras ou símbolos que expressam um pensamento com um sentido completo e indicam afirmações de fatos ou de ideias. São sentenças as quais se aplicam os qualificativos “Falso” ou “Verdadeiro”. A preposição podem ser simples ou compostas. Para combinar proposições simples e formar proposições compostas são utilizados conectivos lógicos. Estes conectivos representam operações  lógicas. As proposições simples são aquelas que declaram algo sem o uso de conectivos, que são: “e” (conjunção), “ou” (disjunção inclusiva), “ou…, ou…” (disjunção exclusiva), “se…, então…” (condicional) e “… se e somente se…” (bicondicional). Quando conectamos duas ou mais proposições simples, formamos uma proposição composta.
Utiliza-se a tabela verdade em proposições compostas, sendo que o resultado do valor lógico depende apenas do valor de cada proposição.

# data[].attributes.body
https://www.impacta.com.br/blog/entenda-o-que-e-logica-de-programacao/

http://www.proanpec.org.br/orientacao-para-exame-logica.html

https://www.devmedia.com.br/logica-uma-ferramenta-indispensavel-na-programacao-de-computadores/28386

https://ftp.unicamp.br/pub/apoio/treinamentos/logica/logica.pdf

https://www.estrategiaconcursos.com.br/blog/proposicao-simples-a-base-do-raciocinio-logico/

https://www.todamateria.com.br/tabela-verdade/#:~:text=Tabela%20verdade%20%C3%A9%20um%20dispositivo,afirma%C3%A7%C3%B5es%20de%20fatos%20ou%20ideias.

https://mundoeducacao.uol.com.br/matematica/argumento.htm#:~:text=No%20estudo%20da%20l%C3%B3gica%20matem%C3%A1tica,conclus%C3%A3o%20%C3%A9%20conhecida%20como%20argumento.

http://educacao.globo.com/portugues/assunto/texto-argumentativo/silogismo-e-falacia.html#:~:text=%C3%89%20constitu%C3%ADdo%20de%20tr%C3%AAs%20termos,Todos%20os%20homens%20s%C3%A3o%20mortais.

http://www.filorbis.pt/filosofia/Inferencia.htm#:~:text=Designa%2Dse%20por%20infer%C3%AAncia%20a,dois%20tipos%3A%20imediatas%20e%20mediatas.

# data[].attributes.body
Lógica de programação é a técnica de encadear pensamentos para atingir determinado objetivo.  Sendo necessária para pessoas que desejam trabalhar com desenvolvimento de sistemas e programas, ela permite definir a sequência lógica para o desenvolvimento.