logica

Lógica e construção de algoritmos
Fundamentos de Lógica

Professor: Francisco Ary

Fundamentos de Lógica
• Conceito de Proposição:
 Definição: chama-se proposição todo o conjunto de palavras ou símbolos que revelam um pensamento de sentido completo.
 As proposições transmitem pensamentos, isto é, afirmam fatos ou manifestam juízos que formamos a respeito de determinadas entidade.
 Por exemplo:
• A Terra gira em torno do sol.
• Natal é a capital do Rio Grande do Norte.
22/01/14

Unifacex - Centro Universitário FACEX

2

Fundamentos de Lógica
• Conceito de Proposição:
 A Lógica matemática adota como regras fundamentais do pensamento os dois seguintes princípios: • Não contradição: Uma proposição não pode ser verdadeira e falsa ao mesmo tempo;
• Terceiro excluído: Toda proposição ou é verdadeira ou é falsa. Não há outra possibilidade;

22/01/14

Unifacex - Centro Universitário FACEX

3

Fundamentos de Lógica
• Conceito de Proposição:
 As proposições são geralmente designadas pelas letras latinas: p, q, r, s, caso simples e ou por: P, Q,
R, S, caso compostas;
• Proposições podem ser ditas simples ou compostas;
• As simples são aquelas que vêm sozinhas, desacompanhadas de outras proposições. Já as compostas são formadas por duas ou mais proposições conectadas entre si .
– P(p, q, r);

22/01/14

Unifacex - Centro Universitário FACEX

4

Fundamentos de Lógica
• Conceito de Proposição:
 Proposições Simples:
• p : Carlos é homem.
• q : Pedro é estudante.
• r : Todo homem é mortal.

 Proposições Compostas:
•
•
•
•
22/01/14

P: Carlos é homem e Pedro é estudante.
Q: Cris vai ao cinema ou Paulo vai a Praia.
R: Ou Gustavo é baiano, ou é paulista.
S: Se chover amanhã de manhã, então não irei à praia.
Unifacex - Centro Universitário FACEX

5

Fundamentos de Lógica
• Conceito de Proposição:
 Proposições Compostas:
• Nas proposições compostas a cima, usamos os conectivos: e, ou, Ou ...