Aula4 - Introducao A Logica

Programao de Computadores
Noes de Lgica
AULA 4
Baseado no material encontrado em

http://www.inf.uri.com.br/neilor/apostila-logica.pdf
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.
Todo esse conhecimento superficial, cada tpico desse contedo de

uma matria inteira dentro da Cincia da Computao, que por sua vez se
divide em diversas disciplinas.
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
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
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.
Assim, como as operaes aritmticas, as operaes lgicas podem ser

realizadas por circuitos eletrnicos, logo tem como fazer as contas lgicas
no hardware de um computador.
Existe uma rea das cincias
eltricas que responsvel apenas
por esses circuitos, a eletrnica digital.
Essa eletrnica se correlaciona com

a matemtica atravs da LGEBRA
DE BOOLE, que utilizar tcnicas
algbricas para lidar com expresses
no clculo proposicional.
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.
Seu pai tinha uma pequena loja de sapatos, teve

uma educao limitada e de pouco saber. A nica
orientao que pde obter foi a do dono de uma
livraria que lhe deu algumas noes de gramtica.
Aos 20 anos, disps-se a dominar a Mcanique Cleste de Laplace, obra
dificlima. A seguir tentou acompanhar a abstrata mecnica analtica de
Lagrange. Em seu estudo solitrio descobriu os invariantes, cuja
importncia pode ser reconhecida ao conscientizarmos que sem a teoria
matemtica dos invariantes a Teoria da Relatividade teria sido impossvel.
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.
Mas a lgica simblica foi negligenciada por

muitos anos depois de sua inveno. At 1910
ainda existiam eminentes matemticos
desdenhando-a como uma curiosidade
filosfica sem qualquer significncia
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.
A linguagem usada na Matemtica, como qualquer outra linguagem,

compreende designaes - tambm chamadas nomes ou termos - e
proposies - ou frases.
As designaes servem para indicar determinados objetos matemticos:

nmeros, pontos, conjuntos, funes, operaes, figuras geomtricas, etc.
As proposies exprimem afirmaes que podem ser verdadeiras ou

falsas a respeito dos mesmos objetos.
CEFET-MG / TIMTEO 7
Introduo Lgica
Exemplos de nomes:
Pedro.
O co do menino.
43
Exemplos de proposies:
1.A lua e um satlite da terra.

2. O filho do Presidente do Brasil, em 1970, era mdico.
3. 3 x 5 = 5 x 3
4. Onde voc mora?
5. Que belo jardim e o desta praa!
6. Escreva um verso.
7. Pedro estuda e trabalha.
8. Duas retas de um plano so paralelas ou incidentes.
9. Se Pedro estuda, ento tem xito na escola.
10. Vou ao cinema se e somente se conseguir dinheiro.
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:
1.A lua um satlite da terra.

2. O filho do Presidente do Brasil, em 1970, era mdico.
3. 3 x 5 = 5 x 3
4. Onde voc mora?
5. Que belo jardim e o desta praa!
6. Escreva um verso.
7. Pedro estuda e trabalha.
8. Duas retas de um plano so paralelas ou incidentes.
9. Se Pedro estuda, ento tem xito na escola.
10. Vou ao cinema se e somente se conseguir dinheiro.
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.
( II ) PRINCPIO DO TERCEIRO EXCLUDO:

Qualquer proposio verdadeira ou falsa, no podendo ser nada mais do que
isso.
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.
( II ) PRINCPIO DO TERCEIRO EXCLUDO:

Qualquer proposio verdadeira ou falsa, no podendo ser nada
mais do que isso.
As proposies so geralmente designadas pelas letras latinas minsculas

p, q, r, s... (sem ndices ou acentos).
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.
Introduo Lgica
Valores Lgicos das Proposies:
Diz-se que o valor lgico de uma proposio p verdade quando p

verdadeiro e falso quando p falso. Os valores lgicos verdade e falso de
uma proposio designam-se abreviadamente pelas letras V e F ou pelos
smbolos 1 e 0, respectivamente.
Assim, o que os princpios da no-contradio e do terceiro excludo

afirmam que: Toda proposio pode assumir um, e somente um, dos
dois valores: F ou V ( 0 ou 1 respectivamente).
Introduo Lgica
Exerccio:
Dar os valores lgicos das proposies abaixo, isto , atribua V ou F para

