Lógica como base da programação

Na minha primeira aula de programação, seja qualquer linguagem eu começo pela lógica.

Programar envolve organizar o pensamento em passos claros, estruturados e verificáveis.

então não fazemos nada se não tivermos um conhecimento mesmo que básico de lógica.

Vem comigo entender mais sobre isso.

Um exemplo clássico de lógica:

• todos os humanos são mortais

• Sócrates é humano

• logo, Sócrates é mortal

Isso é um silogismo.

Uma forma estruturada de raciocinar a partir de premissas.

Esse raciocínio tem uma estrutura bem definida:

• premissas → fatos iniciais

• regra → relação entre os fatos

• conclusão → resultado lógico

Essa organização permite construir respostas consistentes e reproduzíveis.

Esse tipo de lógica aparece diretamente em sistemas.

Exemplo de regra de acesso:

• um usuário pode acessar se:

• for admin

ou tiver assinatura ativa e acesso liberado Aqui já existe uma estrutura de decisão.

No computador, isso vira uma expressão lógica:

\[\text{Permissão} = \text{Admin} \lor (\text{AssinaturaAtiva} \land \text{AcessoLiberado})\]

Cada parte é avaliada e combinada até chegar em verdadeiro ou falso.

O computador trabalha com valores simples:

• verdadeiro (1)

• falso (0)

Com isso, ele consegue tomar decisões, controlar fluxos e executar regras.

Quando organizamos várias decisões em sequência, temos um algoritmo.

Um algoritmo é um conjunto finito de passos para resolver um problema.

Ele descreve exatamente o que deve ser feito.

Exemplos do dia a dia:

• escovar os dentes

• seguir uma receita

• ir de um ponto a outro

• resolver uma sequência numérica

Cada um segue uma ordem bem definida de ações.

Para funcionar corretamente, um algoritmo precisa:

• passos claros

• ações executáveis

• ordem definida

• início e fim

Essas características garantem que ele possa ser seguido.

Quando isso vai para o computador, entra o modelo de von Neumann.

As instruções e os dados ficam na memória.

A CPU executa cada instrução em sequência, uma após a outra.

Programar é:

• organizar o raciocínio

• definir regras

• estruturar passos

• executar na máquina

e a lógica é o que de fato estrutura todo esse processo.

Gostou, comenta

---