Mdulo Especfico

Apostila 6 Lgica e Fundamentos da Matemtica

2
INTRODUO AOS ELEMENTOS
DA
LGICA MATEMTICA I


















X = X
~ . X C = X
Y = X = X v Y



3
SUMRIO
INTRODUO ........................................................................................................................................................... 4
ELEMENTOS HISTRICOS I ................................................................................................................................. 5
ELEMENTOS HISTRICOS II ............................................................................................................................. 10
PRIMRDIOS PANORMICOS HISTRICOS III ........................................................................................... 15
PRIMRDIOS PANORMICOS HISTRICOS IV ........................................................................................... 21
AS PROPOSIES SIMPLES OU CATEGRICAS .......................................................................................... 27
DIAGRAMA DE UMA PROPOSIO ................................................................................................................. 39
LEITURAS DE UM ARGUMENTO ...................................................................................................................... 47
PRINCPIOS LGICOS FUNDAMENTAIS ........................................................................................................ 61
OS CONECTIVOS E, OU E A NEGAO NO ................................................................................................. 67
AS CONDICIONAIS ................................................................................................................................................ 81
REFERNCIAS ........................................................................................................................................................ 94





















4

INTRODUO

Desde tempos imemoriais observamos os acontecimentos naturais..
Milhares de anos ensinam que contar comparar entre dois conjuntos qual o
que tem maior ou menor quantidade de objetos e a idia de um conjunto de nmeros
naturais associado s necessidades da contagem faz parte de todas as culturas.
Aprendemos a reconhecer sucesses naturais atravs de ciclos como o das
estaes do ano, a mudana das fases da lua, a disposio das folhas nas plantas, a
freqncia dos batimentos cardacos ou o ritmo da respirao.
Das possibilidades de leituras do mundo e suas complexidades leituras binrias
tais como dia ou noite, sim ou no, nascer e morrer, quente ou frio, certo ou errado, ou,
verdadeiro ou falso. A apreenso da realidade qualifica-se sob dois estados
mutuamente excludentes cujo fundamento a constante mudana.
No sculo IV a.C. a leitura das dualidades empreendida pelo filsofo grego
Aristteles sistematiza os procedimentos que orientam a razo na busca da verdade e
da validade dos argumentos atravs de uma disciplina que veio a se denominar Lgica.
Tida como criao do esprito helnico atravs dos filsofos Parmnides, Zeno
de Elia e os Sofistas, as razes da cincia da lgica originam-se tambm na antiga
ndia. Entretanto a partir de Aristteles, cujas idias se mantiveram predominantes na
construo do pensamento durante mais de vinte sculos, que a lgica toma forma de
um corpo estruturado do conhecimento e forma de todas as cincias.
A partir de Aristteles os enunciados ganham em clareza e simplicidade.
A conceituao aristotlica ensina que as sentenas que expressam um juzo
devem ter a forma sujeito-verbo ser - predicado onde um termo, o sujeito a idia da
qual se afirma algo, liga-se ao outro, o predicado a idia que se afirma do sujeito
num nvel de concordncia tal que a assero ou ser verdadeira ou ser falsa. Assim
excluem-se concordncia lgica as frases exclamativas, interrogativas ou imperativas,
pois estas no podem se classificar em verdadeiras ou falsas.
A conceituao aristotlica vai se tornar a grande intermediria da
linguagem matemtica, pois sempre foi bvio no s aos matemticos que h
uma mediao entre o que verdadeiro ou falso nos modos de anlise das
regras do discurso e da demonstrao.



5
ELEMENTOS HISTRICOS I

Desde os tempos de Tales de Mileto e Pitgoras, Plato, Aristteles e
considerando a obra escrita em Alexandria pelo matemtico grego Euclides por volta
de 300 a.C. como incio do processo de sistematizao do estudo axiomtico da
matemtica, as fronteiras entre a lgica e a matemtica nunca foram delimitadas.
Entre 600 e 300 a.C. o raciocnio como seqncia de dedues fundamentadas
a partir de proposies tomadas como verdadeiras foi sendo assumido como legtimo
pelos pensadores gregos. O conceito simples: derivar o que desconhecido daquilo
considerado conhecido ou compor o todo se conhecendo as partes. O processo
contrrio, chamado anlise, procura decompor o todo em seus elementos constituintes.
A conseqncia desses procedimentos, tornada uma das bases de sustentao da
fundamentao matemtica contempornea, ficou conhecida como Mtodo Axiomtico.
Preconizado por Euclides o mtodo axiomtico foi problematizado como base de
pesquisa fundamental respectivamente em 1882 e em 1889 pelos gemetras alemes
Moritz Pasch (1862 - 1930) e David Hilbert (1862 - 1943). Entretanto, desde os tempos
de Euclides, tornou-se intuitivo aceitar no s o raciocnio matemtico, mas todo
raciocnio axiomtico como matemtico.
E relativamente fcil dizer por que, pois para estabelecer uma proposio num
sistema dedutivo necessrio mostrar que ela conseqncia de certas afirmaes
previamente conhecidas ou assim admitidas. Mas cada uma destas afirmaes est,
por sua vez, na dependncia de afirmaes que tambm devero estar estabelecidas.
Entretanto, como o sistema que est sendo articulado no pode retroceder numa
seqncia interminvel de dependncias, concluram os gregos antigos, um nmero
finito de afirmaes tomadas como verdadeiros chamados axiomas, deve ser o ponto
de partida para fundamentar as proposies que devem integrar o sistema.
Esse modo de raciocnio, precursor do mtodo axiomtico contemporneo,
tambm chamado Axiomtica, ao abstrair o significado inicial de certas afirmaes ou
das relaes entre essas afirmaes, conduz as conseqncias que podem ser
deduzidas por um mesmo tratamento. A segunda importante razo, como instrumento
de trabalho matemtico, permite pesquisar problemas acerca da interdependncia ou
independncia das afirmaes que compe o sistema.



6
1. PRIMRDIOS I

Do sculo VI ao sculo III a.C., durante os 300 primeiros anos de
desenvolvimento da matemtica grega, os conceitos matemticos foram estudados
atravs das razes lgicas neles contidas e das implicaes entre os seus inter-
relacionamentos.
Esse processo, iniciado com Tales e continuidade com Pitgoras, organiza-se
por volta de 300 a.C com os Elementos, obra que procurou coligir todo o conhecimento
sobre geometria e a teoria dos nmeros grega. Sem se limitar por aspectos prticos e
pesquisando os princpios sobre o espao, eles revelam a verdadeira natureza de uma
demonstrao: suas aplicaes onde s afirmaes no so to evidentes.
Tales, nascido em Mileto, dos mais antigos dos grandes pensadores gregos.
De volta a Mileto, aps morar no Egito, indo alm dos os conhecimentos que aprendera
inicia uma transformao no pensamento quando ensina que as proposies devem
ser demonstradas e no aceitas por algum aspecto prtico ou utilitrio.
Responsvel pelo estudo da geometria na Grcia antiga, as idias de Tales
tanto contribuem compreenso da geometria que a ele creditada a primeira
demonstrao da histria da matemtica: o dimetro de um crculo divide o circulo em
duas partes iguais. Essa demonstrao, diga-se, contm mais do que a evidncia:
mostra que as demonstraes no s so possveis, mas tambm necessrias.
E mais ainda. Quando demonstra que a soma dos ngulos internos de qualquer
tringulo dois ngulos retos torna implcito tratar de uma propriedade de todos os
tringulos que no decorre de medies em certos tringulos. Todo desenvolvimento
matemtico segue os procedimentos de Tales e Pitgoras, pioneiros do raciocnio
dedutivo na matemtica, e todo formalismo que exercitamos originalmente euclidiano.
Ao conceito de Tales que toda verdade deve ser demonstrada, Euclides inclui
verdades aceitas sem demonstrao ao sistematizar a geometria: aquelas chamadas
axiomas, de enunciado evidente e comum a todas as cincias, como por exemplo, o
todo igual soma de suas partes, e aquelas que se denominam postulados.
Significando o que se pede ou est concedido, o que se supe ou no
obrigado a demonstrar, os postulados foram usados para as questes da geometria.
Os axiomas, palavra grega que quer dizer juzo, dogma ou noes comuns,
conceito introduzido no raciocnio lgico, segundo se acredita, por Aristteles, foram



7
utilizados para denominar todo principio aceito como evidente sobre comparaes
entre grandezas.

2. PRIMRDIOS II

Para os gregos antigos era inconcebvel que algum duvidasse dos
postulados, mas dvidas em relao aos axiomas eram tacitamente consentidas.
Quando afirmavam que a soma dos ngulos internos de qualquer triangulo
igual a dois ngulos retos, no incluam leis como existe o tringulo, pois entendiam
tratar-se de uma propriedade vlida e demonstrvel para todos os tringulos.
Considerando aceitar a existncia hipottica dos objetos geomtricos, exigiam
em relao s quantidades que elas se afirmassem pela existncia e unicidade. Para
ilustrar, observe que se x e y so dois nmeros tais que xy = yx intuitivo ponderar se
tais nmeros existem. Ou, se existe um nmero a tal que a + x = a, deve existir um
objeto chamado elemento nulo que deve ser nico. Enquanto as quantificaes exigem
que as questes da existncia ou unicidade estejam resolvidas, as leis geomtricas
aceitam uma existncia hipottica.
Quando Euclides enuncia que o ponto aquilo que no tem partes a existncia
de tal ob-jectum, ou o que est adiante, solicitado evidente. O ponto assim imaginado
no pode ser dividido, no tem espessura e nem dimenso. Pode-se associ-lo s
representaes da marca da grafite de um lpis sobre uma folha de papel ou a viso
que temos da Terra de uma estrela, mas o ponto no existe. O que existe a idia de
ponto: uma abstrao elementar da construo da estrutura conceitual da geometria. O
espao, imaginado conjunto de todos os pontos, surge como abstrao decorrente
onde a idia de ponto o elemento fundamental de construo.
Segundo Proclo, filosofo grego do sculo V e primeiro historiador da matemtica
pela obra Comentrio sobre Euclides, que descreve a geometria grega desde seus
primrdios, elemento significava entre os gregos antigos, proposio de uso amplo e
geral no desenvolvimento de um estudo dedutivo. Assim Aristteles ensina no livro V
da obra Metafsica: elemento o primeiro componente imanente do qual constituda
uma coisa e que indivisvel em outras espcies. E diz: dentre as proposies
geomtricas chamaremos de elementos aquelas cujas demonstraes esto contidas
nas demonstraes de todas ou quase todas essas proposies. Para Aristteles, tudo



8
aquilo entendido por ser um e pequeno pode servir a muitas coisas explica a certeza
adquirida de que as idias que so mais universais so mais elementos, pois esto
presentes em muitas coisas ou na maioria delas. Dessa convico decorre que o um e
o ponto so elementos, pois so considerados de gneros universais e indivisveis.

3. PRIMRDIOS III

A expresso todos os pontos, lida como tantos quantos puder imaginar, toma
por evidente que o espao se define atravs de infinitos pontos.
Segundo os gregos antigos, desde que o espao se constitui de infinitos pontos
podem-se imaginar dois ou mais pontos sendo ligados de muitos modos atravs de
linhas. Linhas so figuras que no tem espessura e largura, mas tem comprimento e
podem se estenderem indefinidamente. Euclides considera e define as linhas retas,
toda linha traada uniformemente com os pontos sobre si e as superfcies planas, toda
superfcie traada uniformemente com suas retas sobre si como construes
fundamentais para iniciar o processo de construo da geometria..
Desde que o espao se constitui de infinitos pontos Euclides denominou figura
geomtrica ou simplesmente figura a tudo aquilo delimitado por qualquer fronteira ou
fronteiras. Assim toda figura se compreende como um conjunto de infinitos pontos e o
prprio espao pode ser lido como uma figura geomtrica. Na lgica euclidiana se um
tringulo definido como um polgono de trs lados, ento polgono deve ser entendido
como uma figura e as figuras como objetos constitudos por linhas. Como linha uma
construo fundamental, o processo de definio se interrompe a.
Embora Euclides tenha reconhecido pela necessidade das propriedades no
demonstrveis, axiomas e postulados, ele no considerou a importncia lgica dos
termos no-definidos ou, de acordo com a concepo contempornea dos matemticos
Bertrand Russel (1872-1970), e Giuseppe Peano (18581932) dos conceitos primitivos.
Euclides procura definir todos os termos que utiliza e assim idias como ponto, reta ou
superfcie esto na lista de definies.
Como no se faz mais distino entre postulados e axiomas, elas se tornaram
sinnimas e se consideram no sentido euclidiano ou, como fizeram Peano e Russel,
significando propriedades intuitivamente evidentes, aceitas independentes de qualquer
comprovao, propriedades no demonstrveis ou propriedades primitivas.



9
No sentido que Aristteles atribui s idias que so mais universais so mais
elementos, podem se destacar a idia de ponto na geometria e a idia de nmero na
aritmtica. Como tambm se aceita que os objetos matemticos se organizem em
conjuntos, a idia de conjunto, um conceito tornado fundamental para todos os ramos
da Matemtica, tem o significado de coleo e os seus objetos, quaisquer que sejam,
dizem-se elementos.




10
ELEMENTOS HISTRICOS II

A partir de cinco axiomas e cinco postulados Euclides organizou um sistema
contendo 465 proposies distribudas em 13 livros que correspondem aos contedos
da geometria plana e espacial da escola mdia contempornea.
Segundo especialistas, embora no se conhea nenhum original dos Elementos,
as cpias que nos chegaram parecem ter conservado a autenticidade original, pois as
proposies e demonstraes foram essencialmente mantidas como foram escritos.
A primeira traduo latina completa de 1120 do filsofo ingls Adelardo de
Bath a partir de uma verso que os rabes fizeram no sculo VIII das tradues dos
manuscritos bizantinos dos trabalhos gregos.
Desde a inveno da imprensa e at o sculo XX no s pelas suas mais de
1000 edies, mas por ter sido mantido sem alteraes substanciais por quase 23
sculos, os Elementos o mais influente livro de matemtica editado.
A impresso que os seus aspectos formais causaram fez dos Elementos modelo
da forma de apresentao das idias em cincias e matemtica.
Principalmente como idealizao de uma estrutura sistmica fundamentada
pelos processos de raciocnio que se tornaram referncia de construo da forma das
teorias matemticas e modelo do que deve orientar uma demonstrao.
Para se ter uma idia do tratamento dado aos contedos desenvolvidos pelos
gregos no estudo do espao, no espao geomtrico definido por Euclides,
contemporaneamente chamado espao euclidiano, as figuras so estudadas num
ambiente onde as distancias so preservadas e o movimento tratado sem
implicaes: qualquer figura pode ser deslocada sem alterao de forma ou tamanho.
Os objetos das experimentaes espaciais como cordas esticadas, retngulos,
quadrados, tringulos, crculos ou elipses interpretam-se considerando:
I. As formas dos objetos convertidas em abstraes chamadas figuras;
II. As relaes entre as figuras so enunciadas atravs de axiomas e postulados;
III. Definies, axiomas e postulados fixam um sistema ou modelo;
IV. Intermediada pela lgica uma teoria construda contendo um conjunto de
resultados compatveis entre si.
A teoria euclidiana consolida-se atravs das interaes entre um conjunto de
axiomas ou postulados e uma lgica de procedimentos.



11

1. ORIGENS I

No espao euclidiano, onde inexistem obstculos e as relaes de incluso
esto claramente estabelecidas, as proposies tem carter universal, as
demonstraes no lidam com experimentaes e so dedutivas.
Desde os tempos de Euclides as leituras da geometria procuram dar uma
descrio do mundo justificadas por um modelo de estruturas dedutivas precisas.
Nossas experincias dirias contribuem para autenticar o modelo, pois a primeira
leitura que aprendemos do espao ao nosso redor conceitualmente euclidiana.
A partir dos Elementos, duas importantes escolas passam a contribuir para
construo do pensamento: aquelas representadas pelos modelos matemticos do
Egito, Babilnia, Oriente antigo e ndia, predominantemente algortmica, e a escola
estritamente lgica e dedutiva, originada com os gregos. Enquanto na matemtica
grega as estruturas so rigorosamente lgicas e os objetos se caracterizam por
determinadas propriedades, na matemtica algortmica as regras operacionais podem
variar de acordo com as tcnicas, instrumentos ou a urgncia de um problema. A
matemtica grega, organizada sob a forma de um sistema axiomtico, trata
fundamentalmente do estudo do espao. A matemtica algortmica, apresentada sob a
forma de colees de regras computacionais, trata fundamentalmente dos nmeros.
A matemtica dos nmeros tem suas origens com os babilnios, hindus e os
rabes. Os gregos deram aos problemas numricos conotaes geomtricas: as
comparaes entre quantidades so associadas aos problemas sobre comprimentos
de dois segmentos ou comparaes entre reas. Os babilnios, os hindus e os rabes,
introduzindo smbolos e regras operacionais ao raciocnio tornam possvel descrever e
tratar das grandezas em outros nveis de abstrao e eficincia da matemtica grega.
Mas, caracterstica da cultura matemtica oriental, os babilnios, os hindus e os
rabes, que no se preocupavam em demasia com demonstraes, no organizaram
seus conhecimentos acerca dos nmeros num modelo axiomtico.
Assim dos mtodos e tcnicas das culturas matemticas gregas e orientais
decorre, por respeito ou circunstncia, uma tradio que se estende aos primrdios da
era contempornea: a geometria ensinada sob o formato dado por Euclides nos
Elementos e a matemtica das quantidades ensinada como uma coleo de leis e
regras operacionais caractersticos do ensino da lgebra ou do Clculo.



