https://padlet.com/allan1989castro/6qw4hkg6wz4xngkx Um breve resumo sobre o que vimos a respeito de Lógica Computacional. en-us 2022-03-28 23:45:10 UTC 2025-12-06 13:10:25 UTC hello@padlet.com allan1989castro https://padlet.com/allan1989castro/6qw4hkg6wz4xngkx/wish/2118175712 No dicionário significa parte da filosofia que trata das formas do pensamento em geral (dedução, indução, hipótese, inferência etc.) e das operações intelectuais que visam à determinação do que é verdadeiro ou não.
Normalmente associa-se a Lógica apenas à matemática, o que não é verdade, pois a Lógica se aplica a todas as situações do cotidiano e a todas as ciências.  
A lógica é um dos campos da filosofia, e pode ser considerada uma disciplina introdutória para qualquer estudo filosófico. Isso acontece porque a lógica lida com raciocínios e argumentos, e raciocínios e argumentos fazem parte de qualquer reflexão filosófica, seja ela no campo da teoria do conhecimento, da ética, da filosofia política ou da estética ]]> 2022-03-29 00:03:23 UTC https://padlet.com/allan1989castro/6qw4hkg6wz4xngkx/wish/2118175712 allan1989castro https://padlet.com/allan1989castro/6qw4hkg6wz4xngkx/wish/2118193093 Lógica computacional é a linguagem por trás das funções de um computador. Ela usa elementos da lógica tradicional e da computação para criar comandos e desenvolver softwares ou algoritmos. Nesse sentido, é preciso seguir um raciocínio organizado e complexo, o qual faz parte do pensamento computacional.
Quando a necessidade é desenvolver um programa ou rotina a ser executada pelo computador, precisamos deixar bem claro a sequência que deve ser seguida para atingir o resultado esperado. A esse encadeamento lógico na programação, chamamos de lógica de programação, e a descrição de como fazer, definimos como algoritmos.
algoritmos são como uma receita de bolo vai nos diz quais ingredientes devemos usar e como se preparar.]]> 2022-03-29 00:17:26 UTC https://padlet.com/allan1989castro/6qw4hkg6wz4xngkx/wish/2118193093 allan1989castro https://padlet.com/allan1989castro/6qw4hkg6wz4xngkx/wish/2118218756 Em lógica, pode-se distinguir três tipos de raciocínio lógico: dedução, indução e abdução.

Dedução corresponde a determinar a conclusão. Utiliza-se da regra e sua premissa para chegar a uma conclusão. Exemplo: "Todo brasileiro é sul-americano. (Premissa maior) Ora, todo paulista é brasileiro. (Premissa menor) Logo, todo paulista é sul-americano. (Conclusão).

Indução é determinar a regra. É aprender a regra a partir de diversos exemplos de como a conclusão segue da premissa. Exemplo: "A grama ficou molhada todas as vezes em que choveu. Então, se chover amanhã, a grama ficará molhada." É comum associar os cientistas com este estilo de raciocínio.

Abdução significa determinar a premissa. Usa-se a conclusão e a regra para defender que a premissa poderia explicar a conclusão. Exemplo: "Quando chove, a grama fica molhada. A grama está molhada, então pode ter chovido." Associa-se este tipo de raciocínio aos diagnósticos e detetives.]]> 2022-03-29 00:33:35 UTC https://padlet.com/allan1989castro/6qw4hkg6wz4xngkx/wish/2118218756 allan1989castro https://padlet.com/allan1989castro/6qw4hkg6wz4xngkx/wish/2118241506 A Lógica Simbólica ou Lógica Matemática utiliza símbolos de origem matemática para formular os argumentos. "Trabalho iniciado pelo matemático inglês George Boole (1815 – 1864) – Álgebra Booleana; e consolidado pelo filósofo e matemático alemão Goottlob Frege (1848 – 1895) – Regras de Demonstração Matemática."Uma vez que a Lógica Simbólica tem sua própria linguagem técnica, é um instrumento poderoso para a análise e a dedução dos argumentos, especialmente com o uso do computador (Prova Automática de Teoremas).]]> 2022-03-29 00:47:53 UTC https://padlet.com/allan1989castro/6qw4hkg6wz4xngkx/wish/2118241506