UNI

VERSI
DADEPÚNGUE

TRABALHODE:
LÓGI
CAETEORI
ADECONJUNTOS

CURSO:
MATEMÁTI
CAAPLI
CADA1⁰ANO

2⁰GRUPO

TEMA:
OPERAÇÕESLÓGI
COS

CHI
MOI
OAOS,
02.
03.
202
 UNI
VERSI
DADEPÚNGUE

=DI
SCENTE=

[Link]
Far
aiMoana

[Link]
if
icaçãoI
nocênci
aJaci
nto

[Link]
tonMar
cos

4.I
saacJúl
i
oBer
o

5.
SimbaAugust
oLungui
ssane

[Link]
egi
Fil
omenaSai
mone

=DOCENTE=

Jor
geDuar
te

Ot rabal
ho
apresentadono
cursodemat emáti
ca
apli
cadada
universidadePúngue
.Ori
entadorDocente
JorgeDuar t
e
Í
ndi
ce

I
.Int
rodução.
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
4

1.
[Link]ção.
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
...
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
5

1.
2.l
ógi
ca.
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
...
..
..
..
..
..
..
..
..
..
..
..
..
..
...
.5

1.
2.1.Lógi
caConj
unção.
..
..
..
..
..
..
..
..
..
..
..
..
...
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
...
..
..
..
..
..
..
..
..
..
..
6

1.
[Link]
opr
iedadedaconj
unção.
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
6

1.
2.2.
[Link]
opr
iedadecomut
ati
va.
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
.7

1.
2.2.
[Link]
opr
iedadeassoci
ati
va.
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
7

1.
2.2.
[Link]
opr
iedadedai
ndependênci
a..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
8

1.
[Link]
sjunçãoi
ncl
usi
va.
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
.9

1.
[Link]
sjunçãoexcl
usi
va.
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
.9

1.
[Link]
cional
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
10

1.
5.i
ncondi
cional
..
..
..
...
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
11

1.
[Link]
usão.
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
...
..
12

1.
7.r
efer
ênci
abi
bli
ogr
áfi
cas.
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
..
13
I
ntr
odução

Asoper açõeslógicassãof undament ai

snocampodal ógica,matemát icaeci ênciada
comput açã[Link] i
tuem abasepar aor aci
ocínioformal,permiti
ndoquesepr ocesse
i
nformaçõesdemanei [Link] extodalógicapr oposicional
,três
operaçõesprincipai
s-aconj unção(E),adi
sjunção( OU)eanegação( NÃO)-f ormam os
al
icercessobreosquai sseedi fi
caumav astagamader aciocíni
osei nferênci
[Link]
operaçõesper mitem combi narproposi
çõesdedi ferent
esmanei ras,possi bi
li
tandoa
construçãodear gument açõescompl exaseaanál isedev erdadeslógicas.

Aoper açãodeconj unção,porexempl o,

éusadapar aexpressarqueduasoumai spr
oposições
sãosi mul t
aneament everdadei
ras.Jáadi sj
unçãot ratadapossi bil
idadedeumaoumai s
afir
maçõesser em v
erdadeir
as,enquantoanegaçãoi nvert
eoest adológicodeumapr oposi
ção,
transformandoumaaf i
rmaçãov erdadei
raem f alsaev ice-
[Link] ém dessasoper ações
básicas, exi
stem outrascomoacondi ci
onal(SE. .
.ENTÃO)eabi condicional (SEESOMENTE
SE) ,
queampl iam ai
ndamai soescopodal ó[Link]í niodasoper açõesl ógicasé
i
mpr escindí
vel,nãoapenasem t eori
asmat emát icas,mast ambém napr ogramaçãode
comput adores,ondeal ógi
cabooleanaéumadaspedr asangularesquedi r
eci onao
funcionament odeal gorit
mosesi stemasdigitais.

Estudarasoper açõeslógicasvaialém decompr eenderseuspri

