PROFESSOR

ANDERSONMACEDO

EspecialistaemEngenharia
deSoftwarecomUML

OBJETIVODAAULA
LGICAETCNICASDEPROGRAMAO

Aula1

Abordaremososestudosdalgicaclssica,
conhecendoasualinguagem,seusprincpios,seus
conectivosecomorealizaratransioentrea
linguagemusualealinguagemlgica.

IntroduoLgicaeMatemticaDiscreta

Oquelgica?
Porqueaprenderlgica?

CINCIADASLEISDO
PENSAMENTOOUDORACIOCNIO

Paraqueserveoestudo
dalgicanessecurso?

ClassificaodaLgica
Indutiva
Ex:OSolnasceu
todasasmanhs
athoje.
Logo,provvel
quenasa
amanh.

PROPOSIES

Dedutiva
Ex:Todohomem
mortal.
Scratesumhomem.
Logo,Scrates
mortal.

ATerraumplanetadoSistemaSolar.
BuenosAiresacapitaldoParaguai.
O umnmeroirracional.

Argumentos

Premissas

Premissa:Todososratosrespiramembaixo
dagua.
Premissa:Stuartumrato.
Concluso:Logo,Stuartrespiraembaixo
dagua.
Premissa:Todoestudanteadoramatemtica.
Premissa:Robinhoumestudante.
Concluso:Logo,Robinhoadoramatemtica.
Premissa:SenochoverJucavai
pegarumasondas.
Premissa:Nochoveu.
Concluso:Portanto,Jucavaipegar
umasondas.

Concluso

ATIVIDADEEMSALA
Daraconclusodosraciocnios:
Todososanimaisselvagensso
agressivos.
Todososcarnvorossoanimais
selvagens.
Logo,______________________

PrincpiosFundamentais
Identidade

NoContradio

TerceiroExcludo

Umaproposio
verdadeira
verdadeira.
Umaproposio
falsafalsa.

Umaproposio
nopodeser
verdadeirae
falsaaomesmo
tempo.

Todaproposio
ouverdadeira
oufalsa.

Oqueumaproposio?

SimplesouAtmicas

Latinasminsculas:
p,q,r,s,u,v,w
r: LadyGagaumacantorafamosa.
q: ACopadoMundode2014sernoBrasil.
ValorLgico:
V(r):VouV(r):F
V(q):VouV(q):F

Expressoem Conectivo Expresso

Portugus
Lgico
Lgica

CompostasouMoleculares
Latinasmaisculas:
P,Q,R,S,U,V,W

e,mas,
tambm,
almdisso

R: SeLucasganharnaMegaSena,entoele
compraumaFerrari.

ou

Lse

Q: Madalenaescritoraeartistaplstica.
ValorLgico:
V(R):VouV(R):F
V(Q):VouV(Q):F

Expressoem Conectivo Expresso

Portugus
Lgico
Lgica

Lse

nop
falsoquep
noverdade
quep

Lse

pseesomente
seq
puma
condio
necessriae
suficiente
paraq

sep,entoq
pimplicaq
p,logoq
psomenteseq
qseguedep

Expressoem Conectivo Expresso

Portugus
Lgico
Lgica

Expressoem Conectivo Expresso

Portugus
Lgico
Lgica

Lse

COMOUTILIZARA
LINGUAGEMLGICA?
p: Carlosesportista

q: Brunointelectual

~p:
~q:
p q:
pvq:
p q:
p q:

ATIVIDADEEMSALA

Asfrmulaspodemsermaiscomplexas:
q: estchovendo

p:estfrio

~p^~q: Noestfrioenoestchovendo.
(p^~q)p:Seestfrioenoest
chovendo,entoestfrio.
pv~q:Estfrioounoestchovendo.
p ~q:Seestfrio,entono
estchovendo.
p~q:Estfrioseesomente
senoestchovendo.

ATIVIDADEEMSALA
Traduzirparaalinguagemcorrenteasseguintes
proposies:
p: Robinhoesperto.
~p ~q:
pv ~q:
p ~q:

q: Neimar craque.

(p ~q)p:
p ~q:

Traduzirparaalinguagemcorrenteasseguintes
proposies:
p: estoucomfrio.
~p:
p q:
p q:

~q:
pvq:
p q:

ATIVIDADEEMSALA
Traduzirparaalinguagemsimblicaasseguintes
proposies:
p: Fbiorico.

q:Fbiofeliz.

Fbiopobre,masfeliz.
Fbioricoouinfeliz.
Fbiopobreeinfeliz.
Fbiopobreourico,mas
infeliz.

USODOPARNTESIS
Algumasvezesnecessrio
usarparntesisnasimbolizao
dasproposies;
Osparntesisdevemser
colocadosparaevitarqualquer
tipodeambiguidade;
Vamosverumexemplo:

