Lógica: O Alicerce do Raciocínio Computacional

A Lógica é a disciplina fundamental que estuda os princípios do raciocínio válido e a estrutura do pensamento. No universo da Ciência da Computação, ela não é apenas uma teoria, mas a ferramenta essencial para a criação de programas e algoritmos.

Em Java, a lógica define:

1. O Fluxo de Execução: Como o programa decide qual caminho seguir (usando se-se não).
2. A Repetição de Ações: Quantas vezes ou sob quais condições um bloco de código deve ser repetido (usando enquanto).
3. A Validação de Dados: Se uma condição é verdadeira ou falsa, permitindo que o programa tome decisões.

I. Raciocínio e Algoritmos

Entender as formas de raciocínio nos ajuda a estruturar a solução de problemas em código.

1. Raciocínio Dedutivo (Premissas à Conclusão)

Este é o tipo de lógica que garante que, se as premissas são verdadeiras, a conclusão deve ser verdadeira. É a base para a previsibilidade do código.

Exemplo Clássico (Silogismo):

• Premissa 1: Todo mamífero (Classe A) tem coluna vertebral (Propriedade B).
• Premissa 2: Um ser humano (Instância C) é um mamífero (Classe A).
• Conclusão Lógica: Portanto, todo ser humano tem coluna vertebral.

Aplicação em Java: Um método que testa o tipo de objeto. Se o objeto é uma instância da classe Carro (Premissa 1) e todo Carro tem a propriedade cor (Premissa 2), então podemos deduzir que a instância possui a propriedade cor.

2. Resolução de Problemas (O Caminho Lógico)

A lógica permite decompor um problema complexo em passos menores e sequenciais: o algoritmo.

Exemplo Prático (Decisão de Compra):

Imagine que você está decidindo qual smartphone comprar.