conexes com

a matemtica

DVD do aluno

biblioteca do estudante Captulo: Lgica

biblioteca Do estuDante
noes elementares de lgica
DaGrciadeAristtelesatosculoXX,muitosforam
os pensadores que se dedicaram ao estudo da Lgica,
ampliandoediversificandoosconhecimentossobreessa
readaFilosofia.Essesestudosavanaramtantoquepassaramafazerpartedeoutroscamposdeinteresse,como
aMatemtica.Foiprincipalmentepeloaprofundamento
dosestudosdaLgicaquehojepodemosutilizarcomputadoreseoutrosequipamentostecnolgicossofisticados
quenospermitemtrocarinformaes,desenvolverpesquisas, acessar arquivos de filmes, de livros e de msicas,
mantendo-nos conectados ao restante do planeta em
temporeal.

Objetivos do captulo:
4 Caracterizar a noo de argumento

vlido.
4 Verificar se um argumento
sentencial vlido.
4 Simbolizar argumentos sentenciais.
4 Manipular tabelas-verdade.
4 Identificar conjuntos
inconsistentesde sentenas.
4 Verificar se uma sentena
tautologia, contradio ou
contingncia.

Argumentos vlidos

1.1 Definio de argumento

No cotidiano, frequentemente nos vemos em situaes que envolvem o uso de argumentao. Veja:
Aoexplicaromotivodetertiradodeterminadanotaemumaprova.
Aojustificarporquetivemosqueficaratmaistardenocolgio.
Aotentarobterpermissoparairaumafesta.
Osargumentosfazempartedosrelacionamentossociais,masnoapenasdeles,pois,aoestudar
Lgica, devemos estudar os argumentos.
Masprimeirovamosinvestigar:oqueumargumento?
Vamosfazerumalistadaquiloqueintuitivamentepoderiaserconsideradoumargumento.
Observealgumaspossibilidades:
Todohomemmortal.
Scrateshomem.
Logo,Scratesmortal.
SeJooprofessor,entoeledaulas.
Jooprofessor.
Logo,eledaulas.
Todososcorvosobservadosatomomentosonegros.
Logo, todos os corvos so negros.

Caractersticas dos argumentos

Argumentoumdiscursoqueenvolveumconjuntodesentenas.Masessasnopodemser
imperativasouinterrogativas,porexemplo:
Fecheaporta.(imperativa)
Qualoseunome?(interrogativa)

conexes com
a matemtica

DVD do aluno

biblioteca do estudante Captulo: Lgica

Uma sentena declarativaumasentenaqueapresentaumpensamentocompletoepode

ser classificada em verdadeira ou falsa.
Emumargumento,sempreexisteumasentenadeclarativa(ouproposio),queapresentaa
conclusodoargumento,eapoiadapelasoutrassentenasdeclarativas,quesoaspremissas
da argumentao. Os argumentos s contm sentenas declarativas.
Exemplo
Todohomemmortal.
Scrateshomem.

premissas

Logo,Scratesmortal." concluso
Assim,temos:
Um argumento um tipo de discurso que consiste em um conjunto de sentenas
declarativas,emqueumadelas,denominadaconcluso,consideradaconsequnciadas
outrassentenasdeclarativas,aspremissas.

Exerccios
R1. Verificar se os discursos abaixo so argumentos.
a) Joo engenheiro ou filsofo. Joo no engenheiro. Logo, Joo filsofo.
b) Para fazer a prova preciso silncio. Logo, a partir de agora todos fiquem quietos!

Resoluo
a) O discurso um argumento.
b) O discurso no um argumento, pois a segunda sentena imperativa.

1. Verifique se os discursos so argumentos.

a) Se x 2 5 1, ento x 5 1 ou x 5 21.
O nmero x negativo.
Logo: x 5 21
b) Se x 1 3 5 5, ento x 5 1.
Logo, v estudar que voc est precisando.

2. Reescreva os argumentos, identificando suas premissas e a concluso.

a) Todos os cientistas so boas pessoas, visto que todas as boas pessoas so educadas e todos
os cientistas so educados.
b) Sabendo que 2 1 2 5 4, segue que: 2 1 2 5 1 1 3, pois 1 1 3 5 4

1.2 Validade de um argumento