12

2. ORIGENS II

O processo de adoo dos procedimentos axiomticos pelos gregos
antigos, segundo se credita, est ligado primeira das trs grandes crises que a
matemtica experimentou ao longo de sua histria.
No sculo V a.C. se descobre que nem todas as grandezas geomtricas da
mesma espcie so comensurveis: existem grandezas que no so mltiplas inteiras
de uma outra tomada como unidade de medida. A diagonal d e o lado a do quadrado,
por exemplo, no admitem uma unidade de medida comum, pois d = a 2 e 2 no
um nmero racional. A descoberta da existncia dos nmeros irracionais pelos
pitagricos obrigou uma reviso que s foi superada por volta de 370 a.C. com a Teoria
das Propores de Eudoxo. a leitura dos incomensurveis que d a base necessria
para construo do sistema dos nmeros reais no sculo XIX por Richard Dedekind e
Karl Theodor Wilhelm Weierstrass
A segunda grande crise advm da criao do Clculo Diferencial e Integral, uma
concepo de Leibnitz e do fsico ingls Isaac Newton atravs de estudos
independentes. Entretanto as origens do Clculo esto no sculo V a.C. quando os
paradoxos de Zeno, discpulo de Parmnides e considerado por Aristteles o criador
da dialtica, procuram reduzir ao absurdo os conceitos de multiplicidade e movimento.
A terceira grande crise conseqncia dos paradoxos descobertos na teoria dos
conjuntos. Desde 1872 quando Cantor comea a usar a idia de conjunto para tratar
das questes ligadas ao Infinito os conceitos da teoria dos conjuntos sistematicamente
so absorvidos pela Lgica e pela lgebra como meio de expresso da linguagem
matemtica. Intuitiva, a idia de conjunto associada a tudo que percebemos como
lista, coleo, grupo ou classes de objetos, genericamente denominados elementos,
que podem ser nmeros, pontos, pessoas, letras, fatos ou figuras. Exercendo papel
unificador e influenciando concepes relativas aos fundamentos da matemtica, a
descoberta de paradoxos colocou sob suspeita os alicerces da prpria matemtica.
A partir do final do sculo XIX, o advento de novas geometrias ou a descoberta
da existncia de outras estruturas lgicas e as possibilidades de leituras dos nmeros
naturais ou a geometria euclidiana como modelos fundamentais se consolidam atravs
do sculo XX pela organizao dos objetos matemticos em denominaes bem



13
caractersticas: conjuntos, grupos, anis, figuras, nmeros, funes, espaos vetoriais
ou espaos topolgicos.

3. ORIGENS III

Como mostra a experincia, as crises se revelam interessantes quando
permitem que os contedos se reformulem pelos processos de reconstruo dos
conceitos.
O conhecimento confrontado pela busca de sentidos e ordem ao caos em que
s idias parecem estar e todo caminho se assemelha desordem natural da
experincia. Mas, encontrando diferenas que normalmente no se percebe e relaes
entre os agentes da experincia, permite desenvolver raciocnios que se conformam
como escolas do pensamento.
Certamente os estudos para superao das crises na Matemtica e as formas
de viso do pensamento matemtico esto de muitos modos conjugados. Assim, at
por volta de 1930 os estudos da lgica e da fundamentao matemtica foram
compartilhados pelas escolas logicista, intuicionista e formalista, que muitas influncias
emprestaram ao pensamento. Da em diante as trs escolas se aproximam, inmeras
correntes surgem e as especialidades se multiplicam. At porque na Matemtica as
dinmicas das transformaes parecem estar em sintonia com a percepo de Cantor
quando ele afirma que a essncia da matemtica reside em sua liberdade.
Certamente Cantor solicita que procuremos ver o conhecimento matemtico
como de fato ele : falvel, corrigvel, tentativo e evolutivo. Numa definio apropriada
dos dicionrios a matemtica a cincia das quantidades e do espao.
Esta declarao, entretanto, apenas toca o cerne das preocupaes de grande
parte dos estudantes sobre o que matemtica ou qual a finalidade da matemtica,
pois cada gerao procura uma resposta e cada resposta confrontada por elementos
tanto individuais quanto coletivos. O matemtico francs Jacques Hadamard (1865-
1963) observava que a matemtica no s a mais simples de todas as cincias, mas
tambm a mais perfeita e a mais antiga.
Certamente a matemtica humanstica enquanto arte. cientfico-tecnolgico
quando aplicada. platnica se imaginamos que os seus objetos de estudo existem
independentes das pessoas.



14
construtivista, quando consideramos como objeto matemtico somente
aqueles que podem ser obtidos por uma seqncia finita de construes.
formalista, quando se enuncia atravs dos conceitos primitivos, axiomas,
postulados, definies e teoremas.



15
PRIMRDIOS PANORMICOS HISTRICOS III

O filsofo grego Aristteles considerado o primeiro pensador a sistematizar
as regras que orientam a razo na busca da verdade e da validade dos argumentos.
Discpulo de Plato, com quem estudou dos 17 aos 37 anos, Aristteles, fundou
em Atenas no ano de 355 a.C. o Liceu, sistema educacional que ficava prximo ao
templo dedicado ao deus Apolo Lcio. As despesas do Liceu eram asseguradas pelas
contribuies de particulares e da corte macednica, pois dos discpulos nada se
cobrava. Da corte macednica, atravs de Alexandre o Grande, de quem Aristteles foi
tutor, em respeito e afinidade ao preceptor de sua juventude, chegavam tambm
valiosas contribuies de materiais que os estudiosos que acompanhavam as
campanhas de Alexandre iam recolhendo.
Tambm chamada escola peripattica, pois Aristteles costumava expor suas
idias ao ar livre passeando com os alunos sob a sombra das rvores das avenidas de
que dispunha o local, o sistema educacional do Liceu, voltado para as pesquisas das
cincias, ensinava a desenvolver a investigao dos fenmenos naturais com base na
experimentao. O ensinamento de Aristteles, que aborda vastos campos do
conhecimento, proveniente das anotaes dos seus alunos organizados em quatro
grandes grupos de obras. Uma delas, sob a denominao Organon, inaugura o estudo
da disciplina que os sculos denominaram Lgica.
Aristteles organizou, sistematizou e ampliou o conhecimento cientifico da
Antiguidade atravs de modelos que se tornaram as principais bases de viso do
universo. A Lgica Matemtica e as lgicas contemporneas fundamentam-se ou
surgiram como crtica a lgica aristotlica, tambm chamada Clssica.
Embora todos tenham motivaes para descobrir a verdade e uma aptido
natural que se revela como bom senso, atravs da lgica pode-se aprender a
determinar a partir das informaes disponveis sobre um dado assunto, se as
concluses que inferimos so vlidas e o que pode ser entendido como verdade.
Melhor se temos como converter as informaes para a linguagem que lhe prpria.
Apesar da variedade dos elementos da lgica contempornea, o estudo das
estruturas lgicas da Matemtica desenvolve-se atravs dos conceitos, juzos ou
relaes e o raciocnio. Estes, por sua vez, representam-se, quaisquer que sejam os



16
meios, como termo, proposio e argumento. Assim, enquanto a proposio a
expresso de um juzo, o argumento a expresso de um raciocnio.

1. DESENVOLVIMENTO DA LGICA I

A preocupao fundamental da Lgica foi compreender a anlise do
raciocnio desde a formao da idia at a elaborao dos argumentos.
Quando algum afirma que a porta est aberta, est implcito que a idia de
porta e o conceito de estar aberto so evidentes. Mas, ao se afirmar que a medida da
circunferncia da Terra , aproximadamente, 40.000 km ou, que toda funo limitada e
contnua por partes num intervalo fechado [a, b] Riemann-Integrvel neste intervalo,
pressupe que os conceitos constituintes esto claramente estabelecidos.
Certamente algumas idias so aceitas com tanta naturalidade que dispensam
explicaes ou definio. Entretanto, quando as sentenas procuram descrever ou
argumentar, elas transmitem informaes que podem exigir justificativas. Enquanto a
sentena a porta est aberta pode dispensar qualquer explicao, a afirmao que
declara o valor da medida da circunferncia da Terra requer comprovao.
Comprovar uma sentena estabelecer uma conexo entre a afirmativa
elaborada a partir de outras previamente conhecidas. Mais precisamente, construir
um conjunto de nome argumento, constitudo de n+1 sentenas, cada uma delas
chamada premissa, de modo que aquela que requer justificativa chamada concluso.
Mais detalhadamente, designando por P1, P2, . . . , Pn e C, n + 1 sentenas dadas, um
argumento toda seqncia finita de premissas P1, P2, P3, . . . , Pn, onde C,
conseqncia de P1, P2, P3,... a concluso.
Para usar uma expresso do lgico matemtico norte-americano Alfred Tarski
(19021983), pode-se distinguir na elaborao de um argumento dois nveis de
discurso: a linguagem da qual se fala, chamada linguagem-objeto, e a linguagem com a
qual se fala, denominada metalinguagem.
Na Matemtica, onde as concluses se apresentam como conseqncia de
certas premissas admitidas como verdadeiras chamadas hipteses [hypo (subjazer) +
thesis (idia, teoria)] ou conjunto de dados, os pensamentos, expressos numa
linguagem prpria e caracterstica, necessitam de uma linguagem auxiliar, ou
metalinguagem, para tornarem-se compreensveis.



17
A parte de uma linguagem usual como metalinguagem que apresenta interesse
para expressar os conceitos matemticos na construo de uma hiptese
exatamente aquela constituda por sentenas declarativas que podem ser classificadas,
segundo um, e somente um, dos valores lgico verdadeiro ou falso.

2. DESENVOLVIMENTO DA LGICA II

Nas vertentes do desenvolvimento da lgica, os megricos, da escola de
Mgara (Sicilia, 450 a.C380 a.C), fundada pelo filsofo grego Euclides, o Socrtico, e
os esticos, da escola Estica, fundada por Znon de Ctio (335 a.C - 264 a.C),
discpulo de Euclides o Socrtico, empregaram nomenclaturas e desenvolveram
estudos considerados continuidade dos ensinamentos que no se encontravam em
Aristteles.
No entanto, rivalidades entre esticos e aristotlicos impediram que essas
abordagens se reunissem numa s teoria. Aps o perodo estico segue-se longo
perodo ao qual se credita dedicado ao aperfeioamento das tcnicas e ensino da
Lgica com destaque aos elementos de unio entre as lgicas aristotlica e estica.
No perodo medieval ocidental as tradies se do mais pelos contedos que as
controvrsias teolgicas significaram. Predominante at o sculo XVII, as tradies
medievais dividiram o estudo da Lgica em dois grandes grupos: Lgica Menor ou
Formal e Lgica Maior ou Material. A Lgica Menor, absorvida pelas cincias e filosofia,
estuda a forma dos argumentos. A Lgica Maior se ocupa em determinar o contedo
ou a veracidade das proposies contidas num argumento.
Entretanto, s idias de Aristteles pouco se acrescentou at o sculo XVI.
Coube ao matemtico alemo Gottfried Wilhem Leibnitz (16461716) as
primeiras antecipaes dos estudos que viriam a se tornar no sculo XIX,
fundamentalmente devido aos trabalhos do matemtico ingls Geoge Boole (1815 -
1864), do matemtico ingls de origem hindu Augustus de Morgan (1806 - 1871) e do
matemtico alemo Gottlob Frege (1848 - 1925), uma nova forma de lgica: a Lgica
Simblica Clssica, Lgica Abstrata ou Lgica Matemtica.
Leibniz, um dos precursores do sistema binrio, a partir de 1666 prope idias
inovadoras s quais chamou lgica matemtica e utilizou em vrios trabalhos. Mas,
como no as publicou, sua importncia passou ignorada por seus contemporneos.



18
Leibnitz construiu a primeira mquina calculadora que realizava multiplicaes.
Projetada para operar com nmeros na base 10, no chegou a ser convertida para
operar no sistema de base 2.
Nmeros na base 2, diga-se, comportam muitos algarismos 0 e 1. Por exemplo,
o nmero 10 na base 2, (10)2, escreve-se como 1010 (leia-se um zero um zero), (100)2
=1100100; (533)2 =1011011101; (15752)2 = 1110110001000.

3. DESENVOLVIMENTO DA LGICA III

Leibnitz quem v que a Lgica uma lgebra ou que a lgebra uma
Lgica.
Critico da lgica aristotlica ao considerar que ela mostra verdades conhecidas,
mas no revela novas verdades, Leibnitz foi o primeiro pensador a perceber que as leis
do pensamento contm decodificaes essencialmente algbricas ou que a lgica
uma espcie de lgebra ou que a lgebra uma lgica.
As preocupaes de Leibnitz na busca de uma linguagem matemtica
logicamente universal iniciam procedimentos de criao de smbolos universais num
simbolismo reduzido com o objetivo de orientar o processo do raciocnio formulando
conceitos que facilitem as operaes lgicas.
Por tudo isso importante que se note que at ento, desde os tempos de
Aristteles, o raciocnio lgico era totalmente desenvolvido com o uso da linguagem
corrente e Leibnitz foi o primeiro pensador a ter a idia de usar uma linguagem artificial
para significar a estrutura dos pensamentos.
Para tanto observe que uma linguagem, ou todo sistema de smbolos utilizados
como meio de comunicao, pode ser classificada em linguagens naturais ou lnguas,
como o portugus, o francs ou o ingls, em linguagens artificiais, como a linguagem
da geometria, da lgebra ou as linguagens que comunicam instrues a uma mquina.
Enquanto as lnguas surgem e se desenvolvem a partir de um grupo de
indivduos e esto sempre em transformao, as linguagens artificiais, aquelas onde as
palavras ou os conceitos so substitudos por smbolos, possuem uma gramtica que
no se altera com o passar do tempo.
Para exemplificar mais de acordo com Tarski, considere o argumento:
As razes da equao x
2
3x + 2 = 0 so x = 1 ou x = 2.



19
Os termos x
2
3x +2 =0, x =1 e x =2 so termos da linguagem matemtica,
que atua como linguagem objeto, e a lngua portuguesa, que contm a mensagem
transmitida, atuam como metalinguagem.
Como grande o interesse contemporneo pelas metodologias de construo e
anlise dos argumentos, o estudo das linguagens artificiais que atuem como
linguagens-objeto, como o caso prprio da Matemtica, torna-se cada vez mais
requisitado.

4. DESENVOLVIMENTO DA LGICA IV

Desde o simbolismo de Leibnitz a idealizao de uma lgebra da lgica
comea a formar contornos em 1847 e 1848 quando, respectivamente, De Morgan e
Boole publicam Lgica Formal ou Clculo de Inferncia e Anlise Matemtica da
Lgica.
Em Anlise Matemtica da Lgica Boole diz: Poderamos, com justia, tomar
como caracterstica definitiva de uma verdadeira Matemtica, que uma forma de
raciocinar baseada no uso de smbolos, o uso combinatrio destes como interpretao
consistente do mundo em que vivemos. E baseando-se nesse principio geral que eu
pretendo estabelecer o Clculo da Lgica e que reivindico para ele um lugar entre as
formas reconhecidas da Anlise Matemtica.
Boole percebeu que o estudo da Lgica se dividia em trs estgios: lgica grega,
lgica escolstica, ensino filosfico do sculo X ao sculo XVI que relacionava dogmas
cristos filosofia tradicional, e lgica matemtica. Em 1854, em Pesquisas sobre as
leis do pensamento, Boole d forma s percepes de Leibnitz .
As preocupaes de Leibnitz tambm se fazem presente entre 1879 e 1903 nos
estudos de Gottlob Frege, Cantor, Peano, e em 1910 na obra Principia Mathematica de
Bertrand Russel e Alfred North Whitehead. Em 1880 Peano e sua escola desenvolvem
uma linguagem artificial que d uma viso universal dos mecanismos lgicos das
teorias matemticas. Com 3 conceitos primitivos e 5 axiomas ampliam os domnios da
axiomtica matemtica desenvolvendo a Teoria dos Nmeros Naturais. Completando o
ciclo axiomtico fundamental Frege elabora um conjunto de princpios que orientem as
regras da demonstrao e caracterize o que uma demonstrao matemtica.



20
Certamente uma proposio est demonstrada se ela decorre de proposies
cuja verdade esta estabelecida. A questo, a saber, : o que garante a verdade das
premissas? Embora estudantes de Matemtica treinem para lidar com este dilema na
geometria e aritmtica, este treinamento, como Frege observou, no d garantias, pois
podemos acreditar ter demonstrado aquilo que no estava terminado.
As idias de Frege, baseada na simbologia matemtica e na anlise
formal do discurso, organiza o raciocnio numa espcie de gramtica empregada
em diversas linguagens, como a proposicional, que estuda a relao dos juzos
entre si ou a de predicados, que analisa a estrutura das sentenas. Favorecendo
reavaliaes no estudo da lgica, a partir da a lgica aristotlica adquire a
denominao Lgica Clssica.




21
PRIMRDIOS PANORMICOS HISTRICOS IV

