0% acharam este documento útil (0 voto)
493 visualizações100 páginasIniciação À Lógica - Edgar
Livro edgard, de Lógica, em Português
Enviado por
Artur SantosDireitos autorais
© © All Rights Reserved
Levamos muito a sério os direitos de conteúdo. Se você suspeita que este conteúdo é seu, reivindique-o aqui.
Formatos disponíveis
Baixe no formato PDF ou leia on-line no Scribd
0% acharam este documento útil (0 voto)
493 visualizações100 páginasIniciação À Lógica - Edgar
Livro edgard, de Lógica, em Português
Enviado por
Artur SantosDireitos autorais
© © All Rights Reserved
Levamos muito a sério os direitos de conteúdo. Se você suspeita que este conteúdo é seu, reivindique-o aqui.
Formatos disponíveis
Baixe no formato PDF ou leia on-line no Scribd
/ 100
Edgard de Alencar Filho Indice
Capitulo 1
PROPOSICOES. CONECTIVOS
Concsito de proposigio .
Valowes ligeos das propeniges
1
2.
3: Prope spl popes composes
4, Concctivas _
i
6
Tabeloverdade
Nowgto
Exercicios
Capitulo 2
OPERAGOES LOGICAS SOBRE PROPOSICOES
Negagzo
Conjungio
Disungao
Disjungzo exclusiva
+ Condicional .
. Bicondicional
Exercicios
Capitulo 3
CONSTRUCAO DE TABELAS-VERDADE
1. Tabels-verdade de ums propesido composta .
2. Nimero de linha de uma tabela-verdade
u
2
2
B
B
5
15
3. Construgio da tabelawerdade de uma proposigio compost
4. Exemplilicagdo
5. Valor lgico de uma proposigde composta .
6, Uso de paréntess :
4, Outs simbolas para os conectivos
Exercicios <
Capitulo 4
‘TAUTOLOGIAS, CONTRADIGOES E CONTINGENCIAS
1. Tautologa
“7 prnefpio de sibstulgdo para w tantologas
3. Contradigzo 7
4, Contingincia 4
Exeieios
Capitulo §
IMPLICACAO LOGICA
1, Definigdo de implicagdo logica
2: Propedades dimples per
3. Exempliieagio
4 Talos imple esa
Exereieios
Capitulo 6
EQUIVALENCIA LOGICA
1, Definigdo de equivalénela lOpica
Propriedades da equivalncta logics
Exemplificayfo sess
|. Taatotogas © equialéneia Lica
[Negagio conjunta de duss propesigses.
Negagdo disjunta do duas proposigbes
Exereiclos s+ -
Capitulo 7
ALGEBRA DAS PROPOSICOES
1. Propriedades da conjungo. .
2. Propriedades da disungdo - =
Proposigdes associadas « uma condicional. -
30
30
38
9
39
a
45
46
a7
48
55
55
37
59
a
a
or
o 3. Proprio da conju de dno
44, Negucio da condicional ‘
5, Negagio ds bicondicional . :
Pxercicios 1g 6
Capitulo 8
METODO DEDUTIVO,
Exemplificagdo megan
Redugio 60 ndmero de conectivos
Forma nomal das proposigaes
Forma normal eonjuntiva ee
Forma normal dsjuntiva 2.0.00... 00
7. Prineipio de dualidade .
Beenie, ...:4248-.ncee esses
Capitulo 9
ARGUMENTOS. REGRAS DE INFERENCIA
Definigdo de argurmento.
Validade de um argumento.
Critério de vaidade de um argumento
Condicional asociada a um srgumento
5. Argumentos vilidos fundamentals.
Regia de inforéncia .. :
Exemplos do uso das regres de inferénea
Capitulo 10
\VALIDADE MEDIANTE TABELAS-VERDADE
2. Exemplifcap0
3. Prova de naowalidade
Exereicios
Capitulo 11
‘VALIDADE MEDIANTE REGRAS DE INFERENCIA
2. Exemplifespo. “
Bxorsicios eee eee
n
”
"
05
18
31
a
2
8s
8
87
8
%
90
ot
”
99
108
0
12
us
Capitulo 12
‘VALIDADE MEDIANTE REGRAS DE INFERENCIA E EQUIVALENCIAS.
1, Regra de substituigao
2, Equivaléncias notivels o. ++ - cose
3, Exemplificagzo
4, Inconsisténeia
Exercicios
Capitulo 13,
DEMONSTRAGAO CONDICIONAL E DEMONSTRACAO INDIRETA
1. Demonstracso conilicional
Hxempifieasio
| Demonst ago indies
Exemplificagao
Exoreicios
Capitulo 14
SENTENGAS ABERTAS
Sentengas abertas com uma varivel
Conjunto-verdade de uma sentenga aberta cum ums variivel
Seinengas abertas com dus vastveis
Conjunto-tendade de uma sentenga abe
Sentengas abertas com n varive’s
CConjunto-verdade de uma sentenga aberta com 1 varies,
Exercicios
com duis varivels
Capitulo 15
OPERACOES LOGICAS SOBRE SENTENGAS ABERTAS
Conjungio
Disjungao So Sane
Negagao * o
Condicional * aoe
‘Bicondicional
‘ipebra das sentengas aborts
Exercicios
no
19
BI
13s
ML
M45
146
149
150
153
136
136
138
159
160)
161
162
164
166
168
169)
170
m Capitulo 16
‘QUANTIFICADORES
1, Quantifeador univers «2+ 2 18
2 Quanticador exiseneiel " 1s
3. Varsvelaparente e vane live = a tn wn BE
‘6, Quantsicador do existncia © uniciade 180
5, Nepigao de proposies com quantfieador . 2 ist
6. Contrsexemplo > 18
Exersieis 183
spite 17
“QUANTIFICAGAO DE SENTENCAS ABERTAS COM MAIS DE UMA VARIAVEL
1. Quantiiexgdo parcial . wai BE
2 Quantiieagio milipla so. : 2187
3, Cemutatvidade dos quanticadores TIS ee
4, NegagZo de propengdes com quantiieadores. . 190
nan wns H BH UH HEED 90
RESPOSTAS DOS EXERCICIOS . a 193
BIBLIOGRAFIA at 04 on ws ono 203
Capitulo 1
Proposicées. Conectivos
1, CONCEITO DE PROPOSICAO
Definigdo - Chama-se proposigdo todo 0 conjunto de palavras ou simboles que
exprimem um pensamento de sentido completo.
‘As proposigées transmifem peastmentos, isto 6, afirmam fatos ou exprimem
jwizos que formamos a respeito de determinados entes.
‘Assim, p. &X so proposigbes:
(a) Aluaéum stéite da Terre
(b) Recife ¢ capital de Pernambuco
@ rvs
w
[A Lgica Matemitica adota como segrasfondamentais do pensamento os dois
sequintes prineipios (ou axioms):
() PRINCIPIO. DA NAO CONTRADICAO: Una proposigio nto pode ser
verdidera¢ fala a0 mesmo tempo
“il) PRINCIPIO DO TERCFIRO EXCLUIDO: Toda a propaigdo ou verdx
cic ow fl, isto 6 verifies sempre um destes casos e nunca um freer
iplo dizse quo a Logica Matemética é uma Logica
Por virtude deste pr
bivalente,
Por exemplo, as proposigdes (a), (b), (¢) © (Z) sio todas verdadelras, mas so
falsas a8 cinco seguintes proposigoes:
(@)_ VASCO DA GAMA descobriu 0 Bresil
(b) DANTE esereveu os Lusiadas EDGARD DE ALENCAR FILHO
©} em atmeroinsio
(@)O mimeron 6 sucional
@ ut
Assim, as proposigies so expresses a respoito das quais tem sentido dizer que
so verdadeiras ou fal,
2. VALORES LOGICOS DAS PROPOSICOES
Definigdo — Chamase valor lgico do uma proposiclo a verdade s a proposigiv
< vercudeira ea falsidade se 2 proposio ¢ fala
(0s valores lgivos verdade e falsidade de uma proposigao designam-se abrevia-
damente pelas letras Ve F, respectivamente, Assim, 0 que 0s prinesplos da no
contradigdo ¢ do terceto exciuide afirmam € que
‘Toda a proposigio tem um, € um s6, dos valores, F.
Consideremos, p. ex. 28 proposigdes:
(a) OimeroGirio & mais pesado que a gua
(0) OSol giea em tomo da Terra
(0 valor logico da propos (a) & 4 verdade(V) ¢ 0 valor Hopico da proposigo
(b) 6a flsidade(F),
3, PROPOSICOES SIMPLES E PROPOSICOES COMPOSTAS
[As proposgdes podem ser classificadas em simples ou atémicas © composts
‘ou moleculares.
Definigio 1 Chame-se proposigie simples ou proposigio atomiea aquela que
‘go contém senhuma outra proposigdo como part integrante de si mesa
As proposigdes simples sio yeralmente designadas pelas letras latinas minGseulas
Pq. 8.--. + chamadas letras proposicionsis,
‘Assim, p. eX, s€0 proposioes simples as sequintes
pi Catlas&careca
+ Pedro éestudante
f+ Ondmero 25 € quadrado perfeito
Definigfo 2 — Chane-se proposigde composta ou propasicio molecular aquels
formads pela combinagio de-duas ou mais proposigdcs.
‘As propcsigdes compostas so habitualmente designadas pelas letras latinas
maiisculas P.O, K.S, também chanadas letras proposicionals,
INICIAGAO A LOGICA MATEMATICA 13
Assim, . &x, so proposigies compostas as seguintes
P. Carlos é carecae Pedro € estudante
= Carlos &eareca ou Pedro éestudante
R= SeCarloss careca, entdo € infeliz
Visto que cada wma dela &formada por duas proposigoes simples.
‘AS proposigdes compostas também costumam ser chamadas formulas propo
Sicionais ou apenas formalas
‘Quando interes dettacar ou explicitar que uma proposigso composta P &
formada pela combinagdo das proposigSes simples p,q ..., cserevess
Pp. gt
"As. proposigdes simples © as proposicies compostas tambim so chumadas
respectivaments dtomos © moléeulas
‘Observaremot ainda que as propasigdes componentes de uma proposigie
composts podem sor, elas mesmas, proposigdes. composts.
4, CONECTIVOS
Definigio — Chamam-se conectivos palavras que se usim para formar novas
proposicies a partir de outtas
‘Assim, p.€X., as seguintes proposigoes compostas
P+ Onimero 6 6 pare 0 nimero 8 & cubo pertsito
(0 + O trngulo ABC ¢ etingulo ou €isiscels
R= Nioesté chovendo
8. Se Jonge écngerheiro, entio sabe Matematica
TO tridngula ABC é equilterose e somente & &equiingulo
‘io conectivos usuais em Ligica Matemiéties us palavras yue esto grifadas, isto &
nto”, = 86 © somente se.
5, TABELA-VERDADE,
Segundo 0 Prinefpio do tereciro excludo, toda proposigio simples p& verdad
ra on fil, isto 6, tem 0 valor logico V{verdade) ou o valor lgico Fi falsidads).
Em se iratando de uma proposieso ¥
‘eomposta, # determinagio do seu valor P
Tago, conhcidos os valores 1gicos das vl
proposigies simples componentes, se fan F
cen base no segue prineipo: EDGARD DE ALENCAR FILM
0 valorligico de qualquer proposicso composta depende unicamente dos valores
gicos das proposigdes simples componentes, ficando por eles univocamente deter-
sminado.
‘Admitida este prinefpio, para aplicio na ptitica @ determinagdo do valor
Jogicn de uma proposicao composta dada, recorrese quasi sempre a um dispositive
tienominado tabelawerdade, na qual figuram todos os possiveis valores logis da
propengio composta correspondentes a todas as possivls atribulgies de valores
Togs 8 proposigdes simples componentss |
‘Assim, 8k, no caso de una proposicde composts cujus proposigoes simples
= companentes slo p € q, us Gnias possveisatribuigbes de valores logcus a p © 8.4
os
Pia -
rf ¥[¥ aN
2|vie ® y
air|yv ’
alele 3
Observese que os valores logicos V e F se alternam de dois em dois para
primeira propesigao pe de um em um pare a segunda proposigdo 4, © ue, an
isso, VV, VF, FY © FF sio os arranjos
bindrias com repetieso dios dois elementos
Ver.
[No caso de uma prop
Jsigdo composta jas proposigdes simples eomponentes
sfo.p, ae # a inicas possives atribuigdes de valores lgicos a p,aqe a ro
aaaaeece|=
aaeentecie
mestesene
INICIAGKO A LOGICA MATEMATICA 1»
Analogamente, observese que os valores logicos V ¢ Fsealternam de quatro em
‘quateo para a primeira proposigho p, de dois em dois para 2 segunda propesigio ye
de um em um para a torccira proposigio x, e que, além disso, VWV, VWF, VEV,
EF, FVV, FVE, BEV ¢ FFF sos atranjos terndios com repeticho dos dos ele
mento Ve.
6. NoTAGAO
(© valor légico de uma propos simples p indicase por Vip). Assim, expri
ese que 9 € verdadeiraV), escrevendo: V(p) = V.
‘Anslogamente,exprime:se que p & falsa(F), escrevendo: Vip) = F.
Sejam, p. ek, a proposighes simples:
p : OSolé verde
fg: Un hexigono tem 9 diagonais
F: 26 raz da equagio e+ 3x-4=0
Temas
vo
vaev, Vo)
Do mesmo modo, 0 valor Higico de una proposigio compusta P indiewse por
we)
EXERCICIOS
|. Determinar valor Wigieo (V ou F) de ada ums das seguintes proposigbes
(a) Onimero 17 & primo.
(b) Fortaleza a capital do Maranhao.
(c) TIRADENTES morreu afozado.
(a) Gesy ses
(2) Ovalorsrehimediano den 6 22
(f) -1<-7
() 0.131313. .. € uma dizima pesidiea simples
(ih) As diagonais do um paralelogramo so igus
i} Todo polégano regular convexo € inseritive
(i) Ohexacdro regular tem 8 aestas. uy)
uw)
co)
@
w)
@
(a)
©
©
a
a
EDGARO DE ALENCAR FILHO
[expression = 441 (x N) 6 produ. nies primes.
“Toda mero dvsel por 5 trina por 5
O produto de dois imeros impares€ wr nimero mpar
sen? 30" + en? 60" =2
143454...+00 DF =a?
[Asraizes da equagdo X? ~~ 0 si tas esis
(© nimera 125 €cubo pert
Ot ¢-~4sfoayraizes da oquagdo x? ~ 16s =.
O cabo ¢ um poliedro repr
se Ft x) = som $ — xh
Capituio 2
Operacdes Logicas sobre Proposicées
1, Quando pensamos, efetuamos muitas vezes eertas operagDes sobre proposighes,
chamadas operages logias. Estas obedecem a regas de um cileulo, denominado
sileulo proposicional; semelhante ao da artmética sobre nimeros. Estudaremos 4
seguir at operagies LOgicas fundamentals
2. NEGAGAO (~
Definigdo - Chama-se negago de uma proposigio p « proposigiv representads
por “nao p”, cuo valor logico € x verdade(V) quando p ¢ falss a fabidade,)
‘quando p é verdadeira,
‘Assim, “no p" tem valor légico oposto daguele de p
Simbolicamente, a negagio de p indica-e com a notagio “*~ p", que se Ie
(0 valor Logica da negago de uma proposigZo & portanto, definido pela seguinte
tabelaverdade muito simples
ple
vie
Fly
ou sea, polos igualdades:
Veo p= > Mp EDGARD DE ALENCAR FILHO
8
Fxemplow
() pi2t3-=5 (ce ~ pitta es
Vi~p)= ~Vip)= ~V=F
@ ates Me ~qere3a
Ving) ~MqQy= ~ FEV
(3) 1; Romaé acepital daFranga(F) ¢ ~r:Roma nao acapital daFranga(V)
Vown= © Vine ~ FEV
[Na linguagem comum a negagdo efetus-se, nos casos mals simples, antepondo
_advsrbjo "nda" aa verbo da proposigao dada, ASS, p. ex. a negagdo da proposig:
p20 Sol é uma estrela
~ pO Sol nfo 6 uma estela
sonsiste em antepor & proposigdo dada
falso quo". Assim, p. ex. a negagao
Outra mancira de ofetuar » nega
expresses fais como “ndo é verdade que’
da proposicao:
4: Cartas € mecanico
~ 4 : Mio € vordade que Carlos & mecinito
~ q B false que Carlos é mecinico,
Observes, entretanto, que a negaglo de “Todos os homens sio elegantes™ &
‘Nem todos os homens sio elegantos” e a de “Nenhum homem 6 elegante” &
‘Algum homem & elegante”,
3. CONIUNGAO (A) bu!
Definigko Chamase conjungio de duas propesighes pe 4 propesigio
representada por “p e 4", cujo valor logic 6 a verdade(V} quando as proposigies
7 € a sio amas verdadeira ea falsidade(F) nos demas cass.
‘Simbolicamente, a conjungée de duse proposigdes pe q indicese com a
notagio: “p Aq”, que a I8: “pq”
INICIAGAO A LOGICA MATEMATICA 1°
(© valor logico da conjungio de duas proposigies 6, portanto, definido pela
seguinte tabela verdade:
play pra
viv] vy
vie] F
Fly] F
ele] &
ose, pols igualdades:
vay VAF=F, FAVSR, PAR=F
Vip A a= Ven) A VCa)
bemplos:
ge Anove ébranca—(V)
a2 24 © xn Z =0 (F)
Vip AD = Vip) AV(G)= FA F=F 20 [EDGARD OE ALENCAR FILNO
4. DISIUNGKO (Vv) of
Definigdo Chamase disjungio de duas proposigoes p © 1 proposiclo
representada por “p ou 4”, cujo valor lgico é verdade(V) quando 40 menos uma
das proposes p eq € verdadeira © a falsidade(F) quando as proposigaes pe q
so ambas falas.
Simbolicamente, a disjuneio de duss proposigbes pe qindies-s com a notagdo:
“pV a", que ses: “p ou g
0 valor logico da dijungio de duss proposigies é, portanto, definide pela
seguinte tabela-verdade:
pla pva
viv] v
vie] ov
ely] v
Flr| er
‘ou sea, pos igualdades:
vv VVFEV, BYV=V, PVE
Vip¥ = Vip)Y Vig)
(0 fe Pastel aang,
(ey
pV q Paris € capital da Franga ou 9 ~4
Vip va) Vin) ¥ iQ)= VV VV
w
(2) jp + CAMOES esereveu os Lusiadas (V)
{iinet ©
P ¥.q:CAMOES eserevou os Lusfaiasoun=3 (V)
Vip Vg) = Vipy VViQ)=VV F=V
(3) fp Romaéacapital da Risia (F)
fq: 5/7 éuma fragto propria (V)
pV q: Roma &a capital da Rissia ou 5/76 uma fragio propria (V)
Vip Va) = ph V Viq)= EV V=V.
INICIAGAOA LOGICA MATEMATICA a
(4) fp: CARLOS GOMES nasceu na Bahia (F)
{i vata
PV 4: CARLOS GOMES nasceu na Bahis ou V/
Vip ¥ g)= Vip) ¥ Miq)= FY F=F
5, DISJUNCAO EXCLUSIVA ( ¥)
‘a linguagem comum a playa “on” tm des eis. Assn, pox code
temos as do eins" proposes compen
P Carlen dco on profesor
(0: Maro € goa on cho
Na props Ps eta indear ue ma peo menos ds proposges "Con
medio” "Caos € profs” & verdad, podendo act amas versa
“carton ¢ nin « professor Ma, propose Q, sed 8 pocarqus uma ©
omer uma Gis proposes “Maro €sagouno, “Mac pach” eda
pom nfo ponte ose “Mario lgouo cho
Wi propongas Pde qc “ou” inl, enquamo gue, 8 props O,
Aina ie “vt exclu,
tm Logica Matemitica usa-se habitualmente 0 simbolo
indy eo sinbolo "0" para “0” exci.
sn senda x propose’? 2 dingo Inca ox apenas dj dt
propsites simples “aroné mbes" “Core prof”, a
P :Carlosé méaico V Carlos é professor
40 passo que 4 proposigzo O Ea disjunefo exclusiva das proposigSes simples
Maris slagouno”, “Mario 6 gaicho”, isto &
©: Mario & alagoano Y Marie & gaiieho
De um modo geral, chama-se dijundo exclusiva de duas proposigdes p € «a
propesigio reprosentads simbolicamente por “p Yq, que se 1 “ou p av gi" ow
“p ow g, mas ago ambos", cujo valor légico 6 a verdade(V) sumente quando p &
verdadcitn ou q verdadera, mas nio quando p © q sie ambas verdadeiras, ©
falsidade(F) quando p ¢ q s80 ambas verdadciras ou ambas asa.
‘Logo, o valor logico da dijungdo exclusiva de daus proposigSes € definido pela
soguinte tabela verdad:
plal-pxa
viv{ ©
vie] v
rly] ov
Fle| & 2 EDGARO DE ALENGAR EHLHO
cou sea, pels igualdades:
vyv
VP=V, FYV
Vip ¥.@)= Vio) ¥ Vlg)
NOTA — A lingua lating tem dugs palzvras diferentes correspondents aos
sentidos distintos da palavra “ou” na linguagem comum. A palavra lating “Wel”
‘exprime a disjungfo no seu sentido débil ou incusivo, a0 passo que a palawra ating
“saat” exprime a disjung no seu sentido forte ou exclusvo,
6, CONDICIONAL (+)
Definigio — Charnuse proposig#0 condicional ou apenas condicional wm
proposiedo representada por “se p entdo q”, cujo valor Logica é x fasidadet) 90
fas0 em que p & verdadeirae q¢ fala ea verdade(V) nos demais casos.
‘Simbolicamente, = condicional de duas propesicoes p © « indicase com
rnotueio: “pq, que também se 1é de uma das seguintes manciras
(@ pGcondigio suliviente para q
UW) 4 condigio necessiria para p
Na condlcional “p-+ 4", dizse que p & 0 antecedente © q 0 consequent: ©
atinbolo * ~" & chamado afmbolo de implicasao
1 valor ligico da eondisional de duas proposigbes 6, portunto, defimido pela
sequinte tabelaverdade:
Pla ]era
viv] v
viele
Fly] yv
ei[r| vy
cu sei, peas igualdades:
VaVeV, VoP=R, FSV=V, FoF=
Vip>.@= Vin) Via)
Portanto, uma condicional é verdadeira todas as veres que o seu anfecedente &
uma proposigao fas
INIGIAGAO A LOGICA MATEMATICA 2
xemplos:
() fp + GALOIS morrewem ducio (¥)
{hn semataneptage
p= 4:5: GALOIS moreu em duso,entio™ & um nimero real (V)
Vip>a)= Vin) Vi@h=V2V=¥
(2) fp * O mes de Maio tem 31 das. (V)
@ 2 ATeraéplana (F)
p+ q:Se o mes de Maio tem 31 dias, ent3o.4 Terra é plana (F)
Ye a)= Vip) = Vi V>F=F
©) fo : DANTE on Lis)
{5 5 chwonernrs Yeon Coninas 0
p= 4:Se DANTE esereveu os Lusfadas, entfo CANTOR exiow a Teoria dos
Conjuntos _(V)
vip a)= Vip) + Vig=F 2V=¥
(4) Jp + SANTOS DUMONT nasceu noCearé —(F)
{0 Ono tem9meer (6)
= 4 :Se SANTOS DUMONT nascou no Cea, ent o ano tem 9 meses (V)
Yop a= Min) Vi) -F+F=V
NOTA Lima condicional p»q nfo afrma que 0 consequent ve deduz on &
conseqincia do antecedent p. Asin, p, ex. 8 condiconas
76 un nimero Smpas > Brasilia & uma cidade
345 =9- SANTOS DUMONT nasceu no Cearé
Io estio a afirmar, de modo nenhum, que 0 fato de “Brasilia ser unt cidade” se
deduz do fato de “7 ser um niimero impar” ou que » proposigio “SANTOS
DUMONT nasceu no Ceara” & eonseqiéncia ds proposigio “3 +5 = 9. 0 que uma
‘condicional afirma € unicamente ums relagio ent os valores ligieos do anteccden.
tee do consequente de acordo com a tabelawerdade anterior.
7. BICONDICIONAL (>)
Definigfo — Chama-se proposigdo bicondicional ou apenas bicondicional uma
proposigZo representada por “p see somente seq”, cuj valor Lgico ¢ a verdadetV)
{quando p eq sio ambas verdadciras ou ambasfalsus,¢ »fasidade() nos demats EDGARD OE ALENCAA FILNO
Simbolicamonte, « bicondicional de duas proposigdes p € q indice-se com
hotagao: p +» que também se de uma das seguintes maneiras
(i) p €condigdo necessiriae suicionte para q
Gi qEeondigdo necessra esufeiente part p
0 valor lagico da bieondicional de duas proposigGes & portanto, efinide pela
seguinte tabela-verdade:
pl ape=a
viv] v
vir] F
Flvy|F
eFlejv
‘ou se, peas igualdades:
VesveV, VF Boskev
Vira" Vey Ve)
Portanto, uma bicondicional & verdadeira somente quando também © slo as
auus condicionais: pq © 4p.
vemos
() fp © Roms fica na Europa (V)
{hi Rome Sbranca ()
pa Roma feava Europese esomenteseanere étranca (V)
Spa sV@yeo Ve VenV=V
(2) pp + Lisboa a capital de Portugal ¢(V)
{ied 3 ©
po q: Lisboa € capital de Portugal se esomente setg J = 3. (F)
Vip @)= Vip) = Vig)= Ve F =F
6) fo = VASCODAGAMA deat oBiai!_
{Tienes ovens 0)
pr: WASCODA GAMA dso oR = samen = TIRADENTES
foientoreado (F)
Vip gl Vin Vi
INIGIAGRO A LOGICA MATENATICA 2»
V2 éumnémero racional (F)
poi A Terr é plana see somente se VE um nimero racionsl —(V)
Vip) = Vip) Vigh= Po F=V
oy ATortaé plana (F)
4
EXERCICOS.
|, Sejam as. proposigdes pa @) ~~ ~prgop
3. Stiam as proposes p : Claudio fia inglés eq : Claudio fila acme, Trade
pata inguagem corrente as seguintes propoicos:
@ eva @) pag ( para
( ~pa~a © ~p © ~CpA-@
4, Sojum as proposigSes p : Joo & gaicho & q : Jaime & paulista. Traduit pare a
linguagem corrente as seguintes proposes:
@ ~wr~a ®) ~~P @ ~CPY~9
@ p>~a © ~poma © Carp
5 Sejm as propos p Mas alto g Maco € lpn Ted pra 2
linguagem simbélica as seguintes proposicoss:
(a) Marcos 6 alto e elegante
(b) Marcos € alto, mas ndo éslegante
(6) Nao 6 vordade que Matcos & baixo ou elegant
(@) Marcos ndo é nem alto. nem clegante
(@) Marcos € alto ou baixo ¢ logante
(8) E falso que Marcos 6 baixo ou que nfo éelegarte EDGAR DE ALENCAR FILHO
Sejam as proposigies p:Suely € rica € q:Suely & felia, Traduzir para a
linguagem simbélica 3 soguintes proposigoes
(a) Suoly & pobre, mas feliz
(b) Suey 6riea ow infeiz
{o) Suely & poe e infeliz
(@)_Suoly & pobre ou ric, nas ¢ infix
Sejam as proposigaes p : Carls fla frames, q : Coris fla inglés +: Carlos
faa alm, Traduzir para inguage simbolica as seguintes propesiges:
(a) Carls fle fants on ings, mas nfo aa lomo
(0) Carlos fala francis ings, ow no fla frances e alemizo
(6) Efalso que Carlos fala fans mas qu no fla alma
(@)_Efalso que Carles fla inglés ou slerndo masque no fala aes
“Tradrir pra a linguagem simbélica as seguintes proposicdes matemniicas
(@) x=0 on x>0 () x#0 © y#o
() x> 1 oxty=0 @ tox
‘Tradui para a linguagem simbélica as seguintes proposig¥es matemiticas
(a) (Kty=0 © 220) on 4-0
tb) x-0 © (ys7>x on 220)
{9 x40 wr (x=0 © y0 entso y=2
&s ‘eta 7>0
re) J ou 2=2 entio y>1
(@) Sex>5 ensto x# |e x42
(o) Sox#y entdo x4z>5 © y4x<5
(f) Seaty>ze z=! entio x+y>1
(g) Sex<2 entdo x=1 wu x=0
Gh) y= ose x0A24204
fe) OF 1A VF éimacionl —(F) (VHT)? == 1 Am é racional
( YE1V # naoé um nimero real
(1) 2=2V sen90" # 3°
(g S*=10 Vm éraciomal
th) 343545
G) VF = 2V=7 VIB um nimero primo
@) -S<-7V I-21 =
W I-51 <0vet <1
14, Determinar 0 valor tgic (V ou F) de euda uma das sequins proposiges:
(@) Se342-6 entio 464-9
) Se0<1 entin VT & nacional
(©) Se3>1 onto “I< -2
(@) Se]-1) = 0 entdo send
G) goo? V3 + 2=2
( VE> VPs P22
@ Vat yes
) r>443>V5
15, Determinar 0 valor logico (V ou F) de cada uma das soguintes proposigdes:
@) 3+4=7 seesomente eS? = 125
(6) O=1 seesomentese (1 +5)? =3
(6) VE .V8=4 see somente xe V2=0
(@) (@T=1 seesomente se sen =0
(e) “1> 2 > n? <20
(250 rex <0
(g 3 442 254 sen Fes cos <1
G) sen20°>1 + cus20°>2
G) WoT = “to VT = 2
16.
18,
EDGARD DE ALENCAR FILHO
‘Detecminaro valor lgico (V ow F) de cada ume das seguintes proposgses:
(@) Nao 6 vordade que 12 ¢ um nimero impar
(©) No §vordade que Belém & capital do Pars
(e) Efalwo que2+3=Se1+1=3
(a) E falso que3+3=6 ou YT =0
(@ “Uti=2 <5 34425)
(i) ~G4 125 34321)
(24224 > Geae7 a 1414)
oy 44es
Determinar 0 valor ligico (V ou F) do cada uma das seguintes proposigbes:
(@) ~(sen0" =0 on oso" = 1)
() ~2°48 on 44)
(©) ~tig4S"=2 see somente s¢ ctg4s? =3)
(@) Brasilia € a capital do Bras. 2° =0 ow 3° =
(©) ~{G=9 + 305.00? =0)
() 3 =81>~Q41 23.45.0209
(@ #4645 ~Ge 32714 1-2)
Subenda que os valores ogicos dss proposicoes pe qsio respectivamente Ve F,
determina 0 yalorHgico (V ou F) de cada uma das seguintes proporigoes:
(a) pa~a ) pv~a () ~p Aa
) ~pA~a © ~pY~a (0 pACPY®@
Determinar Vip) em cada um dos seguintes vasos,sabendo:
@ V@=F © Vprg-F >) V@i=F © Vieva=F
| V@=F @ Ypsg-F — @® V@=F ¢ Va>n-V
(8 Vi@=V ¢ Vera) (9 M@=F © Varn=¥
1. Determninar Vip) ¢ V(q) em cada um dos seyuintes casos, sabendo:
(@) Vieo@ e Ye a@=F
&) Vos © Yea
( Wpow=¥ © YON
W Vpog-V e Yovg
) Veoa=F e@ Yepy@=V
Capitulo 3
Construcéo de Tabelas-Verdade
|. TABELA-VERDADE DE UMA PROPOSICAO COMPOSTA,
Dadas varias proposigtes simples p, 4, f,..+, podemos combindHas pelos
conectivos Kigicos
‘¢construitproposigdes compostas, tls como:
Peg = ~p¥ pra
Op.a) = (Pe ~q Ag
Rip.g.0) = (p> ~q¥ AY (Pe~9)
[Entio, com o emprego das tabelasverdade das operagaes logicas Fundamentals
(Cap. 2):
~P PAG PVG Pea pod
6 possivel construr 2 tabela-verdade correspondente 4 qualqusr proposigie compos
{a dada, taelawerdade esta que mostrari exatamente os casos em que a proposigaa
‘compusta seré verdadeira(V) ow falsa(F), admitindose, como 6 sabido, que 0 seu
valor ligico x6 depende dos valores lgicas das proposes simples componcntcs.
2. NUMERO DE LINHAS DE UMA TABELA.VERDADE
(0 niimero de linbas da tabelaverdade de uma propesigao composta depende do
rnémero de proposicdes simples que a intcgram, endo dado pelo sepuinte teoremas
|A tabelaverdade de uma proposicdo composta com n proposicies simples
componentes contém 2" linhas EDGARD DE ALENCAR FILHO
Dem. Com efeite, toda proposigfo simples tem dois valores légics: Ve F,
que se sxcluem. Portanto, para uma proposicfo composta Pp, Ps... » Pq) coma
proposigbes simples componentes py, Pa...» Pn hé tantas possibilidades deat
buigdo dos valores Logicos Ve F a tals componentes quuntos sZo 0s arranjos com.
repeticéo n a.n dos dois elementos V ¢ F, isto & An = 2%, segundo ensina a
Andlise Combinatoria.
3. CONSTRUCAODATABELA-VERDADEDE UMA PROPOSICAO COMPOSTA
Para a consteugdo pritica da tabslaverdade de uma proposipfo compost
ccomegase por eontar o-niimero de proposigSes simples que s integram. Se hin
proporigies simples componentes: py, Ps». «Pas endo a taboleverdade contém
3° finkas. Post isto, 4 12 proposigé simples py atribuer-se 2"/2~ 2" * valores
seguidos de 2") valores F; 2 proposigao simples ps atvibuemse
valores V, seguidos de 2"? valores F, seguldos de 2"? valores V,seguidos,
finaimente, de 2° valores F;€ asim por ante, De modo genic «Kia
proposigio simples py(k (VF) a ome
cuja tepresentagio grfic por um diagrama sagital 6 seguinte:
38 Resolugio —Resulta de suprimir sia tabslaverdade anterior a duas
* primeicas colunas da esquerda relatvas &s proposigoes simples components pe,
‘que dia segunte tabela-verdade simplificada para a proposigZo composts dad:
~[e[al~[o
vPvielely
ely|vivje
virljrlely
virlelv{F
4{t[s[2[5
(2) Construir a tabela-verdade da proposieae:
Ap.d= “pag v ~qsP)
13 Resolugao:
P| aera lap[~@ra|~ap)[~@Agd¥ arp
v[v[v]y¥ F FE F
vie] &e |e v v v
Fly} e |e v v v
rlrf[elv[vlfe v
28 Resolugio:
elal-~Jelsfoly[-[ol=|o
vivjelviy|vfelelvi[yfy
vie}vivielefyivirlely
e\/v}vijelelvivijvjvfefe
rFleivielele{viel| Five
sale lel iett
INICIAGADA LOGICA MATEMATICA a
Portanto, simboticamente:
PW)" F, POVE)=V, RVI=¥, PORE
ou sea, abreviadamente:
PIV, VE, FV, FE) = FV
‘Observe-se que Mp, q) outra coin no é que uma fungdo de U= { VV, VF. PY,
FP} em (¥V, F) ,eujarepresontsgao grifica por um diggrama sagt
\
38 Resolugio:
~le]sfo]-]~lele]
FlylvivyFlFlyiyiy
vivjeleiv[vjelely
vielelvivfviv)ele
vijejeletv[ejelvie
sfoletrleishaiett
(3) Constuira tabela-verdade da proposigt:
Me an=pvarega~r
1 Resolutio
Paes an pv isan
vivivie| vy | ¥
vivlely|v |v v
vielvjelv je F
vieletvi|v | Fj oF
rlyjvfele |e v
rilvfelfy|v |v y
rle{vir{r fe | ov
rle[elv[v le | oF o EDGARD DE ALENCAR FILHO
28 Resolutio:
rebre Pie erPee
vivivivivielvie[y le lel y
vivielyiviviefyv[yiyiv[e
vielviyivfelvirlefelely
vieledyivi(vjelefelelye
Fly|vjejeje|viviviefely
elyleje|v|vlelvivivi vie
e\jri[vjelel/e|viv[e/relieiy
rir{e{eivivielede [ely ie
Teh eh een
Potato, smbalcamente:
RVYY)ER, PVE)=¥, RVFY)=F, MPF) =F
HEW)=V, REVE)©¥, FEV)=¥,IFFE)=F
oa sea, abreviadamente:
PCVWY, VWF, VV, VEF, FVV, EVE, FRV, FFF) = EFVFFVVVE
LObservese que & proporiio P(p, q,£) outra coise no ¢ que uma fungio de
U= {WWV, VV, VEV, VEF, EVV, FVE, FEV, FEF) em (V, F} cuja represen
taedo grfica por um diagrama sagital€ a soguinte:
INICIAGAO A LOGICA MATEMATICA 28
3 Resolugio:
PL lle l=
viviFlvPFyyi[elely
vivjvlefviv|vivie
vivjelvlelelelely
vivivjelelelelv)e
elelFi[viv[vjelely
ely{vielvivivivle
elelri/viv[elelely
eivivi[el[ejelel vr
telelt{eafsteta
(4) Construir « tbelaverdade da proposes
Fea) (P-@ACa>+(P>9
Revol:
rl4l*}e@[-[ol*[@[-Jo[-Te[-Jo
vivivivlviy|viviyly[v]y
vivir}yv|vivie}vjeletyty
vie{vivijefelelelyiyviyiy
vielelvieljelefeiviedviy
riy|vfrl}vjvjviv}yivivfe
rlvjele|vivjelvlejelvle
rle|vfe/vje|virjyvivvle
eleieleivieivielyvielvie
T aT
bPebePrr Ey
Portanto, simbolieamente
PIVWY)=V, BOVVE)=V,PIVEV)=V, (VFR) =V
PIEVW)=V, PORVE)=V, IFFY) =, APP)=¥
ou soja, abreviadamente:
P(VVY, WWE, VEV, VFF, FVV, FVE, PPV, FFE) = VVVVWVWV 2m EDGARD DE ALENCAR FILHO
Observese que a sltims coluna (coluna 4) da tabelaverdade dx propesicfo
p,q 1) 86 encerra a letra V(verdade), isto & o valor légieo desta proposigao é
sempre V quaisquer que sejam os valores logicos das proposigSes Componentes
pager
(5) Constnuir a tabelaverdade da proposigio:
Ma = > -av AGE ~9)
Resolugio:
@[> a[v [ofa] -laelvio »)
vivielvivivielelvivivfelejpy
vielje|virljelelef[viv{vijvjvie
vivivielviviviviele|vijefely
vivjvielvielelefelv|vijvjvie
Filvjrlvijvivielefvivije|vielv
FlvjrFlvjel/efelef[vjv|rj}elvie
Flyv|vielviviel{eleivjei{vielv
Fivi{virivieivivi[eljelejeivie
ife(2fsfalafels[ [si [sfe]o
Notese que ¢ uma tabelarerdade simplifcads da propasigao Xp, 1) pois,
nfo encerra as colunss relativas as proposigoes companentes p,q er.
Portanto, simbolicamente:
PVY)=F, POVVE)=F, P(VEV)=V, IVFF)=F
PFWY)=F, PFVE)=F, M(FFV)=F, IPFF)=V
(ou sea, abreviadamente:
P(VWV, VVE, VFV, VEF, FV, FVE, EFV, FFF) = FFVFFFFV
5. VALOR LOGICO DE UMA PROPOSICAO COMPOSTA
Dada uma proposigéo composta Pp, q,1,.-.}, podese sempre determinar 0
seu valor légico (V ou F) quando sfo dades ou conhecidos os valores logicos
respectivos das proposigdes Componentes Ps 4
INICIAGAO A LOGICA MATEMATICA a
Bxemplos:
(1) Sabendo que os valores Ligicos das proposigbes p © q slo respectivamente
Ve F, determinar © valor logico (V ou F) da peoposigio:
Heg=~(n¥ h~pa~q
Resolugdo ~ Temas, sucessivamente!
ve
(VV FRbSVA WP=AVeSP AVS FSP SV
(2) Sojam as proposigses ps4 =3 ¢ qisen Z =O. Determinar 0 valor logo
(V ou F) da proposiggo: .
Pi.) =(p> a(n p Aw)
Resolugdo — As proposes componentes p © 4 slo ambas falas, isto &,
Vip = Foe Vig) =F. Portant:
VP) =(F +) (PF A F)=V4(F 4F)=VoVeV,
3) Sabendo que V(p)=V, ¥(q)
{a proposigo:
© VU) F, determina 0 valor ligico (V ou F)
Mp. => 6B) Y (ap)
Resolugio — Temos, sucssivamonte:
VQ) = FF +-VyV (FV)
= (FPF) VV 9 VP
(Peavy y VoR)= PY =F
(4) Sabendo que V{i)=V, determinar 0 valor l6gico (Vou F) du proposigio:
p+~ave.
Resolusdo — Como + 6 verdadsira(V), @ dsiungao ~q Vr € verdudera(V)
Log, a conieional dada 6 verdadera(V), pos, osu conse quente & verdaeiro
™.
(5) Sabendo que V(q)=V, deteeminar o valor Hogieo (V ou F) da proposicio
(pa) >(~q>~p)
Resolugio — Como 4 é verdadeiea(V), entio ~q éfasa(F). Logo, a condicional
~q->~p € verdadeira(V), pois, 0 seu antecedente&falso(F). Por consequncia,
8 condicional dada ¢verdadeira(V), pois, 0 seu consequente é verdadoirol V) 2 EOGARD DE ALENCAR FILHO
(6) Sshendo que as proposes “> slo verdadeiras © que 2
proposicdo "y = 2" éfalsa determinar 0 valor logico (V ow F) da proposigio:
x#O0VK#y rye
Resolugdo ~ Temas, sucesivamente:
PVF+V-F+ V-V
~VVAVosE
6. USO DE PARENTESIS
Ff via nevesidade de usar paréntesn na simbolizagto das proposes, que
devem ser colocados para evitar qualquer tipo de ambiguidade. Assim, pe eX. 2
expresso p< V 1d hga,colocando parén sis, as das seguines proposes
@ @Aavr © Ww pAwvA
que no tem mesmo sgifeado, pois, na), 0 conectva principal * V “yea
Ui, conectivo principal €"-A, isto 6, a (i) & uma diungio e a (i) & uma
conjungdo,
Anlogamente, a expresio pA q-r4¥ si lugar,
spines proposicbes:
colocando paréntesis, is
@AMFNVS PACA VS) (OAGG>D VS
PAW). DAQD=EVI
tais que, duas quasquer dela, nZ0 18m o mesmo significado,
Por outro lado, em muitos casos, paréntesis podem ser suprimidas, a firm de
simplificar as proposighes simbolizadas, desde que, naturalmente, ambiguidade
guna vena. aparecer.
'A supressio de paréntesis nas proposigOessimbolizadas se faz mediante algumss
convengdes, das qualssio particularmente importantes as duas seguintes:
(A “ordem de precedéneia” pura 0 concetivos&
Gs; MrAevs Oa He
Portanto, 0 conectivo mais “Traco” § *~" @ o concetivo mais “forte” é “=!
Asim, p.ex., 4 proposic:
pracssAr
‘e nunca wma condiclonal ou uma conjumneio. Para convertéa
€ uma bicondicions
gna eondicinial hi que usar paréntesis
pr@osnd
INICIAGAO A LOGICA MATEMATICA ~
«, analogamente, para converté-la numa conjunglo:
@zaeaar
(0 consequente da condicional ¢ uma bivondicional. Descjando-se converter
este consequente numa eonjungio eumpre escrever:
pr@oxan
‘Também sio bicondiclonas as trésseguintes proposes:
pAaeerVs practeAs: pV qeenrss
Uf) Quando um mesmo conectivo aparcee sucessivamente repetido, suprimem
se. paténtess, Fazendose a asociagao a partir da esquerda
‘Segundo estus duas convengoes, as quatro segues proposicbes:
COPA YE DE: COVED ACKED
Mev a ADAGE (Cp+a>CeV oD”)
‘verevern se mais simplesmente asi:
(eA@y~pi (pV ~@ AC A~D)
WY ~QAr Amp ~p>tas~@V 0)
7. OUTROS SIMBOLOS PARA OS CONECTIVOS
Nos livros de Logica, usamse diferentes simbolos para os concetivos. Assin,
1. ex, fo frequentements usados os simbolos:
para anomgio(~)
eS” para a conjungio (A)
(fertaduea) pera.a conéivional (+)
EXERCICIOS
1. Consteuir as tubelas-verdade das seguintes proposigdes
@) ~@Y~@) ) ~e>~9
© pAqpva @ ~prurp)
©) @a—pAq () ges~anp
@ @o~d—a>P dy (Pa ~P Ag 40 EDGARD OE ALENCAR FILHO
CConstruir us tabelas-verdade das se
(@) ~pAroqyar ©
© prier~dave @ Ora
3. Determinar P(VV, VF, FV, FF) em cada vin dos sequintes casos:
@) Regd = ~Ce@)
0) Pip.@) = ~p
(e) Plp.g) = (VQ A~p>tq>Ph
4, Detesinar PUVVY, YVE, VEV, VFI
sequins cass:
V, FVE, FFV, FPF) em cada umdos
) Mean = pvann
tb) Pad = ip A~Mve
© Pinas) = ~pV(ah~o
@ Pa = OVOAWYD
(Apa = Y= AGY ~1
Man = ~@Y~aA CVA
5, Determinar PCVEV) em cada um ds seguintes casos:
() Plqd = pA~r>~4
©) Ping) = ~PALGY~9
© Poad = PAO ~(P¥ ~9
18) Peg) = FAGDY ~@A~CrV AQ)
{9 Pad = PV a>)-g¥ ~r
4) Pg) = PV (a=~A) APY re ~@)
6, Sabendo que os val
eterminar o valor
1 lgivos das proposigies p q so respoctivamente Fe V,
aico (V ou F) da proposig:
(PA (~q>p) A~Up~O>4¥ =P)
7, Sejam as proposigoes p = 1g(* x) = elgx oq: <2. Determinar o valor Vigico
{Vo F) de cada uma das seguintes proposigces:
@ CpA@v@r~a ®) @r)h~p>~4
©) ~@rAQorpvna @ Ov Cry @yCrA~d
IMiciAgRO A LOGICA WATEMATICA “
8, Sabendo que os valores logicos das proposigdes py aie sso respectivamentc V,
Fe F, determinar o valor Iogico (Vow F) de cada uma dit segues propos!
oes
6 @ps0vG>) ) @--9 @V9AD
(@ @rer=@>G>0)
satendo que a propongds © 40 verdadis «que a ORES = 8
9 Sate eterna a elo Hagen (¥ ou F) de cals wma das slates
propenigdes:
() pare ) rsa
© a pas (pra ny)
@ W296 () ~empaa
® WV9A@YS) @) 694049
© @A= avr @ ~G>pVG>a
WEe2-— Ee () raqeeren
10, Sabondo que os valores léyicas das proposgies p, q, rs so respeetivamente
VV. Pe Fy detorminar 0 valor logico (V ou F) de cada uma das seguintes
proponiges:
@ poassa>P () topo@o9
@ @20 77> ~9 © ~(paw—~PY ~4
) Mipv iv 9)
fe) ~(pAs~—pA
1. Sabendo que W(p)= Vio= V © Ve) deieinae © valor leo
(¥ ou F) de cada uma das soguintes proposigdes:
(a) pAqesr ass & @oa-GerD
(0 (p> a)>G>9 @ PADY S09
(© GANAS=Os) 6) powaer@V AS
W@ADATAS pV O) GRYOVCSAD
ce “nay? sio verdadeiras © que as
(Vou E) de
os propos “x
e +¢° sau falsas, determinar o valor K
proposicbes “y
‘ada ania das soguintes ~ proposigSos:
(@) x=0Axqyoyee hy x#OVystoy=n
(e) x#yVyFery=t () x#0V NAY yee
(e) x=0404y VFO
13, Sabendo que a condicional p->q & verdadeiratV), determinar 0 valor Vigo
(V ou F) das condicionas:
pvesqve e pArsgar 2 [EDGARD DE ALENCAR FILHO
14, Doterminaro valor Vigico (Vo F) de cad uma das seins proposes
(@ prea A ~r.sabendo ave Vip) = Vi)=¥
©) paaspy casbendo que Vip) =e) =V
(6) p> na) A (op ¥ dy sabendo que Vig) = Fe Vi =¥
15. Suprimir o maior nimero possvel de paréntesis nas seguintes proposigdes
@ Cae V a —~AHea)
© (A-CK@) at va)
© UV a+) YUa AD AD)
Capitulo 4
Tautologias, Contradicées e
Contingéncias
1. TAUTOLOGIA
Definigio Chamarse tnutologia toils 2 proposigio compesta cis ttims
coluna da sua tabela-verdade encerra somente a letra Viverdade)
Fm outros teomos, tautologia ¢ toda proposico composts P(p, 4
valor logico & sempre V(verdado), qualsquer que scjam os valores TOqicus dis
proposiedes simples componentes py 4h ty
As tautologis so também denominadas proposigdestautologicas ou proposigoes
logicamente verdadeirs.
F imediato que as proposigdes p+ p © p+ p sio tautologicas(Prinefpio de
identidade pars as proposig0es).
) exjo
Exemples:
(4) A proposigio “~(p A~p)" (Principio da iio contradic) & tautolbgica,
onforme se vé pela sua tabelawerdade:
P [|p A-v|-tP A ~P)
v Fi oy
F ejov
Portanto, dizer que uma proposigée ndo pode ser simultineamente verdadeira ©
falsa€ sempre verdad “ EDGARD DE ALENCAR FILHO
2) A propsiese p ¥ ~p" (Principio do terceiro exclude) &tautlégica, como
oe @ pl sua tabelaverdade
imodiatamen
p [elev
F
el vjv
Portento, dizer que uma proposigao ou & verdadeira ou é falsa € sempre
verdadeieo
(31-8 ponte “pV ~(9 a” € tg conus pln be
‘cn
2a [ona [Sa apore
vivpy | ey
viele | wf
tlyie | owl oy
elele v v
(A) A proposigda “p A q-+(p+—> a)" € tautologie, conforme mostra a sua Label
wend:
P]4]eralpalpaa>
v
(
v
v
v
v
nets
Vv
:
F
v
(5) A proposigio “pV (q.A ~q) ~gV
tabla verdad:
Pla TalpA pave] pAromaver
viv Fl yjv |]. ¥
viy Flelr [ov
viefv|v} viv v
virle| vj] ely v
elvivijel ely joy
ejvijelrl ele v
rlelv| vl Fly Vv
eiletre|vpely v
o
4
:
sua tabolu-verdade
a (p= (q+ 9)” € wutalagica, conforme mostra
)
soja 05 valores logicos das proposigGes simples componentes p, qf,» » € 6b¥0
‘que, substituindo p por Po.q por Qour por Ry... na tautologia PCP, g,r.-.-)oa
nova proposigio PP, Qo, Ro, -») que asim se obi
‘Subsite, pols, para as tautologias 6 chamado “Prineipio de substituigo” seguinte
» também 6 uma tautologia.
‘Se APs dst +-) & uma tautologi, ento P(P,.Qy, Ros...) também & uma
tautologia, quaisquer que seam as proposigbes Py, Oo. R, 46 EDGARO DE ALENCAR FILHO
3, CONTRADICAO
Detnigio — Chamase contadgso tos propskfo composts cx ima
cls anclnrernde ener omente lta F(a
va tema, contra & 108s propsgfo compst Ip @f-- evo
ee mre dade), quasoer ae smo» vars Hees das
vapongun simples components Pe yf
re a Batlog temp yrds \), «nga Ge wma tautlog
serge ts) 00 ee a ental, econ.
Fe etna tuutloga te csoments € ~P(p.art:-) 6
ego eB(p.g == De una contadgfo esomentese ~P(p.4.1--)
Bim tatoo
Ta amtsiges so tamblin denominadas ropes
proporigos lngamente fabs
Poa es ae un “Principio de subituigio™andogo 20 qe ot
dado par ttl
Setp dates Dé uma contra, eitio MPa, Qos
conti anger qu eam 8 proposes Fo. Bos
ides contravilidas ou
) também & uma
Exemplos
(1) A proposigio “p A~p” & uma cantradigao, conforme se vé pela sua tabele
swordade
Ppl pee
viel F
Fiv| Fr
Portanto, dizer que uma proposigio pode ser simultincamente verdadeira ¢
fatsa 6 sempre falso.
, conforme mostra a sua tabele-
(2) A proposigao “p> ~p"
verdad:
me
INICIAGAO A LOGICA MATEMATICA ”
©) A proposigio “(p A q) A ~{p V a)” & uma contradigdo, conforme se v8 pela
‘sua tabela-erdade:
P| 4 [pta| pa |-@V@liergA~ov a
viviv fv F F
vijejri|yv F F
Fly} e |v F F
Flejele v EF
(4) A propasigio “~p A (p A~a)” € uma contradigao, conforme mostra a sua
tabelaverdade:
~a [ph~a] ~pA@ A~a)]
p[al>
v[vyFlFl & F
vielely| v F
Fly|viej Fo] F
Flejvivie | F
4. CONTINGENCIA,
__ Defnigio Chanase comtingncia tags a proposio composts em cuja
‘tima coluna da sua tabelaserdade figuram as letras Ve F cada uma pelo
[Em outa: termos, contingéncia ¢ toda proposigéo compost que nao é
tautologia nem contradigio,
'AS contingéncias sfo também denominadas proposigdes contingentes ou
proposigdes indeterminadss.
Exemplos
(1) A proposigio “p> ~p" € uma contingéncia, conforme se ve pela sua
tabela verdade:
e[-P>-P “6 EDGARD DE ALENCAR FILHO
(2) A proposigfo “pV q->p” & uma continggncia, conforme mostra a sua
tabela verdad:
[2 [a [rva]rv arr]
viviv] v |
vir} v]|ov |
eiv[v| oe |
rlejr| v_|
G) A proposigie “x= 3.8 Ay > x4 3)" 6uma contingéne
yu tabelaverdade’
Faeeyeey ones)
viv[rlrl ¥
vielrlv) oF
elv[vje| oy
Lrielyvivi iy a
EXERCICIOS
1. Mostrar que as seguntes proposies so tautogics:
@ @2p¥O+-P) (0) (perp A~pl—>~P
©) @oaAr~ @ pv@y~p)
©) (P>@A~ar~P ©) PV @r~pra
(2) Poop Ava) @) ~@¥~pY@¥~a
(i) ~@A~PYG>~@ ——G) PY PADD
®) ~9Y aa QO woah prg
2, Mostrar que a seguintes proposigdes so tautolbgics
(a) @Pea>prro” ©) (P@=(Po qv
©) Ora) @D (rg VEmave)
Mostrar que as seguintesproposigiessfo contingents:
() p¥q>pha &) (a> p=(P+)
©) @=@+a~9 @ p=@-an~a
4, Determinar quais das seguintes proposigdes sio tautolégicas, comtravélidas, ov
ccontingentes:
G@) p+(-p+a) @) ~pYa+ @>@
tc) p>(a>(q> ph) @ (@rad-g>P
© preqspard © V~qoro
@ ps@vavr ) prar@eravn
Capitulo 5
Implicacao Logica
1. DEFINICAO DE IMPLICAGAO LOGICA
Define Dirse que uma proposgdo UP...) implica lgicamente ov
apenas implica uma. proposiio Q(B go Fs-o3), 86 lpr ait...) 6 verdadeialV)
todas vere que Pp. verdad V).
Em outon tees, wna proposgfo Pp. qf...) implica togcamente ou
apenas implica uma props Op, ) das ab vezes qu nes reposts
tutelasvendade dss dus. proposides mo aparece V ma iima coluna de
ip. a t+.) € Fa iltima eouna de OXP ge toxs cam Ve Fem uma esi
linha ist, no ocore Ptp. 9, --) © ds») com valores gis st
tineosrespoctivarente Ve F.
Indicase que a preposgdo PO. 4
com 4 nota
implica 8 proposicdo Q(p. 4, 6---)
Pig IAB Gt
Ein particular, toda proposigfo implica uma tautologia © somente uma
ccontradigdo implica uma contradigdo.
2. PROPRIEDADES DA IMPLICAGAO LOGICA
f imediato que a elgf0 de impliagao ligjca entre proposes gore das
propiedad refleniva(R) ¢ tansita(T), 0, siboliamente:
®) Pinan d = Mpen-)
MD SPRAH) > Oat.) €
Op. g.1,-+-) > RiP.g.r,-..), entso
Peg tees) + Rip at.) 50 EDGARD DE ALENCAA FILHO
3. EXEMPLIFICACAO
(1) As tabelasverdade das proposisses:
PAG PYG pod
so:
P| a [pag] pval pa
: vivlyf[v]y
vJF} Fe] v]F
Fly} rfiv]e
pir] ele| vd
|A proposigio “p 4.q” & verdadelra(V) somente na linha 1 e, nesta linha, as
proposigdes “ip V q © “pe+q” também sio verdadeiras(V). Logo, a primeira
proposigdo implica cada uma das outras duss proposigdes. isto
piqep¥ac pha>poa
“ate ree inSain tt i
SORES RS Bion
(2) As tabelas-verdade das proposiies:
pq P+ +P
P| a|p-ale-a| asp
vivIvfivly
vie} re jr iy
Fly} Fr |v] F
Fle} vjvijv
[A proposigio “p= aq" € verdadeira(V) nas linhas | © 4 e, nestas Tinhas, a
proposes “p-+al" "q+ p”tamblin so vedadeas. Logo, «primera propos
‘0 implica cada uma das outra duss proposigGes, isto &:
poaspeq © peqsa>P
INICIAGKO A LOGICA MATEMATICA 5
(3) A tabelaverdade da proposiclo: “(p V q) A~p” 6:
P| a [eva | ~p [ov aar~p)
vivpwlr| F
vir>¥|F| &
Flyfv|vioy
FF pore pe 7
sta proposigfo € verdadsira(V) somente na linha 3 e, nesta linha, a proposigfo
“aq” também é verdadeira(V). Logo, subsiste a implicagao logic:
(VQ r~p>a
enominada Regra do Silogismo disjuntvo.
‘Outra forsna desta importante Regra de inferéncia&:
(@V@A~a>P
(4) A tabela-verdade da proposigio “(p+ q) A p” &
P| 4 [pal @>arr|
viviv] ¥
viel er FE
Fiv|v F
Flejyv F_
[sta proposigdo & verdadeira(V) somente na linka I e, nesta linha « proposigio
““q" também é verdadeira(V). Logo, subsite a implicagio lca
(rar
denominada Regra Modus ponens.
(5) Astabelas-verdade das proposicies “(p> q) A ~q” ¢ “~p” slo:
? a fers 4 [ipa A~a)~P
vivpvirl © |F
vie}e iv] oe |e
ata lel] oe
rlei[viv| v_lv EDGARD OF ALENCAR FILHO
82
[A proposigio “(p-+a) A-~a\" € verdadeim¥) somente na linha 4, © nesta
linha, ¢ proponigio "~p" também € verdadeira(V), Logo, subsste implicagso
ges:
9 a~a>
enominada Repra Modus tlle. : wen,
vas mesinas,tabelas-verdade também mostram que “~p" implica “p> ql
ito & ~p > p>q
4. TAUTOLOGIAS E IMPLICACAO LOGICA
‘Feorema — A proposigio PCP. f-..) implica & proposigio Q(p. qf.)
isto €
Pigeon) + Wah
se eyomente sea condicionat
Pip. git) > ORG a
Corobitio — Se Plp.q. 1 --)-> OCP. gf») entio, também se tem:
PAP Qos Ros +=.) % OlPos Qos Ross)
aqussquer que seu as proposes Py, Qo, Ros
NOTA - 0s sintos > ¢ so sting, opie ¢ de ope
Lio Cplcade, pr exe popaigtes pe a a a toe ppg P= a)
to ree squnde & de relat etaelece qu xcandional PL, ==>
Tip gn) tata
INIGIAGAOA LOGICA MATEMATICA 5
Exemplos:
(1) A condicional “(p +4) (q+ 8) >(p-+1)" § tautoldgica, pois, 2 tim
ccolura da sua tabela-verdade encerra somente a letra V (Cap. 3, § 4, Ex. 4)
Logo, subsste a impliagdo logica
(po@ Alan oper
‘donominads Regr do Silogismo hipotético
(2) A condicional “pA ~p-sq" & tautolégien, pois, 2 Gluima coluna da su:
wbelaverdade encerra somente a letra V:
> [ae] appmmera
vied} |e
ereLe eee
Flyiv| e | ov
eleivl re |v
Logo, subsiste a implicagio Wgica: p A ~p>q. Assim, de uma contradigio
pA ~pse dedus qualquer propasigao q (Principio da inconsistencia).
‘A proposigio “(p+ q) 4 p” implica a proposgdo “a, pois, a condiciona
Sipe q) p>” &tautolbgica conforme se vé pela sua tabela-verdade:
4 [paleo A rlio—o pal
viv [lv |v
ve peeeore poy
rlyfe | F v
ele[ vj v
Portanto, simbolicamente: (p> @) p> q.
EXERCICIOS.
1, Mostrar que & propesigio p implica a proposigio q(p a) em cada um do
seguintes cares
Ga) pena; qe tgts =
) pesen30"=1; qev2> VF
(©) p:ABCDé umlosango; q: ABCD é um paralelogramo (8 p20 potigono ABCDE...< regulars 4:0 poigona ins
cite
(©) p:Ontinero inter x termi por 0; 4:0 nimeroitene RE diel
© 4: A soma dos inguls interno APB ECE igual
® sen B= cos ¥ =.
tm
2 Mostarialg2p>a ()a2p Aap me
3. Mostar que p—+~ nomen p> 4.
Resolugio As tabelas-verdade das duas proposigbes dadas sf
pal
a7<7
aeen
aenz<
nerclo
A proposigio “p+ ~q" 6 verdadcra(V) na finha 2¢, nesta linha, a proposiio
“p-+q” éfaisa(F). Logo, «primeira proposicko nio implica a segunda.
4, Mostrar que pndo implica p A qe que p V quo implica p.
$, Mostrar (x=yVx<4) AX&4 @ x2y
6. Mostar QAO-2K=y)Ax#Y = x=0,
Capitulo 6
Equivaléncia Logica
1. DEFINICAO DE EQUIVALENCIA LOGICA
Definigéo — Dizse quo uma proposiio PCp, 1...) élogicamente equivalente
‘ou apenas equivalente a uma proposieio Q(p, wf.) s€a8tabolas-verdade destas
dduas proposiges 850 idénticas,
Indicuse ques proposigao P(p, qr, - -)Gequivalentea proposicfo Op, 4,5
‘coma notasio
)
Plan d > Anand
Em particular, se as proposigdes Pp. et,.-.) © Q{Pyq.++-) S80 ambas
{autologias ou sJo ambas contradigdes, entdo sio equivalentes,
2. PROPRIEDADES DA EQUIVALENCIA LOGICA
imediato que a relagio de equvalncia liga entre proposgbes gora das
propre dades reflexiva(R) simética(S) ¢ uansitiva), isto 6, simboicamente:
@®
°
io)
Pea
SePIp. 4. f
Qa) MR SN
), entzo
SEM ate) > Pande
fp. G12.) © RiP. F-- ), entho
Pep.
es Rip gn 6 EDGARD DE ALENCAR FILHO
3. EXEMPLIFICAGAO
(1) As proposigdes “~~p" © “ip” io equivalentes, isto 6, simbolicamente
~~p-p (Regra da dupla negacio). Realmente, 60 que demonstra a tabela-verda-
ae:
p |-r |=]
VIE v
elvle
Portanto, & dupla negagdo equivale & afirmaca
(2) As proposigdst “pp e "p” so equivalents, isto 6, simbolicamente:
~p- pp (Regra de CLAVIUS), Realmente, & 0 que demonstra a tabele-verdade:
P [>> [pe
Flv
vig
“pq kde tabelas verdad idéntics:
popAale
v
a
p)” tem tabelas
verdade identicas:
[era] p= a] a= Plea AG>a)
vt
F
ri yv |
lvly 1
te
Por consequéncia, estas duas propesigSes sio equivalentes, ito 6, subsiste a
Importante equivaléncia. logics:
Pa >a AG>P)
(6) A bicondicional “p< q” ea dijunedo “(p A q) vp A ~a)" tém tabe-
lasverdade idénticas:
me
enee|t
a
v
F
v
F
aa<<|=
eames
e | Joma] @] [oly Gel a]-o
vivivivivi[viv) elle
viele jvjesele| e | ely
Re [tobe (eoaedie Bohne
rlely leletelyl viviy
Oi le acl
Por consequéncia, estes diss proposigbes so equivalentes, ito 6, subsiste a
importante equivaléncia lie:
pra PAQV-PA~@
4. TAUTOLOGIAS E EQUIVALENCIA LOGICA
‘Teorema ~ A proposicio Pp, a, ---)Gequvalente proposgfo Q(B, a5. ++h
Pgh) > an)
tautologica, se EDGARD DE ALENCAR FILNO
Dem. ~ (i) Se as proposigdes P(p, q.t:-.) € O(p. 9...) Slo equivalentes,
entfo, tm tabolas-verdude idémticas, © por conseguinte 0 Valor ldgco da bicondlicio-
nal (1) 6 sempre V(verdade), ito €, (1) € tautolbgice,
(li) Reviprocamente, s¢ a bicondicional (1) € tautoligica, entZo, a éltima
‘ohana da tua tabelaverdade encerra somente letra V(verdade), © por conseguinte
(0s valores l6gicos respectivos das proposigles PXP. grt...) © (Pi Gets...) so
ambos V(verdade) ou sio ambos F(falsidade), isto é, estas duas proposigoes so
‘equivalences.
Portanto, a toda equivalénla logica corresponde uma bicondicional tautoligica,
Corolitio Se P(p. 4. F.-..) = Qlp. gr») enti, também se tem:
PIP, Qos Ross +5) =# QAP. Qy Rass)
quaisquer que sejam as proposigdes Pp, Qp, Ry,
NOTA ~ Os simbolos «+ ¢ <> slo distintos, pois, © primeiro é de operagio
ica aplicado, p. ens 38 proposigbes p © q dé a nova proposigdo p --+q),enguanto
que 0 segundo ¢ ds relia (estabelece que a bicondicional P{P, a, +5) =>
+ Op. 4.5...) é tautoldgica).
xemplos:
(1) A bicondicional “(p A ~q-+e)<—+(p+@)", onde & & uma proposigio cujo
valor logica 6 Fifalsidade),étautoldgica, pols, altima coluna da sua tabelawerdade
cencorrasomente a letra V(verdade)
elafe[al-s|-[ol-jel+]o
vivivielely|/efvly|viy
vir[vijvivjelelvivje]e
elvjelel|e|vieivdejy|y
FlejFl[eivivireivje| vie
thafelelets | pets
Portanto, as proposigBes “p A~q-+e"” © “p-+q so equivalentes, isto 6,
simbolicartete:
pA~qvem peg
Neste equivaléncia consate 0 “Método de demonstrasio por absurdo”.
IWICIAGAO A LOGICA MATEMATICA a
(2) A bicondicional “p A q-+r) + (p-+(q-+1))" & tautol6giea, pois, 2 Gitima
coluns da sua tabela-verdade encerra somente a letra V(verdade):
el s[al[>lol-lo[>lal>+]o
vivivivivivi[viviviviy
vivivileleivivjejvjele
vielri[vivjviviviel|viy
vielelyjeivivivielvile
Flel/vivivivle|viviviy
Flei[viJviejvielviviele
Flejelvivivie|viejyviv
Flei|rlvielviel|vi{rivie
t 2 dasa ke fe fafa [ae Reels
Poctanto, as condicionals “p A q->r"e “p+ (q-+1)" so equivalentes, isto é,
simbolicamente:
PAq=resp+(+H)
sta importante equivaléncia logca & denominada "Regra de Exportagio-Impor.
gio".
(3) As proposes
pois, a bicondicional
(KHL XEON
Vxte eo R<3 AK
)" no so equivalentes,
)
rio 6 tautol6gica, conforme sevé pela sua tabelaeverdade:
=i] vx tap] ~ [asa] [a=]
viy| & fel el] v iv] v
viv) v |vf vr fel v
Re [Rl BLP] Vy] Veh pak
ety) v vi vie [el F
5. PROPOSICOES ASSOCIADAS A UMA CONDICIONAL
Definigio — Dada condicional p> q, chamamse proposigdes associadas
‘pq as tr seguintes propotises condicionas que contém pe q
(4) Proposigioresiproca de p-+4 sq
() Proposicéo contritia de pq ~p--~4
(6) Proposigéo contrapostiva de p> @°~q->~P a EDGARD DF ALENCAR FILHO
AAs tabelasverdade destas quatro proposigies sio:
p [9 [ea] arp [~p>~a[~a>op
vivPv[vy]v Vv
viepeiv] v F
Fly}vfjer] F v
Flelyl yl y y
Teg aL
«© demonstram as duss importantes propriedades:
(@) A condicional p-» q © a sua contrapostiva ~q-> ~p sdo equivalentes, i=
{0 6, simbolicamente:
prqnnq>~p
(i) A reefproce q-~p ¢ a coniritia ~p-+~q da condicional p+q sto
equivalents, isto ¢, simbolicamente
ape
[As mesmas tabelas-verdade também damonstram que a condicional p-+q ea
sia reefproca q-» pou a sua contriria ~p > ~q no sio equivalents.
‘Ncontrdria de p > q também é denominada a inversa de p> q ea contrapositiva
de p-+q outra coisa nfo € que a contriia da reciproca de pq © por isso
tambéen & denominada contraeefproca de p->q. Também se diz que p-+q é a
diceta em relagdo As assoctadas.
Exemplos:
(1) Soja condicionalrlativa a um tringulo T:
p-rq:Se TS equltero,entdo T 6 isbsceos
A reciproca desta proposisio &
q+ p80 T é iniscele,entio T& equiitero
Aqui, 8 condicional p+ q é verdadeira(V), masa sua reeiproca q > pétalsa(F),
(2) A contrapositiva da condicional
p+4:Se Carlos € professor, entdo 6 pobre
~g, ©
por conseguint> a sua contrapositiva é:
wag e~peeao~P
isto 6, em linguagem corrente: “Se x 6 positive, ent¥o x ndo & menor que zero"
(4) Seia demonsizar a proposgso ondlsional:
pa iSex" 6 fmpar, enti x6 impar
A contrapostva desta condiconal&
~q-+ ~p Sex 6 pr, eno x? é par
«que vamos demonstrat ser verdadetra.
Com feito, suponhamos x par, isto & x= 2n(n&Z). Como x*
seguese que x? € pis. Logo, a contrapositiva & verdad, « por consoguints 2
‘proposigio condicional dada p-> q também 6 verdadeira
(5) Determinar
(@) A contiapositiva da eontraposiiva de p> q
() Accontrapositva da reefproca de p> q
(6) Accontrapositiva da eontrinia de p>.
Resolugéo — (a) A contrapositiva de p+ é~->~p. E a contrapusitiva de
~pé~~ps—~qeo pg ;
(B) A teeiproca de pq q- p. Es contrapositiva de q+ pé:~p >
(©) A contairia do p>q 6 ~p-+~q E a contiapositva de ~p
sok onipae at
Observese que reviproca © a conteiria sio cada uma a contrupositiva da
‘outra ¢ que a condicional ¢ s contrapositva sfo cada uma s contrapostiva da
oat,
(6) Determinar
(@)A-contrapositiva de p> ~q
() Accontrpositiva de ~p->q
{e)A-contrapesitva do ceeiprocs de p > ~q
(d) A reciproca da contrapositiva de ~p->~q e EDGARD DE ALENCAR FILHO
Resolugio —(a) A conttapostva dep > —g
“97 ~p=a>>P
(b) A contrapositiva do~p->q &
apap
(6) A rciproca de p-+~qé~q.~p. Es contraponitva deg = pé:
es
qeo~pg
(a) A comtrapositiva de~p->~q &
~~0> 9 a
Ea reeiprocadeq>p & p>
(1) Determinar
(@) A contrapositiva da reciproca de x= Ox <1
()Accontrapositiva de contriia dex< tex 3
Resolugio (a) A reciproca do x= 0>x<1 €x< 24 =0. Bacontrapos-
tiva desta eeiproca éx #0 >x-€ L
(b) A conteiria de x<1->x<3 € x4¢1>x-£3, Ba contmaposiva desta
contriria €X<3-+x< 1
6. NEGAGAO CONIUNTA DE DUAS PROFOSICOES
Definigio ~ Chamase negagdo conjunta de duas proposicbes
“ngo p endo q”, isto, simbolieamente “~p A ~q”.
[A negagio conjunta de duas proposicSes p o q também se indies pela notacio
“pL q’ Portanto, temes:
9. propesigio
plaw-pAnq
Como a proposigao “~p A ~q"” & verdadeira somente no casoem que pe q sfo
ambas falas, entdo, a tabela-verdade de “p 4 q” 6a seguinte:
mane
eunnle
INICIAGAO A LOGICA MaTEMATICA 2
7. NEGACAO DISJUNTA DE DUAS PROPOSIGOES
Definigso — Chama-se negacdo disjunta de duas proposigdes pe q& proposigso
“tito p ou nfo q sto 6, simbolicamente "~p V ~q".
‘A negasio dlsjunta de dvas proposigées p e q também se indica pela notacio
“pt q’” Portanto, temos:
ptge~pV~q
Como & proposigio “py ~q" é falsa somente no caso em que pe q sfo
ambas verdadeiras, entdo, a tabela-verdade de “p fq” & x seguinte:
neacle
2227]5
aa<