Muitasvezesprecisamosavaliarumargumentodeformamaisaprofundada,mas,antesde
avali-lo,devemosresponderseguintequesto:oquesignificadizerqueumargumento
vlido?
Emumprimeiromomento,podemosdizerqueumargumentovlidoseaconclusoconsequncialgicadaspremissas.Noentanto,essepensamentoinadequado,poisapenassubstitumos
oconceitodevalidadepelodeconsequncialgica.
Vamos considerar o seguinte argumento:
Todohomemalto.
Rafaelhomem.
Logo,Rafaelalto.

conexes com
a matemtica

DVD do aluno

biblioteca do estudante Captulo: Lgica

Nossoprimeiroimpulsoconsideraroargumentoacimacomoinvlido,poiscontmuma
premissaqueconsideramosfalsanoverdadequetodohomemalto.Noentanto,o
queaconteceriaseadmitssemosqueasduaspremissassoverdadeiras,isto,quetodos
os homens so altos e que Rafael homem? Nesse caso, seramos forados a admitir que
Rafaelalto.
essetipoderaciocnioquenoslevanoodeargumentovlido(ouconsequncialgica).
Considere um argumento qualquer:
Todopm.
sp.
Logo,sm.
Esseargumentovlido,independentementedequaissejamasclassespemeoobjetos.Pois
setodososobjetosdaclassepsoobjetosdaclassem(Todopm.)esesumobjetodep
(sp.),entosabemosques,tambm,umobjetodem(Logo,sm.).
m
h

Assim:
Umargumentovlidoseasituaoquetornaaspremissasverdadeirastambmtornaa
conclusoverdadeira.Ou,deoutromodo,umargumentovlidosenoexistesituao
quetorneaspremissasverdadeiraseaconclusofalsa.

Exerccios
R2. Analisar os argumentos.
a) Todo homem mortal.
Scrates mortal.
Logo, Scrates homem.

b) Nenhum homem quadrpede.

Toda vaca quadrpede.
Logo, nenhuma vaca homem.

Resoluo
a) Vamos fazer algumas substituies, observe:
h: classe dos homens
m: classe dos mortais
s: objeto Scrates (refere-se classe dos mortais)
Reescrevendo o argumento, temos:
Todo h m.
s m.
Logo, s h.
Analisando, observamos que os objetos da classe h so objetos da classe m e se s um
objeto da classe m, no podemos concluir que s um objeto da classe h, ou seja, temos
uma concluso falsa com premissas verdadeiras. Ento esse argumento invlido, no
podemos concluir que Scrates homem.
m

m
h

conexes com
a matemtica

DVD do aluno

biblioteca do estudante Captulo: Lgica

b) Vamos fazer algumas substituies:

h: classe dos homens
q: classe dos quadrpedes
v: classe das vacas
Reescrevendo o argumento:
Nenhum h q.
Todo v q.
Logo, nenhum v h.
Analisando o argumento, observamos que nenhum objeto
da classe h objeto da classe q e todos os objetos da classe
v so objetos da classe q, ento conclumos que todo objeto
da classe v no objeto da classe h. Logo, esse argumento
vlido.
3. Analise o argumento.
a) Nenhum homem mortal.
Todo mortal fala.
Logo, todo homem fala.

q
v

b) Nenhum homem mortal.

Scrates homem.
Logo, Scrates mortal.

4. Na simbolizao que utiliza a linguagem sentencial, separamos as premissas da concluso com

um trao horizontal. Sabendo disso, verifique a validade dos argumentos a seguir.
a) Todo p m.

c) Nenhum p m.

Algum s m.

Algum s no m.

Algum s p.

Algum s no p.

b) Todo m p.
Todo s m.
Todo s p.

d) Algum m p.
Todo m s.
Nenhum s p.

e) Todo p m.
Todo m s.
Todo s p.
f ) Algum p no m.
Todo s m.
Todo s p.

1.3 Argumento indutivo e argumento dedutivo

