Sie sind auf Seite 1von 26

Lgica e Algoritmo

Tcnico em Informtica

Unidade Curricular: Lgica e

Slide: 1

Desenvolvido por: Joo Amrico

Tcnico em Informtica

LGICA DE
PROGRAMAO
Unidade Curricular: Lgica e

Slide: 2

Desenvolvido por: Joo Amrico

Introduo
O estudo da Lgica, o estudo dos mtodos e princpios usados
para distinguir o raciocnio correto do incorreto. Esta definio
no quer dizer que somente uma pessoa que tenha estudado
Lgica possa raciocinar corretamente e encontrar solues para
diversos problemas. A habilidade de resolver problemas
natural em todo ser humano.
Mas, certamente, uma pessoa com conhecimento de Lgica tem
mais probabilidades de raciocinar corretamente do que aquela
que no se aprofundou nos princpios gerais implicados nessa
atividade. H muitas razes para isso: No estudo da Lgica o
aluno dever fazer exerccios sobre todos os aspectos da teoria
que aprende, e isto ajuda o aperfeioamento.

Unidade Curricular: Lgica e

Slide: 3

Desenvolvido por: Joo Amrico

Introduo

- continuao

Uma parte do estudo da Lgica consiste no exame e na anlise


dos mtodos incorretos do raciocnio ( falcias ), isto nos d uma
viso mais profunda dos princpios do raciocnio em geral e nos
auxilia tambm a evit-los. Por ltimo, o estudo da Lgica
proporcionar ao estudante certas tcnicas e certos mtodos de
fcil aplicao para determinar a correo ou incorreo de
todos os raciocnios, incluindo os prprios. O valor desse
conhecimento reside no fato de ser menor a probabilidade de se
cometerem erros, quando possvel localiz-los mais facilmente.
Lgica vem de Logos que significa: palavra, expresso,
conceito, pensamento, discurso, razo.

Unidade Curricular: Lgica e

Slide: 4

Desenvolvido por: Joo Amrico

lgebra das
proposies
Proposio:
Chama-se proposio todo conjunto de palavras ou smbolos que
exprimem um pensamento de sentido completo.
As proposies transmitem pensamentos, isto , afirmam fatos
ou exprimem juzos ao qual se possa atribuir, dentro de certo
contexto, somente um de dois valores lgicos possveis:
verdadeiro ou falso.

Unidade Curricular: Lgica e

Slide: 5

Desenvolvido por: Joo Amrico

Proposio
A lgica matemtica adota como regras fundamentais do
pensamento os dois seguintes princpios:
(I) Princpio da no-contradio: Uma proposio no pode
ser verdadeira e falsa ao mesmo tempo.
(II) Princpio do terceiro excludo: Toda proposio ou
verdadeira ou falsa, excluindo-se qualquer outro.
Somente s sentenas declarativas pode-se atribuir valores de
verdadeiro ou falso, que ocorre quando a sentena ,
respectivamente, confirmada ou negada.
No se pode atribuir um valor de verdadeiro ou falso s demais
formas de sentenas como as interrogativas, as exclamativas e
outras, embora elas tambm expressem juzos.

Unidade Curricular: Lgica e

Slide: 6

Desenvolvido por: Joo Amrico

Proposio

- continuao

Exemplos de proposies declarativas:


O nmero oito par.
Todos os homens so mortais.
Eu falo ingls e espanhol.
Nenhum gato sabe ler.
No so proposies:
Ser que vai esfriar hoje?
Preste ateno ao sinal.
Feliz aniversrio!
Abra a janela.

Unidade Curricular: Lgica e

Slide: 7

Desenvolvido por: Joo Amrico

Valores lgicos das


proposies:
Chama-se valor lgico de uma proposio p, a verdade se p
verdadeira e a falsidade se p falsa.
Simbolicamente escrevemos V(p) = V se p verdadeira e V(p) =
F se p falsa.
Ex. Seja a proposio p: Cuiab a capital de Mato Grosso.
O valor lgico de p V. Escreve-se V(p) = V
Seja a proposio q: Pedro lvares Cabral descobriu a Amrica.
O valor lgico de q F. Escreve-se V(q) = F
Os valores verdadeiro (V) e falso (F) so chamados valores
lgicos.

Unidade Curricular: Lgica e

Slide: 8

Desenvolvido por: Joo Amrico

