AULA DE LOGICA

Aula de Lógica
Programação lógica é um paradigma de programação que faz uso da lógica matemática. É o modo como se escreve um programa de computador, um algoritmo. Um algoritmo é uma sequência de passos para se executar uma função. Um exemplo de algoritmo, fora da computação, é uma receita de bolo.
Exemplos:
Rita está feliz. (p)
A moto de Pedro é nova. (q)
O cinema fechou ao meio dia. (r)
Faz frio no Alasca. (z)
Rita está feliz ou a moto de Pedro é nova p ou q
O cinema fechou ao meio dia e faz frio no Alasca r e z
Rita está feliz ou a moto de Pedro é nova e O cinema fechou ao meio dia ou faz frio no Alasca.
(p ou q) e (r ou z)

Exercícios:
01. Sendo p a proposição Paulo é paulista e q a proposição Ronaldo é carioca, traduzir para a linguagem corrente as seguintes proposições: a) ~q
b) p ^ q
c) p v q
d) p " q
e) p " (~q)

Respostas: a) Paulo não é paulista. b) Paulo é paulista e Ronaldo é carioca. c) Paulo é paulista ou Ronaldo é carioca. d) Se Paulo é paulista então Ronaldo é carioca. e) Se Paulo é paulista então Ronaldo não é carioca.

02. Sendo p a proposição Roberto fala inglês e q a proposição Ricardo fala italiano traduzir para a linguagem simbólica as seguintes proposições: a) Roberto fala inglês e Ricardo fala italiano.
b) Ou Roberto não fala inglês ou Ricardo fala italiano.
c) Se Ricardo fala italiano então Roberto fala inglês.
d) Roberto não fala inglês e Ricardo não fala italiano.
Respostas:
a) p ^ q
b) (~p) v p
c) q -> p
d) (~p) ^ (~q)
03. A negação de “hoje é segunda-feira e amanhã não choverá” é
a) hoje não é segunda-feira e amanhã não choverá
b) hoje não é segunda-feira ou amanhã choverá
c) hoje não é segunda-feira então amanhã choverá
d) hoje não é segunda-feira nem amanhã choverá
e) hoje é segunda-feira ou amanhã choverá

Um exemplo de algoritmo, que tem como objetivo somar 3 números inteiros.
Algoritmo "soma"
Var Num1, num2, num3, resultado:inteiro
Inicio
escreval("este