ncípiosfundament ais;impl
ica
também em expl orarsuasapli
caçõespr át
icasnar esol
uçãodepr oblemasdocot i
dianoeem
diversasáreasdoconheci [Link] iaçãodecircui
toseletr
ônicosatéo
desenv olvi
mentodeal gori
tmoscompl exos,alógicadesempenhaum papel decisi
vo,
conect andoteori
asabstratasàrealidadeconcr et
[Link]
o,ainvestigaçãodasoper ações
l
ógi casnãoser estri
ngeaoâmbi toacadêmi co;el
aéumaf err
ament aessencialem nossav ida
diária,
mol dandoamanei racomoi nteragimoscom omundoet omamosdeci sões.
1.
Oper
açõesLógi
cas

Asoper
açõesfei
tasapar
ti
rdeproposi
çõessãochamadasdeoper
açõesl
ógi
[Link]
eti
pode
per
açãosegueasregr
asdochamadocálcul
oproposi
cional
.

Asoper
açõeslógi
casf
undament
aissão:
negação,
conj
unção,
disj
unção,
condi
cional
e
bi
condi
cional
.

1.
[Link]ção(
~)

Est
aoperaçãorepr
esent
aov al
orlógi
coopostodeumadadapr
oposi
çã[Link]
afor
ma,
quando
umaproposiçãoéver
dadei
ra,anãoproposi
çãoser
áfal
sa.

Com oobj
eti
vodeindi
caranegaçãodeumaproposi
çãocol
ocamososímbol
o~naf
rent
eda
l
etr
aquerepresent
aaproposi
ção,assi
m,~psi
gni
fi
caanegaçãodep.

Exempl
o

p:
Minhaf
il
haest
udamui
to.

~p:
Minhaf
il
hanãoest
udamui
to.

Comoov al
orl
ógi
codanãopr
oposi
çãoéoi
nver
sodapr
oposi
ção,
ter
emosasegui
ntet
abel
a
ver
dade:

Lógi
caanegação(
~)

P ~p

V F

F V

1.
2Conj
unção(
^)

Aconjunçãoéuti
l
izadaquandoentr
easproposi
çõesexi
steoconect
[Link]
aoper
açãoser
á
ver
dadeir
aquandotodasasproposi
çõesf
orem ver
dadei
ras.

Osímbol
out i
l
izadopar
arepresentaressaoper
açãoéo^
,col
ocadoent
reaspr
oposi
çõ[Link]
a
f
orma,quandotemosp^q, si
gnifi
ca"peq" .
Dest
afor
ma,
atabel
aver
dadedesseoper
adorl
ógi
coser
á:

P Q P^
Q

V V V

V F F

F V F

F F F

Ondeque:

P Q P^
Q

1 1 1

1 0 0

0 1 0

0 0 0

1.
2.1Lógi
caconj
unção(
^)

Consi
der
amosapr
oposi
ção:

Aní
bal
prát
icaf
utebol
éRosapr
áti
canat
ação.

Est
ápr
eposi
çãor
esul
tadal
i
gaçãodaspr
eocupaçõesel
ement
ares:

P:
Aní
bal
prát
icaf
utebol
.

Q:
Rosapr
áti
canat
ação.

Aprimeir
apr oposi
çãoéverdadei
ra,
masasegundaéf al
[Link]
tant
o,ov
alorlógi
codepeq
ser
áf al
so,poisesseoper
adorsóseráv
erdadei
roquandoambasassentençasfor
em
ver
dadeiras.

1.
2.2Pr
opr
iedadedaconj
unção(
^)

Aconj
unçãot
em assegui
ntespr
opr
iedades:
acomut
ati
va,
aassoci
ati
vaeada
i
ndependênci
a.

1.
2.2.
1Pr
opr
iedadeacomut
ati
va

propriedadecomutati
vadaconjunção,nalógi
capr oposicional,af
ir
maqueaor dem das
proposiçõesconect
adaspor"e"(^
)nãoal t
eraov alordev erdadedapr oposi
ção
compost [Link],
(P^Q)él
ogicamenteequival
ent eaQ^ P( P^Q=Q^P).Aconjunçãosóé
verdadequandoambasaspr oposiçõesforem v
er dadei
ras.

