Este tutorial tem o objectivo de dar algumas bases nestas duas disciplinas para iniciantes à programação.
Sendo que a programação está assente na algoritmia, e a algoritmia está assente na lógica, como se verá ao longo deste pequeno tutorial, este torna-se de extrema importância para se entender muitos "porquês" da programação que os beginners muitas vezes colocam.

De forma resumida, a lógica é o ramo da filosofia que cuida das regras do bem pensar, ou do pensar correto, sendo, portanto, um instrumento do pensar.¹⁾

Nesta parte vamos entender os operadores lógicos básicos - E, OU e OU… OU… - recorrendo às Tabelas de Verdade.

De forma muito resumida, seguem-se três exemplos simples e perceptíveis:

• Sentença: O João gosta de ir à praia.
• Proposição: O João gosta de ir à praia e ao campo.
• Condição: O João gosta de ir à praia se estiver bom tempo.

Numa Tabela de Verdade são analisadas todas as hipóteses de resposta a um problema lógico, desde o mais simples ao mais complexo, sendo mesmo a base das bases da investigação criminal forense.
São lançadas as hipóteses de forma lógica, unindo as sentenças em proposições e relacionando estas últimas em condições. Um exemplo simples e sem fundamentação forense:
O João é culpado se a arma do crime tiver as impressões digitais dele. Ou a arma é uma faca se as impressões digitais forem as dextras, ou então é uma pistola se ele praticar carreira de tiro.
A Tabela de Verdade tem a seguinte estrutura básica:

Havendo duas proposições, há quatro hipóteses de conjugação conforme os valores lógicos da proposição.
Havendo N proposições num enunciado lógico como o anterior, vão existir combinações. Neste caso, havendo 2 proposições, existem combinações.

O João gosta de praia e do campo.
Ou seja, o João gosta de ambas as coisas, a praia e o campo.

p	q
V	V	V
V	F	F
F	V	F
F	F	F

Só é verdadeiro quando ambas as proposições são verdadeiras.

O João gosta de praia ou do campo
Isto é, o João gosta ou da praia, ou do campo ou de ambos.

Só é falso quando ambas as proposições são falsas.

O João ou gosta de praia ou gosta de campo.
Ou seja, O João gosta de um só destes ambientes, e não dos dois ao mesmo tempo: ou um ou outro.

É falso quando as proposições têm o mesmo valor lógico.

Se o João gosta de ir à praia, então gosta do mar.

p	q
V	V	V
V	F	F
F	V	V
F	F	V

O João gosta de praia se e só se gosta de mar.

p	q
V	V	V
V	F	F
F	V	F
F	F	V

Ou seja, só é verdade quando ambas as proposições tiverem o mesmo valor lógico - só assim as proposições equivalem uma à outra.

Esta é uma operação muito básica que, simplesmente, nega o resultado lógico de uma proposição ou condição.

p	~
V	F
F	V

O João não gosta de ir à praia e gosta de de mar. - ~

Dupla negação: ~~

Sem negação:

• - verdadeiro
• - falso

Com negação:

• ~ - falso
• ~ - verdadeiro

• - falso
• - verdadeiro
• ~ - falso
• ~ - verdadeiro

• ~~~
• ~~~

Ver o Capítulo 5 da Parte II do nosso Tutorial de Pascal: Ordenação crescente de uma lista.
Aproveita e vê como pode ser programado recorrendo a Pascal.

Ver o artigo da Revista PROGRAMAR: Parte 1²⁾ e Parte 2.

Vê o documento completo Algoritmos de pesquisa.

O autor original, thoga31.