cada uma delas.
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
Introduo Lgica
Proposies simples e Proposies compostas
As proposies podem se classificadas como simples ou compostas. A

proposio simples aquela que no contm nenhuma outra proposio
como parte integrante de si mesma. A proposio composta formada
pela combinao de duas ou mais proposies simples atravs de um
elemento de ligao denominada conectivo. Ex.:
Proposies Simples Proposies Compostas

p : Zenbio careca. p: Zenbio careca e Pedro estudante.
q: Pedro estudante. q: Zenbio careca ou Pedro estudante.
r: O nmero 25 um quadrado perfeito. r: Se Zenbio careca, ento feliz.
As proposies compostas so tambm chamadas de frmulas

proposicionais. Constri-se uma proposio composta a partir de duas ou
mais proposies simples e do uso de conectivos.
Introduo Lgica
Conectivos
Chamam-se conectivos as palavras usadas para formar proposies

compostas a partir de proposies simples. Temos 1 conectivo unrio
no - e 4 conectivos binrios e, ou, se, se somente se.
Exemplo:
p: O nmero 6 par e o nmero 8 o cubo do nmero 2.

q: O tringulo ABC retngulo ou o tringulo ABC issceles.
r: No est chovendo.
s: Se Jorge engenheiro, ento sabe matemtica.
t: O tringulo ABC equiltero se e somente se equingulo.
Introduo Lgica
Tabela-Verdade
Segundo o princpio do terceiro excludo, toda proposio simples p

verdadeira ou falsa, isto , tem o valor logico V (verdade) ou o valor
logico F (falso).
p
V
F
Hoje sexta-feira.
Monteiro Lobato escreveu Harry Potter.
Introduo Lgica
Tabela-Verdade
Tabela-verdade, tabela de verdade ou tabela veritativa um tipo de tabela

matemtica usada em lgica para determinar se uma frmula vlida.
Nessa tabela as proposies so apresentadas nas colunas e as linhas
so as combinaes possveis dos valores lgicos atribudos a cada
proposio.
A quantidade de linhas da tabela se relaciona com a quantidade de

proposies existente. Uma tabela com 1 proposio possui 2
combinaes possveis e uma com 2 proposies, 4 combinaes.
p p q
V V V
F V F
F V
F F
Introduo Lgica
Tabela-Verdade
Assim, podemos concluir que a relao entre o nmero de proposies n e

o nmero de possibilidade de combinaes ou linhas na tabela l :
l = 2n
Uma tabela com 3 proposies possui 8 combinaes possveis.

Uma tabela com 3 proposies possui 16 combinaes possveis.
Ser que isso verdade? Prove.
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
Analogamente, pode-se exprimir que a proposio p tem o valor falso

utilizando-se:
V(p) = F
Qual o valor lgico das as seguintes proposies simples:
p: O Sol verde.
q: Um hexgono tem 6 lados.
r: O nmero 2 mpar.
s: Existe um tringulo que tem 4 lados.
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:
Eu no quero comer chuchu.

Se chover vou aula de guarda-chuva.
Apenas Renan e Cristiano foram aprovados.
Vou de carro ou de bicicleta, mas que vou, ah, eu vou.
Negao ( ~ )
Chama-se negao de uma proposio p a proposio representada por

no p, cujo valor lgico verdade (V) quando p for Falso e falsidade (F)
quando valor de p verdadeiro. Assim, no p tem o valor oposto do valor
de p. A negao de p indica-se com a notao ~p, e lido como no p.
O valor lgico da negao de uma proposio definido por uma tabela:
p ~p
1 V F
2 F V
r : Roma a capital da Frana.

~r : Roma no a capital da Frana.
~r : No o caso que Roma seja a capital da Frana.
Negao ( ~ )
Deve-se tomar um pouco de cuidado com a negao, porque a negao

de Todos os homens so elegantes Nem todos os homens so
elegantes e a de Nenhum homem elegante Algum homem
elegante.
O menino era repreendido pelo pai e muito brabo gritava:
- Pai, eu no fiz nada. Foi o Jnior.
Como o pai era um conhecedor da lgica das proposies,

reforou a repreenda, pois, se o filho no fez nada, significa que
no era o caso de que o filho no fizera algo, ou seja ~~p, logo,
p, portanto o filho confessava que fizera algo.
Conjuno ( e, . , ^ )
Chama-se conjuno de duas proposies p e q a proposio