Apropri
edadecomutati
vaper
mit
ealterarasposi
çõesdaspr
oposi
çõescomponent
es
(
conjunções)sem mudaror
esul
tadológicof
inal
.

Repr
esent
açãoLógi
ca:
(P^
Q)—(
P^Q)

Exempl
o:

Pr
oposi
çãoA:
"Est
áchov
endo"(
P)

Pr
oposi
çãoB:
"Ochãoest
ámol
hado"(
Q)

(
P^Q)
:"Est
áchov
endoeochãoest
ámol
hado"
.

(
Q^P)
:"Ochãoest
ámol
hadoeest
áchov
endo"
.

A B A^B B^A

V V V V

V F F F

F V F F

F F F F

A^
B=B^
A

Ambasasf
rasest
êm omesmosi
gni
fi
cadol
ógi
co.

Acomutat
ivi
dadedaconj
unçãoéconsi
der
adaumat
aut
ologi
a,ousej
a,umav
erdade
l
ógi
ca.

1.
2.2.
2Pr
opr
iedadeassoci
ati
va

Apr
opr
iedadeassoci
ati
vadaconj
unçãol
ógi
ca(
p^q)af
ir
maqueoagr
upament
odet
rês
oumai sproposi
çõesconsecut
ivasunidaspor"
e"(
^)nãoal
teraoresul
tadol
ógico.
Matematicamente,(
p^q)^r=p(
q^ r
),permi
ti
ndocal
cul
arem qual
querordem sem af
etar
ovalordev er
dadefi
nal.

For
mul
a:(
p^q)
^r=p(
q^r
).

Signi
fi
cado:Aordem deoper
ação(
pri
mei
ropeq,
oupr
imei
roqer
)éi
rr
elev
ant
epar
ao
resul
tadofi
nal
.

Éumadaspr
opr
iedadesf
undament
aisdal
ógi
capr
oposi
cional
ver
ofunci
onal
.

Exemplo:Sep=Ver
dadei
ro,
q=Fal
so,
r=Ver
dadei
ro,
ent
ão(V^
F)^
V=F^
V=F,
e
V^(F^
V)=V^F=F.

A B C A^
B (
A^B)
^C B^
C A^
(B^
C)

V V F V F F F

V F F F F F F

V V V V V V V

F F V F F F F

F F F F F F F

F F F F F F F

(
A^B)^C=A^(
B^C)

Obser
va:

A^V=A:
Oval
orl
ógi
coVéoel
ement
oneut
ronaconj
unção.

A^F=F:
Oval
orl
ógi
coFéoel
ement
oabsor
vent
enaconj
unção.

A^A=A:
Éapr
opr
iedadedei
ndependênci
a.

Essapropr
iedadeécruci
alpar
asimpl
if
icarexpressõeslógi
cascompl
exas,
per
mit
indo
fl
exi
bil
i
dadenaav al
i
açãodeconjunt
osdepr oposições.

1.
2.2.
[Link]
opr
iedadedai
ndependênci
a

Aconj
unçãológica(p^q),quer
epr
esent
aoconect i
vo"e"
,af
ir
maqueaproposição
compostasóév er
dadeir
aseambasaspr oposi
çõessi
mples(peq)
for
em verdadei
ras.
Asuapropri
edadefundamental
équeov alordever
dadedeumapar
tenãodependeda
out
rapar
aserv
eri
fi
cado,
massi
m dav
erdadei
ndi
vi
dual
decadauma.

1.
3Di
sjunção

Nestaoperação,
oresult
adoser
áver
dadeir
oquandopel
omenosumadasproposiçõesé
ver
dadeir
[Link],ser
áfal
soapenasquandot
odasaspr
oposi
çõesf
orem f
alsas.

Adisjunçãoéusadaquandoent
reaspr
oposiçõesexist
eoconect
ivooueparar
epresent
arest
a
operaçãoéusadoosímboloventr
easproposições,
assim,
pvqsignif
ica"
pouq".

Consi
der
amosapr
oposi
ção:

M:
Aní
bal
prát
icaf
utebol
oupr
áti
canat
ação.