Os trabalhos de Boole, De Morgan e Frege promovem a autonomia da Lgica
Clssica destacando-a da Filosofia.
Boole e De Morgan desenvolvem a lgebra da lgica, os trabalhos de Frege
influenciam as pesquisas de Russel e Whitehead, que adotam o simbolismo de Peano,
mais simples que o de Frege. Hilbert elabora os critrios que permitem separar nos
sistemas lgicos a metalgica destes sistemas.
Entretanto apesar da variedade dos elementos da lgica contempornea, o
estudo das estruturas lgicas da Matemtica desenvolve-se atravs dos conceitos,
juzos ou relaes e o raciocnio. Estes, por sua vez, representam-se, quaisquer que
sejam os meios, como termo, proposio e argumento.
Enquanto termo a expresso do conceito, a proposio expressa um juzo e o
argumento a expresso do raciocnio. A leitura de cada um desses seis elementos
tem interesse para facilitar a compreenso das estruturas lgicas da Matemtica.
Segundo Aristteles, a percepo de um objeto tal como ele , como forma ou
imagem, constitui o primeiro plano de expresso de uma idia. uma operao de
simples apreenso que produz um conceito. A palavra idia, do grego idea, forma,
imagem, significa noo e conceito, do latim conceptium, aquilo concebido na mente.
Quando o esprito, do latim spiritus, sopro, faculdade de compreender, conhecer,
imaginar, apreende duas idias de um conjunto de idias e as aproxima, ele as
compara. Conseqentemente uma avaliao entre elas estabelecida. Deste
processo, segundo Jacques Maritain, professor do Instituto Catlico de Paris (1882
1973), decorre um juzo: ato do esprito pelo qual ele une quando afirma ou separa
quando nega. Portanto, um juzo uma operao pela qual formamos uma sentena
afirmando ou negando algo a respeito de um sujeito.
Para Aristteles, a sentena que expressa um juzo deve ter a forma sujeito-
verbo ser - predicado num nvel de concordncia tal que a assero ou ser verdadeira
ou ser falsa. O sujeito e o predicado so termos que expressam um conceito portador
de significado com determinada realidade. O verbo ser, ligando o sujeito ao predicado,
indica a qualidade atribuda ao sujeito ou, qual comparao ou relao que est sendo
estabelecida entre o sujeito e o predicado.



22
A idia de relao inclui-se na categoria dos conceitos que aprendemos a
denominar como primitivos ou aqueles aceitos independentes de definio.

1. REPRESENTAO DE UM CONCEITO

A representao material ou simblica de um conceito ocorre atravs dos
termos, partes ou sinais sensveis da expresso de uma idia.
Por exemplo, nmeros so idias representadas atravs de smbolos chamados
numerais. Assim 2, dois, II,..., - -, 8 - 6, deux, two,... , so numerais de um mesmo
nmero: representam mesma idia de quantidade. Para outro exemplo, crculos,
quadrados, tringulos tambm se representam naturalmente. Entretanto, idias como
infinito, existncia ou eternidade, para as quais no h imagem interior, se representam
pelo sentido ou significao de que so portadoras.
Enquanto conceitos como liberdade, dignidade, sexualidade, propriedade ou
divindade, variam de significado entre os povos ou se alteram no tempo, os conceitos
matemticos procuram a universalidade e perfeio. A verso original da demonstrao
do teorema de Pitgoras, a idia de crculo ou o conceito de nmero primo, por
exemplo, desde os tempos de Euclides jamais sofreram correes, mas extenses.
Um conceito tanto mais perfeito quando procura corresponder de forma exata
ao objeto apreendido. Assim ele poder ser claro ou distinto. Ser claro se os
elementos apreendidos pela mente so capazes de distingui-lo em qualquer outra
classe de conceito. Enquanto a idia de tringulo clara, pois os elementos percebidos
so suficientes para distingui-lo de qualquer outro conceito, como tigres ou crculos, a
idia de polgono est obscura, pois no oferece elementos distintivos para diferenci-
lo, j que um polgono pode ser um tringulo, um quadrado, um losango,...
Um conceito ser distinto quando apresenta todos os elementos necessrios
sua individuao. Certamente, se um conceito distinto, ele ser claro. Mas nem todo
conceito claro necessariamente distinto. Enquanto a idia de tringulo retngulo
distinta e clara, a idia de tringulo clara, mas no distinta.
Os conceitos podem ser singulares, particulares ou universais. Ser singular se
representa um s elemento distinto. Por exemplo, o conceito de nmero cinco ou
Pitgoras um matemtico do sculo V a.C. Ser particular quando representa alguns
elementos de determinado conjunto. O conceito de nmero impar no contexto dos



23
nmeros inteiros positivos ou o conceito de tringulo retngulo no universo dos
tringulos so exemplos.
Ser universal quando representar toda uma classe.

2. EXTENSO OU COMPREENSO I

Segundo Maritain, a extenso de um conceito a sua amplitude em relao
aos objetos do pensamento aos quais se aplica e agrupa em sua unidade.
Em geral a extenso se d pelos desdobramentos aos qual a idia convm ou
se aplica, sendo tanto maior de acordo com o nmero de objetos abrangidos. Assim ela
identificada com a quantidade. A idia de nmero inteiro, por exemplo, tm extenso
universal, pois abrange, citando algumas extenses, os nmeros inteiros: positivos,
negativos, no positivos, no negativos, no nulos, os pares, mpares, primos,
mltiplos, divisores, ou as operaes algbricas. A idia de tringulo tambm tem
extenso universal, pois se compe pelos tringulos: eqilteros, aqueles de lados
iguais ou congruentes; issceles, que tem dois lados iguais; escalenos, de lados com
medidas diferentes; acutngulos, aqueles com ngulos internos agudos; obtusngulos,
ngulo interno obtuso e dois agudos; retngulos, ngulo interno reto e dois agudos;
tringulos inscritos, circunscritos, pitagricos,...
Quando dois conceitos tm a mesma extenso eles se dizem equivalentes. Os
conceitos tringulo eqiltero e tringulo eqingulo so equivalentes, pois o tringulo
eqiltero, tendo todos os lados de mesma medida, ter todos os ngulos iguais.
A compreenso de um conceito, por sua vez, se d pelos elementos nele
contidos ou o contedo da idia: a amplitude do conceito em relao aos elementos
que o caracterizam ou da identificao do seu significado quanto qualidade. Por
exemplo, uma restrio na extenso da idia de polgono para figura poligonal
triangular, aumenta a compreenso, pois diz que a figura um tringulo. Uma nova
reduo para figura poligonal regular determina um triangulo eqiltero. Atravs de
sucessivas restries na extenso, digamos figura geomtrica, possvel passar para
um conceito particular, digamos, tringulo eqiltero.
Enquanto a extenso torna-se cada vez menor, a compreenso em cada etapa
cada vez maior. Por exemplo, os conceitos nmero cinco, nmero impar, nmero
inteiro, nmero racional, numero real esto em ordem crescente de extenso e em
ordem decrescente de compreenso.



24
Portanto, qualidade e quantidade relacionam-se do seguinte modo: quanto maior
a extenso, menor ser a compreenso e, quanto maior a compreenso, menor a
extenso.

3. EXTENSO OU COMPREENSO II

Os conceitos matemticos so de extenso infinita.
Mas as propriedades que definem o objeto matemtico, ou sua compreenso,
so em nmero limitado e bem caracterizado. O conceito de figura geomtrica (F), por
exemplo, mais extenso que o conceito de polgono (P). O conceito de polgono
mais extenso que o conceito de quadriltero (Q) que mais extenso que o conceito de
retngulo (R). Assim Figura Geomtrica tem compreenso menor que o conceito de
polgono. Polgono tem compreenso menor que o conceito de quadriltero que tem
menor compreenso que o conceito de retngulo. Enquanto o conceito cresce em
extenso ele decresce em compreenso.




I



Desde que as extenses de dois conceitos A e B estejam contidas em um
conceito mais geral C, os conceitos A e B dizem-se coordenados em relao a C.
Os conceitos de retngulo, quadrado, quadriltero e paralelogramo, esto
coordenados em relao ao conceito de polgono.
Os conceitos de Nmero Par (P) e Nmero mpar ( I ) - veja Diagrama 1 - esto
coordenados em relao ao conceito de Numero Inteiro Positivo. Os conceitos de
triangulo retngulo (TR) e de triangulo issceles (TI ) esto coordenados em relao ao
conceito de triangulo. Ilustrado pelo Diagrama 2, pode existir um tringulo retngulo e
issceles embora o tringulo issceles no seja, necessariamente, retngulo.
.
F
P
Q
R
TR
TI



25




Diagrama 1 Diagrama 2

4. REPRESENTAO DE UM TERMO OU CONCEITO II

O termo a representao material ou simblica de um conceito.
O termo significa o conceito: ele o substitui. A idia deixa de ser uma operao
mental para se transformar num sinal atravs de palavras, sons ou figuras. Assim as
idias podem ser registradas, compartilhadas e comunicadas.
O termo deve ser considerado segundo a compreenso, funo e extenso.
Segundo a compreenso, ele unvoco quando substitui a idia de um nico
objeto ou a idia de uma classe de objetos. So exemplos: o desenho da figura de um
crculo, a idia de ponto e a idia de conjunto quando representadas por uma letra
maiscula do alfabeto latino ou a idia de reta representada por uma letra minscula.
Ainda segundo a compreenso ser anlogo se aplicado a idias relacionadas
por semelhana ou linguagem figurada e ser equivoco se estiver se referindo, por
exemplo, a conceitos como rosa, cor e rosa, flor.
Segundo Aristteles, o termo exerce a funo sujeito ou funo predicado de
acordo com a extenso ou aos objetos aos quais se refere. Assim o sujeito universal
se ele identifica todos ou nenhum elemento de um conjunto. particular se faz
referncia a apenas alguns elementos e singular quando trata apenas de um elemento.
O predicado, segundo a extenso, depende da qualidade do enunciado ou dele ser
afirmativo ou negativo. Assim, enquanto as sentenas afirmativas tm predicado
particular, as sentenas negativas tm predicado universal.
Na sentena todos os tringulos (A) so trilteros (B), o sujeito tringulo
tomado em sentido universal. O predicado triltero tem sentido particular, pois no se
afirma todos os trilteros so tringulos, mas somente alguns trilteros so tringulos,
conforme o Diagrama 1, abaixo a esquerda.



B
A
B
P
I



26

Diagrama 2
Diagrama 1
Na sentena negativa alguns trilteros no so tringulos, veja Diagrama 2,
enquanto o sujeito tomado em sentido particular, o predicado tem sentido universal,
pois o ser tringulo negado a todos os trilteros aos quais faz referncia.
Do mesmo modo se for dito que nenhum triangulo triltero, nega-se a todos os
tringulos a possibilidade de pertencer ao conjunto dos trilteros.

A



27

AS PROPOSIES SIMPLES OU CATEGRICAS

Aristteles ensinava que a sentena que expressa um juzo deve ter a forma
sujeito-verbo ser - predicado onde um termo, o sujeito, a idia da qual se afirma algo,
liga-se ao outro, o predicado, a idia que se afirma do sujeito, num nvel de
concordncia tal que a assero ou ser verdadeira ou ser falsa.
Decorre da conceituao aristotlica que se excluem de concordncia lgica as
frases exclamativas, interrogativas ou imperativas, pois estas no se classificam em
verdadeiras ou falsas. Tambm se devem excluir frases com mais de um sentido.
De fato. A frase as rosas so vermelhas ambgua, pois tanto pode significar
que algumas rosas so vermelhas quanto todas as rosas so vermelhas. Deve se
tambm evitar dizer frases como as rosas no so vermelhas, pois a ela tanto pode ser
entendida como algumas rosas no so vermelhas quanto nenhuma rosa vermelha.
Toda proposio enuncia a incluso ou excluso do predicado no sujeito: se o
atributo dado ao sujeito faz parte ou no da compreenso deste sujeito. O sujeito e o
predicado so termos que expressam um conceito portador de significado com
determinada realidade. O verbo ser, ou qualquer outro verbo que faz a ligao entre o
sujeito e o predicado, indicando a qualidade atribuda ao sujeito ou, qual comparao
ou, qual relao existe entre eles, chamado conceito relacionante ou relao.
Nos enunciados: 2 nmero par; y = x
2
- 3x + 2 ; x + y = 7; Guilherme Franois
L' Hospital escreveu em 1696 Analysis ds Infiniment Petits, o primeiro livro texto de
Clculo publicado no mundo, cada uma dessas sentenas contm um modo de
relacionamento entre o sujeito e o predicado. Como Jlia e Luciana se relacionam?
So primas. Qual relao existe entre x + y e 7? So iguais.
A idia de relao ocorre quando elementos de certos conjuntos, que podem ser
nmeros, idias, pessoas, fatos,... , esto ligados por expresses do tipo... prima de
.., ... igual a ..., ... maior do que ..., ... autor de ... , ... elemento de ...
Outras palavras relacionantes so: portanto, assim, ou, ento, e, se, entre, nem,
no, todo, h, existe,...
Para Aristteles, as sentenas que emitem um juzo devem ser declarativas, pois
em nome da clareza e da preciso devem enunciar sem ambigidades a incluso ou a
excluso do predicado no sujeito.



28
As sentenas assim entendidas vo se designar como sentenas declarativas,
proposies simples, atmicas ou categricas.

EXEMPLO 1 - OS ELEMENTO DA CONCEITUA ARISTOTLICA.

E 1

A Conceito / Termo: .................. Homem, pas, grandeza, nmero, conjunto,
funo, funo contnua, tringulo, tringulo retngulo, livro, funo seccionalmente
contnua, polgono regular, polgono regular convexo inscrito em um circulo,,,,
Juzo / Proposio: ................ Todo numero racional inteiro racional;
f(x) = x
2
uma funo contnua;
Pingins so aves,...


Raciocnio / Argumento:... Toda funo diferencivel contnua.
f(x) = x
2
uma funo diferencivel
Logo:.................................... f(x) = x
2
contnua.

E 1

B - A sentena cinco maior do que 2, simbolizada 5 >2
Atravs da relao ... maior do que... , de smbolo >, ao comparar as
quantidades 5 e 2, estabelece uma verdade onde o numeral 5 desempenha o papel de
sujeito e o numeral 2 significa o predicado. O esquema abaixo ilustra os elementos da
proposio 5 >2:



s



E 1 C - So sentenas declarativas ou proposies:
P1: 5 um nmero inteiro P2:
4
3
um nmero racional P3: 7 > 3 P4: 12 3 = 1
Comentrio:
Idia = nmero Idia = nmero
Termo Sujeito Termo Predicado
Relao entre o sujeito e o predicado
Proposio (juzo)
Valor lgico verdadeiro
5 > 2



29
Adotaremos a notao L(P) = V para indicar o Valor Lgico Verdadeiro de uma
proposio ou, L(P) = F, para significar sua falsidade. Assim, L(P
1
) = V, L(P
2
) = V,
L(P
3
) = V e L(P4) = F.
Outra notao conveniente 1 para designar uma proposio verdadeira e 0, se
a proposio falsa. Assim, L(P
1
) = 1, L(P
2
) = 1, L(P
3
) = 1 e L(P4) = 0.

EXEMPLO 2 SENTENAS ABERTAS I

E 2 A SO SENTENAS DECLARATIVAS :
Q1: Existe um nmero inteiro x tal que x > 3 Q
2
: Existem rosas vermelhas
Q
3
: Qualquer que seja x, x
2
3x + 2 = 0 Q4: Para todo x, (x) = x
R1: Se um metal aquecido, ele se dilata. R2: Se a = 3, b = 3 e c = 3 ento a = b = c.
R3: Duas retas se interceptam em um e apenas um ponto.
R4: Qualquer figura pode ser deslocada sem alterao de forma e tamanho.
S
1
: Todos os tringulos so trilteros S
2
: Nenhum tringulo quadriltero
S
3
: A soma dos ngulos internos de qualquer tringulo igual a 180 graus.
S
4
: Todos os trilteros so tringulos.
Comentrio:
L(Q
1
) = V, L(Q2) = V, L(Q4) = V. L(Q
3
) = F, pois uma equao do segundo grau tem no
mximo dois valores que a satisfazem. Entretanto, se tais nmeros referem-se ao
conjunto A = {1, 2} ento, em relao a este conjunto, a propriedade verdadeira.
L(R1) = V, pois trata de uma propriedade caracterstica dos metais. L(R2) = V,
L(R
3
) = V, L(R4) = V, L(S1) = V, L(S2) = V, L(S
3
) = V, L(S4) = F.

E 2 B - NO SO SENTENAS DECLARATIVAS:
X
1
: Que dia hoje? X
2
: Proibido ultrapassar. X
3
: Feche a porta. X
4
: Ah!
X
6
: Esplendido! X
7
: As rosas so vermelhas. W
1
: x + 5 = 7 W
2
: x + 3 > 5
W
3
: x
3
= 5 x
2
W
4
: x
2
3x + 2 > 0 W
5
: sen x =
2
3
, W
6
: sen x = 0,866025403
Comentrio:



30
Decorre da conceituao aristotlica que se excluem de concordncia lgica frases
interrogativas (X
1
), exclamativas (X
4
e X
6
), imperativas (X
2
e X
3
) e ambguas (X
7
).
As sentenas W
1
, W
2
, W
3
, W
4
, W
5
e W
6
, chamadas sentenas abertas ou
sentenas abertas simbolizadas, tambm se excluem de concordncia lgica, pois elas
representam grandezas variveis como igualdades ou desigualdades, e assim no so
susceptveis de se classificarem em verdadeiras ou falsas.

1. SENTENAS ABERTAS I

