Escolar Documentos
Profissional Documentos
Cultura Documentos
Noes de Lgica
AULA 4
CEFET-MG / TIMTEO
Por que estudar lgica?
Se chegamos at aqui j sabemos o que um computador, como ele
funciona e como os dados fluem dentro dele.
Mesmo assim podemos dizer que temos uma noo muito boa do real
funcionamento de um computador. Mas qual o nosso objetivo? O nosso
objetivo programar, ou seja, criar cdigos que sejam executados pelo
computador.
CEFET-MG / TIMTEO 2
Por que estudar lgica?
Um computador consegue realizar operaes aritmticas e lgicas. As
operaes aritmticas so nossas conhecidas desde a mais tenra idade
escolar. To logo aprendemos matemtica, to logo aprendemos as
operaes aritmticas.
Soma
Subtrao
Multiplicao
Diviso
Exponenciao
Radiciao
Logaritmo
Trigonometria
CEFET-MG / TIMTEO 3
Por que estudar lgica?
Mas e as operaes lgicas? Essas a gente no aprende com tanta
intensidade, mas um rea da matemtica como outra qualquer e que
proporciona enorme poder computao.
CEFET-MG / TIMTEO 4
George Boole
George Boole (Lincoln, 2 de Novembro de 1815
Ballintemple, 8 de Dezembro de 1864) foi um
matemtico e filsofo britnico, criador da lgebra
Booleana, fundamental para o desenvolvimento da
computao moderna.
CEFET-MG / TIMTEO 5
George Boole
No limiar de sua carreira cientfica, notou algo que outros poderiam ter
percebido antes. Props a compreenso da lgebra como o
desenvolvimento abstrato das consequncias de um grupo de postulados
sem necessariamente a interpretao ou aplicao de nmeros. Por
iniciativa prpria ele separou os smbolos das operaes matemticas
das coisas sobre as quais elas operavam,
buscando compreend-las. Seu trabalho
buscava a criao de um simples e manejvel
sistema simblico, ou seja, a lgica
matemtica.
CEFET-MG / TIMTEO 6
Introduo Lgica
A lgica estuda as formas ou estruturas do pensamento, seu propsito
estudar e estabelecer as propriedades das relaes formais entre as
proposies. Proposio um termo usado em lgica para descrever um
contedo que pode ser tomado como verdadeiro ou falso.
CEFET-MG / TIMTEO 7
Introduo Lgica
Exemplos de nomes:
Pedro.
O co do menino.
43
Exemplos de proposies:
CEFET-MG / TIMTEO 8
Introduo Lgica
Na logica, restringimo-nos a uma classe de proposies, que so as
declarativas e que s aceitam dois valores: Verdadeiro (V) ou falso (F), um
excluindo o outro. Assim, exclumos de nossas consideraes:
Exemplos de proposies:
CEFET-MG / TIMTEO 9
Introduo Lgica
A lgica matemtica adota como regras fundamentais os dois seguintes princpios
ou axiomas:
( I ) PRINCPIO DA NO CONTRADIO:
Uma proposio no pode ser verdadeira e falsa ao mesmo tempo.
CEFET-MG / TIMTEO 10
Introduo Lgica
A lgica matemtica adota como regras fundamentais os dois seguintes
princpios ou axiomas:
( I ) PRINCPIO DA NO CONTRADIO:
Uma proposio no pode ser verdadeira e falsa ao mesmo tempo.
CEFET-MG / TIMTEO 11
Introduo Lgica
Exerccio:
1) Quais so os nomes e quais so as proposies? Qual o valor de cada
proposio?
a) O nmero 3 maior que o nmero 5.
b) A terra um planeta.
c) 9-12.
d) 9.
e) 8*7 = 56.
f) O gato da menina.
g) Um bom livro de matemtica.
h) 3 + 5 <> 5 + 3.
i) Se chover hoje, ento a rua ficar molhada.
j) O sol brilha e queima as plantas.
k) Jorge gacho ou Catarinense.
l) Um tringulo retngulo se e somente se tem um ngulo reto.
m) Tringulo equiltero.
n) Se um tringulo retngulo, ento, dois de seus lados so
perpendiculares.
CEFET-MG / TIMTEO 12
Introduo Lgica
Valores Lgicos das Proposies:
CEFET-MG / TIMTEO 13
Introduo Lgica
Exerccio:
a) 3+5=8
b) A lua um satlite da terra.
c) Colombo descobriu o Brasil.
d) Pedro lvares Cabral descobriu a Colmbia.
e) o nmero 11 primo.
f) (8-3)2 = 82 - 32
g) Um nmero divisvel por 2 par
h) 1 e -1 so razes da equao x2-1=0
CEFET-MG / TIMTEO 14
Introduo Lgica
Proposies simples e Proposies compostas
CEFET-MG / TIMTEO 15
Introduo Lgica
Conectivos
Exemplo:
CEFET-MG / TIMTEO 16
Introduo Lgica
Tabela-Verdade
p
V
F
Hoje sexta-feira.
Monteiro Lobato escreveu Harry Potter.
CEFET-MG / TIMTEO 17
Introduo Lgica
Tabela-Verdade
p p q
V V V
F V F
F V
F F
CEFET-MG / TIMTEO 18
Introduo Lgica
Tabela-Verdade
l = 2n
CEFET-MG / TIMTEO 19
Introduo Lgica
Tabela-Verdade
O valor lgico para uma proposio simples p indica-se por V(p). Assim,
exprime-se que p verdadeiro escrevendo:
V(p) = V
p: O Sol verde.
q: Um hexgono tem 6 lados.
r: O nmero 2 mpar.
s: Existe um tringulo que tem 4 lados.
CEFET-MG / TIMTEO 20
Operaes lgicas sobre as Proposies
Quando pensamos, efetuamos muitas vezes certas operaes sobre
proposies, chamadas operaes lgicas. Estas obedecem a regras de
um clculo, denominado Clculo Proposicional, semelhante ao da
aritmtica sobre nmeros. Sero apresentadas, a seguir, as operaes
lgicas fundamentais do clculo proposicional:
CEFET-MG / TIMTEO 21
Operaes lgicas sobre as Proposies
Negao ( ~ )
p ~p
1 V F
2 F V
CEFET-MG / TIMTEO 22
Operaes lgicas sobre as Proposies
Negao ( ~ )
CEFET-MG / TIMTEO 23
Operaes lgicas sobre as Proposies
Conjuno ( e, . , ^ )
p q p.q
1 V V V
2 V F F
3 F V F
4 F F F
CEFET-MG / TIMTEO 24
Operaes lgicas sobre as Proposies
Conjuno ( e, . , ^ )
Exemplos:
http://www.calculadoraonline.com.br/tabela-verdade
CEFET-MG / TIMTEO 25
Operaes lgicas sobre as Proposies
Disjuno ( ou, + , v )
p q p+q
1 V V V
2 V F V
3 F V V
4 F F F
CEFET-MG / TIMTEO 26
Operaes lgicas sobre as Proposies
Disjuno ( ou, + , v )
Exemplos:
CEFET-MG / TIMTEO 27