Est
apr
oposi
çãor
esul
tadal
i
gaçãodaspr
oposi
çõesel
ement
ares:

P:
Aní
bal
prát
icaf
utebol

Q:
Aní
bal
prát
icanat
ação.

Aproposi
çãoM di
z_sedi
sj
unçãoi
ncl
usi
vadePeQpor
queIAní
bal
prát
icaumadas
modali
dadesouambas.

Adi
sj
unçãor
epr
esent
a_sepel
osí
mbol
ov.

Osí
mbol
ovl
ê_sepel
o«ou<»
.

Levandoem consi
der
açãoqueseumadasproposi
çõesf
orv
erdadei
raor
esul
tadoser
á
ver
dadeir
o,t
emosaseguintet
abel
aver
dade:

P Q PvQ

V V V

V F V

F V V

F F F

Adisj
unçãodeduaspreposição,
OeQ, dáor i
gem aumanov
apr
oposi
çãoPvQ,
quesóseé
f
alsaseambasasproposiçõesforam f
alsas.

1.
3.1Di
sjunçãoexcl
usi
va(
vv)

Éum operadorl
ógi
coqueresul
taem verdadei
rose,esomentese,osdoi
soperandosf
orem
di
fer
entes(um v
erdadei
roeout
rofal
so).Represent
adapor"ou.
..ou.
..
"oupel
osímbolo(vcom
um t
raçoembai
xo)
,éf
alsaseambosf
orem v
erdadei
rosouf
alsos.

Apenasumadaspr
oposi
çõessi
mpl
espodeserv
erdadei
ra,
masnãoambassi
mul
taneament
e.

Tabel
aVer
dadedadi
sjunçãoi
ncl
usi
va(
VV)

P Q Pv
vQ

V V F

V F V

F V V

F F F

Exempl
o:"
Ouov
asoédev
idr
oouédepl
ást
ico"(
assume-
sequenãopodeserambos)
.

Di
fer
ença:
Aocontrári
odadi
sjunçãoi
ncl
usi
va(
"ou"si
mpl
es)
,aexcl
usi
vaexcl
uiocasoem que
ambasasproposi
çõessãov
erdade

1.
4Condi
cional

Acondi
cional
éaoper açãoreal
izadaquandonaproposi
çãout
il
iza-
seoconecti
vose.
..ent
ão.
..
.
Par
arepr
esentaresseoperadorusamososímbolo->Assi
m,p->qsigni
fi
ca"sep,ent
ãoq".

Oresult
adodestaoper
açãosóser
áfal
soquandoapr
imei
rapr
oposi
çãof
orv
erdadei
raea
consequent
eforfal
sa.

Éimportanteressal
tarqueumaoper
açãocondici
onal
nãosi
gni
ficaqueumaproposi
çãoéa
consequênciadaout r
a,oqueest
amostr
atandoéapenasder
elaçõesent
rev
aloresl
ógi
cos.

Exempl
o

Qual
oresul
tadodapr
oposi
ção"
Seum di
atem 20hor
as,
ent
ãoum anot
em 365di
as"
?

Sol
ução

Sabemosqueum dianãotem 20horas,

logoessaproposi
çãoéf
alsa,
também sabemosqueum
anotem 365di
as,
logoessaproposi
çãoév er
dadei
ra.

Dest
aforma,oresul
tadoser
áver
dadei
ro,
poisooper
adorcondi
cional
sóser
áfal
soquandoa
pr
imeir
aforv
erdadei
raeasegundafal
sa,quenãoéocaso.

At
abel
aver
dadepar
aesseoper
adorser
á
P Q P-
>Q

V V V

V F F

F V V

F F V

1.
5Bi
condi
cional

Ooper adorbi
condi
cional
érepr
esent
adopel
osímbol osetaparaaesquerdaeparaadi
rei
tae
i
ndicaumapr oposi
çãodot i
po.
..
seesomentese..
..Port
anto,pset
aparaaesquerdaeparaa
di
reit
aqsi gni
fi
ca"pseesomenteseq",
ouseja,pécondiçãonecessári
aesufici
ent
eparaq.