As grandezas podem ser constantes ou variveis.
So simbolizadas pelas letras iniciais do alfabeto, se elas conservam sempre o
mesmo valor, ou pelas ltimas letras se elas so variveis, segundo uma tradio
iniciada, pode-se dizer, pelo matemtico, fsico e filsofo francs Ren Descartes (1596
1650), que costumava representar as incgnitas ou variveis de um problema pelas
ltimas letras do alfabeto latino, sempre utilizando a letra x minscula.
Na Matemtica as sentenas abertas representam-se sob a forma de equaes
ou inequaes. A palavra equao, do latim aequatio, designando toda sentena aberta
que expressa uma igualdade, tem a mesma raiz de igual, do latim aequalis, e
igualdade, do latim aequalitas, aequalitatis. Por igual deve-se entender tudo aquilo que
tem a mesma natureza, qualidade ou quantidade.
Numa sentena aberta, um ou mais smbolos, cada deles denominado varivel,
guardam o lugar onde certos elementos podem ser colocados. Algumas substituies
do afirmativas verdadeiras e outras, afirmativas verdadeiras. O conjunto de todos os
nmeros, ou de um modo geral, elementos de um dado Conjunto Universal U, tambm
chamado Conjunto Universo, que podem ser substitudos numa sentena aberta
chamado Domnio D de definio da sentena. O conjunto de todos os nmeros, ou
elementos, de D que satisfazem a sentena aberta isto , aqueles que a tornam uma
sentena verdadeira - constituem o conjunto Soluo, de smbolo S.
Na pesquisa do conjunto-soluo S de uma sentena aberta em relao a um
dado conjunto universo U pode ocorrer que nenhum elemento do conjunto U satisfaz a
sentena, e neste caso S chamado conjunto vazio e simbolizado por S = C ou S = { }.
Pode ocorrer tambm que S se constitui de apenas um elemento de U ou S se constitui



31
mais de um elemento conjunto U. Se todos os elementos, ou nmeros, de U satisfazem
sentena, isto S = U, ento ela se diz uma identidade, uma lei ou uma tautologia.
Por exemplo, dado U = {1, 2}, observa-se que todos os elementos de U podem
ser substitudos na sentena x + 5 = 7. Assim o domnio D de definio da sentena
D = U e para x = 2 obtemos uma sentena declarativa verdadeira, que falsa para o
outro valor de D. Assim S = {2}. Analogamente, substituindo x por 1 ou x por 2 na
sentena x
2
3x + 2 = 0, observamos que cada um deles produz uma sentena
verdadeira. Como S = U= {1.2} essa equao se diz uma identidade.

2. SENTENAS ABERTAS II

Quer represente fatos, conceitos ou idias, determinar os elementos que satisfazem
uma sentena aberta ou resolv-la em relao a um dado conjunto universo U
procurar expresses mais simples e equivalentes situao original.
Assim a resoluo de uma sentena acarreta substituies de termos por outros
que lhe so equivalentes numa seqncia tal que os elementos que a satisfazem, ou
que transformam numa sentena verdadeira, tornam-se perfeitamente identificveis.
Portanto x + 5 = 7 equivale a x + 5 5 = 7 5 ou x = 2. Logo x + 5 = 7
verdadeira para x = 2 e falsa para qualquer outro valor atribudo varivel x.
Analogamente a equao x
2
- 3x +2 = 0, atravs de manipulaes
algbricas adequadas, pode ser substituda por (x 2)(x 3) = 0. De acordo
com o principio: se o produto entre duas quantidades nulo ento pelo menos
uma das quantidades nula, segue-se que (x 2)(x 3) = 0 equivale a afirmar
que x 2 = 0 ou x 3 = 0. Da decorre ser x = 2 ou x = 3 os elementos que
satisfazem a sentena x
2
- 3x +2 = 0 e pode-se observar que qualquer que seja o
conjunto universo U, D = U e S = { 2, 3 }.
Muitas dedues, entretanto, podem ser simplificadas atravs de uma frmula:
toda equao que expressa uma regra, principio ou fato geral.
o que ocorre com a equao do 1 grau a x + b = 0, com a = 0. O elemento
que a satisfaz dado pela da frmula x = -
a
b
.



32
Analogamente a determinao dos elementos que satisfazem a equao do 2
grau ax
2
+ bx + c = 0, simplificada pela frmula
a
ac b b
x
2
4
2

= , onde a = 0, b e c
so nmeros quaisquer.

EXEMPLO 3 - SENTENAS ABERTAS II

E 3 A
A Sentena 5x - 8 = 4 (2x - 6) - 3x + 7 falsa para qualquer valor de x.
De fato. De 5x - 8 = 8x - 24 - 3x + 7 decorre 5x - 8 = 5x 17.
Da, 5x - 5x = -17 + 8 ou 0 = -11. A equao chamada Contraditria, pois
nenhum nmero, qualquer que seja, jamais a verifica.
Em termos do conjunto-soluo S diz-se que ele vazio: S = C
E 3 B -
A sentena 5x - 8 = 4 (2x - 6) - 3x + 16 verdadeira para qualquer x. De fato.
De 8 = 8x - 24 - 3x + 16 decorre 5x - 8 = 5x 8. Da 5x - 5x = 8 8 ou 0 = 0.
A equao chamada uma identidade. Ela sempre se verifica qualquer que seja
o valor de x em qualquer conjunto numrico U: S = U.
E 3 C
Verifica-se que nenhum nmero x do conjunto N = {0, 1, 2, 3,...} satisfaz a
equao x
2
- 3x + 1 = 0. De fato.
Atravs da frmula de resoluo da equao ax
2
+ bx + c = 0, onde a = 0, b e c
so nmeros quaisquer e
a
ac b b
x
2
4
2

= , temos a = 1, b = - 3 e c =1. Da,
5 4 9 ) 1 ).( 1 .( 4 ) 3 ( 4
2 2
= = = ac b . Portanto, os valores de x que tornam a
sentena dada numa sentena verdadeira so dados por
2
5 3 +
= x ou
2
5 3
= x , que
no so elementos do conjunto N. Assim S = C.
E 3 D -
Considerando que o conjunto universo da equao
5
161
x
= 7 o conjunto N,
N = {1, 2, 3, 4,...}, observamos:



33
(1) x = 5 no pode ser substitudo na equao, pois gera a indeterminao
0
161
=
7. Assim, o valor x = 5 deve ser excludo do domnio D de definio da equao.
(2) Qualquer valor diferente de 5 gera afirmativas que podem ser classificadas
em verdadeiras ou falsas;
(3) O domnio D de definio da equao vai se constituir, portanto, de todos os
valores de x diferentes de 5: D = N { 5 }.
(4) Resolvendo a equao encontramos que o nico elemento de D que torna a
sentena aberta numa sentena verdadeira x = 28. Da S = {28}.
E 3 E
So Exemplos de Identidades:
I) x + 2x = 3x II) 2x + 5 = 5x +10 3x 5
III) (x + 1)
2
= x
2
+ 2x + 1 IV) (x 3)
2
= x
2
6x + 9
V) x
2
4 = (x 2) (x + 2)
VI) x
3
- 3
2
= (x 3) (x
2
+ 3x + 9) VII) x
5
2
5
= (x 2) (x
4
+ 2x
3
+ 4x
2
+ 8x + 16)
VIII) (x) = x

3. QUANTIFICAO DE SENTENAS ABERTAS

Embora as sentenas abertas jamais se classifiquem como verdadeiras ou falsas, se
quantificadas elas podem ser qualificadas ou tornarem-se sentenas declarativas.
Os quantificadores matemticos so o quantificador universal, de smbolo ,
lido como para todo... ou qualquer que seja..., o quantificador existencial -, que se l
existe..., existe algum..., tm o sentido de mais de um ou muitos, mas no todos e o
quantificador existencial especial -! que lido como existe apenas um ....

EXEMPLO 4 - QUANTIFICAO DE SENTENAS ABERTAS EM
U = N = { 0, 1, 2, 3, ...}

E 4 A SENTENAS QUANTIFICADAS VERDADEIRAS I
i) x, (x + 1)
2
= x
2
+ 2x + 1 : para todo x, (x + 1)
2
= x
2
+ 2x + 1
ii) -x e N / x + 2 = 5 : existe pelo menos um x e N tal que x + 2 = 5
iii) -|x e N / x + 2 = 5 : existe apenas um x e N tal que x + 2 = 5



34
iv) x e N, x
2
+ 1 > 0 : qualquer que seja x, x
2
+ 1 > 0
v) x e N, (x) = x : para cada x, (x) = x
vi) -x e N / x
3
= 5x
2
: existe algum x e N tal que x
3
= 5x
2
.
Se o conjunto universo U no for explicitado, como em (i), conjeturamos que a
sentena tem validade qualquer que seja o conjunto universo.

E 4 B SENTENAS QUANTIFICADAS VERDADEIRAS II
i) x e N, x + 2 = 5 ii) x e N, x
3
= 5x
2

iii) -|x e N / x
3
= 5x
2
iv) -x e N / (x + 1)
2
= x
2
+ 2x + 1
v) -x e N / x
2
+ 1 > 0 vi) -x e N / (x) = x

E 4 C AVALIAO LGICA DE SENTENAS QUANTIFICADAS
i) -x e N/ x + 3 = 10 (F) ii) -x e N / x + 3 = 5 (V)
iii) x e N / x + 3 < 10 (V) iv) -x e N / x + 3 s 5 (V)
v) x e N / x + 3 s 7 (F) vi) x e N / x
2
= 4 (F)
vii) -x e N / x
2
= 4 (V)

EXEMPLO 5 - QUANTIFICAO DE SENTENAS PARA U = N = { 0, 1, 2, 3, ...}

E 5 A As solues da sentena x
2
3x + 2 = 0 so x = 1 ou x = 2. Assim:
i) x e N, x
2
3x + 2 = 0 (F)
ii) - x e N / x
2
3x + 2 = 0 : Existe elemento que no pertence ao conjunto N que
soluo da equao x
2
3x + 2 = 0 (F)
iii) x e N, x
2
3x + 2 = 0 (F) iv) -| x e N / x
2
3x + 2 = 0 (F)
v) -x e N / x
2
3x + 2 = 0 (V).
E 5 B A sentena 5x + 2 s 12
i) x e N, 5x + 2 s 12 (F) ii) -x e N / 5x + 2 s 1 (V)
iii) -|x e N / 5x + 2 s 12 (F) iv) x e N , 5x + 2 s 12 (F)
Note-se:



35
(1) Adicionando-se 2 a ambos os membros da desigualdade 5x + 2 s 12,
decorre 5x + 2 2 s 12 2 e ela se preserva como 5x s 10;
(2) Dividindo-se ambos os membros de 5x s 10 por 5, segue-se x s 2.
Portanto, os nmeros x de N que satisfazem x s 2 so S = {0, 1, 2}.
Note-se que est implcito neste raciocnio, como em todo raciocnio
matemtico, um interessante lema matemtico: o melhor modo de resolver um
problema novo procurar reduzi-lo a um, ou mais problemas j conhecidos.
Assim atravs das conseqncias tcnicas decorrentes dos Axiomas que
Euclides enuncia nos Elementos, 5x + 2 s 12 tornou-se equivalente a x s 2.
E 5 C -
i) x e N, x (x + 1) = x
2
+ x (V) ii) -x e N / x (x + 1) = x
2
+ x (F)
iii) -|x e N / x (x + 1) = x
2
+ x (F) iv) -x e N / 3
2
1
x > + (V)
v) -|x e N /
1 x
1
+
e N (V). Note-se que esta expresso s verificada para x = 0.
i) x e N,
5
x

3
x

2
x
= + (F). Note-se que se x = 0, encontramos 0= 0.
ii) -x e N /
5
x

3
x

2
x
= + (V)
iii) -|x e N /
5
x

3
x

2
x
= + (F). Observe-se que a expresso no se verifica para x = 0.

3. O CONTEDO DAS PROPOSIES SIMPLES I

As proposies simples, chamadas por Aristteles de categricas, classificam-
se quanto a extenso ou quantidade e a qualidade.
A qualidade de uma proposio identificada pela forma como enunciada: se
afirmativa ou negativa. Assim as proposies qualitativas ou so afirmativas, se o
sujeito e o predicado concordam entre si, ou negativas, quando o predicado negado
ao sujeito.
So exemplos de proposies categricas quanto qualidade:

AFIRMATIVAS Todos os tringulos so trilteros



36
Alguns tringulos so retngulos.
NEGATIVAS Nenhum triangulo quadrado
Alguns tringulos no so issceles.

As proposies quantitativas so do tipo Universal se o sujeito afirmado em
toda a sua extenso. Se o sujeito se afirma em extenso restrita as proposies
quantitativas so chamadas Particulares. Se estiverem se referindo a um s elemento
so chamadas Singulares.
Como a extenso de uma proposio est subordinada extenso do termo
sujeito, isto significa que para determinar a extenso de uma proposio, basta analisar
os quantificadores do sujeito.
Assim, so exemplos de proposies categricas quanto extenso:

UNIVERSAIS Todos os tringulos so trilteros
Nenhum tringulo quadrado.
PARTICULARES Alguns tringulos so retngulos
Alguns tringulos no so issceles.
SINGULARES O Triangulo ABC retngulo.
O Triangulo ABC no issceles.

4. O CONTEDO DAS PROPOSIES SIMPLES II

Desde que a conceituao aristotlica formulou os quatro modos de apresentao das
proposies lgicas, convencionou-se classific-las de acordo com a combinao dos
critrios da qualidade e da extenso em A, E, I, O.
A e I so as duas primeiras vogais da palavra afirmo.
E e O so as vogais de nego.
Os quadros abaixo resumem os quatro tipos de proposies categricas da
formulao aristotlica
TIPO EXTENSO QUALIDADE FORMA GERAL
A UNIVERSAL AFIRMATIVA TODO A B



37
E UNIVERSAL NEGATIVA NENHUMA A B
I PARTICULAR AFIRMATIVA ALGUM A B
O PARTICULAR NEGATIVA ALGUM NO B

A partir do quadro geral acima se pode observar como o termo sujeito e o termo
predicado distribudo para cada tipo de proposio.
A partir do quadro geral abaixo pode-se verificar a distribuio o sujeito e do
predicado para cada tipo de proposio:
1. As proposies do tipo A e E tornam o sujeito universal e as sentenas do tipo
E, O torna o predicado universal;
2. As proposies do tipo I e O no distribuem o sujeito e as proposies do tipo
A e I no distribuem o predicado.

TIPO EXTENSO QUALIDADE
EXTENSO
DO SUJEITO
EXTENSO DO
PREDICADO
A UNIVERSAL AFIRMATIVA UNIVERSAL PARTICULAR
E UNIVERSAL NEGATIVA UNIVERSAL UNIVERSAL
I PARTICULAR AFIRMATIVA PARTICULAR PARTICULAR
O PARTICULAR NEGATIVA PARTICULAR UNIVERSAL

EXEMPLO 6 - PROPOSIES CATEGRICAS

E 6 A -
AFIRMAO
UNIVERSAL Todos os astronautas so matemticos. Nenhum astronauta matemtico
PARTICULAR Alguns astronautas so matemticos Alguns astronautas no so matemticos
SINGULAR Pedro astronauta. Pedro no um astronauta.

Comentrio: Segundo Aristteles, proposies singulares podem se considerar
universais, pois o predicado aplica-se ao sujeito, que nico, de um modo total.
E 6 B
AFIRMAO



38
UNIVERSAL Toda funo uma equao. Toda funo no uma equao
PARTICULAR Algumas funes so equaes Algumas funes no so equaes
SINGULAR f(x) = x
2
uma funo. f(x) = x
2
no uma funo.

E 6 C
AFIRMAO
UNIVERSAL Toda funo diferencivel continua. Nenhuma funo diferencivel contnua
PARTICULAR Existem funes diferenciveis
contnuas.
Algumas funes diferenciveis no so
contnuas.
SINGULAR f(x) = x
2
diferencivel. f(x) = x
2
no uma funo diferencivel.

E 6 D
AFIRMAO
UNIVERSAL Todos os tringulos so trilteros. Todo tringulo no triltero
PARTICULAR Existem tringulos que so trilteros Existem tringulos que no so trilteros
SINGULAR O tringulo T issceles. O tringulo T no issceles.




39
DIAGRAMA DE UMA PROPOSIO

Esquematicamente, as proposies da conceituao aristotlica abreviam-se como:


AFIRMAO UNIVERSAL AFIRMAO PARTICULAR
I. TODO X Y III. ALGUM X Y
II. NENHUM X Y IV. ALGUM X NO Y

O matemtico suo Leonhard Euler (1707-1783) no livro Lettres une Princese
dAllemagne sur divers sujets de Physique et de Philosophie, dedicado princesa
alem Anhalt Desssau, desenvolveu um mtodo simples que se tornou de uso corrente
para explicar as quatro proposies bsicas da concepo aristotlica.
O mtodo de Euler, aprimorado por John Venn (1834-1923), procura reconhecer
os conjuntos envolvidos nas proposies e represent-los por desenhos constitudos
de curvas fechadas e no entrelaadas. Segundo Euler-Venn, as quatro proposies
fundamentais da conceituao aristotlica podem representar-se como:








Atravs dos diagramas de Euler-Venn, muitas proposies se traduzem em
proposies equivalentes sobre conjuntos, pois os objetos, em termos matemticos,
assim se organizam. Estas representaes permitem, em muitos casos, avaliar a
validade de um argumento.
Entretanto, deve-se observar, a simplicidade dos propsitos pretendidos to
somente ajudar a visualizar o contedo de certas proposies, particularmente de
algumas frases matemticas, elevando a possibilidade de se exercitar raciocnios.

X
Y
X
Y
X Y X Y
Todos os X so Y
Nenhum X Y
Algum X Y Algum X no Y




40
1 LEITURA DOS DIAGRAMAS DE EULER- VENN

