Ló gica Simbó lica

Terceiro B
• Igor Vasconcelos
• Kevin Guimarães
• Lucas Smith
• Lucas Conrado
• Victor Magalhães
Origem da Ló gica Simbó lica
A ló gica simbó lica surgiu no final do século XIX,
devido à necessidade que alguns matemá ticos e
filó sofos tinham de tornar a ló gica mais rigorosa,
formalizada e abrangente.
A criaçã o desta vertente da ló gica é atribuída ao
matemá tico inglês George Boole. Para ele, a matemá tica
poderia emprestar à linguagem comum o rigor de sua
linguagem formal, compreendida universalmente.
Imagem 1: George Boole
Proposiçõ es simples e compostas
Proposiçõ es simples
• Joã o estuda.
• Joã o nã o estuda.
• Toda abelha é inseto.

Proposiçõ es compostas
• Joã o estuda e Joã o consegue o diploma.
• Joã o estuda ou passeia.
• Paula vai de carro ou de ô nibus.
• Se Joã o estuda, entã o consegue o diploma.
• Joã o consegue o diploma se, e somente se, estudar.
Proposiçõ es compostas
Negação Implicação
~ →⊃

Conjunção Equivalência
.&^ ↔≡

Disjunção
vw