representada por p e q, cujo valor lgico a verdade (V) quando as
proposies p e q so ambas verdadeiras. A falsidade (F) ocorre nos
demais casos.
Simbolicamente, a conjuno de duas proposies p e q indica-se com a

notao: p . q, que se l: p e q. O valor lgico da conjuno de duas
proposies , portanto, definido pela seguinte tabela verdade:.
p q p.q
1 V V V
2 V F F
3 F V F
4 F F F
Conjuno ( e, . , ^ )
Exemplos:
Ana e Ricardo esto no shopping.

Fui ao CEFET e estou assistindo aula de LPI.
X | X > 3 e X < 8.
gua tem cheiro e 2 + 2 = 5.
Torci o p e estou em 3o na maratona.
http://www.calculadoraonline.com.br/tabela-verdade
Disjuno ( ou, + , v )
Chama-se disjuno de duas proposies p e q a proposio representada

por p ou q, cujo valor lgico a verdade( V ) quando ao menos uma das
proposies p e q verdadeira e a falsidade (F) quando as proposies p
e q so ambas falsas.
O valor lgico da disjuno de duas proposies , portanto definido pela

seguinte tabela verdade:
p q p+q
1 V V V
2 V F V
3 F V V
4 F F F
Disjuno ( ou, + , v )
Exemplos:
Ana ou Ricardo esto no shopping.

Estou com o celular ligado ou estou assistindo aula de LPI.
X | X > 3 ou X < 8.
gua tem cheiro ou 2 + 2 = 5.
Estou em Marte ou estou na Lua.

Aula4 - Introducao A Logica

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Aula4 - Introducao A Logica

Uploaded by

Copyright:

Available Formats

Programao de Computadores

Baseado no material encontrado em

Todo esse conhecimento superficial, cada tpico desse contedo de

Assim, como as operaes aritmticas, as operaes lgicas podem ser

Essa eletrnica se correlaciona com

Seu pai tinha uma pequena loja de sapatos, teve

Mas a lgica simblica foi negligenciada por

A linguagem usada na Matemtica, como qualquer outra linguagem,

As designaes servem para indicar determinados objetos matemticos:

As proposies exprimem afirmaes que podem ser verdadeiras ou

1.A lua e um satlite da terra.

1.A lua um satlite da terra.

( II ) PRINCPIO DO TERCEIRO EXCLUDO:

( II ) PRINCPIO DO TERCEIRO EXCLUDO:

As proposies so geralmente designadas pelas letras latinas minsculas

Diz-se que o valor lgico de uma proposio p verdade quando p

Assim, o que os princpios da no-contradio e do terceiro excludo

Dar os valores lgicos das proposies abaixo, isto , atribua V ou F para

As proposies podem se classificadas como simples ou compostas. A

Proposies Simples Proposies Compostas

As proposies compostas so tambm chamadas de frmulas

Chamam-se conectivos as palavras usadas para formar proposies

p: O nmero 6 par e o nmero 8 o cubo do nmero 2.

Segundo o princpio do terceiro excludo, toda proposio simples p

Tabela-verdade, tabela de verdade ou tabela veritativa um tipo de tabela

A quantidade de linhas da tabela se relaciona com a quantidade de

Assim, podemos concluir que a relao entre o nmero de proposies n e

Uma tabela com 3 proposies possui 8 combinaes possveis.

Ser que isso verdade? Prove.

Analogamente, pode-se exprimir que a proposio p tem o valor falso

Qual o valor lgico das as seguintes proposies simples:

Eu no quero comer chuchu.

Chama-se negao de uma proposio p a proposio representada por

r : Roma a capital da Frana.

Deve-se tomar um pouco de cuidado com a negao, porque a negao

O menino era repreendido pelo pai e muito brabo gritava:

- Pai, eu no fiz nada. Foi o Jnior.

Como o pai era um conhecedor da lgica das proposies,

Chama-se conjuno de duas proposies p e q a proposio

Simbolicamente, a conjuno de duas proposies p e q indica-se com a

Ana e Ricardo esto no shopping.

Chama-se disjuno de duas proposies p e q a proposio representada

O valor lgico da disjuno de duas proposies , portanto definido pela

Ana ou Ricardo esto no shopping.

You might also like