Seja E o conjunto dos estudantes.
Procurando visualizar o conjunto E imaginamos no conjunto P de todas as
pessoas duas classes distintas de pessoas: aquelas que compartilham a propriedade
comum ser estudante e outra, das pessoas que no so estudantes.
O conjunto E pode ser representado por uma curva fechada simples de modo
que cada ponto no interior desta regio indica um elemento de E. Os pontos exteriores
a esta regio formam o conjunto dos elementos que no so estudantes representados
por ~E, E ou , lidos como no E. O diagrama 1, abaixo a esquerda, ilustra tudo isto.

g



Diagrama 1 Diagrama 2 Diagrama 3
O conjunto P, considerado o mais prximo como referncia por conter o maior
interesse de alcance acerca da proposio enunciada, escolhido para atuar como
Conjunto Universo U. O conjunto E, que est contido no conjunto P de todas as
pessoas, dito subconjunto de P. Os conjuntos E e devem ser vistos como conjuntos
disjuntos: conjuntos que no tem nenhum elemento em comum e tais que U pode ser
lido como E (~ E), E unio com no E. Em geral, e para todos os efeitos, como ilustra
o diagrama 3, quando uma proposio A enunciada, imediatamente a sua negao
no A, se manifesta num dado universo U.
Deve-se notar, e importante que se note, qual o objetivo das representaes
atravs de diagramas: ilustrar a idia geral de uma proposio a fim de inferir
conseqncias intuitivamente aceitveis. Seno, pode-se questionar se existiriam
pontos que no esto nem no interior do conjunto E e nem no exterior de E? Como
ilustra o diagrama 2 figura acima, existiriam elementos que esto sobre a linha
demarcatria do conjunto E ? Neste caso o que estaria representando um elemento
sobre esta linha?
E
P

E
P
~E
x
A
U
A




41
As especulaes podem ser afastadas se a linha da regio plana que delimita o
conjunto E for imaginada to somente como uma demarcao do alcance da idia que
est enunciando E.

EXEMPLO 7 DIAGRAMA DE UMA PROPOSIO I

Seja A conjunto dos astronautas e M o conjunto dos matemticos.
Os conjuntos A e M relacionam-se de acordo com uma das formulaes:

E 7 A Todos os astronautas so matemticos









E 7 B Alguns astronautas so matemticos









EXEMPLO 8 DIAGRAMA DE UMA PROPOSIO II

Na proposio Todos os astronautas (A) so matemticos (M) observamos:
1. Representaes decorrentes:
A
M
E 6 D Alguns astronautas no so Matemticos.



A M
A M
E 6 B Nenhum astronauta Matematico




M
A



42
(1) Identificando o conjunto dos matemticos que no so astronautas.
(2) Identificando o conjunto das pessoas que no so matemticos.
(3) Identificando o conjunto das pessoas que no so astronautas.
(1) (2) (3)







2. Questionamentos:
Pergunta 1: Existem astronautas que no so matemticos?
Pergunta 2: Existem matemticos que no so astronautas?
Pergunta 3: Se uma pessoa no matemtico ento ela no astronauta?
Pergunta 4: Se uma pessoa no astronauta ento ela no matemtico ?
Para avaliar cada pergunta formulada sejam os diagramas:

Diagrama 1 Diagrama 2 Diagrama 3






Diagrama 4 Diagrama 5




A
M
A
M
A
M
A
M
A
M
A
M

A
M
A
M




43

3. Avaliao dos questionamentos:
I. Resposta Pergunta 1:
O diagrama1, representando o conjunto dos matemticos, ilustra que todo
elemento de A tambm elemento de M. Portanto a resposta pergunta (I) no.
II. Resposta Pergunta 2:
O diagrama 2, representando o conjunto dos matemticos que no so
astronautas, ilustra que a resposta a Pergunta 2 sim.
III. Resposta Pergunta 3:
O diagrama 3, representando o conjunto das pessoas que no so matemticos
e nem astronautas, ilustra que a resposta pergunta 3 sim.
IV. Resposta Pergunta 4:
O diagrama 4, representando o conjunto das pessoas que no so astronautas,
ilustra que a resposta pergunta 4 no.
O diagrama 5, representando o conjunto dos matemticos que no so
astronautas, ilustra tambm que a resposta pergunta 4 no.

EXEMPLO 9 DIAGRAMA DE UMA PROPOSIO III

Seja F o conjunto das funes, E o conjunto das equaes, P o conjunto
das funes Polinomiais, R o conjunto das funes racionais e A o conjunto das
funes Algbricas.
O conjunto A, conjunto das funes que no so algbricas, chamado
conjunto das funes transcendentais: o conjunto daquelas funes cuja
construo transcende os mtodos algbricos.
Considere as proposies que, diga-se, so todas verdadeiras:
E 9 A Toda funo (F) uma equao (E).
Nessa proposio os objetos matemticos de nome funo estruturam-se como
equaes.




E
F

Algumas Concluses:
(1) Nem toda equao uma funo
(2) Existem relaes matemticas que no se
descrevem como equaes



44




E 9 B Toda funo polinomial (P) uma funo racional (R).






E 9 C Toda funo racional (R) algbrica (A).






R
P
Algumas Concluses:

(1) Nem toda funo racional polinomial
(2) Existem funes que no so racionais
A
R
Algumas Concluses:

(1) Nem toda funo algbrica racional
(2) Existem funes que no so algbricas



45
E 9 D
Se toda funo polinomial (P) racional (R) e toda funo racional algbrica (A),
ento toda funo polinomial algbrica.








EXEMPLO 10 - DIAGRAMA DE UMA PROPOSIO IV

E 10 A Toda funo diferencivel contnua
Esta proposio diz que se uma dada funo f tem a propriedade ser
diferencivel, ento f tem (herda) a propriedade ser contnua.
Outra leitura : Se f uma funo diferencivel, ento f contnua.

Sejam: F
F : Conjunto das Funes
C: Conjunto das FunesCcontnuas.
D: Conjunto das Funes Diferenciveis.
Algumas concluses decorrentes:
(1) Se f no for diferencivel ento f poder ser contnua ou no ser contnua.
(2) Se f no for contnua, ento f no diferencivel.
(3) Se f contnua, a condio f diferencivel no suficientemente verdadeira.

A

A
R
P
C
D




46
Outra leitura :

Toda funo continua em um intervalo [a,b]
Riemann Integrvel em [a,b].

E 10 B
Se f uma funo contnua num intervalo fechado I = [a, b] (C), ento f
Riemann Integrvel ( R ) em [a,b].







E 10 C Toda funo polinomial (P) Riemann-Integrvel em [a, b] (R).

Outra leitura :
Se f uma funo polinomial, ento f
Riemann - Integrvel em qualquer intervalo fechado [a, b].

E 10 D Todos os tringulos so trilteros.

Essa proposio diz que todos os tringulos esto contidos na classe das figuras que
tm trs lados.

Conjuntos Envolvidos: G
T: Conjunto dos Tringulos.
L: Conjunto dos objetos trilteros.
G: Conjunto dos objetos geomtricos.

Algumas Concluses:
(1) Se T um tringulo, ele triltero e a proposio se verifica naturalmente.
(2) A proposio: se T um tringulo, ele no triltero, uma contradio.
(3) Se um objeto triltero, ele pode ser tringulo.
(4) Se o objeto geomtrico no triltero, ele no um tringulo.
(5) Se o objeto geomtrico no um tringulo, ele poder ser ou no triltero.
R
C
R
R
P
T
L



47
LEITURAS DE UM ARGUMENTO

Enquanto termo a expresso do conceito, a proposio a expresso de um
juzo e o argumento a expresso de um raciocnio.
Um argumento todo conjunto constitudo de n +1 sentenas, cada uma delas
chamada premissa, de tal modo que aquela que requer justificativa denominada
concluso. Assim que designando por P1, P2, . . . , Pn e C, n + 1 sentenas dadas, um
argumento toda seqncia finita, P1, P2, P3, . . . , Pn, C, onde a concluso C
conseqncia das premissas P1, P2, P3, . . . , Pn.
Qualquer argumento, indicado pela notao, P1, P2, P3, ..., Pn I C, contm
qualquer uma das seguintes leituras:
I. P1, P2, P3, ..., Pn, implicam ou acarretam C.
II. C se deduz ou decorre de P1, P2, P3, ..., Pn.
Tome-se, por exemplo, a proposio singular como dois um numero real.
Esta proposio adquire considervel interesse se existem informaes que
esclaream quem o sujeito e como o sujeito se relaciona com o predicado.
Assim suponha que seja dito:
Todos os nmeros inteiros so reais.
Ora, dois um nmero inteiro.
Logo, dois um nmero real.

Deste modo passamos a ter uma construo de interesse, pois comporta
verificar se a concluso dois nmero real decorre das premissas dois nmero
inteiro e todos os nmeros inteiros so reais.
O diagrama de Euler-Venn, onde Z o conjunto dos nmeros inteiros e R o
conjunto dos nmeros reais, ilustra que a concluso correta e que o argumento est
bem construdo.




Z
R
. Dois



48
A conluso decorre das premissas e assim argumento considerado
dedutivamente vlido ou legtimo.

1 LEITURAS DE UM A ARGUMENTO I

Os argumentos se distinguem como persuasivos ou demonstrativos.
Os argumentos persuasivos procuram o convencimento atravs de proposices
que promovam a adeso emocional do interlocutor apelando para fatores subjetivos
como elementos decisivos dos enunciados.
Os argumentos demonstrativos constituem o campo de interesse da Lgica e se
caracterizam pela racionalidade, objetividade e independencia de fatores subjetivos.
Consideremos o argumento: Todos os nmeros inteiros so reais.
Ora, dois um nmero inteiro.
Logo, dois um nmero real.

Este argumento procura demonstrar que dois um nmero real a partir de
trs elementos que so fundamentais na estrutura de um argumento.
- O primeiro elemento est sendo dado pela palavra ora, que articula as duas
primeiras proposies como ponto de partida, constituindo por isto mesmo um conjunto
de proposies chamado Antecedente;
- O segundo elemento, dado pela palavra logo, articula a terceira proposio
como conseqncia das duas primeiras, atua como ponto de chegada, e por isto
constituindo um conjunto chamado Conseqente;
- O terceiro elemento, mais sutil, chamado de Inferncia do latim inferre, que
significa levar para, pois atua como algo que conduz das premissas ou conjunto
antecedente para a concluso ou conjunto conseqente.
Se a concluso se apresenta como conseqncia das premissas, o argumento
diz-se bem construdo ou argumento vlido. Assim uma inferncia ser dita Vlida se
existe uma relao que efetivamente liga o antecedente ao conseqente. Se a relao
apenas aparente, a inferncia dita No Vlida. Portanto, para avaliar a validade de
um argumento dois pontos so relevantes:
I O valor lgico das premissas e,
II Qual a conexo estabelecida entre as premissas e a concluso.



49
Quanto ao juzo que se faz do argumento, esta uma questo a ser dirimida
pela rea de especialidade a qual a Lgica se aplica. Quando aplicada a um rea de
especialidade, torna-se fundamental saber determinar o valor lgico do argumento ai
includos o valor lgico das premissas e da concluso.

2 LEITURAS DE UM A ARGUMENTO II

O smbolo e o processo de simbolizao so to fundamentais que, sem ele,
o raciocnio matemtico quase impossvel.
Atravs da simbolizao o contedo da premissa esvaziado, restando uma
forma que no se classifica como verdade ou falsidade, mas como vlida ou no-
vlida.

EXEMPLO 11 - DISTINO ENTRE FORMA E CONTEDO

ARGUMENTO 1 CONTEDO FORMA
Todo numero par (P) natural (N)
Todo numero natural inteiro (Z)
Todo P N
Todo N Z
Todo nmero par inteiro Todo P Z
VERDADEIRO VLIDA

ARGUMENTO 2 CONTEDO FORMA
Todo nmero natural (N) racional (Q)
Todo numero inteiro (Z) racional
Todo N Q
Todo Z Q
Todo numero natural inteiro Todo N Z
VERDADEIRO NO-VLIDA




50

ARGUMENTO 3 CONTEDO FORMA
Todo numero inteiro (Z) irracional (Q)
3
2
um numero inteiro
Todo Z Q
3
2
Z
3
2
um numero irracional
3
2
Q
FALSO VLIDA

ARGUMENTO 4 CONTEDO FORMA
Nenhum numero racional (Q) inteiro (Z)
Alguns inteiros so nmeros reais (R)
Nenhum Q Z
Alguns Z so R
Nenhum numero racional real Nenhum Q R
FALSO NO - VLIDA

3 LEITURAS DE UM A ARGUMENTO III

Um importante argumento aquele que tem a seguinte estrutura:





Este argumento, que se diz bem construdo, pois qualquer que sejam as
proposies A, B e C, a concluso se articula como conseqncia das premissas
dadas, denomina-se Silogismo. Silogismo significa ligao.
Considerado uma das formas perfeitas do raciocnio dedutivo, o silogismo uma
argumentao na qual um antecedente que une dois termos a um terceiro deduz um
conseqente que une esses dois termos.
Uma das regras estabelecidas por Aristteles para distinguir os silogismos
vlidos aquela: um argumento garante a veracidade da concluso se ele se constitui
de premissas verdadeiras e um argumento vlido. Ou:

Todo A B
e
Todo B C
Todo A C

Se Ento
Premissas

Concluso




51
De duas proposies verdadeiras no se pode obter uma concluso falsa.

Seja, para exemplo, o argumento:
Premissas: Todos os astronautas so matemticos
Pedro astronauta.
Concluso: Pedro matemtico.

Supondo que as premissas dadas so verdadeiras , a concluso decorre
naturalmente e o argumento dito vlido ou legtimo. Adimitamos que a
concluso fosse: Pedro no matemtico. Neste caso uma das premissas deve
ser falsa. Se Pedro astronauta for verdadeira e Pedro no matemtico a
concluso, ento, a primeira premissa deve ser falsa. Se Todos os matemticos
so astronautas e Pedro no matemtico a concluso, ento neste caso a
segunda premissa que dever ser fals.
Assim, a falsidade da concluso incompatvel com a verdade das
premissas.

4 LEITURAS DE UM A ARGUMENTO IV

Entretanto, como ilustra os exemplos abaixo, se as premissas so falsas,
pode-se ter tanto uma concluso falsa quanto verdadeira:


Para outro exemplo, seja o silogismo:
PREMISSA 1 PREMISSA 2 CONCLUSO
PREMISSAS
VALOR
LGICO
PREMISSAS
VALOR
LGICO
Todo nmero inteiro irracional
F
Todo nmero irracional inteiro
F

3
2 um nmero inteiro F 5 um nmero irracional F
CONCLUSO CONCLUSO

3
2 um nmero irracional F 5 um nmero inteiro V



52
Todo A B Algum C B; Algum C A.

Admitindo que as premissas so verdadeiras, verifica-se, pelo diagrama abaixo
esquerda, que a concluso falsa.







Entretanto, pode-se imaginar que o alcance da segunda premissa permitisse a
construo do diagrama acima direita a fim de manter a concluso.
Mas, para que um silogismo seja vlido necessrio que a concluso seja
verdadeira sempre que as premissas tambm o sejam. Como a primeira representao
mostra uma possibilidade onde a concluso no verdadeira, embora as premissas se
considerem verdadeiras, o silogismo no vlido. Substitua, por exemplo, A por
pobres, B por dignos e C por ricos: a falsidade do argumento torna-se mais clara.
Quando uma concluso no conseqncia das premissas apresentadas, ou
uma afirmao falsa ou errnea, o argumento diz-se mal construdo, sofisma ou falcia.

5 LEITURAS DE UM A ARGUMENTO V

Enquanto disciplinas como Histria, Fsica ou Biologia dependem da
observao para justificar suas concluses, o conhecimento lgico independe da
experincia.
O conhecimento que se baseia na experincia dito emprico e o conhecimento
que independe ou obtido antes da experincia, dito a priori. Eles so de espcies
que se vem distintas tanto pelos esclarecimentos quanto pelos problemas que ajudam
a levantar aos quais esto associados dois tipos de raciocnio: a deduo e a induo.
A induo um raciocnio onde a concluso pode expressar uma conjectura de
maior amplitude que os dados podem supor. A verdade dos dados no garantia para
a concluso: no mximo apiam a concluso, mas no garantem, necessariamente, a
A
B C
A
B
C



53
sua veracidade. Por exemplo, digamos que os gatos observados so todos brancos.
Raciocinando indutivamente podemos concluir que todos os gatos so brancos, mas o
que realmente podemos afirmar que talvez todos os gatos sejam brancos.
Para outro exemplo, seja S a soma 1 + 3 + 5 + 7 + 9 + 11 + . . . + n dos n
primeiros nmeros mpares e considere as seguintes somas:
i) A soma dos dois primeiros nmeros inteiros 1 + 3 = 4 e 4 =
2
2 ;
ii) A soma dos trs primeiros mpares 1 + 3 + 5 = 9 e 9 =
2
3 ;
iii) A soma dos quatro primeiros mpares 1 + 3 + 5 + 7 = 16 e 16 =
2
4 ;
iv) A soma dos cinco primeiros mpares 1 + 3 + 5 + 7 + 9 = 25 e 25 =
2
5 .
E assim sucessivamente somos induzidos a concluir que a soma S igual ao
quadrado de n: S =
2
n . Mas, o prximo passo verificar se a induo verdadeira.
Quanto deduo pretendemos saber a priori se no houver erro lgico e se as
premissas forem verdadeiras, ou aceitas como verdadeiras, ento a concluso ter que
ser necessariamente verdadeira.
Os raciocnios dedutivos se fazem por trs etapas:
A primeira etapa reconhece uma afirmao geral, chamada premissa maior. A
segunda etapa estabelece uma afirmao particular sobre algum ou vrios elementos
do conjunto da afirmao geral e, portanto, chamada premissa menor. A terceira
etapa, denominada concluso, a deduo ou aplicao da afirmao geral
afirmao particular.
Assim o raciocnio dedutivo tambm conhecido como raciocnio silogstico,
pois os trs tipos de afirmao premissa maior (afirmao geral), premissa menor
(afirmao particular) e concluso (deduo), constituem um silogismo (ligao).