Proposies simples e
compostas:
As proposies classificam-se em simples ou atmicas e
compostas ou moleculares.
Proposies simples: So aquelas que no contm nenhuma
outra proposio como parte integrante de si mesma.
So proposies simples as seguintes:
p: Antonio casado.
q: Camila estudiosa.
r: O nmero 11 mpar.
As proposies simples so geralmente designadas pelas letras
minsculas p,q,r,s,.....

Unidade Curricular: Lgica e

Slide: 9

Desenvolvido por: Joo Amrico

Proposies simples e
compostas - continuao
Proposies compostas: So aquelas formadas pela
combinao de duas ou mais proposies simples.
So proposies compostas as seguintes:
P: Maria bonita e Joana inteligente.
Q: Antonio casado ou solteiro.
R: Se x no maior que y, ento x igual a y ou x menor que
y.
As proposies compostas so geralmente representadas pelas
letras maisculas P,Q,R,S.......

Unidade Curricular: Lgica e

Slide:

Desenvolvido por: Joo Amrico

Proposies simples e
compostas - continuao
Conectivos: So palavras ou frases que se usam para formar
novas proposies a partir de outras.
So conectivos usuais em Lgica:
Negao no , cujo smbolo p: Antonio no casado.
Conjuno e ,cujo smbolo
Q: O nmero 2 primo e o nmero 9 quadrado perfeito.
Disjuno: ou , cujo smbolo
R : Um tringulo pode ser eqiltero ou issceles ou escaleno.
Condicional: se...., ento , cujo smbolo S: Se est
calor ento vai chover.
Bicondicional: Se, e somente se , cujo smbolo
T: Maria minha tia se, e somente se, irm de meu pai ou de
minha me.
Unidade Curricular: Lgica e

Slide:

Desenvolvido por: Joo Amrico

Exerccios
Exerccios Grupo A:
1) Sejam as proposies: p: Carla est doente e q: Carla est com
febre. Traduzir para a linguagem corrente as seguintes proposies:
a) p b) p q
c) p q d) p q
e) q p f) p q g) p q h) p q
i) p j) ( p q ) p
2) Sejam as proposies: p: Paulo bonito e q: Paulo alto. Traduzir
para a linguagem simblica as seguintes proposies:
a) Paulo alto e bonito.

b) Paulo bonito mas baixo.


c) No verdade que Paulo bonito ou baixo.
d) Paulo no nem bonito e nem alto.
e) Paulo bonito ou feio e alto.
f) falso que Paulo feio ou que no alto.
Unidade Curricular: Lgica e

Slide:

Desenvolvido por: Joo Amrico

Exerccios

- continuao

3) Sejam as proposies: p: Alfredo pobre e q: Tiago feliz. Traduzir para


a linguagem corrente as seguintes proposies :
a) q p
b) p q
c) p q
d) p q
e) ~ ~ q
f) ( ~ p q ) p
4) Sejam as proposies: p: Ana fala ingls , q: Ana fala francs e r: Ana fala
espanhol. Traduzir para a linguagem simblica as seguintes proposies:
a) Ana fala ingls.
b) Ana fala francs e ingls, ou no fala francs nem espanhol.
c) No verdade que Ana fala ingls e que no fala francs.
d) falso que Ana fala francs ou espanhol mas no fala ingls.

Unidade Curricular: Lgica e

Slide:

Desenvolvido por: Joo Amrico

Tabela Verdade
O valor lgico de uma proposio composta depende dos valores lgicos
das proposies componentes, e se determina por um dispositivo
chamado tabela-verdade, no qual figuram todos os possveis valores
lgicos da proposio composta correspondentes a todas as possveis
atribuies dos valores lgicos das proposies simples componentes.
No caso de uma proposio simples, pelo princpio do terceiro excludo,
temos:
p
V
F

No caso de uma proposio composta cujas


proposies simples componentes so p e q, as
nicas possveis atribuies dos valores lgicos a p e
a q, so:

Unidade Curricular: Lgica e

Slide:

Desenvolvido por: Joo Amrico

Tabela Verdade

- continuao

No caso de uma proposio composta cujas componentes simples


so p, q e r, as nicas atribuies possveis a p, q e r so:
p

Unidade Curricular: Lgica e

Slide:

Desenvolvido por: Joo Amrico

Operaes lgicas sobre


proposies:
Quando raciocinamos, efetuamos operaes sobre proposies,
sendo que elas obedecem as regras de um clculo, chamado de
clculo proposicional que semelhante ao da aritmtica sobre
nmeros.
Veremos a seguir as operaes lgicas fundamentais.
1) Negao ( ~ )
Chama-se negao de uma proposio p a proposio
representada por no p , cujo valor lgico a verdade ( V )
quando p falsa e a falsidade ( F ) quando p verdadeira.