Aousaresseoper
ador
,asent
ençaser
áver
dadei
raquandoaspr
oposi
çõesf
orem ambas
ver
dadei
rasouambasfal
sas.

Ospossí
vei
sresul
tadosquepodemosencont
raraousaresseoper
adorest
ãonat
abel
aabai
xo:

P Q P<-
>Q

V V V

V F F

F V F

F F V

Exempl
o

Qual
oresul
tadodapr
oposi
ção"
30=2sesoment
ese2+5=3"
?

Sol
ução

Apri
mei
raigual
dadeéf al
sa,poi
s30=1easegundatambém éfalsa(2+5=7)
,dest
amanei
ra,
comoambassãofalsas,ent
ão,oval
orl
ógi
codaproposi
çãoéverdadei
ro.
1.
6Concl
usão

Acompr eensãodasoper açõeslógi

caséum component evit
alnoensinoeapr endizadonão
apenasdamat emát ica,mast ambém dasci ênciasdacomputaçãoedaf i
[Link]
proporcionam umaest rutur
aquepermiteodesenv ol
viment
oder aci
ocíni
osrobust osea
compet ênciacrí
ticanecessár i
aparaavaliarargumentosetomardecisõ[Link]
ci
ment arosconcei tosdeconj unção,di
sjunçãoenegação, bem comosuasext ensões, comoa
condicionaleabi condicional
,abri
mosaspor tasparaumaanálisemaisprofundado
pensament ológico.

Napr áti
ca,asoperaçõeslógicassãof er
ramentasqueper mit
em aospr of
issionai
sdediver
sas
áreasresolverpr
oblemascompl exosedesenvolv
ersol
uçõesi nov
[Link]âmbi toda
programação, al
ógicabooleanaéut il
i
zadaem todasasf acetasdodesenv olvi
mentode
software,desdeacriaçãodeal gori
tmosatéaimplementaçãodet est
[Link] f i
l
osofi
aeciênci
as
sociai
s,or aci
ocí
niológicoéaespi nhadorsal
daconstruçãodear gument açõescoerent
eseda
i
nv esti
gaçãodequest õeséti
casemor ai
s.

Oimpact odasoperaçõesl ógicasv aial

ém dosl imit
est écnicos;el
asnosdesaf i
am apensar
cri
ti
cament eeaabordarpr oblemasdef ormaest [Link] um mundoem const ant e
mudança, ondeainovaçãot ecnol ógi
catraznov asquest õeséticasedilemas,odomí nioda
l
ógicaset ornaai
ndamai sr el
ev [Link] suma, compr eendereapl i
caroperaçõesl
ógi casnãoé
apenasumahabi li
dadeacadêmi ca;éum imperativoquenosper mitenavegarcom compet ênci
a
eeficáci
anascompl exidadesdomundocont empor â[Link] t
anto,pr
omov eroensinoea
apl
icaçãodessasoper açõeséf undament al
paraf ormari ndiv
íduoscapazesdepensarde
manei r
acrít
ica,
argument ardef ormasól i
daet omardeci sõesresponsávei
s.
1.
7Ref
erênci
asBi
bli
ogr
áfi
cas

[Link]
son,
Ell
i
ott
.*I
ntr
oduct
iont
oMat
hemat
ical
Logi
c.*6t
[Link]
on:
CRCPr
ess,
2015.

[Link],
Michael
,eRyan,
Mark.*Logi
cinComput
erSci
ence:Model
l
ingandReasoni
ngabout
Syst
ems.*[Link]
dge:Cambri
dgeUni
ver
sit
yPress,
2004.

[Link]
l
ey,
JohnL.*
Gener
alTopol
ogy
.*NewYor
k:[Link]
randCompany
,1955.

[Link]
l,Ber
trand,eWhit
ehead,Al
fr
edNor
th.*
Pri
nci
piaMat
hemat
ica.
*3r
[Link]
idge:
CambridgeUniversi
tyPr
ess,1927.

[Link]
sons,
Char
les.*
Mat
hemat
ical
Logi
c.*Bost
on:
JonesandBar
tl
ettPubl
i
sher
s,2008.