54
EXEMPLO 12 - RACIOCNIOS DEDUTIVOS

E 12 A Seja o argumento:

Premissa Maior: Todos os homens so mortais
Premissa Menor: Pedro homem
Concluso: Pedro mortal
A concluso verdadeira e a validade do raciocnio ilustrada pelos diagramas
de Euler-Venn. Na ilustrao, onde H o conjunto dos Homens e M o conjunto dos
Mortais, observamos que a concluso decorre das premissas dadas.

E 12 B Seja o argumento:
Pedro selenita, pois Pedro economista e todos os economistas so selenitas.
A proposio singular Pedro selenita decorre das premissas:
Joo radical.
e
Todos os radicais so selenitas.

No silogismo acima temos:
Premissa Maior : Todos os radicais so selenitas
Premissa Menor : Joo radical
Concluso : Joo selenita.
Atravs dos diagramas de Euler-Venn, onde R o conjunto dos Radicais e
S o conjunto dos Selenitas, a concluso decorre das premissas independente
do significado da palavra selenita ou do que quer significar radical.

R
S
Pedro
H
M



55
E 12 C Seja o argumento:
Premissas: Todo nmero racional inteiro (Z) racional (Q);
Nenhum nmero irracional (Q) raciona
2 irracional

Concluso: 2 no inteiro.
Z


E 12 D Seja o argumento: B
B .x
Premissas: Todo A B;
Nenhum C B;
x C.

Concluso: x no A.
Comentrio:
Este exemplo generaliza o exemplo anterior atravs das substituies: conjunto dos
nmeros inteiros por A, conjunto dos nmeros racionais por B, conjunto dos nmeros
irracionais por C e 2 por x. O argumento vlido, pois a concluso se mantm:
Estas so situaes tpicas do conhecimento tratado pela Lgica: o argumento
apresentado vlido em razo de sua forma lgica. A noo de forma lgica est
associada ao arranjo dos vocbulos todo, nenhum, algum, , no, e, ou, e se.
A Lgica, diga-se, significa desde uma correspondncia entre o discurso e a
realidade at uma metodologia de construo e anlise de argumentos. Assim a Lgica
se ocupa mais com a estrutura dos argumentos do que o contedo dos enunciados que
o compe.


Q
Q'
2

C

A





56
EXEMPLO 13 AVALIAO DE RACIOCNIOS DEDUTIVOS I

E 13 A - Seja o argumento:
257.896.545 divisivl por 3, pois a soma dos seus algarismos divisvel por 3
e todo nmero divisivl por 3 se a soma dos seus algarismos divisvel por 3.
A concluso 257.896.545 divisvel por 3 decorre das premissas:
A soma dos algarismos do nmero 257.896.545 divisivl por 3 e,
Todo nmero divisvel por 3 se a soma dos seus algarismos divisvel por 3.

E 13 B - Seja o argumento:
Premissas : Todas as mulheres tm a mesma altura.
Todas as pessoas que tm a mesma altura so ruivas.
Concluso: Todas as mulheres so ruivas.
Avaliao: Argumento legtimo com premissas e concluses falsas.




57
E 13 C Seja o argumento:

5 > 2 e 2 > 1:



s











E 13 D Seja o argumento:

Premissas: Todos os estudantes (E) so atletas (A).
Nenhum artista (P) atleta.
Joo artista.
Concluso: Joo no estudante.

Avaliao: Argumento vlido.

EXEMPLO 14 AVALIAO DE RACIOCNIOS DEDUTIVOS II

Idia = nmero Idia = nmero
Premissas
Concluso
Argumento ( Raciocnio )
5 > 2
Sujeito (termo) Predicado
(termo)
Relao entre o sujeito e o predicado
5 > 2
2 > 1
E
A
P
. Joo



58
E 14 A Seja o argumento:
Premissas: Toda funo racional (R) algbrica (A).
Funes Hiperblicas (H) so transcendentais (T).

1
) (
2
+
=
x
x
x f racional
Nenhuma funo transcendental algbrica.
Concluso:
1
) (
2
+
=
x
x
x f no hiperblica.
Avaliao: Argumento vlido.

E 14 B Seja o argumento:

I. Alguns pesquisadores (P) so pessoas interessantes (I).
II. Astronautas (A) so matemticos (M).
III. Maria pesquisadora.
IV. Todos os matemticos so interessantes.

Algumas Concluses :

I) Toda pessoa interessante pesquisadora no suficientemente verdadeira.
II) Existem astronautas pesquisadores falsa.
III) Alguns pesquisadores so astronautas falsa.
IV) Maria uma pessoa interessante no suficientemente verdadeira.
V) Maria no astronauta verdadeira.
VI) Existem pessoas interessantes que no so pesquisadores verdadeira.

H
T
R
A
A
M
I
P



59
E 14 C Seja o argumento:

Premissas: Todo engenheiro (E) matemtico (M).
Alguns advogados (A) so matemticos.
Concluso: Alguns advogados so engenheiros.

O diagrama mostra que o silogismo um sofisma: a concluso no uma
conseqncia das premissas dadas.

EXEMPLO 15 AVALIAO DE RACIOCNIOS DEDUTIVOS III

E 15 A Seja o argumento:
Premissas: Todo engenheiro (E) matemtico (M).
Alguns advogados (A) so engenheiros.
Concluso: Alguns advogados so matemticos.
A concluso decorre das premissas.

E 15 B Seja o argumento:

Premissas: Toda funo diferencivel (D) contnua (C).
Toda funo polinomial (P) diferencivel.
Concluso: Toda funo polinomial contnua.
A concluso decorre das premissas.

E 15 C
Premissas: Toda funo diferencivel contnua.
Toda funo polinomial contnua.
Concluso: Toda funo polinomial diferencivel.
M
E
A
C
D
M
A
E



60
Chamado a opinar, um especialista dir que a concluso verdadeira.
Entretanto, no se infere das premissas a veracidade da concluso, pois as seguintes
possibilidades de relacionamento entre as duas premissas podem ocorrer:












P
D
C
P D
C
P
D
C
D
P
C



61
PRINCPIOS LGICOS FUNDAMENTAIS

Aristteles inicia seu sistema lgico atravs de trs proposies fundamentais:
I. Primeiro Princpio Lgico Fundamental - O Princpio da Identidade:
O que , .
Enunciado por Parmnides, ele pode ser entendido como todo objeto igual a si
mesmo. Um sentido dizer que a qualidade atribuda ao sujeito expressa um atributo
que lhe compatvel, da decorrendo uma identidade. Outro sentido afirmar a
identidade de algo consigo mesmo e assegurar que aquilo que , enquanto no pode
deixar de ser.
Uma leitura interpreta este princpio pela Propriedade Reflexiva x =x, que se
constitui na primeira regra bsica das igualdades.
Veja-se que tambm podemos ler: dois objetos idnticos a um terceiro so
idnticos entre si ou dois objetos, dos quais um idntico e o outro no idntico a um
mesmo terceiro objeto, so diferentes entre si. Por exemplo, se x = 5 e y = 5, ento x =
y ou se x = 5 e y = 5, ento x = y.

II.Segundo Princpio Lgico Fundamental- O Princpio da No Contradio:
Tudo aquilo que possui atributo no pode, simultaneamente, ser e no ser.
Este princpio afirma que um objeto no pode existir simultaneamente, em dois
lugares. Se afirmarmos que x x e que x no x ento uma das duas afirmativas
exclui a outra. x x e x no x se denomina uma contradio.
Este princpio esclarecedor, pois a dialtica aristotlica se orienta para uma
escolha entre juzos da forma ser e no-ser e no para escolhas binrias do tipo bem /
mal. No o caso, digamos, de se optar entre rosas vermelhas e rosas brancas, mas
de escolher entre rosas vermelhas e rosas no-vermelhas.

III. Terceiro Princpio Lgico Fundamental - O Princpio do Terceiro Excludo:
Tudo aquilo que possui atributo deve ser ou no ser.
Esse princpio complementa o Principio da No Contradio, pois nega uma
terceira possibilidade entre o valor positivo ser e o valor negativo no-ser. No significa,
digamos, afirmar que entre quente ou frio existe o morno, mas sim que determinado



62
objeto est quente ou frio. Isto porque, de acordo com o raciocnio aristotlico, se um
objeto est morno ele no esta nem quente, nem frio: morno uma outra realidade.

1 OS CONECTIVOS LGICOS I

Desde o simbolismo de Leibnitz a idealizao de uma lgebra da Lgica
comea a tomar contornos quando Boole em Pesquisas sobre as leis do pensamento,
d forma s percepes de Leibnitz ao comparar as leis da lgebra s leis do
pensamento.
Para Leibnitz h uma equivalncia entre a Lgica e a lgebra que pode ser
aproximada pela comparao:

LGICA
REPRESENTAO
LGICA
REPRESENTAO
ALGBRICA
Idia Conceito Termos Simblicos
Juzo Proposio
Sentenas Abertas:
Igualdades ou Desigualdades
Raciocnio Argumento Operaes ou Transformaes

Na lgebra idealizada por Boole, denominada Booleana, as proposies so
olhadas como variveis cujo contedo lido como classe ou conjunto.
O produto X.Y ou XY, representando a classe dos elementos que pertencem
classe X e classe Y, denotado por X Y e significa a interseo de X e Y.
O conjunto dos elementos que pertencem somente classe X ou somente
classe Y ou a ambos denotado por X+Y ou XY e significa a unio de X com Y.
A diferena X Y lida como os objetos da classe X de onde foram retirados os
elementos da classe Y.









63









2 OS CONECTIVOS LGICOS II

Enquanto a soluo da equao XX = X dada pelos nmeros x = 0 ou x = 1,
na lgebra Booleana esta equao sempre verdadeira para qualquer X, pois a classe
dos objetos que pertencem classe X com os objetos que pertencem a classe X a
prpria classe X.





As leis da lgebra permanecem vlidas desde que restrita aos nmeros 0 e 1,
interpretados como classes especiais onde 1 significa a classe de todos os objetos, o
conjunto universo ou uma tautologia e 0 significa a classe que no contm nenhum
objeto, conjunto vazio ou uma falcia.





Assim 1 X a classe de todos os objetos que no fazem parte da classe X:

Classe X Classe Y X + Y X . Y
Classe x XX =X

1

0
0




64



1

Infere-se tambm que o produto X. ( 1 X ) deve ser igual a 0, pois no haveria
como um objeto ser e no-ser.



1


3 OS CONECTIVOS LGICOS III

Embora as abordagens da lgebra no tenham sido inicialmente compreendidas, o
sistema formulado por Boole e De Morgan superou todas as crticas.
Introduzindo a possibilidade de entendimento do conceito de portas lgicas, que
s processam dois tipos de entidades vistas como verdade ou falsidade, sim ou no,
aberto ou fechado, zero ou um, o contedo dos argumentos foi esvaziado para criar um
sistema lgico simples e praticamente infalvel na obteno de solues corretas para
muitos problemas. Particularmente, a partir de 1937, quando as primeiras aplicaes
da lgebra Booleana so desenvolvidas na anlise de circuitos por A. Nakashima, e
em 1938 por Claude E. Shannon, que mostrou como aplicar a lgebra de Boole na
anlise de circuitos de rels dando as bases para o desenvolvimento da Teoria dos
Interruptores.
Tanto Boole quanto De Morgan fundamentam-se pela concepo que as
frmulas algbricas expressam relaes lgicas entre conceitos. H uma analogia
entre as operaes aritmticas e as proposies conectivas, aquelas formadas pela
conexo lgica entre duas ou mais proposies. Enquanto as proposies aritmticas
expressam operaes entre nmeros, as proposies conectivas expressam relaes
lgicas entre conjuntos.
Classe X
1 - X


Classe X

1 X
1

0

X ( 1 X )



65
A lgebra da Lgica ou Lgica Matemtica vai fundamentar-se pelos mesmos
princpios do sistema lgico aristotlico enunciado com as seguintes leituras:

AXIOMA 1 PRINCPIO DA NO CONTRADIO
Uma proposio no pode ser simultaneamente verdadeira e falsa.
AXIOMA 2 PRINCPIO DO TERCEIRO EXCLUDO
Toda proposio ou verdadeira ou falsa, nunca ocorrendo uma
terceira possibilidade.

Em razo do Princpio do Terceiro Excludo diz-se que a Lgica
Matemtica uma lgica bivalente.
As proposies simples so vistas como unidades ou tomos de uma
classe de sentenas cuja estrutura interna, se no se fizer necessrio, pode ser
ignorada. As proposies simples vo se denominar atmicas e representadas
por P1, P2, P3, . . . , P, Q, R, . . . , p, q, r, . . . ,a, b, c, . . . ,x, y, z, . . .

4 OS CONECTIVOS LGICOS IV

A composio de duas proposies atmicas, uma atuando como sujeito e a
outra proposio atuando como predicado se faz atravs de quatro conceitos
relacionantes chamados conectivos proposicionais e a negao no.
Chamadas proposies compostas ou moleculares, estruturam-se como:





A negao e os quatro conectivos lgicos fundamentais de composio so:

CONECTIVOS LEITURA SMBOLO(S) LEITURA
Conjuno



e
. . p . q , pq
p e q

Proposio
Atmica
Conectivo
proposicional
Proposio
Atmica
Proposio Negao da
proposio




66
Disjuno ou v +
p v q , p + q p ou q
Condicional se... ento
p q
se p ento q
Bicondicional
se... e somente
se...

p q
p se e somente
se q
Negao No ~ / -
~p, p, p ,

no p

axiomtico que o valor lgico de uma proposio molecular dependa do
valor lgico atribudo s proposies simples.
Assim a considerao dada s composies proposicionais aquela que
diz serem elas operaes lgicas sobre proposies: operaes que aplicadas as
proposies atmicas determinam uma proposio molecular cujo valor lgico depende
dos valores lgicos atribudos as proposies atmicas.
Portanto uma frase como Acredito que 1 e 1 so 2 considerada de valor lgico
indeterminado, pois o operador Entendo que, aplicado a sentena 1 e 1 so 2 tanto
pode ser entendido como verdadeiro quanto falso.



67
OS CONECTIVOS E, OU E A NEGAO NO

Combinando letras do alfabeto segundo regras definidas formamos palavras e
sentenas que devem comunicar algo significativo.
Seno, qual significado pode ter a palavra axptzywj destituda de sinnimo?
Semelhantemente, uma frase matemtica no deve ser vista to somente como uma
mera combinao de smbolos e deve se preservar de qualquer sentido dbio. Como
idealizava Leibnitz, uma linguagem prpria pode ser desenvolvida e os conectivos e a
negao parte desta linguagem com papis operacionais bem definidos.
Um modo simples de comear a tarefa estabelecer a validade das proposies
moleculares fundamentais atravs de tabelas que contemplem todas as possibilidades
de atribuio de valores lgicos s proposies atmicas.
Conseqncia do Princpio do Terceiro Excludo, toda proposio atmica p ou
assume o valor lgico Verdade V ( 1 ) ou assume o valor lgico Falso F ( 0 ):
Assim dadas duas proposies atmicas p e q, tanto p quanto q podem assumir
os valores lgicos Verdade V ou Falso F. Cada valor lgico de uma das proposies
combinado com as duas possibilidades de valores lgicos da outra dando um total de
quatro possibilidades lgicas:










L(q) = V
L(q) = F
L(q) = V
L(q) = F
L(q) = 1
L(q) = 0
L(q) = 1
L(q) = 0
L(p) = V
L(p) = 1 L(p) = 0
L(p) = F
ou



68
As seqncias L(p) = {V,V,F, F}, L(q) = {V,F,V,F} ou, L(p) = {1,1,0,0} e L(q) =
{1,0,1,0} organizam-se em tabelas-verdade distribudos por colunas:
P Q p Q
V V 1 1
V F 1 0
F V 0 1
F F 0 0

1 A NEGAO no.

De acordo com a nossa metalinguagem, a lngua portuguesa, a negao de
uma proposio atmica feita antepondo-se a palavra no ao verbo principal.
Por exemplo, a negao das proposies singulares Ana astronauta ou 2 um
nmero primo so Ana no astronauta ou 2 no um nmero primo.
Pode-se tambm formar a negao escrevendo-se falso que... ou no
verdade que... , antes da proposio. Assim, pode-se dizer falso que Ana
astronauta, falso que 2 um nmero primo ou no verdade que 2 um nmero
primo.
A Tabela Verdade da Negao de uma proposio atmica P :





Na lgica Matemtica, os smbolos utilizados para indicar a negao de uma
proposio p so: ~ : ~ p , p ou p .
Na Teoria dos conjuntos o hbito consagrou colocar uma barra vertical | ou /
sobre um smbolo para lhe dar sentido oposto ou a sua negao.
Assim, a negao do smbolo de igual = , de pertence e, que relaciona um
elemento ao conjunto, e, do smbolo de contido c (ou contm ) das relaes entre
conjuntos, ..
P

V
F
~P

F
V

P

1
0
~P

0
1

ou



69
A barra vertical | ou / sem estar sobre um smbolo mas entre smbolos, tm
o significado tal que.