Unidade Curricular: Lgica e

Slide:

Desenvolvido por: Joo Amrico

O valor lgico da negao de uma proposio definido


pela seguinte tabela verdade:
p

~p

Ex: p: O nmero 125 cubo perfeito


V(p) = V
~p: O nmero 125 no cubo perfeito V(~p) = F
Pode-se tambm negar uma proposio de outras
formas:
Ex: p: Pedro estudioso
~p: No verdade que Pedro estudioso
ou ~p: falso que Pedro estudioso
Ex: q: Todas as mulheres so vaidosas
~q: Nem todas as mulheres so vaidosas
ou ~q: Nenhuma mulher vaidosa
ou ~q: Alguma mulher no vaidosa
Unidade Curricular: Lgica e

Slide:

Desenvolvido por: Joo Amrico

2) Conjuno ( )
Chama-se conjuno de duas proposies p e q a proposi
representada por p e q, cujo valor lgico a verdade quando
eq
so ambas verdadeiras e a falsidade nos demais casos.
O pvalorq lgico
P ^ da conjuno de duas proposies dado pela
tabela:
q
V

Ex: a) p: Cuiab a capital de Mato Grosso V(p) = V


q: Braslia a capital do Brasil V(q) = V
pq: Cuiab a capital de Mato Grosso e Braslia a capital do
Brasil
V(p q ) = V V = V
b) p: 2 um nmero primo V(p) = V
q: O quadrado tem 3 lados V(q) = F
p q : 2 um nmero primo e o quadrado tem 3 lados
Desenvolvido por: Joo Amrico
Unidade Curricular:
Lgica
V(p
q) =e V F = F Slide:

3) Disjuno
3.1) Disjuno inclusiva ( )
Chama-se disjuno inclusiva de duas proposies p e
q a proposio representada por p ou q, cujo valor
lgico a
falsidade (F ) quando o valor lgico das proposies p e q
forem ambos falsos e a verdade ( V ), quando pelo menos
uma das proposies for verdadeira.
O valor lgico da disjuno inclusiva de duas proposies
Ex: a) p: A lua amarela V (p ) = F
dada
p tabela:
q
pV
q: Pitgoras era grego V ( q )
pela
q
=V
V
V
V
p q : A lua amarela ou Pitgoras
V
F
V
era grego
V(pq)=FV=V
F
V
V
Ex: b) p: 2 + 2 = 5
V(p)=F
F
F
F
q: 3 < 1
V(q)=F
pq:2+2=5 3<1
V(pq)=FF=F
Unidade Curricular: Lgica e

Slide:

Desenvolvido por: Joo Amrico

3.2) Disjuno exclusiva ( )


Chama-se disjuno exclusiva de duas proposies p e q,
a proposio representada por p ou q , cujo valor lgico
a falsidade ( F ) quando os valores lgicos das proposies p
e q so ambos falsos ou ambos verdadeiros e a verdade
( V ), nos demais casos.
O valor lgico da disjuno exclusiva de duas proposies
dado pela tabela:
p

pV
q

Unidade Curricular: Lgica e

Ex: p: Andr baiano.


q: Andr carioca.
p q : Andr baiano ou Andr
carioca
Aqui a palavra ou tem o sentido de
excluso pois no existe a
possibilidade de ambas as proposies
serem verdadeiras, no possvel
ocorrer Andr baiano e carioca .

Slide:

Desenvolvido por: Joo Amrico

4) Condicional ( )
Chama-se proposio condicional a proposio composta
representada por se p ento q , cujo valor lgico a
falsidade ( F )
quando p verdadeira e q falsa e o valor lgico a verdade
(V)
nos demais casos.
A condicional, onde p o antecedente e q o conseqente, se
l das
seguintes maneiras:
(i) p condio suficiente
q
Ex: a) para
p: Braslia
a capital do Brasil
q
p necessria
V(p) =V para p O valor lgico da
(ii)p q condio
b) q: O ms de julho tem 31 dias V(q)
condicional q
V pela
V tabela:
V
=V
dado
p q : Se Braslia a capital do Brasil
V
F
F
ento o ms
F
V
V
de julho tem 31 dias
F
F
V
V(pq)=VV=V
Ex: b) p: Braslia a capital do Brasil V
(p)=V
q: O nmero 2 mpar V ( q ) = F
Joo Amrico
Unidade Curricular: Lgica e
p Slide:
q : Se BrasliaDesenvolvido
a capitalpor:
do Brasil