Literatura. No famoso conto The Red Headed League(AligadosCabeasVermelhas)desirArthur
ConanDoyle(1859-1930),publicadoem1891,obrilhantedetetiveinglsSherlockHolmes,ao
observarqueamodireitadeumcavalheiroeramaiorqueaesquerda,concluiu,diantedoadmiradoolhardodr.Watson,queohomem,emalgummomentodavida,jforatrabalhadorbraal.
claroqueoargumentousadoporSherlockHolmesnovlido,deacordocomoqueestudamosatagora.Noentanto,existeminmerosargumentosque,emboranosejamvlidos,so
teisnasatividadesdiriasetambmnocontextocientfico.Essetipodeargumentoclassificado
como indutivo.
Umargumentoconsideradoindutivoquandoasupostaverdadedaspremissasnosleva
a analisar a concluso como verdade.
Argumentosindutivospodemserfortesoufracos,dependendodograudeapoioqueaspremissasfornecemconcluso.
Exemplos
Jootemdoisfilhos.Logo,Joocasado.
Todososcorvosobservadosatagorasonegros.Logo,oscorvossonegros.
Umacaractersticaimportantedosargumentosindutivosqueocontedoexpressonaconclusovaialmdocontedoexpressonaspremissas.

conexes com
a matemtica

DVD do aluno

biblioteca do estudante Captulo: Lgica

Embora, em Matemtica, argumentos indutivos no sejam utilizados, eles podem ajudar a

aumentaraconfianaemcertasproposies.Porexemplo,computadorespoderososestotrabalhandoparatestaraconjecturadeGoldbachquediz:Todonmeroparmaiorquedoisa
somadedoisnmerosprimos.Essescomputadoresjverificaramqueelaverdadeiraparaos
nmerosparesatumtrilho.Esseumforteargumentoindutivoparaqueoenunciadosejade
fatoverdadeiroparatodososnmeros.
Mas:
Um argumento que tem a inteno de que a suposta verdade das premissas implique
necessariamenteaverdadedaconclusoclassificadocomodedutivo.
No argumento visto anteriormente:
Todohomemmortal.
Scrateshomem.
Logo,Scratesmortal.
ocontedodaconclusoestimplcitonaspremissas.Portanto,esseumexemplodeargumento dedutivo.

Exerccio
5. Classifique os argumentos em indutivos e dedutivos.
a) Alfredo mais alto que Pedro.
Pedro mais alto que Joaquim.
Logo, Alfredo mais alto que Joaquim.
b) A maioria dos alunos dessa sala morena.
Joo um aluno dessa sala.
Logo, Joo moreno.

Clculo sentencial

2.1 Linguagem sentencial

ALgicanosforneceferramentasquetornampossvelreescreversentenasdeclarativasque
ressaltamaestruturarelevanteparaestudarasentena.ComessasferramentasdaLgica,podemosverificarseargumentossovlidosouno.
Essasferramentasconsistememextrairaformalgicadoargumento,ouseja,trabalharapenas
compalavrasdotipo:se, ento, logo, portantoetc.Paraisso,utilizamossmbolosnolugardas
sentenas.Porexemplo,vamosreescreveroseguinteargumento:
Seapartidadefutebolboa,entoLviavaiaoestdio.
Lvianofoiaoestdio.
Logo,apartidadefutebolnofoiboa.
Primeiro,vamosutilizarosseguintessmbolosparacadasentena:
f:apartidadefutebolboa
e:Lviavaiaoestdio
Agora,vamosreescreveroargumento:
Se f, ento e.
No e.
Logo, no f.

conexes com
a matemtica

DVD do aluno

biblioteca do estudante Captulo: Lgica