EXEMPLO 16 NEGAO DE UMA PROPOSIO ATMICA I.

E 16 A Seja p a proposio 5 . 3 = 15, identificada como:
p: 5 . 3 = 15
A negao de p a proposio
~p : 5 .3 = 15.
Segundo o Principio da Tricotomia que enuncia: Dados dois nmeros a e b,
apenas uma de trs condies se verifica: a > b, a < b ou a = b.
Assim, negar que 5 . 3 = 15 significa:
5. 3 < 15 (5. 3 menor do que 15) ou 5 . 3 > 15 (5 . 3 maior que do que 15).

E 16 B Seja p a proposio p : 5 = 2.
A negao de p a proposio ~p : 5 = 2.
De fato. Se 5 2 ento 5 < 2 ou 5 > 2. Negar que 5 = 2 significa dizer que 5 no
menor do que 2 ou 5 no maior do que 2. O que equivale 5 s 2 ou 5 s 2. Logo x
s pode ser igual a 2.

E 16 C Seja p a proposio p : 3 . 2 + 1 > 4.
A negao de p a proposio p a proposio

~p : 3 . 2 + 1 > 4 ou ~p : 3 . 2 + 1 s 4.

De fato. Negar que a > b eqivale a dizer que a = b ou a < b.
Assim, negar 3 . 2 + 1 > 4 afirmar que 3 . 2 + 1 = 4 ou 3 . 2 + 1 < 4. Isto se
resume em 3 . 2 + 1 s 4.




70
E 16 D Seja p a proposio
p : 5 . 4 3 < 20.
A negao de p a proposio ~p : 5 . 4 3 < 20 ou ~p : 5 . 4 3 > 20.

EXEMPLO 17 NEGAO DE UMA PROPOSIO ATMICA II

E 17 A Seja p a proposio p : 5 s 2 + 3
2

~p : 5 2 + 3
2
ou ~p : 5 > 2 + 3
2
.
De fato. Negar que a s b eqivale a dizer que a = b ou a <b. Se a no igual a
b e a no menor do que b, ento a >b.

E 17 B Seja p a proposio p : 3 + 2 > 2
2
+ 4
A negao de p a proposio ~p : 3 + 2 < 2
2
+ 4.

E 17 C Seja N = {0, 1, 2, 3, ...} e p a proposio p : 2 e N. Ento, ~p : 2 e N.

E 17 D Sejam os conjuntos N = {0, 1, 2, 3, ...} e Z = {..., -2, -1, 0, 1, 2, 3, ...}
Seja: p : N c Z .Ento
~p : N . Z
A proposio N c Z quer dizer que todo elemento de N tambm elemento de
Z. Ou, que N subconjunto de Z, N est contido em Z ou Z contm N..

EXEMPLO 18 NEGAO DE UMA PROPOSIO ATMICA III

E 18 A Sejam A e B dois conjuntos, p: A c B. A negao de p ~p : A . B:

p ~p




A
B
A
B




71
E 18 B
O conjunto ~A, A ou A o conjunto dos elementos que esto no conjunto universo U
mas no pertencem A: ~A =U A ou ~A = { x e U e x e A }.
Se, digamos, A = {1, 2, 3, 4, 5, 6} e U = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10}, ento
~A = {8, 9, 10}.




E 18 C
Seja A = {1,2,3,5,7,9,11,13} e B = {3,5,7,8}. Ento A - B = {1,2,9,11,13} e
B A = {8}: A-B


B -A



E 18 D
Se A = {1,2,3,4} e B = {1,2,3,4,5,6,7,8} ento A - B = C e B A = { 5,6,7,8}





B A =
B


A
~A
U
A
~A
U
1
2 3
4
5
6
8
9
10





3
5
7
13
9
11
2
1
8






3
4
7
6
5
2
1
8








72
EXEMPLO 19 NEGAO DE UMA PROPOSIO ATMICA IV

E 19 A Se A = {1,2,3,4,5,6} e B = {1,2,3}


A B A A

B-A=
A-B

E 19 B
Sejam os conjuntos:
A = {1, 2, 3, 4, 5, 6}, B = {2, 3} e
C = {6, 7, 8}.

Ento, A B = {1,4,5}. Como B c A, a diferena A B chamada Complemento de B
em relao ao conjunto A: A B = B .
a) B A = C b) A C = {1,2,3,4,5} c) C A = {7,8} d) B C = {2,3} e) A A = C.

E 19 C Se U = {1,2,3,4,5,6,7,8,9,10}, A = {1,2,3,4}, B = {2,4,6,8} e C = {3,4,5,6,7}:
a) U A = A = {5,6,7,8,9,10} b) U B =B = {1,3,5,7,9,10} c)
A= U {5,6,7,8,9,10} = {1,2,3,4} = A. A tambm se escreve (A).
d) B C = {2,8}. Assim, (B - C) = U - (B - C) = {1,3,5,6,7,9,10}.

B
A
C
2
3
1
4
5
6 7
8




3
6
5
4 2
1







73
E 19 D










2 O CONECTIVO e

Duas proposies atmicas p e q combinadas pelo conectivo e, de smbolo .
ou . , formam a conjuno p . q ou p . q.
Atravs das situaes descritas abaixo, o valor lgico da conjuno de p e q
deve-se evidenciar naturalmente.
SITUAO 1: Sejam as proposies:
p: 2 um nmero par e q: 3 um nmero mpar .
A tabela abaixo relaciona as possibilidades de combinaes entre p e q:
Linha p L(p) Q L(q) p . q L(p . q)
1 2 um nmero par 1 3 um nmero
mpar
1 2 um nmero
par e 3 um
nmero mpar
1
2 2 um nmero par 1 3 no um
nmero mpar
0 2 um nmero
par e 3 no um
nmero mpar
0
3 2 no um nmero
par
0 3 um nmero
mpar
1 2 no um
nmero par e 3
um nmero
mpar
0
4 2 no um nmero
par
0 3 no um
nmero mpar
0 2 no um
nmero par e 3
no um
nmero mpar
0

Comentrio:
B

B
A
B
A
B A
B
A
A B

B
A
A

B
A
A

B

B
A
B A

Note se que
B A
=
A

B





74
A tabela acima relaciona as possibilidades de combinaes entre a conjuno p
e q. A linha 1 contm uma conjuno evidentemente verdadeira. Na linha 2, L(p . q)
deve ser falso, pois uma conjuno contm a noo de simultaneamente. Assim
tambm na linha 3 a conjuno deve ser falsa. A linha 4 contm duas proposies
falsas e, portanto, L(p . q) deve ser falsa.
SITUAO 2
Dois scios em um empreendimento, chamados A e B, combinaram que toda
ordem de pagamento deve conter a assinatura de cada um deles para ser efetuada.
Designando por 1, que a ordem de pagamento est assinada e por 0 a ausncia
de assinatura, tem-se as seguintes possibilidades:

3 O CONECTIVO e
SITUAO 2

A B Ordem de pagamento
Assinou 1 Assinou 1 Efetuada 1
Assinou 1 No assinou 0 No - efetuada 0
No assinou 0 Assinou 1 No efetuada 0
No assinou 0 No assinou 0 No - efetuada 0

SITUAO 3

Linha p L(p) q L(q) p . q L(p . q)
1 5 = 2 1 2 + 2 = 4 1 5 = 2 . 2 + 2 = 4 1
2 5 = 2 1 2 + 2 = 4 0 5 = 2 . 2 + 2 = 4 0
3 5 = 2 0 2 + 2 = 4 1 5 = 2 . 2 + 2 = 4 0
4 5 = 2 0 2 + 2 = 4 0 5 = 2 . 2 + 2 = 4 0




75
SITUAO 4

Linha p . q L(p . q)
1 2 um nmero par e primo 1
2 81 e 273 so divisveis por 3 1
3 As razes da equao x
2
9 so x = 3 e x = 3 1
4 4 um nmero par e primo 0
5 As razes da equao x
2
- 9 = 0 so x = 3 e x = 4 0

Comentrio:
Na linha 2, a soma dos algarismos de 81 8+1= 9 e 9 divisvel por 3. 273
divisvel por 3, pois 2+7+3=12 e 12 tal 1+2=3. Na linha 3 somente x = 3 ou x = - 3
satisfazem a sentena aberta. Na linha 4 a proposio q falsa e na linha 5, a
proposio x = 4 a raiz da equao x
2
9 = 0 falsa. Portanto, das situaes
apresentadas intui-se a regra das conjunes e sua respectiva Tabela - Verdade:



P q P . q p q p.q
V V V 1 1 1
V F F 1 0 0
F V F 0 1 0
F F F 0 0 0

4 O CONECTIVO ou

Duas proposies atmicas p e q quando combinadas pelo conectivo ou, de
smbolo v ou + , formam a disjuno p v q ou p +q.
A seguir, situaes ilustrativas na construo da disjuno de p ou q:
A conjuno de duas proposies atmicas p e q s verdadeira quando
as proposies p e q so verdadeiras.



76
SITUAO 1

Linha p L(p) Q L(q) p v q
L(p v q)
1 2 um nmero par 1 3 um nmero mpar 1 2 um nmero par ou 3
um nmero mpar
1
2 2 um nmero par 1 3 no um nmero mpar 0 2 um nmero par ou 3
no um nmero mpar
1
3 2 no um nmero par 0 3 um nmero mpar 1 2 no um nmero par ou
3 um nmero mpar
1
4 2 no um nmero par 0 3 no um nmero mpar 0 2 no um nmero par ou
3 no um nmero mpar
0

As disjunes das linhas 1,2 e 3 so todas verdadeiras, pois pelo menos uma
das proposies verdadeira. Na linha 4 as proposies so falsas.
Vale observar que na nossa metalinguagem a palavra ou tem o sentido inclusivo
ou sentido exclusivo. Na afirmao Ana engenheira ou professora, pode ocorrer pelo
menos uma das proposies atmicas verdadeiras ou ambas verdadeiras. Entretanto
na afirmao Pedro alto ou baixo, s uma das possibilidades pode ocorrer. Neste
exemplo o ou tem sentido exclusivo..
O smbolo especial , utilizado para o ou exclusivo, denota a proposio p q,
lida como ou p ou q, p ou q, mas no ambas.

SITUAO 2

Linha P L(p) Q L(q) p q L(p q)
1 2 um
nmero par
1 3 um nmero
mpar
1 Ou 2 um nmero par ou 3
um nmero mpar
0
2 2 um
nmero par
1 3 no um nmero
mpar
0 Ou 2 um nmero par ou 3
no um nmero mpar
1
3 2 no um
nmero par
0 3 um nmero
mpar
1 Ou 2 no um nmero par ou
3 um nmero mpar
1
4 2 no um
nmero par
0 3 no um nmero
mpar
0 Ou 2 no um nmero par ou
3 no um nmero mpar
0

5 O CONECTIVO ou
SITUAO 3



77

Dois scios em um empreendimento, chamados A e B, combinaram que toda
ordem de servio s precisa ser assinada por um deles para ser efetivada. Designando
por 1 que a ordem est assinada e por 0 a ausncia de assinatura, segue-se que:

A B Ordem (A v B)
Assinou 1 Assinou 1 Efetivada 1
Assinou 1 No assinou 0 Efetivada 1
No assinou 0 Assinou 1 Efetivada 1
No assinou 0 No assinou 0 No efetivada 0

SITUAO 4

Linha p v q L(p v q) L(p p)
1
2 um nmero par ou primo 1 0
2
81 ou 73 so divisveis por 3 1 1
3
As razes da equao x
2
9 = 0 so x = 3 ou x = -3 1 0
4 As razes da equao x
2
9 = 0 so x = 3 ou x = 4 1 1
5
4 um nmero par ou primo 1 1

Das situaes apresentadas pode se intuir:






ou


A disjuno p v q ( p +q ) s falsa se as proposies p e q so falsas
A disjuno exclusiva p q s verdadeira quando uma das proposies
atmicas falsa;
A disjuno exclusiva p q s falsa se as proposies atmicas p e q tem
valores lgicos iguais.



78

P q p v q
TABELA VERDADE

p q p q
1
1
0
0
1
0
1
0
1
1
1
0
1
1
0
0
1
0
1
0
0
1
1
0

EXEMPLO 20 AS CONEXES e, ou
E 20 A
Ao lado de cada proposio abaixo est indicado entre parnteses o seu
valor verdade.
p: 2 um nmero primo (1)
q: 5/7 uma frao prpria (1)
Concluses
i) p . q : 2 um nmero primo e 5/7 uma frao prpria (1)
ii) p v q : 2 um nmero primo ou 5/7 uma frao prpria (1)

E 20 B p : 4 = 2 (0) E 18 C p : 4 e A = {1,2,3,4,5} (1)
q : 4 = 2 (0) q : 4 = {4} (0)
Concluses Concluses
i) p . q : 4 = 2 e 4 = 2 (0) i) p . q : 4 e A e 4 = {4} (0)
ii) p v q : 4 = 2 e 4 = 2 (0) ii) p v q : 4 e A ou 4 = {4} (1).



79
E 20 D p : {0} = C (0)
q : 4 e {4} (1)
Concluses
i) p . q : {0} = 0 e 4 e {4} (0)
ii) p v q : {0} = 0 ou 4 e {4} (1)

EXEMPLO 21 AS CONEXES e, ou
E 21 A
p : 3 e {1,2,4,5,7} (V) E 21 B p : 0 e {0} (1)
q : 6 e {1,2,4,5, 6} (F) q: 0 = { 0 } (0)
Concluses: Concluses:
i) L (p . q) = F. i) i) L (p . q) = 0
ii) L (p v q) = V ii) ii) L (p v q) = 0

E 21 C p : 0 e { } (0) E 21 D p : {0} c { } (0)
q : {0} = C (0) q : {0} = C (1)
Concluses:
i) L (p . q) = 0 ii) L (p v q) = 0 i) L (p . q) = 0 ii) L (p v q) = 1

EXEMPLO 22 SIMBOLIZANDO PROPOSIES

Sejam as proposies
p: A gua aquecida (1) q: A gua evapora (1)
r: Os crocodilos voam (0) s: 2 um nmero par (1)



80

Frase Molecular Simbolizao Valor Lgico
Notaes
A gua no foi aquecida ~p 0
A gua aquecida e evapora p . q p . q 1 . 1 = 1 1 . 1 = 1
A gua aquecida e no evapora p . ~q
p. q
1 . 0 = 0 1.0 =0
A gua no aquecida e no evapora
No se aqueceu a gua e ela no
evaporou
~p . ~q
p . q
0 . 0 = 0 0.0 = 0
falso que a gua foi aquecida ou ela
evaporou
~p v q
p + q
0 v 1 = 1 0 + 1 = 1
falso que a gua no foi aquecida ou
ela evaporou
~ (~p v
q)
( p + q)
~[0v 1] = 1 (0+1) = 0
A gua foi aquecida, ou no foi aquecida
e evaporou
pv(~p.
q)
p+( p .q)
1v (0.1] =
1
1+(0.1)= 1
Ou a gua aquecida ou os crocodilos
voam
p r 1 0 = 1
Ou 2 um nmero par ou a gua
evapora
s q 1 1 = 0
Ou a gua aquecida ou os crocodilos
voam ou 2 um nmero par
p (r q) 1 (0 1) = 1 1= 0
2 um nmero par e, ou os crocodilos
voam ou a gua evapora
s . (r q) 1 . (0 1) = 1
s . (r q) 1 . (0 1) = 1












81
AS CONDICIONAIS

As proposies condicionais, estruturadas como se ento ,
simbolizadas p q, significam p condio suficiente para q, ou q condio
necessria para p, ou p somente se q.
O contedo p chamado antecedente do conseqente q.
Observe-se que uma proposio condicional no obriga o conseqente se
deduzir do antecedente. Por exemplo, se algumas rosas so vermelhas ento os
crocodilos voam no afirma que os crocodilos voam porque algumas rosas so
vermelhas. O que ocorre uma relao condicional entre proposies. Na Matemtica,
entretanto, espera-se que a conexo entre o antecedente e o conseqente evidencie
como se deduz do antecedente p alguma conseqncia q. A seguir, situaes
ilustrativas na construo da condicional p q.

SITUAO 1
No conjunto universo F das figuras seja T o conjunto dos tringulos e o G o
conjunto das figuras trilteras. Assim, se T um tringulo, ele triltero. Se T no for
um tringulo, T poder ser triltero ou no. As possibilidades de combinaes lgicas
so destacadas na tabela abaixo:
Linha 1 T um tringulo 1 T um triltero 1 Se T um tringulo ento T
triltero
1
Linha 2 T um tringulo 1 T no um triltero 0 Se T um tringulo ento T no
triltero
0
Linha 3 T no um tringulo 0 T um triltero 1 Se T no um tringulo ento T
triltero
1
Linha 4 T no um tringulo 0 T no um triltero 0 Se T no um tringulo ento T
no triltero
1

A Linha 1 contm uma condicional verdadeira e a Linha 2,
uma condicional falsa, pois contraditria:se T um
tringulo ento ele no tem 3 lados. A Linha 3 diz que
T no um tringulo mas triltero. A condicional
verdadeira, pois o conjunto dos tringulos est contido no
T
G

p
q



82
conjunto dos trilteros, e se T no um tringulo, ento ele poder ser triltero ou no. O que
significa que uma das possibilidades se verifica. Analogamente, na Linha 4, se T no um
tringulo ento T no triltero verdadeira.

1 AS CONDICIONAIS

SITUAO 2