q: estoucomfome.

p qVr

(p q)Vr

p (qVr)

Essasproposiesnotmomesmo
significado,poisnaprimeira,oconectivo
principaladisjunoenasegundao
conectivoprincipala
conjuno.

ORDEMDEPRECEDNCIA

Emmuitoscasos,os
parntesispodemser
suprimidos,afimde
simplificarasproposies,
desdequenoocorra
ambiguidades;
Asupressodeparntesisse
fazmediantealgumas
convenes aordemde
precedncia.

(1)~
(2) ouV
(3)
(4)
Portanto,oconectivomais
fracoanegaoeomais
forteabicondicional.

EXEMPLO
Analiseasproposiesa
seguirquantonecessidade
deusarparntesis:

TABELAVERDADE

p qr
~pV~q
pqr s

pq

V
F

NEGAO

q V

V
F

p~p

Noptemovalor
lgicoopostodep.
Notao:~p(lsenop)

F
Tabelaverdadedanegao:

NEGAO
Exemplos:
p:Monteviduacapital
daEspanha.(F)
~p:

CONJUNO

q:Asbaleiassopeixes.(F)
~q:
r:Ametadede126.(V)
~r:

Tabelaverdade
p

p^q

Valorlgicoaverdade
(V)quandoas
proposiespeqso
ambasverdadeiras
eafalsidade(F)nos
demaiscasos.
Notao:p q
(lsepeq)

Exemplos:
p:Andrmsico.(V)
q:Lciaestudapoesia.(V)
p q:
r:Picassofoiumgrandeartista.(V)
s:VanGogh foipilotodemoto.(F)
r s:

Tabelaverdade

DISJUNO

pvq

Valorlgicoaverdade
(V)quandoaomenos
umadasproposies
peqverdadeiraea
falsidade(F)quandoas
proposiespeqso
ambasfalsas.
Notao:pvq
(lsepouq)

DISJUNO

DISJUNOEXCLUSIVA

Exemplos:
p:Hojequartafeira.(V)
q:Hojetemfutebolnateleviso.(V)
pvq:
r:ElianenasceunaBahia.(F)
s:FelipeMassaumpilotoda
Williams.(F)
rvs:

Tabelaverdade
p

pvq

Valorlgicoaverdade
(V)somentequando
pverdadeiraouq
verdadeira,masno
quandopeqsoambas
verdadeiras,eafalsidade
(F)quandopeqso
ambasverdadeiraou
ambasfalsas.

Notao:pv q(lseoupouq)

Nalinguagemcomum,a
palavraou temdoissentidos:
P:Carlosmdicoou
professor.
Q:Mrioalagoanoou
gacho.

DISJUNOEXCLUSIVA
Exemplos:
p:Estamosnomsdejulho.(V)
q:Estamosnomsdeagosto.(F)
pv q:
r:Odobrode2288.(F)
s:Odobrode2244.(V)
rv s:

Tabelaverdade

CONDICIONAL

pq

Ovalorlgicodeuma
condicionalserfalso
quandopfor
verdadeiraeqfor
falsa,everdadeironos
demaiscasos.
Notao:pq
(lsesepentoq)

Exemplos:
p:Omsdesetembrotem30dias.(V)
q:ATerraplana.(F)
pq:
p:RomaficanaEuropa.(V)
q:7umnmerompar.(V)
pq:
p:SantosDumond descobriuoBrasil.(F)
q:JoanaDarc morreuafogada.(F)
pq:

Tabelaverdade
p

pq

Valorlgicodeuma
bicondicional serfalso
quandopeqtiverem
valores(VouF)
diferentes,everdadeiro
nosdemaiscasos.
Notao:pq(lse
pseesomenteseq)

TABELASVERDADEDEPROPOSIES
COMPOSTAS

BICONDICIONAL

Exemplos:
p:Lofazaniversrio.(V)
q:Estamosnomsdesetembro.(V)
p q:
p:Hojeestmuitofrio.(V)
q:Estamosnaprimavera.(F)
p q:
p:99umnmeropar.(F)
q:99divisvelpor2.(F)
p q:

P(p,q)=~(p^ ~q)

Nmerodelinhas:2n
Ordemdeprecedncia:
1.Negaes
2.Parnteses
3.ConjuneseDisjunes
4.Condicionais
5.Bicondicionais

P(p,q)=~(p^ q) ~(qp)

ATIVIDADEEMSALA
Construiratabelaverdadeparaasproposies
compostas:
P(p,q)=(p^ ~q) (pp)

~q

(p^ ~q) (pp) (p^ ~q)v (p p)

2014 Todososdireitosreservados.Usoexclusivo
noSistemadeEnsinoPresencialConectado.