5) Bicondicional ( )
Chama-se proposio bicondicional a proposio representa
por p se e somente se q, cujo valor lgico a verdade (V) qua
p e q so ambas verdadeiras ou ambas falsas, e a falsidade (F)
demais casos.
A bicondicional de duas proposies p e q, se l das seguintes
maneiras:
(i) p condio necessria e suficiente para q
(ii) q condio necessria e suficiente para p O valor lgico da
bicondicional dado pela tabela:
p

Unidade Curricular: Lgica e

pq Ex: a) p: A cidade de Cuiab est localizada


na regio centro-oeste V(p) = V
V
q: 3 / 5 um nmero inteiro V(q) = F
F
p q : A cidade de Cuiab est localizada
na regio centro-oeste se e somente se, 3 /
F
5
V
um nmero inteiro.
V(p q) = V F = F

Slide:

Desenvolvido por: Joo Amrico

Uso de parnteses
necessrio o uso de parnteses na simbolizao das proposies
para evitar qualquer tipo de ambigidade. Assim por exemplo, a
expresso p q r d lugar, colocando parnteses, s duas
seguintes proposies:
a) ( p q ) r e b) p ( q r ) que no tm o mesmo significado
pois, na (a) uma conjuno e na (b) uma disjuno.
Analogamente, a expresso p q r s d lugar, colocando-se
parnteses, s seguintes proposies:
((p q) r ) s , p ((q r ) s ) , ( p (q r )) s ,
p (q ( r s)) , (p q ) ( r s)
sendo que, duas quaisquer delas, no tm o mesmo significado.
Por outro lado, em muitos casos, parnteses podem ser suprimidos, a
fim de simplificar as proposies simbolizadas, desde que, nenhuma
ambigidade venha a aparecer.
Unidade Curricular: Lgica e

Slide:

Desenvolvido por: Joo Amrico

A supresso de parntesis nas proposies


simbolizadas se faz
mediante algumas convenes, das quais so
particularmente
I) A ordem de precedncia para os conectivos :
importantes as duas seguintes:
1) ~
2) e
3)
4)
Portanto, o conectivo mais fraco a negao (~ ) e o conectivo mais
forte a bicondicional ( ). Assim por exemplo, a proposio: p q
r s uma bicondicional e nunca uma condicional ou conjuno. Para
convert-la numa condicional tem que se usar parnteses. p (q r
s ) e, analogamente, para convert-la numa conjuno ( p q r ) s
O conseqente da condicional uma bicondicional. Desejando-se
converter este conseqente numa conjuno, escreve-se: p (( q r )
s
Tambm so bicondicionais as trs seguintes proposies:
pqrs ; pqrs ;p q ~rs
Unidade Curricular: Lgica e

Slide:

Desenvolvido por: Joo Amrico

II) Quando um mesmo conectivo aparece sucessivamente


repetido, suprimem-se os parntesis, fazendo se a
associao a
partir da esquerda.
a) (( ~ ( ~ pExemplos:
q ))) ( ~p )) escreve-se mais simplesmente assim
~~ ( p q ) ~ p
b) (( p ( ~ q )) ( r ~ p ) escreve-se mais simplesmente assim:
(p~q) (r~p)
c) ((( p ( ~ q )) r ) ( ~p )) escreve-se mais simplesmente assim:
( p ~q ) r ~ p
d) (( ~ p ) ( q ( ~ ( p r )))) escreve-se mais simplesmente
assim:
~p ( q ~ ( p r ))

Unidade Curricular: Lgica e

Slide:

Desenvolvido por: Joo Amrico

Exerccios grupo B
1) Seja p a proposio 2 + 1 = 3 e q a proposio 23 = 4.
Determinar o valor lgico ( V ou F) de cada uma das seguintes
proposies:
a) p ~q
b) p ~q
c) ~p q
d) ~p
~q
e) ~p ~q
f) ~( ~p ~q )
g) p ( ~p q)
h) ( ~p q ) ( p ~q )
2) Sabendo-se que os valores lgicos das proposies p,q,r e s so
respectivamente V,V,F e F, determinar o valor lgico (V ou F) de
cada uma das seguintes proposies:
a) ~((r p) (s q)
b) r q (~p r)
c) ~(p q) ~p ~q
d) ~(( p s ) ( s r)
e) (q r ) s ( p s)
f) p ~q ( p r ) s
Unidade Curricular: Lgica e

Slide:

Desenvolvido por: Joo Amrico

Das könnte Ihnen auch gefallen