Linha 1
1 + 2 = 3 1 (1 + 2)
2
= 9 1 se 1 + 2 = 3 ento (1 + 2)
2
= 9 1
Linha 2
1 + 2 = 3 1
(1 + 2)
2
= 9
0
se 1 + 2 = 3 ento (1 + 2)
2
= 9
0
Linha 3
1 + 2 = 3
0 (1 + 2)
2
= 9 1 se 1 + 2 = 3 ento (1 + 2)
2
= 9 1
Linha 4
1 + 2 = 3
0
(1 + 2)
2
= 9
0
se 1 + 2 = 3 ento (1 + 2)
2
= 9
1

Comentrio:
A Linha 1 contm uma condicional verdadeira. Na Linha 2, o antecedente
verdadeiro, mas o conseqente (1 + 2)
2
= 9, equivalente a proposio falsa (1 + 2)
2
< 9
ou (1 + 2)
2
> 9, apresenta-se como uma deduo (concluso) falsa do antecedente. Na
Linha 3, do antecedente 1 + 2 = 3, que equivale 1 + 2 < 3 ou 1 + 2 > 3, pode-se
deduzir (1 + 2)
2
= 9. Basta tomar 1 + 2 = - 3 e assim (1 + 2)
2
= (-3)
2
= 9. Portanto, de
uma proposio falsa e de uma proposio verdadeira, nesta ordem, pode-se construir
uma condicional verdadeira. Na Linha 4, de duas proposies falsas pode-se construir
uma condicional verdadeira: Se 1 + 2 = 5 ento (1 + 2)
2
= 5
2
= 25 = 9.

SITUAO 3
Um bom exemplo de uma condicional da matemtica a proposio Se f
um funo diferencivel, ento f contnua.
As proposies atmicas so: f uma funo diferencivel e f contnua.



83
D
C
F

Linha 1
f diferencivel 1 f contnua 1 Se f diferencivel ento f contnua 1
Linha 2
f diferencivel 1 f no contnua 0 Se f diferencivel ento f no
contnua
0
Linha 3
f no diferencivel 0 f contnua 1 Se f no diferencivel ento f
contnua
1
Linha 4
f no diferencivel 0 f no contnua 0 Se f no diferencivel ento f no
contnua
1

Essa proposio enuncia que o conjunto D
das funes diferenciveis est contido no conjunto
C das funes contnuas em relao ao conjunto F
das funes.

2 AS CONDICIONAIS II

SITUAO 4
q1: Se ab = 0 ento a = 0 ou b =0 : ab = 0 a = 0 v b = 0
q2: Se a > b e b > c ento a > c. : a > b . b > c a > c
q3: Se x = 2 ento x
2
= 4 : x = 2 x
2
= 4

q4: Se x
2
= 4 ento x = 2 : x
2
= 4 x = 2
q5: Se x
2
= 4 ento x = 2 ou x = -2 : x
2
= 4 x = 2 v x = -2

Comentrio:
Toda sentena declarativa para se classificar exige que o conjunto dos
elementos aos quais ela se refer esteja bem definido. Desde que os objetos a e b da
proposio q1 estejam se referindo aos nmeros reais ela verdadeira, pois para que o
produto de dois nmeros seja nulo basta que um deles seja nulo ou, que ambos sejam
nulos.



84
Do mesmo modo a proposio q2 verdadeira se os objetos a, b e c so
nmeros ordenados sobre uma reta. Esta proposio se denomina Propriedade
Transitiva dos nmeros.
Quanto s proposies q4 e q5, estas s podem ser avaliadas se estiver
especificado qual o conjunto ao qual elas se referem. Enquanto as proposies q1 e
q2 tm carter universal, pois so propriedades que os nmeros verificam, as
proposies q4 e q5 classificam-se, respectivamente, em falsa e verdadeira em relao
ao conjunto A = {...,-2,-1,0,1,2,...}.
E mais ainda.
Na sentena q3, se x = 2 ento x
2
= 4 observa-se que:
I ) se x =2, consequentemente todo x
2
igual a 4: x = 2 x
2
= 4
II ) x
2
= 4 x =2 no verdadeira para todas as possibilidades numricas, pois
x
2
= 4 x = 2 ou x = -2.
III ) Decorre da formulao x = 2 x
2
= 4 que se x no for igual a dois, x
2
pode
ser igual a qualquer outro valor, inclusive 4.
De fato. Se x = - 2 ( x2 ) ento (-2)
2
= 4.
Alguns outros exemplos de emprego das frases condicionais so ilustrados a
seguir.

3 AS CONDICIONAIS

OUTRAS SITUAES
1. O silogismo se todos os elementos de um conjunto A tm a propriedade P e
se x elemento de A ento x tem a propriedade P uma proposio condicional aceita
sem demonstrao.
2. Se a Flvia for ao baile eu tambm irei um outro interessante modo de uso
das condicionais. Se o antecedente for verdadeiro, o conseqente tambm ser. O
antecedente, embora de valor desconhecido, acarreta o conseqente.
.3. Muitas proposies, entretanto, s se estabelecem experimentalmente. Na
proposio: Se a gua aquecida ela evapora, a conexo antecedente e conseqente
depende da observao, pois ela ser falsa se a gua, quando aquecida, no evapora.



85
4. Se a experincia mostra que todo objeto solto de certa altura cai, a afirmao
se um objeto solto ele no cai contradiz a experincia e produz uma condicional falsa.
As proposies atmicas so: um objeto solto de uma certa altura e ele cai.
5. Questionamentos podem surgir em condicionais verdadeiras como:
i ) Se os crocodilos voam ento 2 + 3 = 7, ou
ii ) Se 2 + 2 = 8 ento todos os ces so quadrpedes .
A razo que associamos a implicao com a naturalidade aos casos onde a
conexo antecedente e conseqente mais ntida. Por isto, as combinaes lgicas
que a condicional assume podem no traduzir com fidelidade o uso do conectivo
se...ento..., ao ento da metalinguagem. Assim deve-se ressalvar que a elaborao
das tabelas de possibilidades lgicas de valores s proposies p e q numa proposio
condicional pq tem tambm a finalidade de permitir formalizaes mais adequadas
aos argumentos matemticos e cientficos. Assim, podemos enunciar a regra bsica
das condicionais: De uma proposio verdadeira e uma proposio falsa no se pode
deduzir uma proposio condicional falsa.
A Tabela- Verdade das Condicionais dada abaixo:
p q p q
1 1 1
1 0 0
0 1 1
0 0 1

4 AS CONDICIONAIS

Quanto s bicondicionais p q, delas pode-se dizer que so a sntese da
proposio molecular (p q) . (q p).
A leitura da bicondicional p q p, se e somente se, q ou se p ento q e se q
ento p. Ou mais abreviadamente p, se e s se, q ou p, se, q.
p q interpreta-se como p condio suficiente e necessria para q, ou q q
condio necessria e suficiente para p.



86
Pode ser mostrado que a bicondicional p q s verdadeira quando p e q
so ambas verdadeiras ou p e q so ambas falsas.
O quadro abaixo resume as formas de combinaes lgicas entre duas
proposies atmicas p e q:

Linha
Proposies
Atmicas
Conjuno Disjuno Condicional Bicondicional
Negao
de p
p q p . q p v q p q p q ~p
1 V V V V V V F
2 V F F V F F F
3 F V F V V F V
4 F F F F V V V

Linha
Proposies
Atmicas
Conjuno Disjuno Condicional Bicondicional
Negao
de p
p q p . q p v q p q p q ~p
1 1 1 1 1 1 1 0
2 1 0 0 1 0 0 0
3 0 1 0 1 1 0 1
4 0 0 0 0 1 1 1

Ser observado que a condicional p q uma forma abreviada da proposio disjuntiva
p v q.
Isto , p q = ~p v q



87
EXEMPLO 23 AS CONDICIONAIS I

E 21 A p q
se p ento q p Q
p q L(pq) L (p) L (q)
5 + 3 = 8 2 + 4 = 6 1 5 + 3 = 8 1 2 + 4 = 6 1
2 = 3 2
2
= 3
2
1 2 = 3 0 2
2
= 3
2
0
x
0
= 1 x.x = x
2
1 x
0
= 1 1 x.x = x
2
1
3 + 2 = 7 5 + 5 = 55 1 3 + 2 = 7 0 5+5 = 55 0
0 < 1 2 = 2
0 0 < 1 1
2 = 2
0
1 = -1 2 = -2
1
1 = -1
0
2 =-2
0

E 23 B ~p v q
~p L(~p) ~p v q L(~pvq)
5 + 3 = 8 0 5 + 3 = 8 v 2 + 4 + 6 1
2 = 3 1 2 = 3 v 2
2
= 3
2
1
x
0
= 1 0 x
0
= 1 v x.x = x
2
1
3 + 2 = 7 1 3+2 = 7 v 5 + 5 = 55 1
0 > 1 0
0 > 1 v 2 = 2
0
1 = -1
1
1 = -1 v 2 = -2
1
.
EXEMPLO 24 AS CONDICIONAIS II
Sejam as proposies
A : Se 5 + 3 = 10 ento 7 + 2 = 9
B : falso que 1 + 1 = 3 se, e somente se, 2 + 2 = 5
C : No verdade que se Paris est na Sua, ento Nova York est no Amazonas
D : Est frio se, e somente se, no est chovendo
E : Se est frio, no est chovendo



88
F : Est chovendo se, e somente se, est frio
G : No verdade que se est chovendo ento est frio
H : No verdade que as rosas so vermelhas se, e somente se, as margaridas so
brancas.

Simbolizando:
i) p1 : 5 + 3 = 10, q1 : 7 + 2 = 9.
A equivale p1 q1. Como L(p1) = 0 e L(q1) = 1 segue-se que L(A) = 1.
ii) p2 : 1 + 1 = 3 , q2 : 2 + 2 = 5.
B : ~ (p2 q2). Como L(p2) = 0 e L(q2) = 0 ento L(p2 q2) = 1. Assim L(B) = 0.
iii) p3 : Paris est na Sua ; q3 : Nova York est no Amazonas
C : ~ (p3 q3). Como L(p3) = 0 e L(q3) = 0 ento L(p3 q3) = 1. Logo L(C) = 0.
iv) p4 : Est frio ; q4 : Est chovendo
D : p4 ~q4.
Admitindo que L(p4) = 1 e L(q4) = 1 ento L(~q4) = 0.
Consequentemente, L(D) = 0
v) p5 : Est frio ; q5 : Est chovendo
E : p5 ~q5.
Admitamos que L(p5) = 1 e L(q5) = 1. Ento L(~q5) = 0. Da L(E) = 0
vi) p6 : Est chovendo ; q6 : Est frio
F : p6 q6. Admitamos que L(p6) = 1 e L(q6) = 1.
Ento L(F) = 1
vii) p7 : Est chovendo ; q7 : Est frio
G : ~ (p7 q7).
Admitindo que L(p7) = 1 e L(q7) = 1 ento L(p7 q7) = 1. Logo L(G) = 0
viii) p8 : As rosas so vermelhas ; q8 : As margaridas so brancas
H : ~ (p8 q8). L(p8) = 1 e L(q8) = 1. Ento L(p8 q8) = 1. Logo L(H) = 0.

EXEMPLO 25 VALOR LGICO DE PROPOSIES MOLECULARES I



89

So dados: L ( p ) = 1, L ( q ) = 0, L ( r ) = 1, L ( s ) = 0. Pede-se:

E 25 A L [ ( p . ~q) p ]

Elementos constituintes da Proposio Molecular ( p . ~q) p :
Proposies atmicas : p, q
Proposies compostas : ~q , p . ~q , ( p . ~q ) p
Determinao do Valor Lgico da Proposio Molecular:

P q

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

1

0

1

1

1

E 25 B L [~ ( p . ~q) v ( p r )]
p Q r p . q ~(p . q) ( p r ) [~ ( p . ~q) v ( p r )]
1 0 1 0 1 1 1

E 25 C L [ (p v q) . (r s) ( s p) v (q . r) ]
p Q r s p v q r s s p q . r (p v q) . (r s) ( s p) v (q . r)
1 0 1 0 1 0 1 0 0 1 0

Por simplicidade, a proposio molecular foi representada na ltima coluna
acima pelo conectivo principal de ligao.




90
E 25 D L { ~ [ (p . q) . (r s) ] v [ (~p . ~r) (~r . s) ] } = L { ~A v B }

p Q R s ~p ~r p.q r s ~p . ~r ~r . ~s A ~A B ~A v B
1 0 1 0 0 0 0 0 0 0 o 1 1 1

EXEMPLO 26 VALOR LGICO DE PROPOSIES MOLECULARES II

Na construo da Tabela Verdade de uma proposio molecular o nmero de
linhas depende do nmero das proposies atmicas.
Assim dadas duas proposies atmicas p e q, tanto p quanto q podem assumir
os valores lgicos Verdade V ou Falso F. Cada valor lgico de uma das proposies
combinado com as duas possibilidades de valores lgicos da outra dando um total de
quatro possibilidades lgicas. Essas possibilidades organizam a tabela-verdade
distribudos por coluna de acordo com as seqncias:
L( p ) = { V, V, F, F } e L( q ) = { V, F, V , F } ou L( p ) = {1, 1, 0, 0 } e L( q ) = {1, 0, 1, 0 }
. Se a proposio molecular contm as proposies p, q e r, o nmero de linhas
da tabela-verdade igual a 8, organizados de acordo com as seqncias:
L(p) = { V, V, V, V, F, F, F, F }, L( q ) = { V, V, F, F, V, V, F, F } e
L (r ) = { V, F, V, F, V, V, V, F }.
Em geral, o nmero de linhas da tabela-verdade de uma proposio molecular
com n proposies atmicas dado por 2
n
.

E 26 A p q ~p v

p q
~ p
p q ~p v q
V V F V V V
V F F F F V
F V V V V V
F F V V V V




91
As tabelas-verdade das proposies p q e ~p v q mostram que p q =
~p v q. O que confirmado pela tautologia da tabela-verdade da proposio p
q ~p v q.
Quando a tabela-verdade de uma proposio bicondicional tautolgica, a
proposio se diz uma propriedade ou lei. Se a tabela-verdade da bicondicional
s contm valores falsos, a proposio uma falcia ou proposio logicamente
falsa.

E 26 B ( p q ) = ( p . ~ q )

p q ~ q p . ~ q ~ ( p . ~ q ) p q
V V F F V V V
V F V V F F V
F V F F V V V
F F V F V V V

EXEMPLO 27 VALOR LGICO DE PROPOSIES MOLECULARES III

E 27 A p q = ( p q) . (q p)

P q p q q p p q ( p q) . (q p)
V V V V V V V
V F F V F F V
F V V F F F V
F F V V V V V




92
E 27 B [( p q ) . ( q r ) ] (p r )

P q r p q q r p r ( p q ) . ( q r )

V V V V V V V V
V V F V F F F V
V F V F V V F V
V F F F V F F V
F V V V V V V V
F V F V F V F V
F F V V V V V V
F F F V V V V V
A proposio [( p q ) . ( q r ) ] (p r ) a redao simblica da
Lei do Silogismo.

E 27 B p v q = ( p q) . (q . p)

P q p v q p q q . p
( p q) . (q . p )
V V V V V V V
V F V F F F
F
F V V V F F F
F F F V F F V




93
E 27 C [( p q ) . ( q r ) ] ( p r )

p q r p q q r p r ( p q ) . ( q r )
V V V V V V V V
V V F V F F F V
V F V F V V F V
V F F F V F F V
F V V V V V V V
F V F V F V F V
F F V V V V V V
F F F V V V V V




94
REFERNCIAS

ADLER, Irving. Iniciao Matemtica de hoje. Traduo de Augusto Csar de Oliveira
Morgado. Rio de Janeiro, Ao livro Tcnico, 1972
ALENCAR FILHO, Edgard de. Iniciao Lgica Matemtica. So Paulo, Nobel, 18
edio, 1995
ALENCAR FILHO, Edgard de. Elementos de lgebra Abstrata. So Paulo, Nobel, 18
edio, 2000
BARKER, Stephen F. Filosofia da Matemtica. Traduo de Lenidas Hegemberg e
Octanny Silveira da Motta. Rio de Janeiro, Zahar Editores, 1976.
CASTRUCCI, Benedito. Introduo Lgica Matemtica. So Paulo, Nobel, 1975.
COPI, Irving Marmer. Introduo Lgica. Traduo de Alvaro Cabral. So
Paulo,Mestre Jou, 2 edio, 1978
DAVIS, Phillip J. & HERSH, Reuben. A experincia Matemtica. Traduo de Joo
Bosco Pitombeira. Rio de Janeiro, Francisco Alves, 1985.
DAUGHLIAN, Jacob. Lgica e lgebra de Boole. So Paulo, Atlas, 4 edio, 1995.
GARDING, Lars. Encontro com a Matemtica. Traduo de Clio Alvarenga e Maria
Manuela Alvarenga. Braslia, Editora Universidade de Braslia, 1981.
GIUSEPPE NRICI, Imideo. Introduo a Lgica. So Paulo, Nobel, 1971.
HEGENBERG, Lenidas. Lgica O Clculo Sentencial. So Paulo, editora da
Universidade de So Paulo, 1972.
NACHBIN, Leopoldo. Introduo lgebra. So Paulo, McGrawHill do Brasil, 1971.
RICH, Barnett. Geometria Plana. Traduo de Ricardo Vieira L. M.Gondim. So Paulo,
McGraw Hill do Brasil, 1972.
SPIEGEL, Murray. lgebra Superior. Traduo de Celso Franco de Albuquerque, Graw
Hill do Brasil, 1979.
XAVIER CURY, Mrcia. Introduo Lgica. So Paulo, rica, 1996.