Lógica de programação

Lógica de Programação
FORBELLONE, André Luis e EBERSPACHER, Henri (PLT)

Organização do pensamento de forma coerente  Permite chegar a determinadas conclusões
 Permite escolher caminhos para resolver problemas conhecidos




Exemplo1:
1. Todo mamífero é um animal
2. Todo cavalo é um mamífero
3. Portanto, todo cavalo é um animal



Exemplo2:

1. Kailton é país do planeta Stix
2. Todos os Ximpins são de Kailton
3. Logo, todos os Ximpins são Stixianos



Exemplo3:
1. Hoje é sábado
2. Todo sábado que não tem feriado tem aula
3. Hoje não é feriado:
4. Logo, hoje tem aula



Exemplo1:
1. Alexandre só ronca quando bebe
2. Alexandre só bebe quando sai
3. Alexandre sai todos os dias
4. Portanto, quando Alexandre ronca?



Exercício: Três jesuítas e três canibais precisam atravessar um rio; para tal dispõem de um barco com capacidade para duas pessoas. Por medida de segurança não se deve permitir que em nenhuma margem a quantidade de jesuítas seja inferior à de canibais. Qual a solução para efetuar a travessia com segurança, considerando que o barco não pode navegar vazio?



Resposta:
1.
2.
3.
4.
5.
6.
7.
8.
9.
10.
11.

Atravessar um jesuíta e um canibal para a margem B
Voltar o jesuíta para a margem A
Atravessar dois canibais para a margem B
Voltar um canibal para a margem A
Atravessar dois jesuítas para a margem B
Voltar um jesuíta e um canibal para a margem A
Atravessar dois jesuítas para a margem B
Voltar um canibal para a margem A
Atravessar dois canibais para a margem B
Voltar um canibal para a margem A
Atravessar dois canibais para a margem B



Exercício: Um agricultor precisa atravessar o rio para transportar sua carga, que são dois fardos de capim e um carneiro. O problema é que ele só pode transportar uma coisa de cada vez no seu pequeno barco. Pior ainda, se ele deixar o carneiro e o capim juntos, o carneiro vai comer o capim. Como fazer então para que ele