Aula de lógica - proposicoes e conectivos

Proposições – Conectivos Item 1 do Conteúdo Programático para Matéria Programação Orientada Objetos

Lógica para a Computação Luiz Henrique Rauber Rodrigues URI Santiago

Agosto 2012 Slide 1 de 21

Proposições?

Lógica para a Computação Luiz Henrique Rauber Rodrigues URI Santiago

Agosto 2012 Slide 2 de 21

Conceito de Proposições

“Definição – Chama-se proposição todo o conjunto de palavras ou símbolos que exprimem um pensamento de sentido completo.”

pg. 11 - Introdução a Lógica Matemática – Edgard de Alencar Filho – Editora Nobel, 2002
Lógica para a Computação Luiz Henrique Rauber Rodrigues URI Santiago Agosto 2012 Slide 3 de 21

Conceito de Proposições

Exemplo de proposições: (a) A lua é um satélite da Terra (b) Recife é a capital de Pernambuco

pg. 11 - Introdução a Lógica Matemática – Edgard de Alencar Filho – Editora Nobel, 2002
Lógica para a Computação Luiz Henrique Rauber Rodrigues URI Santiago Agosto 2012 Slide 4 de 21

Conceito de Proposições

“...regras fundamentais do pensamento os dois seguintes princípios (ou axiomas): (I) PRINCÍPIO DA NÃO CONTRADIÇÃO: Uma proposição não pode ser verdadeira e falsa ao mesmo tempo. (II) PRINCÍPIO DO TERCEIRO EXCLUÍDO: Toda a proposição ou é verdadeira ou é falsa, isto é, verifica-se sempre um destes casos e nunca um terceiro.”

pg. 11 - Introdução a Lógica Matemática – Edgard de Alencar Filho – Editora Nobel, 2002
Lógica para a Computação Luiz Henrique Rauber Rodrigues URI Santiago Agosto 2012 Slide 5 de 21

Conceito de Proposições

“…a Lógica Matemática é uma Lógica Bivalente. …as proposições (a), (b), (…) são todas verdadeiras, mas são falsas as cinco seguintes proposições: (a) Vasco da Gama descobriu o Brasil (b) Dante escreveu os Lusíadas Assim, as proposições são expressões a respeito das quais tem sentido dizer que são verdadeiras ou falsas.”

pg. 12 - Introdução a Lógica Matemática – Edgard de Alencar Filho – Editora Nobel, 2002
Lógica para a Computação Luiz Henrique