Observeque,paraescreveranegaodealgumasentenap,escrevemosnop.
Paraanalisaravalidadedeumargumento,precisamosentendercomoseestruturaalinguagememqueaparecemsentenasdotipono p,pou q,p e q, se p ento qetc.Assim,definimos
o conceito de linguagem sentencial.
Umalinguagemsentencialtemosseguintessmbolos:
parnteses:()
letrassentenciais:utilizaremosletrasminsculas(p,q,r,...)
conectivoslgicos:smbolosqueconstroemnovassentenas(, , ~, ", ).Vejaosignificado de cada conectivo:
osmbolodenegao(lemos:no)
osmbolodeconjuno(lemos:e)
~osmbolodedisjuno(lemos:ou)
"osmbolodeimplicao(lemos:se...,ento...ouimplica)
osmbolodeequivalncia(lemos:seesomenteseouequivale)
Umasentenaumasequnciafinitadesmbolosquecumpreasseguintesregras:
1a) Umaletrasentencialisoladaumasentena.
2a) p (nop)umasentena.
3a) p q(peq)umasentena.
4a) p~ q(pouq)umasentena.
5a) p" q(sep,entoqoupimplicaq)umasentena.
6a) p q(pse,esomentese,qoupequivaleaq)umasentena.
Exemplos
a) pumaletrasentencial,ento,pelaprimeiraregra,umasentena.
b) Comopumasentena,ento,pelasegundaregra,ptambmumasentena.
c) Como p uma sentena, ento, pela segunda regra, p tambm uma sentena.
Omesmovaleparap e p,quetambmsosentenas.
d) Comopepsosentenas,entoasseguintesexpressestambmsosentenas:
p p
p ~ p
p " p
p p
e) Com a linguagem sentencial conseguimos escrever sentenas de forma resumida, ou seja,
maisprticaqueescrev-lasporextenso:
_ (p " q) " r i

_(p ~ q) (r s)i

a _ (a ~ b) ~ c i ~ d k

Percebemosqueoquecadasentena(letra)significajnotorelevante.

conexes com
a matemtica

DVD do aluno

biblioteca do estudante Captulo: Lgica

Exerccios
6. D cinco exemplos de sequncias que so sentenas e cinco exemplos de sequncias que no
so sentenas.
7. D um exemplo de sentena em que apaream todos os conectivos lgicos.
8. Construa um argumento usando os conectivos e, depois, traduza-o para a linguagem simblica.
9. Passe para a linguagem simblica o argumento sobre Lvia, visto na pgina 5.

2.2 Tabelas-verdade
Observeasituao.
HLPHoto/SHutterStock

Umclientedeumasorveteriapedeaoatendenteumsorvetecomduasbolas,saborchocolateou
creme, e recebe um sorvete com uma bola sabor
chocolate e outra sabor creme. O atendente est
correto?
Vamosdeterminarquepsignificaquerosabor
chocolate e q quero sabor creme. Essa uma
situaotpicaemqueprecisofazerumaanlise
lgicadoquefoidito.Comosecomportaaverdade
pouq,quandosesabeasverdadespeqseparadamente?
Observeoutrasituao.

ExisteumasemelhanaentreasnotaesdaLgicaeasexpressesmatemticas.Oqueacontececomaexpressox 1 y quando x 5 2 e y 53?

Sedeterminarmospcomox 52eqcomoy 53,oqueacontececompouq,quando,
porexemplo,pverdadeiraeqfalsa?
NaLgica,existemdoisvalores:overdadeiro,querepresentamosporV,eofalso,querepresentamosporF.
Para responder s perguntas anteriores, precisamos realizar operaes com os conectivos
lgicos;paraisso,vamosestudarastabelas-verdade.

Tabela-verdade da negao (~)

Seumasentenaverdadeira,entosuanegaofalsa.
Seumasentenafalsa,entosuanegaoverdadeira.
Montandoatabela-verdadedanegao,temos:
p

Atabela-verdadedanegaoenvolvedoisprincpiosimportantesdaLgica.
Princpio do terceiro excludo
Paratodasentenapesuanegao,~p,umadelastemqueserverdadeira.
Princpio de no contradio
Paratodasentenapesuanegao,~p,umadelastemqueserfalsa.
Essesdoisprincpiosimplicamquesexistemdoisvaloreslgicos,overdadeiroeofalso.

conexes com
a matemtica

DVD do aluno

biblioteca do estudante Captulo: Lgica

Tabela-verdade da conjuno ()
Umaconjunoverdadeiraquandoambas assentenassoverdadeiras.
Umaconjunofalsaquandoambasassentenassofalsas.
Montandoatabela-verdadedaconjuno,temos:
p

(p q)

Quandodizemosqueasentenapeqverdadeira,estamosafirmandoquetantoasentenap
como a q so verdadeiras.

Tabela-verdade da disjuno (~)

Umadisjunoverdadeiraquandoumadassentenasverdadeira.
Umadisjunofalsaquandoambasassentenassofalsas.
Montandoatabela-verdadedadisjuno,temos:
p

(p ~ q)

Quandodizemosqueasentenapouqverdadeira,estamosafirmandoquepelomenos
umadassentenasverdadeira,ouseja,pouqouambas.Comoexemplo,vamosvoltarsituao
dosabordasduasbolasdesorvete(p.7).
Umclientedeumasorveteriapedeaoatendenteumsorvetecomduasbolas,saborchocolate
oucreme,erecebeumsorvetecomumabolasaborchocolateeoutrasaborcreme.Oatendente
estcorreto?Sim,oatendenteestcorreto.Quandooclientedisse,saborchocolateoucreme,o
atendentedeveterpensadoemtrsmaneirasdemontarosorvete:duasbolasdechocolate,
duasbolasdecremeouumaboladechocolateeumadecreme.

Tabela-verdade da implicao (")

Emumaimplicao(p"q),chamamospdeantecedente e q de consequente.
Umaimplicaoverdadeiraquando:
oantecedenteeoconsequentesoverdadeiros;
oantecedenteeoconsequentesofalsos;
oantecedentefalsoeoconsequenteverdadeiro.
Umaimplicaofalsaquandooantecedenteverdadeiroeoconsequentefalso.
Montandoatabela-verdadedaimplicao,temos:
p

(p " q)

conexes com
a matemtica

DVD do aluno

biblioteca do estudante Captulo: Lgica

Analisando a ideia de implicao, podemos perceber como a tabela-verdade construda.

Observeoexemplo.
SuponhaqueJoofezaseguintepromessaaAntnio:Seamanhfizersol,entopassarei
nasuacasa.
Existem4possibilidadesdeacontecimento:
(I) FezsoleJoopassounacasadeAntnio.
(II) FezsoleJoonopassounacasadeAntnio.
(III) NofezsoleJoopassounacasadeAntnio.
(IV) NofezsoleJoonopassounacasadeAntnio.
Emqualdaspossibilidadesasituaofoidescumprida?
razovelaceitarqueapromessafoicumpridanaspossibilidades(I)e(IV)edescumpridana
possibilidade(II),masapossibilidade(III)podegerardvida.Afinal,senofezsole,mesmoassim,
JoopassounacasadoAntnio,apromessafoicumpridaoudescumprida?
Naverdade,Joosdisseoqueaconteceriasefizessesol,masnodisseoqueaconteceriase
nofizessesol.Portanto,podemosconsiderarquenapossibilidade(III)Joocumpriusuapromessa.
Jooteriadescumpridoapromessasetivessedito:Svousuacasasefizersol.

Tabela-verdade da equivalncia ()
Duassentenassoequivalentesquandoambososvaloreslgicossoiguais,ouseja,quando
ambasassentenassoverdadeirasouambassofalsas.
Montandoatabela-verdadedaequivalncia,temos:
p

(p q)

Afirmarqueduassentenassoequivalentesomesmoqueafirmarqueaprimeirasentena
implicaasegundaequeasegundaimplicaaprimeira.Nalinguagemsimblica,temos:
(pq)omesmoque((p"q)(q"p))

Construindo tabelas-verdade
Considerandoasentena(((p~q)"r)q),qualovalorlgicodessasentena,sabendo
quepverdadeira,qfalsaerverdadeira?
Para calcular o valor lgico, vamos construir a tabela-verdade de cada caso. Primeiro, o da
sentena p.
p

Comopverdadeira,entopumasentenafalsa.
Agora,vamosanalisarasentena(p ~ q):
p

(p ~ q)

conexes com
a matemtica

DVD do aluno

biblioteca do estudante Captulo: Lgica

10

Como~pfalsa,qfalsa,ento(p ~ q)umasentenafalsa.
Analisemos,agora,asentena((p ~ q)" r):
(p ~ q)

((p ~ q) " r)

Como(p ~ q)falsa,rverdadeira,ento((p ~ q)" r)umasentenaverdadeira.

E,agora,analisemosasentena(((p ~ q)" r)q):
((p ~ q) " r)

(((p ~ q) " r) q)

Como((p ~ q)" r)verdadeira,qfalsa,entoaconjuno(((p ~ q)" r)q)umasentena falsa.

Portanto,quandopverdadeira,qfalsaerverdadeira,(((p ~ q)" r)q)umasentena
falsa.
Quandoconstrumosatabela-verdade,registramosnoapenasumasituaodaanlise,mas
todasaspossveiscombinaes.Noentanto,tambmpoderamosterresolvidodeoutraforma,
observe:
(((p ~ q)" r)q)
pV;qF;rV

(((V ~ F)" V )F)

V 5F

(((F ~ F)" V )F)

F~ F 5F

((F" V )F)
F" V 5 V

(V F )

conexes com
a matemtica

DVD do aluno

biblioteca do estudante Captulo: Lgica

11

Exerccios
10. Calcule o valor lgico das sentenas abaixo, sabendo que:

p verdadeira;
q verdadeira;
r falsa;
s falsa.

a) (p ~ q)

f ) ((r " p) " r)

k) (p " q)

b) ((p " q) ~ s)

g) (r " (p " r))

l) ((r " s) " (p ~ q))

c) ((p " s) r)

h) (p ~ (p q))

m) ((q r) (p s))

d) (s r)

i) ((p q) " (r ~ q))

n) ((p r) (q s))

e) ((s " p) ~ (s r))

j) (p " (q " (r " s)))

o) ((p p) " (r ~ r))

R3. Construir a tabela-verdade das sentenas abaixo.

a) ((p " p) " p)
b) ((p q) ~ (q " q))

Resoluo
a) ((p " p) " p)
p

(p " p)

((p " p) " p)

b) ((p q) ~ (p " q))

p

(p q)

(p " q)

((p q) ~ (p " q))

11. Construa a tabela-verdade das seguintes sentenas.

a) (p " p)

d) (p (q " p))

g) ((p q) p)

b) ((p ~ p) p)

e) (p ~ (q " q))

h) ((p " q) " (q " p))

c) ((p q) " p)

f) (p " (q " (p ~ q)))

R4. Construir a tabela-verdade da seguinte sentena ((p " q) r)

Resoluo
p

(p " q)

((p " q) r)

conexes com
a matemtica

DVD do aluno

biblioteca do estudante Captulo: Lgica

12

12. Construa a tabela-verdade das seguintes sentenas.

a) ((p ~ q) " r)

d) ((p q) " (q r))

g) ((p ~ (q " r)) q)

b) ((p q) " (p r))

e) ((p p) " (r r))

h) ((p r) s)

c) ((p " q) " r)

f) (p " (q " r))

Argumentos sentenciais e validade

3.1 Validade
Vamos retomar um dos nossos problemas: encontrar um mtodo que permita dizer se um
argumento,escritonalinguagemsentencial,vlido.
Veja,novamente,oexemplodeJoo:

SeJooprofessor,entoeledaulas.

Jooprofessor.

Logo,eledaulas.

Oargumentopodeserformalizadodaseguintemaneira:

Sepentoa.

p.
Logo, a.

Simbolizando,temos:(p " a)
p
a
Asimbolizaoqueutilizaalinguagemsentencialseparaaspremissasdaconclusoporum
traohorizontal.
Oargumentoquecorrespondeformalgicaconhecidocomomodus ponens. Nesse caso,
emvezdefazerumatabela-verdadeparacadasentenadoargumento(premissaseconcluso),
faremosapenasumatabelaparatodasassentenasenvolvidas.
p

(p " a)

premissas

concluso

Comojvimos,umargumentovlidosenoexistesituaoquetorneaspremissasverdadeiras e a concluso falsa. No argumento analisado, as situaes relativas a essa definio so

exatamenteaslinhasdatabela-verdade,poisnohnenhumalinhaemqueaspremissassejam
verdadeiraseaconcluso,falsa;entooargumentovlido.
Agora,mudaremosoargumento,observe.

SeJooprofessor,entoeledaulas.

Joodaulas.

Logo,Jooprofessor.

Podemosreescreveroargumentoutilizandoossmbolos:(p " a)
a
p

conexes com
a matemtica

DVD do aluno

biblioteca do estudante Captulo: Lgica

13

Construindoatabela-verdade,temos:
p

(p " a)

premissas

concluso

Comonaterceiralinhadatabelatemosaspremissasverdadeiraseaconclusofalsa,verificamos
que,deacordocomadefinio,esseargumentoinvlido.
Nalinguagemsentencial,umargumentovlidosenoexistelinhanatabela-verdade
emqueaspremissassejamverdadeiraseaconclusosejafalsa.

Exerccio
13. Verifique se os argumentos abaixo so vlidos, construindo a tabela-verdade para cada um.
a
a) (p " q)
f)
k) (p " (q " r))
a
q
(q " (p " r))
p
(p " r)
b) (p " q)

g) (p " (q ~ p))

p
q
c)

a
a~b

d) a

q
p
h) ( p q)
p
q
i)

b
ab
e) a
a

(p ~ (q p))
((p ~ q) (p ~ q))

l) (p " (q r))
((q ~ r) " p)
(p ~ q)
m) (p ~ q)
(q ~ r)
(p ~ r)
n) (p " q)
(q " r)
(q ~ r)

j) (p " q)
(q " r)
(p " r)

o) ( p q)
p
q

3.2 Consistncia
Seumargumentotrazumaconclusoquenoserelacionacomaspremissas,imaginamosque
eleinvlido.Noentanto,peladefiniodevalidadedeumargumento,podemosverificarqueele
podeservlido,mesmoquepareaumpoucoesquisito.
Vejamos,porexemplo,avalidadedoseguinteargumento:

Jooprofessor.

Joonoprofessor.

Logo,aluafeitadequeijo.

Emsmbolos,oargumentoficariadaseguintemaneira:p
p
q

conexes com
a matemtica

DVD do aluno

biblioteca do estudante Captulo: Lgica

14

Construindoatabela-verdade,temos:
p

premissas

concluso

Peladefinio,oargumentovlido,poisnoexiste,natabela-verdade,nenhumalinhaem
queaspremissassejamverdadeiraseaconclusosejafalsa.Situaescomoessacostumamacontecerquandoumapremissanegaaoutraevice-versa.
Argumentoscomoessesugeremcomoimportanteentenderquandoumconjuntodesentenasconsistenteouno.
Umconjuntodesentenasconsideradoinconsistentesenoexisteumalinhadatabela-verdade em que todas as sentenas sejam verdadeiras. Caso contrrio, o conjunto
considerado consistente.
Da,extramosumaimportantepropriedade:
Seemumargumentoaspremissasformaremumconjuntoinconsistente,entooargumento
servlidoindependentementedequalsejasuaconcluso.

Observao:
Deumconjuntoinconsistente,poderesultarqualquercoisa;poressemotivoospesquisadores
matemticosevitamconjuntosinconsistentes.

Exerccios
R5. Analisar a consistncia dos conjuntos de sentenas a seguir.
a) (a ~ b)
(a b)
b) (a ~ b)
(b c)
(a " c)

Resoluo
a) Construindo a tabela-verdade com o conjunto de sentenas, temos:
a

(a ~ b)

(a b)

O conjunto inconsistente, pois no existe uma linha na tabela-verdade em que

todas as sentenas so verdadeiras.

conexes com
a matemtica

DVD do aluno

biblioteca do estudante Captulo: Lgica

15

b) Construindo a tabela-verdade com o conjunto de sentenas, temos:

a

(a ~ b)
V

(b c)
V

(a " c)
V

O conjunto consistente, pois a tabela-verdade apresenta linhas com valores verdadeiros

para todas as sentenas do conjunto.
14. Verifique a consistncia dos conjuntos de sentenas.
a) (a (a ~ b))
b

d) (a (b ~ c))
(b c)
a

g) (r (p ~ s))
(p r)

b) (p ~ (q p))

e) (p " q)

h) (p p)

(p q)

(q " r)

(p " r)

c) (a " b)

(r ~ r)

f) (p q)

(b " c)
(c " a)

(p " r)
r

3.3 Tautologia
Considere o seguinte argumento:

Aluafeitadequeijo.

Logo,JooprofessorouJoonoprofessor.

Novamente,teremosatendnciadeconsideraroargumentoinvlido.Vamosanalis-lo.
Passandoparaalinguagemsimblica,temos:
q
(p ~ p)
Construindoatabela-verdade,temos:
q

(p ~ p)

premissa

concluso

Noexistelinhadatabela-verdadeemqueaspremissassejamverdadeiraseaconclusoseja
falsa.Alis,numcasocomoesse,aconclusonuncaseriafalsa.Assim,esseargumentoservlido
mesmoqueapremissasejaqualqueroutrasentena.

conexes com
a matemtica

DVD do aluno

biblioteca do estudante Captulo: Lgica

16

Umasentenaquetenhasidoverificadanatabela-verdadeeapresenteconclusosempre
verdadeiradenominadatautologia.
Desse modo:
Umargumentocujaconclusoumatautologiasempreservlido,independentemente
dequaissejamsuaspremissas.
Podemosnomearassentenasdeumalinguagemsentencialdeacordocomaseguinteclassificao:
Tautologias:sentenascujaconcluso,natabela-verdade,sempreverdadeira.
Contradies:sentenascujaconcluso,natabela-verdade,semprefalsa.
C
ontingncias:sentenascujaconclusonatabela-verdadetemlinhascomovalorverdadeiro
elinhascomovalorfalso.

Exerccios
15. Classifique as sentenas em tautologia, contradio ou contingncia.
a) (a a)

d) (a " (b " a))

g ) (a ~ (a b))

b) (a " a)

e) (a " a)

h) ((a " (b " c)) " (b " (a " c))

c) (a a)

f ) (a " (b " (a ~ b)))

16. possvel escrever uma tautologia usando apenas os conectivos e ~?

17. possvel escrever uma tautologia usando apenas o conectivo ?
18. D o exemplo mais simples de uma contingncia.

Variveis e quantificadores

4.1 Modificando a linguagem

Considere o seguinte argumento:

Todososnmerosparessodivisveispor2.

Todososnmerosdivisveispor2sointeiros.

Logo,todososnmerosparessointeiros.

Se fssemos analis-lo do ponto de vista da linguagem sentencial, teramos uma surpresa

desagradvel.Aparentementenohconectivoslgicosenvolvidose,portanto,aformalgica
seriasimplesmente:p
q
r
Masissoresultariaemumargumentoinvlido.
Ento,parasolucionarproblemasqueaparecemcomargumentosdessetipo,vamosenriquecer
alinguagemsimblicadaLgica.
Considereoprimeiroenunciadodoargumento:Todososnmerosparessodivisveispor2.
Observequepodemoslheatribuiroseguintesignificado:Paratodox, se xumnmeropar,
ento xdivisvelpor2.

conexes com
a matemtica

DVD do aluno

biblioteca do estudante Captulo: Lgica

17

Comisso,vamosreescreveroprimeiroenunciado,considerando:
apareceuumparatodo;
apareceuumxquenohavianasentenaoriginal;
apareceuumconectivolgicodeimplicao:se...,ento...
Ento,oenunciadopoderiaserdivididoempartes:
Paratodox,

se

xumnmeropar,

ento

xdivisvelpor2.

Combasenoquevimosantes,umenunciadodotipoxumnmeroparnoumasentena,
simplesmenteporquenoverdadeiranemfalsa.
Enunciadosquecontmvariveissodenominadossentenas abertas.
Hduasmaneirasdeescreversentenasabertassentenciaisporextenso:
Trocandoavarivelpelonomedealgumobjeto.
Porexemplo:
Trocandoxpor2temos:2umnmeropar,queumasentenaverdadeira.
Quantificandoassentenasabertas.
Porexemplo:
Paratodox, xumnmeropar,queumasentenafalsa.

Exerccio
19. Classifique os enunciados em sentena ou sentena aberta.
a) x maior que 2.
b) Para todo y, y par ou y mpar.
c) A aranha tem x patas.

d) 3 5 4
e) Se x 5 4, ento: x 5 2 1 2

4.2 Quantificadores
EmMatemtica,utilizam-sedoistiposdequantificadorparaexpressartodososenunciados:
Quantificadoruniversal:

Paratodox, ...
?x

Quantificadorexistencial:

Existex, ...
x

Jasfunessentenciaispodemsersimbolizadastrocandoospredicadosqueascompempor
letrasmaisculas.Porexemplo,seconsiderarmos:
Px " xumnmeropar
Dx " xdivisvelpor2
PodemosescreverasentenaTodososnmerosparessodivisveispor2daseguintemaneira: ?x(Px " Dx)
Exemplos
a) Algumnmeroprimopar.
Existex, xprimoexpar.
x(Mx Px),emqueMxsignificaxprimoePx,xpar.
b) Nenhumafraoirredutvelraizquadradade2.
Noexistex, xfraoirredutvelexraizquadradade2.
x(Fx Qx)

conexes com
a matemtica

DVD do aluno

biblioteca do estudante Captulo: Lgica

18

Comosquantificadores,podemosescreversentenasqueenvolvemmaisdeumaquantificao
aomesmotempo.Observeoexemplo.
Sabemosqueoconjuntodosnmerosnaturaisinfinito,ouseja,paratodonmeronatural
sempreexisteumnmeronaturalmaiorqueele.Poderamosreescreverissodaseguintemaneira:
Paratodoxpertencenteaosnaturais,existeumy natural tal que y . x.Emsmbolos,temos:
?x N, y N$(y . x).

Exerccio
20. Reescreva os seguintes enunciados utilizando quantificadores e variveis.
a) Todo tringulo polgono.
b) Nenhum nmero irracional fracionrio.
c) Quando somamos dois pares o resultado par.