MINISTRIO DA EDUCAO Universidade Aberta do Brasil Instituto Federal de Educao, Cincia e Tecnologia do Cear Diretoria de Educao a Distncia

Licenciatura em Matemtica Lgica e Conjuntos

Francisco Gvane Muniz Cunha

Fortaleza, CE 2010

Crditos
Presidente Luiz Incio Lula da Silva Ministro da Educao Fernando Haddad Secretrio da SEED Carlos Eduardo Bielschowsky Diretor de Educao a Distncia Celso Costa Reitor do IFCE Cludio Ricardo Gomes de Lima Pr-Reitor de Ensino Gilmar Lopes Ribeiro Diretora de EAD/IFCE e Coordenadora UAB/IFCE Cassandra Ribeiro Joye Vice-Coordenadora UAB Rgia Talina Silva Arajo Coordenador do Curso de Tecnologia em Hotelaria Jos Solon Sales e Silva Coordenador do Curso de Licenciatura em Matemtica Zelalber Gondim Guimares Elaborao do contedo Francisco Gvane Muniz Cunha Equipe Pedaggica e Design Instrucional Ana Cladia Ucha Arajo Andra Maria Rocha Rodrigues Cristiane Borges Braga Eliana Moreira de Oliveira Gina Maria Porto de Aguiar Vieira Iraci Moraes Schmidlin Jane Fontes Guedes Jivago Silva Arajo Karine Nascimento Portela Lvia Maria de Lima Santiago Luciana Andrade Rodrigues Maria Irene Silva de Moura Maria Vanda Silvino da Silva Marlia Maia Moreira Regina Santos Young Equipe Arte, Criao e Produo Visual bner Di Cavalcanti Medeiros Benghson da Silveira Dantas Davi Jucimon Monteiro Diemano Bruno Lima Nbrega Germano Jos Barros Pinheiro Gilvandenys Leite Sales Jnior Hommel Almeida de Barros Lima Jos Albrio Beserra Jos Stelio Sampaio Bastos Neto Larissa Miranda Cunha Marco Augusto M. Oliveira Jnior Navar de Medeiros Mendona e Nascimento Roland Gabriel Nogueira Molina Equipe Web Aline Mariana Bispo de Lima Benghson da Silveira Dantas Fabrice Marc Joye Igor Flvio Simes de Sousa Luiz Alfredo Pereira Lima Luiz Bezerra Lucas do Amaral Saboya Ricardo Werlang Samantha Onofre Lssio Tibrio Bezerra Soares Thuan Saraiva Nabuco Reviso Textual Aurea Suely Zavam Nukcia Meyre Arajo de Almeida Reviso Web Dbora Liberato Arruda Hissa Saulo Garcia Logstica Francisco Roberto Dias de Aguiar Virgnia Ferreira Moreira Secretrios Breno Giovanni Silva Arajo Francisca Venncio da Silva Auxiliar Bernardo Matias de Carvalho Carla Anale Moreira de Oliveira Maria Tatiana Gomes da Silva Wagner Souto Fernandes Zuila Smea Vieira de Arajo

ISBN 978-85-63953-05-6

Catalogao na Fonte: Etelvina Marques (CRB 3 N 615) C972l Cunha, Francisco Gvane Muniz Lgica e conjuntos: semestre I/ Francisco Gvane Muniz Cunha; Coordenao Cassandra Ribeiro Joye. - Fortaleza: UAB/IFCE, 2010. 110p. : il. ; 27cm. 1. LGICA 2. CLCULO PROPOSICIONAL 3. CONJUNTOS 4. SENTENAS ABERTAS. 5. QUANTIFICADORES I. Joye, Cassandra Ribeiro. (Coord.) II. Instituto Federal de Educao, Cincia e Tecnologia do Cear - IFCE III. Universidade Aberta do Brasil IV. Ttulo CDD 511.3

5 Referncias 109 Currculo 110

Apresentao

SUMRIO
AULA 1
Tpico 1 Tpico 2

Lgica: importncia, histria e primeiros fundamentos 6

7 Elementos da Lgica Matemtica 12

Introduo Lgica Matemtica

AULA 2
Tpico 1 Tpico 2

Operaes do Clculo Proposicional 18

Tabelas-verdade das proposies 19 Operaes lgicas sobre proposies

23

AULA 3
Tpico 1 Tpico 2 Tpico 3

Construes de Tabelas-Verdade 32
Construindo proposies compostas Construindo Tabelas-Verdade: Exemplos 37 Tautologias, Contradies e Contigncias 43

33

AULA 4
Tpico 1 Tpico 2 Tpico 3

Conjuntos 49

50 Mais conceitos bsicos 56 Operaes com conjuntos 64

Noes sobre conjuntos

SUMRIO

AULA 5
Tpico 1 Tpico 2 Tpico 3 Tpico 4

Implicaes, equivalncias, afirmaes e demonstraes 70

71 Equivalncias lgicas 76
Implicaes lgicas

Tipos de afirmaes na matemtica 81 Tipos de demonstraes na matemtica

85

AULA 6
Tpico 1 Tpico 2 Tpico 3 Tpico 4

Sentenas abertas e quantificadores 88

Sentenas abertas com uma varivel Operando com sentenas abertas Quantificadores 102

89

Sentenas abertas com mais de uma varivel

98

94

APRESENTAO
Ol turma, Nossa disciplina, Lgica e Conjuntos, de 60h/a, servir de fundamentao para todas as disciplinas do curso. Nela, alm de fundamentos da Lgica, apresentaremos noes bsicas de Conjuntos. Com estes fundamentos, voc, aluno, conhecer a linguagem matemtica bsica e poder perceber que esta linguagem essencial, o que lhe possibilitar expressar melhor as afirmaes e concluses que compem o corpo terico da Matemtica. Alm disso, apresentaremos a ideia, precisa e indispensvel para a sua formao, sobre que uma demonstrao. A Lgica til em qualquer rea que exija raciocnios elaborados, bem como em casos prticos do nosso dia-a-dia. Um conhecimento bsico de Lgica indispensvel para estudantes de reas como Matemtica, Filosofia, Cincias, Lnguas ou Direito. Seu aprendizado auxilia os estudantes no raciocnio, na compreenso de conceitos bsicos e na verificao formal de provas, preparando para o entendimento dos contedos de tpicos mais avanados. A Lgica Matemtica tem hoje aplicaes concretas extremamente relevantes em diversos domnios. Ela utilizada no planejamento dos modernos computadores eletrnicos e nela que se justifica a inteligncia dos computadores atuais. Alm da Lgica, a compreenso de noes bsicas sobre conjuntos essencial para a Matemtica. Os conceitos da Matemtica moderna, desde os mais bsicos at os mais complexos podem ser formulados na linguagem de conjuntos. Desse modo, para dar consistncia a qualquer afirmao matemtica, basta, ento, dar rigor s afirmaes sobre conjuntos. O carter fundamentalmente conceitual da Teoria dos Conjuntos d-lhe lugar de destaque em todas as reas em que o pensamento racional e, em particular, o pensamento cientfico fundamental e, parece natural que ela deva estar na base de todas as cincias. A sua participao nas atividades e em cada aula ser essencial para que voc possa tirar o maior proveito da disciplina. Estaremos disposio para maiores esclarecimentos. Desejo um bom curso a todos! Francisco Gvane Muniz Cunha.

APRESENTAO

AULA 1

Lgica: importncia, histria e primeiros fundamentos

Ol! Esta a nossa primeira aula. Nela, aprenderemos um pouco da histria da Lgica, como ela se iniciou, quais as pessoas que contriburam para o seu desenvolvimento e que ramos da Matemtica e de reas afins se utilizam das teorias da Lgica para desenvolver suas prprias teorias. Nossa disciplina, Lgica e Conjuntos, servir de fundamentao para todas as disciplinas do curso. Nela, alm de fundamentos da Lgica, apresentaremos noes bsicas de Conjuntos. Com esses fundamentos, voc, aluno, conhecer a linguagem Matemtica bsica, uma linguagem essencial, que lhe possibilitar expressar melhor as afirmaes e concluses que compem o corpo terico da Matemtica. Alm disso, aprenderemos o que uma demonstrao ideia precisa e indispensvel para a sua formao.

Objetivos
Desenvolver a capacidade de usar e entender discursos. Conhecer a linguagem Matemtica bsica. Estabelecer a ideia de demonstrao matemtica.

Lgica e conjuntos

TPICO 1
1.1 INTRODUO

Introduo Lgica Matemtica

Objetivos:
Reconhecer a importncia da Lgica. Estabelecer o ensino de Lgica. Compreender os aspectos conceituais e relevantes sobre a Lgica. Conhecer o percurso histrico da Lgica e reconhecer a Lgica em uma perspectiva de valor histrico.

este tpico, faremos um breve passeio histrico, desde a criao da Lgica por Aristteles at o seu desenvolvimento e perspectiva nos dias atuais, a fim de mostrar a voc, caro aluno, a importncia dessa disciplina no apenas para a

prpria Matemtica como tambm para outras reas que se utilizam de suas bases tericas. Tradicionalmente, diz-se que a Lgica a cincia do raciocnio ou que est preocupada com o estudo do raciocnio. Ainda que atualmente esta ideia possa ser considerada insuficiente ou mesmo ultrapassada devido enorme dimenso e diversidade que tem alcanado este ramo comum da Filosofia e da Matemtica, ela pode servir como uma primeira aproximao para o contedo da Lgica. O sucesso dessa cincia , tambm conhecida como Lgica Matemtica, no se deve apenas ao fato de seus princpios fundamentais constiturem a base da Matemtica. Sua relevncia evidenciada principalmente por ter seus padres de anlise e crtica aplicveis a qualquer rea de estudo em que a inferncia e o argumento sejam necessrios, ou seja, a qualquer campo em que as concluses devam basear-se em provas. A Lgica til a qualquer rea que exija raciocnios elaborados, bem como em casos prticos do nosso dia a dia. O conhecimento

Sa iba m a is
Inferncia uma palavra que deriva do termo em latim inferentia e diz respeito ao ato de inferir ou tirar concluso. A palavra argumento tambm vem do latim, do termo argumentu e corresponde a um raciocnio pelo qual se tira uma concluso.

AULA 1

TPICO 1

bsico de Lgica indispensvel, por exemplo, para estudantes de Matemtica, Filosofia, Cincias, Lnguas ou Direito. Seu aprendizado auxilia os estudantes no raciocnio, na compreenso de conceitos bsicos e na verificao formal de provas, preparando para o entendimento dos contedos de tpicos mais avanados. A Lgica Matemtica tem hoje aplicaes concretas extremamente relevantes em diversos domnios. Uma aplicao notadamente importante da Lgica na vida moderna seu uso como fundamentao para a Computao e, em especial, para a Inteligncia Artificial. A Lgica utilizada no planeamento dos modernos computadores eletrnicos e por meio dela que se justifica a inteligncia dos computadores atuais. Embora a Lgica seja um tema com amplas conotaes interdisciplinares permeando as conversas informais entre amigos, a leitura de jornais ou revistas seu ensino, em particular a nvel bsico, enfrenta srias dificuldades, como sugere a ilustrao a seguir:
www.jucimon.deviantart.com

Figura 1: Charge sobre a Lgica

A Lgica tem sido tradicionalmente apresentada de forma abstrata, sem exemplos concretos ligados a temas matemticos especficos. Mais particularmente para o ensino bsico, devemos destacar um componente bastante prtico e pouco explorado da Lgica Matemtica apontado por Druck (1990, p. 10):
[...] o desenvolvimento da capacidade de usar e entender um discurso correto, identificando construes falaciosas, ou seja, incorretas, mas com a aparncia de correo lgica. [...] a capacidade de argumentar e compreender argumentos, bem como a capacidade de criticar argumentaes ou textos.

Assim, fica evidenciado que uma das principais funes da Lgica Matemtica servir de fundamento ao raciocnio matemtico, evitando ambiguidades e contradies

10

Lgica e conjuntos

por possibilitar determinar, com absoluta preciso e rigor, quando um raciocnio matemtico vlido e quando ele no o , ou seja, ela fornece tcnicas adequadas para a anlise de argumentos. Nesse contexto, esto pressupostas tanto a ideia de provas ou demonstraes essencial para a sua formao como professor de Matemtica como a noo que permite compreender e resolver problemas, que de outra forma seriam intratveis. Do que expomos at aqui, queremos destacar

g u a r d e be m isso!
A Lgica constitui-se como uma cincia autnoma para estudar o pensamento humano e distinguir inferncias e argumentos.

o papel especial da Lgica como ferramenta para nos apropriar de objetos matemticos (definies, representaes, teoremas e demonstraes) bem como um poderoso recurso na organizao do pensamento humano. Aps essa introduo, faremos um breve relato da histria da Lgica, destacando as contribuies recebidas, os avanos alcanados e as principais ramificaes dessa cincia . 1.2 UM POUCO DE HISTRIA As razes da Lgica encontram-se na antiga Grcia, com as concepes de alguns filsofos, entre eles Scrates e Plato. Entretanto, no sentido mais geral da palavra, o estudo da Lgica remonta ao sculo IV a.C. e teve incio com Aristteles (384 322 a.C.), filsofo de Estagira (hoje Estavo), na Macednia. Ele criou a cincia da Lgica baseada na Teoria do Silogismo (certa forma de argumento vlido) e suas principais contribuies foram reunidas em uma obra denominada Organun, que significa Instrumento da Cincia. Dentre essas contribuies, destacamos: i) A separao da validade formal do pensamento e do discurso da sua verdade material; ii) A criao de termos fundamentais para analisar a lgica do discurso: Vlido, No Vlido, Contraditrio, Universal, Particular. A lgica aristotlica era bastante rgida, mas permaneceu quase inalterada at o sculo XVI. Esse primeiro perodo tambm conhecido como Perodo Aristotlico, o que mostra a influncia das idias de Aristteles. Na Grcia, distinguiram-se duas grandes escolas de Lgica: a Peripattica (que teve a influncia de Aristteles), retratada no quadro A Escola de Atenas (Figura 2) do pintor renascentista italiano Rafael; e a Estica, fundada por Zeno de Elea (326 264 a.C.). Essas duas escolas foram durante muito
Figura 2: A Escola de Atenas

AULA 1

Fonte: http://upload.wikimedia.org/wikipedia/

TPICO 1

11

tempo escolas rivais, o que de certa forma prejudicou o desenvolvimento da Lgica. Na verdade, as teorias

voc s abia?
O termo peripattico (em grego, peripatetiks) significa ambulante ou itinerante. Peripatticos (ou os que passeiam) eram assim chamados os discpulos de Aristteles, em razo do hbito do filsofo de ensinar ao ar livre, caminhando enquanto lia e dava prelees, nos portais cobertos do Liceu (a primeira escola de Filosofia, aberta por Aristteles), os perpatoi, ou sob as rvores que o cercavam. Estico (em grego stoiks), que significa resignado, inabalvel, tambm est associado a lugar ou, melhor dizendo, ao

dessas escolas eram complementares. Nos anos subsequentes, com a contribuio de grandes matemticos, como Gottfried Wilhelm Leibniz (1646 1716), George Boole (1815 1864), Augustus de Morgan (1806 1871) e, mais recentemente, Bertrand Russel (1872 1970), Kurt Gdel (1906 1975) e Alfred Tarski (1902 1983), a Lgica Matemtica ganhou grande destaque e passou a exercer grande influncia na Informtica, Inteligncia Artificial, entre outros campos da cincia. Um pouco mais do desenvolvimento da Lgica pode ser visto no texto abaixo:

A Lgica comeou a desenvolver-se com Aristteles (384-322 a.C.) e os an igos filsofos gregos passaram t local onde Zeno gostava de promover a usar em suas discusses sentenas enunciadas nas seus encontros filosficos: a parte formas afirmativas e negativas, resultando assim grande coberta do Mercado de Atenas, sto. simplificao e clareza, com efeito de grande valia em toda a Matemtica. Por volta de 1666, Gottfried Wilhelm Leibniz (1646-1716) usou em vrios trabalhos o que chamou calculus ratiotinator, ou logica mathematica ou logstica. Essas ideias nunca foram teorizadas por Leibniz, porm seus escritos trazem a ideia da Lgica Matemtica. No sculo XVIII, Leonhard Euler (1707-1783) introduziu a representao grfica das relaes entre sentenas ou proposies, mais tarde ampliada por ohn Venn J (1834-1923), E. W. Veitch em 1952 e M. Karnaugh em 1953. Em 1847, Augustus DeMorgan (1806-1871) publicou um tratado, Formal logic, envolvendo-se em discusso pblica com o filsofo escocs William Hamilton (que nada tinha a ver com o matemtico William Rowan Hamilton), conhecido por sua aver o s Matemtica, o qual, entre outras coisas, escreveu A Matemtica congela e embota a mente; um excessivo estudo da Matemtica incapacita a mente para as energias que a filosofia e a vida requerem. George Boole (1815-1864), ligado pela amizade a DeMorgan, interessou-se pelo debate entre o filsofo e o matemtico, escrevendo The mathematical analysis of logic (1848) em defesa de seu amigo. Mais tarde, publicou um livro sobre lgebra de Boole, chamado An investigation of the laws of thought (1854) e, em 1859, escreveu Treatise on differential equa ions, no qual t

12

Lgica e conjuntos

discutiu o mtodo simblico geral. O trabalho de George Boole foi ampliado por Lewis Carrol (1896), Whitehead (1898), Huntington (1904 e 1933), Sheffer (1913) e outros. Este perodo de desenvolvimento da Lgica culminou com a publicao do Principia mathematica por Alfred North-Whitehead (1861 1947) e Bertrand Russell (1872-1970), e representou grande ajuda para completar o programa sugerido por Leibniz, que visava dar uma base lgica para toda a Matemtica. A lgebra de Boole, embora existindo h mais de cem anos, no teve qualquer utilizao prtica at 1937, quando foi feita a primeira aplicao anlise de circuitos de rels por A. Nakashima, que no foi bem-sucedido, pois, em vez de desenvolver a teoria j existente, tentou desenvolver a lgebra Booleana por conceitos prprios. Em 1938, Claude E. Shannon mostrou, em sua tese de mestra o no Departamento de Engenharia Eltrica d do MIT (Massachusetts Institute of Technology), a aplicao da lgebra de Boole na anlise de circuitos de rels, usando-a com rara elegncia, o que serviu de base para o desenvolvimento da teo ia dos interruptores. r (DAGHLIAN, 1995, p. 17-18)

Completaremos nossa contextualizao do surgimento e do florescimento da Lgica, apresentando alguma sua classificao. Alguns autores, entre eles Abar (2004), costumam dividir o estudo da Lgica em Lgica Indutiva, til no estudo da teoria da probabilidade; e Lgica Dedutiva. Esta pode ser dividida em: LGICA CLSSICA: considerada como o ncleo da lgica dedutiva. regida basicamente pelos princpios da identidade, da contradio e do terceiro excludo. LGICAS COMPLEMENTARES DA CLSSICA: complementam de algum modo a Lgica Clssica, estendendo o seu domnio. Como exemplo temos lgicas modais, denticas, epistmicas, etc. LGICAS NO-CLSSICAS: caracterizadas por derrogarem algum ou alguns dos princpios da Lgica Clssica. Exemplos: paracompletas e intuicionistas (derrogam o princpio do terceiro excludo); paraconsistentes (derrogam o princpio da contradio); no-alticas (derrogam o princpio do terceiro excludo e o da contradio); noreflexivas (derrogam o princpio da identidade); probabilsticas, polivalentes, fuzzy, etc. At aqui, vimos um pouco da perspectiva histrica da Lgica Matemtica, seu surgimento, e conhecemos algumas das pessoas que deram contribuies para o seu desenvolvimento. No tpico seguinte, veremos por que a linguagem matemtica adota certo formalismo e por que ela necessita desse formalismo.

AULA 1

TPICO 1

13

TPICO 2
2.1 INTRODUO

Elementos da Lgica Matemtica

Objetivos:
Reconhecer a importncia de uma linguagem formal para a Matemtica. Definir e identificar proposies e conectivos. Conhecer os princpios que regem a Lgica Proposicional.

este tpico, alm de perceber a importncia de uma linguagem formal para a Matemtica, voc ver a definio de proposio, um conceito fundamental para a Matemtica, e conhecer os conectivos para compor

novas proposies a partir de outras. Para compreendermos bem as definies, os lemas e os teoremas que constituem as teorias matemticas, imprescindvel que utilizemos uma linguagem mais precisa e rigorosa do que a que usamos na vida corrente. A aquisio desse hbito pode ser bastante facilitada com algumas noes e smbolos da Lgica Matemtica. Na Matemtica, ou em qualquer campo cientfico, estamos interessados em saber quando uma afirmao (ou proposio) verdadeira ou no em um determinado contexto. A linguagem usada na Matemtica compreende designaes (tambm chamados nomes ou termos) e proposies (ou frases). As designaes servem para definir ou denominar determinados objetos matemticos, como ponto, reta, plano, funes, figuras geomtricas, equaes, entre outros. J as proposies exprimem afirmaes que podem ser verdadeiras ou falsas. Vejamos alguns exemplos:

Exemplo 1
1. 2. 3. Existem sacis ou no existem sacis. O nmero de alunos da UAB divisvel por 3. Todos os alunos de Matemtica so malucos e alguns alunos de Matemtica no so malucos.

14

Lgica e conjuntos

No necessrio muito esforo, nem uma teoria especial para afirmarmos que a alternativa 1 verdadeira, a 2 pode ser verdadeira ou no, e 3 falsa, pois enseja uma contradio. Porm, antes de respondermos se uma afirmao verdadeira ou falsa, devemos verificar se a frase est gramaticalmente correta e se faz sentido. Vejamos agora estes exemplos:

Exemplo 2
1. 2. 3. Uma criana levou sua filha idosa para passear em Marte. Os mortos gritam ruidosamente sombra das flores. Jantamos pontos, retas e planos.

bvio que dentro da linguagem potica so permitidos certos desvios ou nonsense, a chamada licena potica. Mas, dentro da Matemtica, por empregarmos linguagem objetiva (e no a subjetiva, como na Literatura), precisamos adotar um formalismo e uma preciso ao escrevermos. Assim, evitaremos que a teoria incorra em contradies, pois, historicamente, foi isso o que ocorreu. A teoria desenvolvendo-se sem muita preocupao formal, at que surgiram alguns paradoxos, o que trouxe certa crise Matemtica. A partir da necessidade de se estabelecer o que verdadeiro ou no, de forma a evitar contradies, surgiu um conjunto de axiomas, isto , princpios evidentes que dispensam demonstrao, bem como um conjunto de regras que nos permitem deduzir verdades (como teoremas, lemas) das nossas hipteses originais. No buscamos a verdade absoluta, isto , a verdade universal, do ponto de vista platnico, que se aplicaria a todo contexto. Isso no existe em nenhuma cincia, nem na Fsica, Biologia, Qumica, Psicologia e, muito menos, na Matemtica. O que buscamos so paradigmas, isto , modelos que expliquem razoavelmente os fatos estudados por ns. Um fato pode ser explicado satisfatoriamente luz de determinada teoria, que pode ser inconsistente para a explicao de outros fatos. Podemos citar como exemplo as leis de Newton, que servem perfeitamente para explicar um choque entre dois veculos em uma estrada, mas se mostram insuficientes para explicar o choque entre partculas subatmicas. lgico que nos interessa que as concluses de nosso estudo possam ser aplicadas linguagem natural. Para tanto, a linguagem que adotaremos para fazer a nossa anlise deve ser uma verso simplificada da linguagem natural.
A linguagem da Lgica Matemtica um recurso para estudar e compreender a lgica de nossa linguagem natural.

at e n o!

AULA 1

TPICO 2

15

Escolhemos como elementos bsicos da linguagem as sentenas, e definiremos regras para determinar como elas podem ser formadas a partir de sentenas mais simples. A primeira noo que devemos ter na formalizao da nossa linguagem a de proposio. 2.2 DEFINIO DE PROPOSIO

D e fi n i o 1
Proposio toda sentena (conjunto de palavras ou smbolos) declarativa, afirmativa que expresse um pensamento de sentido completo cujo conte- do (assero) pode ser tomado como verdadeiro ou falso.

Uma proposio pode ser escrita na linguagem usual ou na forma simblica. Vejamos alguns exemplos de proposies:

Exemplo 3
1. 2. 3. A lua quadrada. A neve branca.

( e )

e2

4. sen = 1 Uma proposio necessariamente dada por uma sentena afirmativa, pois no poderamos atestar a verdade diante de sentenas interrogativas ou exclamativas, como por exemplo:

Exemplo 4
1. 2. Os rus foram condenados? Venha nossa festa!

Em nenhum desses casos, faz sentido questionar se uma sentena verdadeira ou falsa. Agora que conhecemos o que uma proposio, caracterizada por suas qualidades e os princpios bsicos da Lgica Proposicional, daremos a definio de valor lgico de uma proposio. 2.3 DEFINIO DE VALOR LGICO DE UMA PROPOSIO

D e fi n i o 2
Denomina-se valor lgico de uma proposio a verdade (que representamos por V), se a proposio for verdadeira, ou a falsidade (representada por F), se a proposio for falsa.

16

Lgica e conjuntos

Indicaremos o valor lgico de uma proposio p por V(p). Desse modo, exprimimos que a proposio p verdadeira escrevendo V(p) = V e que p falsa escrevendo V(p) = F.

Exemplo 5
Considere as afirmaes (proposies); 1. Os homens so mortais. 2. As pedras so seres vivos. fcil constatar que o valor lgico da proposio (1) verdadeiro (V) e o da proposio (2) falso (F). Para a Matemtica, preciso que as asseres sejam claras, objetivas, e que algumas regras sejam previamente conhecidas. Podemos estabelecer uma analogia com um jogo. Para entrarmos em um jogo (xadrez, futebol, etc.), seja ele qual for, temos que conhecer as regras (ou leis) que regulam esse jogo. Da mesma forma, na Lgica Matemtica, temos os seguintes princpios (ou axiomas), que funcionam como regras fundamentais: Princpio da no-contradio: uma proposio no pode ser verdadeira e falsa ao mesmo tempo. Princpio do terceiro excludo: toda proposio ou verdadeira ou falsa. Verifica-se sempre uma dessas possibilidades e nunca uma terceira. Os princpios da no-contradio e do terceiro excludo nos permitem afirmar que as proposies podem ser simples ou compostas. A caracterizao de cada uma pode ser vista nas definies abaixo. 2.4 DEFINIO DE PROPOSIO SIMPLES

Definio 3
Proposio simples aquela que no contm nenhuma outra proposio como parte integrante de si mesma. tambm chamada proposio atmica ou tomo.

Indicaremos as proposies simples por letras minsculas ( p, q, r, s ...). Vejamos alguns exemplos:

Exemplo 6
1. 2. 3. p: a lua plana. q: sen = 0 . r: o homem mortal.

AULA 1

TPICO 2

17

2.5 DEFINIO DE PROPOSIO COMPOSTA

D e fi n i o 4
Proposio composta aquela formada pela composio de duas ou mais proposies. tambm chamada proposio molecular ou molcula.

Indicaremos as proposies compostas por letras maisculas (P, Q, R, S ...) . Quando desejarmos destacar ou explicitar que uma dada proposio composta P formada pela combinao das proposies simples p, q, r,..., escreveremos: P(p, q, r, ...). Vejamos alguns exemplos:

Exemplo 7

voc s abia?
As proposies componentes de uma proposio composta podem ser, elas mesmas, proposies compostas.

1. P: o sol brilha e a lua reflete a luz. 2. Q: Cear ganha ou o Cear perde. 3. R: se 3 < e o nmero 8 cubo perfeito, ento 25 um nmero primo. Note que cada proposio acima contm outras proposies como suas partes integrantes. As proposies componentes da proposio R so t: 3 < ; u: o nmero 8 cubo perfeito; e v: 25 um nmero primo. Ao proferimos um discurso na lngua

sa i ba mais !
As proposies compostas so chamadas tambm frmulas proposicionais ou simplesmente frmulas.

natural, necessitamos de conexes apropriadas de ideias. A materializao dessas conexes realizada por partculas da linguagem comumente chamadas conectivos. De modo anlogo, na Matemtica, precisamos de conectivos que interliguem sentenas para gerar sentenas mais complexas (mais ricas em significados). Na prxima definio, apresentaremos os principais tipos de conectivos usados na Lgica. Voc ter a oportunidade de reconhec-los nas diversas situaes e, posteriormente, conhecer as regras para determinar os valores lgicos das proposies compostas formuladas com esses conectivos a partir dos valores lgicos das proposies componentes.

18

Lgica e conjuntos

2.6 DEFINIO DE CONECTIVOS

Definio 5
Conectivos so as palavras que usamos para formar novas proposies a partir de outras. Os principais conectivos so as palavras (ou termos): e, ou, no, se ... ento, e ... se e somente se ....

Na maioria dos casos, os conectivos ligam duas ou mais proposies (ou afirmaes). Vejamos alguns exemplos, em que esto destacados os conectivos usados para compor a proposio.

Exemplo 8
a. b. c. O nmero 2 par e 5 mpar. Um tringulo ABC escaleno ou issceles. Neste ano, no houve inverno (esta proposio deriva da proposio Neste ano, houve inverno). Se sabe Matemtica, ento faa Medicina. Um tringulo retngulo se, e somente se, satisfaz o Teorema de Pitgoras.

voc sa bia?
Voc pode aprofundar seus conhecimentos consultando as referncias que citamos e/ ou visitando pginas da internet. Abaixo listamos algumas pginas interessantes que podem ajud-lo nessa pesquisa. Bons estudos! 1. 2. 3. http://www.pucsp.br/~logica/ http://wwmat.mat.fc.ul. http://turnbull.mcs.st-and.

d. e.

Como podemos observar neste tpico, as proposies sero o objeto principal de estudo da Lgica Matemtica. Nesta aula, fizemos uma breve introduo ao estudo da Lgica, conhecendo um pouco de

pt/~jnsilva/logica97/logica97.html ac.uk/~history/

sua histria e percebendo sua importncia no apenas para a prpria Matemtica como tambm para outras reas. Vimos ainda a necessidade de uma linguagem formal para a Matemtica e apresentamos os elementos bsicos para essa linguagem. Na prxima aula, faremos uma introduo ao clculo proposicional.

AULA 1

TPICO 2

19

AULA 2

Operaes do Clculo Proposicional

Ol, na aula anterior, vimos a necessidade da Matemtica em dispor de uma linguagem formal e tivemos o primeiro contato com os elementos bsicos dessa linguagem: as proposies e os conectivos. Nesta aula, iniciaremos nosso estudo sobre clculo proposicional. Introduziremos as principais operaes deste clculo e estabeleceremos algumas relaes dessas operaes com a lgebra dos conjuntos. Conheceremos tabelas-verdade e diagramas de rvore e aprenderemos a construir as tabelas-verdade das proposies compostas obtidas do clculo com proposies.

Objetivos
Conhecer as principais operaes do clculo proposicional. Determinar o valor lgico de proposies compostas. Estabelecer propriedades das operaes. Relacionar a lgebra das proposies com a lgebra dos conjuntos.

20

Lgica e conjuntos

TPICO 1
1.1 INTRODUO

Tabelas-verdade das proposies

Objetivos:
Aplicar os princpios fundamentais da Lgica Proposicional. Conhecer e formular diagramas de rvore e tabelasverdade. Determinar o nmero de linhas de uma tabelaverdade.

este tpico, veremos como construir as tabelas-verdade das proposies. Essas tabelas nos possibilitaro determinar os valores lgicos das proposies para cada atribuio de valores lgicos s suas proposies componentes.

1.2 CONSTRUO DE TABELAS-VERDADES DAS PROPOSIES Para a construo de tais tabelas, necessitaremos de dois princpios bsicos. O primeiro o princpio do terceiro excludo, que j conhecemos, e diz que toda proposio ou verdadeira (V) ou falsa (F). O segundo enunciaremos a seguir. Indicaremos todas as possibilidades de valores lgicos para uma dada proposio, correspondentes a cada atribuio de valores lgicos s suas proposies simples componentes, por meio de tabelas denominadas tabelas-verdade ou, alternativamente, usando o que chamamos de diagrama de rvore. Vejamos alguns casos:

g u a r d e be m isso!
O valor lgico de uma proposio composta qualquer depende unicamente dos valores lgicos das proposies simples que a compem, ficando por eles univocamente determinado.

i) Para uma proposio simples a

Neste caso, pelo princpio do terceiro excludo, temos 2 possibilidades para o valor lgico de a. Cada uma dessas possibilidades est representada na tabela-

AULA 2

TPICO 1

21

verdade de a (Figura 1) que ter duas linhas. Proposio simples a

Figura 1: Tabela-verdade e Diagrama de rvore de uma proposio simples a

Vejamos agora como ficam essas representaes para proposies compostas.

ii) Para uma proposio A composta por duas proposies simples a e b, representada por A(a,b)
Neste caso, devemos examinar cada par possvel de valores lgicos para as proposies simples a e b, para determinar o valor lgico da proposio composta A. Temos um total de 2 2 = 22 = 4 possibilidades. Cada uma dessas possibilidades est representada na tabela-verdade de A (Figura 2) que ter 4 linhas. Nela, os valores V e F se alternam de dois em dois para a proposio a e de um em um para a proposio b. Proposio composta A(a,b)

Figura 2: Entradas da Tabela-verdade e do Diagrama de rvore de uma proposio composta A (a,b)

iii) Para uma proposio A composta por trs proposies simples a, b e c, representada por A (a,b,c)
Neste caso, devemos examinar cada terna possvel de valores lgicos para as proposies simples a, b e c, para determinar o valor lgico da proposio

22

Lgica e conjuntos

composta A. Temos um total de 2 2 2 = 23 = 8 possibilidades. Cada uma dessas possibilidades est representada na tabela-verdade de A (Figura 3) que ter 8 linhas. Nela, os valores V e F se alternam de quatro em quatro para a proposio a, de dois em dois para a proposio b e de um em um para a proposio c. Proposio composta A(a,b,c)

Figura 3: Entradas da Tabela-verdade e do Diagrama de rvore de uma proposio composta A(a,b,c)

Agora que voc est mais familiarizado com tais representaes, usando um raciocnio anlogo, no ser difcil perceber a possibilidade seguinte.

iv) No caso geral de uma proposio A composta por n proposies simples a1 , a 2 , ... , a n , representada por A(a1 ,a 2 , ... ,a n )
Neste caso, devemos examinar cada nupla possvel de valores lgicos para as proposies simples a1 , a 2 , ... , a n , para determinar o valor lgico da proposio composta A. Temos um total de 2 possibilidades, ou seja, a tabelaverdade de A ter 2n linhas. Nela, os valores V e F se alternam de 2
n1 n

voc sa bia?
Tabelas-verdade derivam do trabalho de Gottlob Frege, Charles Peirce e outros da dcada de 1880, e tomaram a forma atual em 1922 atravs dos trabalhos de Emil Post e Ludwig Wittgenstein. O Tractatus Logico-Philosophicus, de Wittgenstein, utilizava-as para classificar funes verdades em uma srie. A vasta influncia desse trabalho levou, ento, difuso do uso de tabelas-verdade.

em 2

n1

para a proposio

a1 , de 2

n 2

em 2

n 2

para a proposio a 2

e, sucessivamente, at de um em um para a proposio a n .

AULA 2

TPICO 1

23

Para que voc no fique confuso quando estiver complementando seus estudos com a consulta a outros livros, devemos fazer um pequeno esclarecimento quanto notao. Por uma questo didtica, daremos preferncia ao trabalho com as tabelas-verdade em vez dos diagramas de rvore. No prximo tpico, estudaremos, de modo preciso e criterioso, as principais regras do clculo proposicional.

ateno!
Alguns livros utilizam para os valores lgicos V e F, respectivamente, os valores 1 e 0. Assim, para uma proposio p qualquer, temos: V(p) = V = 1 ou V(p) = F = 0.

24

Lgica e conjuntos

TPICO 2
2.1 INTRODUO

Operaes lgicas sobre proposies

Objetivos:
Conhecer as principais operaes com proposies. Construir proposies compostas por meio dos conectivos da Lgica. Construir tabelas-verdade de proposies compostas.

este tpico, definiremos as principais operaes lgicas com proposies e construiremos as tabelas-verdade dessas operaes. Estas tabelas nos possibilitaro determinar os valores lgicos das proposies compostas

resultantes de cada operao para cada atribuio de valores lgicos s suas proposies componentes. Voc j deve ter percebido (reveja na Aula 1) que as proposies se ligam atravs de expresses chamadas conectivos para formar novas proposies. Os conectivos so muito importantes nas operaes lgicas sobre proposies. Nessas operaes, os operadores, tambm chamados operadores lgicos, so os conectivos, enquanto os operandos so as proposies. No quadro 1, listamos as principais ideias veiculadas por conectivos, bem como os smbolos usados para represent-las.
Conectivo Negao Conjuno Disjuno Condicional Bicondicional Smbolo ~

Quadro 1: smbolo dos conectivos

As operaes obedecem a algumas regras de um tipo de clculo, chamado de

AULA 2

TPICO 2

25

clculo proposicional, que so semelhantes s regras sobre conjuntos (como interseo, unio, etc.). Vamos, agora, conhecer cada uma das operaes definidas por meio dos smbolos acima e construir as tabelas-verdade das proposies compostas resultantes. 2.2 NEGAO DE UMA PROPOSIO

D e fi n i o 1
A negao de uma proposio p a proposio no p, que representaremos por ~ p, cujo valor lgico o oposto ao da proposio p.

A tabela-verdade de ~ p bastante simples. Vejamos:

p V F ~ p F V

Note que o valor lgico de ~ p F quando o valor lgico de p V; e V quando o valor lgico de p F. Considerando as igualdades: ~V = F , ~F = V, temos V(~ p) = ~ V(p). Vejamos alguns exemplos.

Exemplo 1
a. p: Fortaleza a capital do Cear. ~ p: Fortaleza no a capital do Cear. Note que V(p) = V e V(~ p) = F e a relao V(~ p) = ~ V(p) verificada, pois V(~ p) = F = ~V = ~ V(p).

( 2) = 0 ~ q: sen( ) 0 2
b. q: sen Ento, V(q) = F e V(~ q) = V. Na linguagem do dia a dia, a negao de uma afirmao (pelo menos nos casos mais simples) costuma ser feita antepondo o advrbio no ao verbo da proposio, como em (a) do Exemplo 1. Mas h outras formas de construir a negao: antepondo expresses como no verdade que ou falso que proposio que

26

Lgica e conjuntos

se deseja negar. Veja estas formas no exemplo seguinte.

Exemplo 2
r: Pedro eletricista. ~ r: No verdade que Pedro eletricista. ou ~ r: falso que Pedro eletricista. Porm ateno: devemos tomar cuidado ao formar a negao de proposies quantificadas como aquelas que iniciam com os quantificadores todo ou existe. Voc no precisa se preocupar, entretanto, com a negao de proposies quantificadas agora. Elas sero tratadas posteriormente em um momento conveniente. Esperamos que tenha ficado claro para voc o que a negao de uma proposio, como formar uma negao e, principalmente, como construir a tabela-verdade correspondente. A seguir, definiremos a conjuno de duas proposies. 2.3 CONJUNO DE PROPOSIES

at e n o!
A negao de todo homem mortal no todo homem imortal e nem todo homem no mortal. E sim, existe homem imortal ou nem todo homem mortal.

Sa iba m a is
A negao uma operao unria, ou seja, realizada sobre um nico operando. As demais operaes que definiremos sero todas binrias, definidas sobre dois operandos.

Definio 2
A conjuno de duas proposies p e q a proposio p e q, que representaremos por p q, cujo valor lgico ser a verdade (V) se ambas as proposies p e q forem verdadeiras e ser a falsidade (F) nos outros casos. A tabela-verdade de p q :
p V V F F q V F V F p q V F F F

AULA 2

TPICO 2

27

Considerando as igualdades: V V = V, V F = F, F V = F, F F = F, temos V(p q) = V(p) V(q). Vejamos alguns exemplos.

Exemplo 3
a. p: 2 par q: 2 < 3

p q: 2 par e 2 < 3 Temos: V(p) = V e V(q) = V. Logo, V(p q) = V(p) V(q) = V V = V. b. p: Um quadrado equiltero q: 7 par

p q: Um quadrado equiltero e 7 par Temos: V(p) = V e V(q) = F. Logo, V(p q) = V(p) V(q) = V F = F. c. p: racional q: 2 irracional

p q: racional e 2 irracional Temos: V(p) = F e V(q) = V. Logo, V(p q) = V(p) V(q) = F V = F. d. p: sen 0 > 2 q: > 5

p q: sen 0 > 2 e > 5 Temos: V(p) = F e V(q) = F. Logo, V(p q) = V(p) V(q) = F F = F. Agora, voc j conhece a conjuno de duas proposies, sabe obt-la e construir a tabela-verdade correspondente. Nosso prximo passo ser definir a disjuno. 2.4 DISJUNO DE PROPOSIES

D e fi n i o 3
A disjuno de duas proposies p e q a proposio p ou q, que representaremos por p q, cujo valor lgico ser a verdade (V) se pelo menos uma das proposies p e q for verdadeira e ser a falsidade (F) se ambas p e q forem falsas.

28

Lgica e conjuntos

A tabela-verdade de p q :
p V V F F q V F V F p q V V V F

Considerando as igualdades: V V = V, V F = V, F V = V, F F = F, temos V(p q) = V(p) V(q). Vejamos alguns exemplos.

Exemplo 4
a. p: A lua o nosso satlite natural q: A Terra um planeta

p q: A lua o nosso satlite natural ou a Terra um planeta Temos: V(p) = V e V(q) = V. Logo, V(p q) = V(p) V(q) = V V = V. b. p: 1 um nmero natural q: - 2 um nmero natural

p q: 1 um nmero natural ou - 2 um nmero natural Temos: V(p) = V e V(q) = F. Logo, V(p q) = V(p) V(q) = V F = V. c. p: 11 divisvel por 3 q: 5 < 10

p q: 11 divisvel por 3 ou 5 < 10 Temos: V(p) = F e V(q) = V. Logo, V(p q) = V(p) V(q) = F V = V. d. p: Um tringulo um quadriltero q: Todo tringulo issceles

p q: Um tringulo um quadriltero ou todo tringulo issceles Temos: V(p) = F e V(q) = F. Logo, V(p q) = V(p) V(q) = F F = F. Voc deve ter percebido que no difcil obter a disjuno de duas proposies e que a sua tabela-verdade fcil de ser construda. Passaremos agora s definies das proposies condicional e bicondicional. Continue atento, pois ser necessria bastante ateno para compreend-las e para a construo das respectivas tabelas-verdade.

AULA 2

TPICO 2

29

2.5 PROPOSIO CONDICIONAL

D e fi n i o 4
A condicional de duas proposies p e q a proposio se p, ento q, que representaremos por p q, cujo valor lgico a falsidade (F) quando p for verdadeira e q for falsa e ser a verdade (V) nos demais casos. A tabela-verdade de p q :
p V V F F q V F V F p q V F V V

Considerando as igualdades: V V = V, V F = F, F V = V, F F = V, temos V(p q) = V(p) V(q). Vejamos alguns exemplos. Voc dever ficar bem atento ao caso em que a proposio condicional falsa. Guarde bem esse caso, pois ser de grande importncia

ate no!
A condicional p q verdadeira sempre que o valor lgico de p falso, isto , sempre que temos V(p) = F.

quando formos deduzir o valor lgico de proposies condicionais a partir dos valores lgicos das suas proposies componentes. Alm de se p, ento q, h outras maneiras de se ler a condicional p q, a saber: 1. p condio suficiente para q 2. q condio necessria para p

Exemplo 5
a. p: Euler morreu cego q: Pitgoras era filsofo

p q: Se Euler morreu cego, ento Pitgoras era filsofo Temos: V(p) = V e V(q) = V. Logo, V(p q) = V(p) V(q) = V V = V. b. p: A Matemtica uma cincia q: Geometria no Matemtica

p q: Se a Matemtica uma cincia, ento a Geometria no Matemtica

30

Lgica e conjuntos

Temos: V(p) = V e V(q) = F. Logo, V(p q) = V(p) V(q) = V F = F. c. p: 2 > 5 q: 3 real

p q: Se 2 > 5, ento 3 real Temos: V(p) = F e V(q) = V. Logo, V(p q) = V(p) V(q) = F V = V. d. um nmero par. Temos: V(p) = F e V(q) = F. Logo, V(p q) = V(p) V(q) = F F = V. Com ateno e alguns exerccios, voc aprender a reconhecer quando uma proposio condicional falsa. Se necessrio, reveja a definio e a construo da tabela-verdade correspondente. necessrio que voc esteja bem seguro e tenha domnio desse conhecimento. 2.6 PROPOSIO BICONDICIONAL p: -1 um nmero natural. q: 3 um nmero par.

p q: se -1 um nmero natural, ento 3

at e n o!
Uma proposio condicional p q no afirma que a proposio consequente q deduzida da proposio antecedente p. Portanto, quando se diz, por exemplo: 2 um nmero par os patos nadam No se quer dizer, de modo algum, que o fato de patos nadarem uma consequncia do nmero 2 ser par. Ela afirma unicamente uma relao entre os valores lgicos de p e de q, conforme a tabela-verdade vista anteriormente.

Definio 5
A bicondicional de duas proposies p e q a proposio p se, e somente se, q, que representaremos por p q, cujo valor lgico a verdadeiro (V) quando p e q tm o mesmo valor lgico, ou seja, se p e q so ambas verdadeiras, ou ambas falsas, e a falsidade (F) nos demais casos, ou seja, quando os valores lgicos de p e q so opostos. A tabela-verdade de p q :
p V V F F q V F V F p q V F F V

AULA 2

TPICO 2

31

Considerando as igualdades: V V = V, V F = F, F V =

sai ba mais !
A bicondicional p

F,

F F = V, temos V(p q) = V(p) V(q). Vejamos

verdadeira somente quando tambm so verdadeiras as duas condicionais p q e q p.

gu arde bem is so !
A bicondicional p V(p) V(q).

sempre que V(p) = V(q) e falsa sempre

p: > 3 p q: tg = 0 2 p p q: p > 3 se, somente se, tg = 0. 2 Temos: V(p) = V e V(q) = F. Logo, V(p q) = V(p) V(q) = V F = F. c) p: Um tringulo um quadriltero. q: Um quadrado um quadriltero.

q verdadeira

p q: Um tringulo um quadriltero se, somente se, um quadrado for um quadriltero. Temos: V(p) = F e V(q) = V. Logo, V(p q) = V(p) V(q) = F V = F. d) p: 2 mpar. q: 3 par.

p q: 2 mpar se, somente se, 3 for par. Temos: V(p) = F e V(q) = F. Logo, V(p q) = V(p) V(q) = F F = V. Alm de p, se e somente se, q, h outras maneiras de se ler a bicondicional p q, a saber: 1. p condio necessria e suficiente para q 2. q condio necessria e suficiente para p Neste tpico, voc conheceu as proposies compostas obtidas com as

32

Lgica e conjuntos

alguns exemplos.

Exemplo 6
a) brasileira q: A bola de futebol redonda p q: O futebol uma paixo brasileira se, somente se, a bola de futebol for redonda Temos: V(p) = V e V(q) = V. Logo, V(p q) = V(p) V(q) = V V = V. b) p: O futebol uma paixo

principais operaes do clculo proposicional e aprendeu a construir as suas tabelas-verdade. Agora voc deve estar preparado para a construo de tabelas-verdade de proposies compostas mais complexas obtidas a partir da combinao de vrias operaes. Essa ser uma tarefa para nossas prximas aulas.
Voc pode continuar aprendendo um pouco mais sobre o contedo desta aula. Para isso, consulte as referncias que citamos e/ ou acesse pginas relacionadas da internet. Algumas pginas interessantes que podero ajud-lo esto listadas abaixo. Bons estudos! http://www.pucsp.br/~logica/ http://pucrs.campus2.br/~annes/ inflog.html http://wwmat.mat.fc.ul.pt/~jnsilva/ logica97/logica97.html http://rogesantana.vilabol.uol.com.br/ modulo_1/Logos1.htm#roge05

Sa iba m a is

AULA 2

TPICO 2

33

AULA 3
Caro (a) aluno (a),

Construes de tabelas-verdade

Na Aula 2, aprendemos a construir as tabelas-verdade das proposies compostas obtidas das principais operaes do clculo com proposies. Mais precisamente, construmos a tabela-verdade da negao, proposio formada de uma proposio simples pelo conectivo no, e as tabelas-verdade das proposies compostas formadas por duas proposies simples ligadas pelos conectivos e, ou, se ento, se e somente se. Agora, voc j est apto a partir para construes de tabelas-verdade de proposies mais complexas. Tais proposies so obtidas pela combinao de mais de um conectivo e, como sabemos, suas tabelas-verdade nos possibilitaro determinar seus valores lgicos para cada atribuio de valores lgicos s suas proposies componentes. Bom trabalho a todos!

Objetivos
Construir proposies compostas de vrias proposies. Determinar o valor lgico de proposies compostas. Construir tabelas-verdade. Conhecer tautologias, contradies e contingncias.

34

Lgica e conjuntos

TPICO 1
1.1 INTRODUO

Construindo proposies compostas

Objetivos:
Combinar conectivos para compor proposies. Relacionar nmero de proposies simples componentes de uma proposio composta e nmero de linhas de sua tabela-verdade.

ecorde as principais operaes do clculo proposicional (negao, conjuno, disjuno, condicional e bicondicional) estudadas na Aula 2. Com elas, obtemos novas proposies (ditas compostas das proposies

dadas) pela combinao de proposies por meio de um nico conectivo lgico, em geral, mais complexas que as proposies originais. natural, agora, que pensemos em construir mais proposies compostas a partir de outras por combinaes dos conectivos. Vejamos alguns exemplos.

Exemplo 1:
Sejam p, q, r e s proposies simples. So proposies compostas obtidas pela combinao de dois ou mais conectivos: P ( p, q) =~ ( p q) Q( p, q) =~ p ( p q) R( p, q, r ) = ( p q) ( p r ) S ( p , q, r , s ) = ( p q ) ( r s ) Evidentemente, nada impede que as componentes de uma proposio composta sejam, elas mesmas, proposies compostas, como veremos no exemplo a seguir.

g u a r d e be m isso!
O valor lgico de sentenas compostas fortemente determinado pelos valores lgicos de suas componentes, pelo modo como estas se combinam (ou seja, depende tambm do conectivo que as liga).

Exemplo 2:
Dada a proposio P composta das

AULA 3

TPICO 1

35

proposies simples p1 e q1 , e Q composta das proposies simples p2 , q2 e r2 , ou seja, dadas P ( p1 , q1 ) e Q( p2 , q2 , r2 ) , podemos construir um proposio a pela combinao das proposies P e Q . Temos, ento, a(P ,Q) ou, mais especificamente, a(P ( p1 , q1 ),Q( p2 , q2 , r2 )) . 1.2 TEOREMA Para no perder de vista nossa principal meta, a determinao dos valores lgicos de proposies, devemos ficar atentos ao modo como chegamos a essa determinao. Do que vimos, podemos sempre pensar numa proposio composta P qualquer como obtida pela combinao de uma quantidade finita n de proposies simples p1 , p2 , ..., pn , ou seja, P ( p1 , p2 ,..., pn ) . Considerando ainda que o nmero de modos de combinar as proposies p1 , p2 , ..., pn , por meio dos conectivos, para obter P seja finito e lembrando que, pelo Princpio do Terceiro Excludo, s h duas possibilidades para os valores lgicos de cada proposio pi , deduzimos que so tambm finitas as possibilidades de se combinarem os valores lgicos das proposies simples para determinar o valor lgico correspondente da proposio composta. Tais possibilidades podem ser organizadas em tabelas especiais que recebem a denominao de tabelas-verdade. Podemos construir a tabela-verdade de qualquer proposio. O nmero de linhas da tabela determinado pelo nmero de proposies simples componentes da proposio dada. Chegamos assim ao seguinte teorema:

teorema 1
A tabela-verdade de uma proposio composta de n proposies simples componentes
n constituda de 2 linhas.

No h uma regra geral para a construo de tabelas-verdade de proposies compostas. Apresentaremos aqui a forma descrita em Alencar Filho (2002, p. 30) para construir as colunas da tabela correspondentes s proposies simples componentes: Para a construo prtica da tabela-verdade de uma proposio composta, comease por contar o nmero de proposies simples que a integram. Se h n proposies simples componentes: p1 , p2 , ..., pn , ento a tabela-verdade contm 2n linhas. Posto isto, 1 proposio simples p1 atribuem-se 2n / 2 = 2n1 valores V seguidos

36

Lgica e conjuntos

de 2n1 valores F; 2 proposio simples p2 atribuem-se 2n / 4 = 2n 2 valores V, seguidos de 2n 2 valores F, seguidos de 2n 2 valores V, seguidos, finalmente, de 2n 2 valores F; e assim por diante. De modo genrico, a k-sima proposio simples pk (k n) atribuem-se alternadamente 2n / 2k = 2n k valores V seguidos de igual nmero de valores F. Para fixar melhor, vejamos como seriam os agrupamentos de V e F nas colunas da tabela correspondentes s proposies simples para o caso, por exemplo, de uma proposio composta por 4 proposies simples componentes p1 , p2 , p3 e p4 : A tabela-verdade contm 24 = 16 linhas, e os grupos de valores V e F se alternam de 8 em 8 para a 1 proposio simples p1 , de 4 em 4 para a 2. proposio simples p 2 , de 2 em 2 para a 3 proposio simples p3 , e, finalmente, de 1 em 1 para a 4 proposio simples p 4 . 1.3 P ASSOS P ARA CONSTRUO DE TABELAS-VERDADE DAS PROPOSIES COMPOSTAS Para a construo da tabela-verdade de uma proposio composta dada, devemos ainda segundo Daghlian (1995): Observar a precedncia entre os conectivos, ou seja, determinar a forma das proposies que ocorrem na proposio original. Aplicar as definies das operaes lgicas necessrias. At agora, sabemos construir as colunas correspondentes s proposies simples componentes de uma proposio composta P, as quais chamaremos entradas da tabela. Precisamos de um procedimento para construir uma coluna com os valores lgicos correspondentes da proposio P, ou seja, para construir a sada da tabela. Para tanto, construiremos, a partir das tabelas-verdade das operaes, colunas intermedirias (tantas quanto forem necessrias) para proposies compostas que so pedaos de P at conseguirmos obter a coluna de P. Vejamos alguns exemplos.

Exemplo 3:
Construa a tabela-verdade da proposio composta R( p, q) = ~ (~ p q) .
p V V F F q V F V F

~p
F F V V

~ p q
V F V V

R( p, q) = ~ (~ p q)
F V F F

AULA 3

TPICO 1

37

Considerando que R composta de 2 proposies simples componentes p e q, nossa tabela ter 22 = 4 linhas. Note que, em primeiro lugar, formamos o par de colunas correspondentes s duas proposies simples componentes, ou seja, escrevemos as entradas da tabela. Os grupos de valores V e F se alternam nessas colunas de 2 em 2 para a 1 proposio simples p e de 1 em 1 para a 2 proposio simples q. Em seguida, recorrendo s definies das operaes de negao e disjuno, formamos a coluna para ~ p . Depois, formamos a coluna para ~ p q . Finalmente, formamos a coluna relativa aos valores lgicos da proposio composta dada R, ou seja, determinamos a sada da tabela (destacada em negrito).

Exemplo 4:
Construa a tabela-verdade da proposio composta S ( p, q, r ) = ( p q) (q r ) .
p V V V V F F F F q V V F F V V F F r V F V F V F V F

pq
V V V V V V F F

qr
V F F F V F F F

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

Considerando que S composta de 3 proposies simples componentes p, q e r, nossa tabela ter 23 = 8 linhas. Note que, em primeiro lugar, construmos as entradas da tabela, ou seja, formamos as colunas correspondentes s trs proposies simples componentes. Os grupos de valores V e F se alternam nessas colunas de 4 em 4 para a 1 proposio simples p, e de 2 em 2 para a 2 proposio simples q, e de 1 em 1 para a 3 proposio r. Em seguida, recorremos s tabelas-verdade das operaes de conjuno e disjuno para formar a quarta e a quinta colunas. Finalmente, usando a tabela-verdade da operao de condicional, determinamos a sada da tabela (destacada em negrito), ou seja, formamos a coluna relativa aos valores lgicos da proposio composta dada S. Neste tpico, revimos a determinao do nmero de linhas de uma tabelaverdade e descrevemos um procedimento para a construo das tabelas-verdade de proposies qualquer. No tpico seguinte, teremos a oportunidade de ampliar esses conhecimentos construindo as tabelas-verdade de vrias proposies e poderemos observar algumas relaes entre certas proposies compostas. Ento, prossigamos ...

38

Lgica e conjuntos

TPICO 2
2.1 INTRODUO

Construindo tabelas-verdade: exemplos

Objetivos:
Construir as tabelas-verdade de vrias proposies compostas. Normatizar o uso de parnteses. Deduzir os valores lgicos de proposies compostas. Relacionar certar proposies compostas.

este tpico, construiremos as tabelasverdade de vrios exemplos de proposies compostas. Este ser um

Sa iba m a is
A lgebra booleana foi criada pelo matemtico ingls George Boole (18151864). Ela consiste no uso de tcnicas algbricas para lidar com expresses cujas variveis trabalham somente com dois valores: falso (0) ou verdadeiro (1). Atualmente, todos os sistemas digitais so baseados nela, relacionando os nveis lgicos 0 (falso) e 1 (verdadeiro) com a passagem ou ausncia de corrente eltrica. O fato de as constantes e variveis poderem ter apenas dois valores possveis, 0 ou 1, caracteriza-se como a principal diferena entre a lgebra booleana e a lgebra convencional. Em circuitos eltricos, as variveis booleanas (variveis da lgebra booleana) podem representar o nvel de tenso presente em um determinado ponto do circuito.

importante passo para que, posteriormente, possamos verificar a validade de argumentos. Ser tambm um exerccio interessante para que possamos observar certas relaes entre algumas proposies compostas. Voc j deve ter percebido a utilidade das tabelas-verdade na determinao do valor lgico das proposies. Devemos enfatizar que uma tabela-verdade uma forma muito til e prtica de representar uma funo na lgebra booleana. Ela relaciona todas as combinaes possveis para os valores das variveis de entrada da funo, com o valor correspondente da sada da funo booleana. Em um texto extrado de Daghlian (1995), vimos um pouco sobre a lgebra booleana e sua aplicao em circuitos eltricos. Releia este texto e enriquea seus conhecimentos.

AULA 3

TPICO 2

39

2.2 USO DE PARNTESES E A ORDEM DE PRECEDNCIA DAS OPERAES Antes de prosseguirmos com os exemplos, vamos fazer algumas consideraes importantes sobre o uso de parnteses e sobre a ordem de precedncia das operaes. A colocao de parnteses na simbolizao das proposies deve ser feita para evitar ambiguidades. A proposio p q r , por exemplo, sem a presena de parnteses fica ambgua. Ela d origem, pela colocao de parnteses, a duas proposies: i) ( p q ) r e ii) p (q r ) A proposio em (i) uma conjuno, pois seu conectivo principal . J a proposio em (ii), que tem como conectivo principal , uma disjuno. Essas duas proposies so distintas, tanto que pode ser verificado, ao comparar suas tabelas-verdade, que elas apresentam sadas diferentes. Faa esta verificao como exerccio. Por questes de simplificao da escrita, desde que no venham a ocorrer ambiguidades, a supresso de parnteses pode ser admitida. Para tanto, algumas convenes devem ser observadas:

1. A ordem de precedncia para os conectivos, do mais fraco para o mais forte :

(1) ~ conectivo mais fraco (2) e (3) (4) conectivo mais forte

Desse modo, a proposio

pq r s
uma bicondicional e no uma disjuno ou uma condicional. Com o uso de parnteses, poderamos transform-la nas disjunes

p (q r s ) ou p ((q r ) s )
ou nas condicionais

( p q r ) s ou ( p (q r )) s .
2. Se um mesmo conectivo aparece repetidamente, a supresso de parnteses feita fazendo-se associaes a partir da esquerda. Desse modo, as proposies

( p q ) r e ~ (~ p ) ,
podem ser escritas de maneira mais simples, respectivamente, por:

p q r e ~~ p .
Vamos agora usar o procedimento descrito no tpico anterior para construir as tabelas-verdade de alguns exemplos.

40

Lgica e conjuntos

Exemplo 5:
Construa a tabela-verdade da proposio composta

P( p, q ) ~ ((~ p) (~ q)) . =
p
V V F F

q
V F V F

~p
F F V V

~q
F V F V

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

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

Observe que os valores lgicos da proposio composta P dada encontram-se na ltima coluna (coluna 6) da tabela. Portanto, os valores lgicos da proposio P correspondentes a todas as possveis atribuies de valores lgicos V e F s proposies simples componentes p e q, ou seja, aos pares de valores lgicos VV, VF, FV e FF so, respectivamente, V, V, V e F. Simbolicamente, podemos escrever: P(VV) = V, P (VF) = V, P (FV) = V e P (FF) = F ou abreviadamente: P(VV, VF, FV, FF) = VVVF. Dizemos ainda que a proposio P (p, q) associa a cada um dos elementos do conjunto U = {VV, VF, FV, FF} um nico elemento do conjunto {V, F}, ou seja, P (p, q) uma funo de U em {V, F}: P: U {V, F} A representao grfica por um diagrama de flechas (diagrama sagital) pode ser vista na figura 1.
A proposio

at e n o!
~ ((~ p ) (~ q ))

uma negao e pode ser escrita, por supresso de parnteses, por ~ (~ p ~ q ) . Por outro lado, ela no pode ser escrita por ~~ p ~ q . Essa , na verdade, a conjuno ~ (~ p ) ~ q ou, escrita de forma mais estendida, (~ (~ p )) (~ q ) .

Figura 1: Representao sagital de P ( p , q ) =~ ((~ p ) (~ q )) .

AULA 3

TPICO 2

41

Exemplo 6:
Construa a tabela-verdade da proposio composta

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

q
V F V F

pq
V F V V

p ( p q)
V F F F

p ( p q) q
V V V V

Veremos mais adiante que essa proposio, chamada de regra Modus Ponens, est relacionada implicao lgica ( ). Note que esta proposio tem uma caracterstica especial: a ltima coluna de sua tabela-verdade que encerra o valor lgico da proposio s contm o valor lgico verdade (V). Daremos mais adiante uma definio para esse tipo de proposio. Temos: P(VV) = V, P (VF) = V, P (FV) = V e P (FF) = V ou abreviadamente: P(VV, VF, FV, FF) = VVVV. Potanto, P (p, q) uma funo de U em {V, F}, P: U {V, F} cuja representao grfica por um diagrama sagital vista a seguir:

Figura 2: Representao sagital de P ( p , q ) = p ( p q ) q .

Concluiremos este tpico apresentando formas de determinar o valor lgico de proposies compostas sem necessitar construir suas tabelas-verdade. Esse conhecimento ser de grande utilidade nas demonstraes de validade ou no de argumentos e ser explorado em exerccios posteriores.

42

Lgica e conjuntos

J sabemos que o valor lgico de uma proposio composta fica determinado pelos valores lgicos das proposies simples que a compem. Para ilustrar esse fato, faamos alguns exerccios.

Exemplo resolvido 1:
Determine o valor lgico da proposio composta P ( p, q ) ~ p q para = o caso de o valor lgico de p ser V (verdade) e o de q ser F (falsidade).

Soluo:
Temos: V (P ) = V (~ p q) = V (~ p) V (q) = ~ V ( p) V (q) = ~ V F = F F = V . Assim, o valor lgico de P ( p, q ) V.

Exerccio resolvido 2:
Considere as proposies:

p : | sen( x) |> 1 , q : racional e r:

2 primo. Determine o valor lgico da proposio composta Q ( p, q, r ) = p r q r .

at e n o!
Vale destacar que a proposio Q ( p ,q , r ) uma condicional com antecedente p r e consequente q r .

Soluo:
Inicialmente, precisamos usar conhecimentos de Matemtica do Ensino Mdio para determinar os valores lgicos das proposies p, q e r. Do fato que a funo sen limitada com 1 sen( x) 1 para todo x, V ( p ) = F . Da constituio dos conjuntos numricos, sabemos que V (q ) = F e V (r ) = V . Desse modo, temos: V (Q) = V ( p r q r ) = V ( p r ) V (q r ) = V ( p) V (r ) V (q) V (r ) . = F V F V = V F = F Assim, o valor lgico de Q ( p, q, r ) F.

Exerccio resolvido 3: Dados V ( p ) = V e V (q ) = V , determine o valor lgico da proposio

composta:

R ( p, q ) = ( p q ) ((~ q ) (~ p )) .

AULA 3

TPICO 2

43

Soluo:
Temos:

ate no!
1. Vale destacar que a proposio R ( p ,q ) uma bicondicional e, considerando que, pela ordem de precedncia, o conectivo mais forte que o conectivo , podemos suprimir parnteses e escrever simplesmente R ( p ,q ) = p q ~ q ~ p . 2. Se variarmos os valores lgicos das proposies simples p e q que compem a proposio composta R ( p ,q ) , o seu valor lgico no se altera, ou seja, o valor lgico de R independe dos valores lgicos de suas componentes. Como exerccio, verifique essa interessante observao. Proposies com essa caracterstica sero estudadas no prximo tpico.

V ( R) = V (( p q) ((~ q) (~ p))) = V ( p q) V ((~ q) (~ p)) = (V ( p) V (q)) (V (~ q) V (~ p)) = (V ( p) V (q)) ((~ V (q)) (~ V ( p))) = (V V ) ((~ V ) (~ V )) = = (V V ) (F F ) = V V = V

Assim, o valor lgico de R ( p, q ) V. Neste tpico, construmos as tabelasverdade de algumas proposies e apresentamos algumas regras para o uso/supresso de parnteses. Vimos ainda outros meios de determinar o valor lgico de uma proposio composta. No prximo tpico, apresentaremos proposies com caractersticas especiais.

44

Lgica e conjuntos

TPICO 3
3.1 INTRODUO

Tautologias, contradies e contingncias

Objetivos:
Identificar o que uma tautologia e conhecer o seu valor lgico. Identificar o que uma contradio e conhecer o seu valor lgico. Reconhecer contingncias e determinar seus valores lgicos.

N
lgicos.

este as

tpico, tautologias

apresentaremos e contradies,

g u a r d e be m isso!
O valor lgico de uma tautologia

proposies compostas especiais

cujos valores lgicos no se alteram mesmo quando alteramos os valores lgicos das proposies simples que as compem. Aprenderemos tambm o que so contingncias. Construiremos tabelas-verdade desses tipos de proposies e determinaremos os seus valores

P( p1 , p2 , , pn ) V independente
dos valores lgicos das proposies simples p1 , p2 , , pn .

3.2 DEFINIO DE TAUTOLOGIA

Definio 1
Uma tautologia uma proposio composta cujo valor lgico sempre a verdade (V), independente dos valores lgicos das proposies simples que a compem. Da definio acima, na ltima coluna da tabela-verdade de uma tautologia, ocorre sempre o valor lgico V (verdade). Como exemplo, considere a seguinte afirmao: Jos diz: - hoje sbado

AULA 3

TPICO 3

45

ou hoje no sbado. Observe que Jos est sempre dizendo a verdade, no importa que dia seja hoje. Uma tautologia tambm chamada proposio tautolgica ou proposio logicamente verdadeira. Para fixar a definio, vejamos alguns exemplos:

Exemplo 7:
A proposio ~ ( p ~ p ) uma tautologia, como pode ser visto em sua tabela-verdade. p
V F

~p
F V

p ~ p
F F

~ ( p ~ p )
V V

Observe que, na ltima coluna da tabela-verdade de ~ ( p ~ p ) , s h o valor lgico V (verdade). Esse exemplo ilustra o princpio da no-contradio, apresentado na primeira aula, e significa que a afirmao de que uma proposio no pode ser simultaneamente verdadeira e falsa verdadeira.

Exemplo 8:
A ltima coluna da tabela-verdade de p ~ p s apresenta o valor lgico V (verdade), como pode ser visto abaixo. p
V F

~p
F V

p ~ p
V V

Logo, p ~ p uma tautologia. Esse exemplo ilustra o princpio do terceiro excludo e significa que dizer que uma proposio ou verdadeira ou falsa uma afirmao verdadeira. Vejamos agora alguns casos com mais proposies simples. Inicialmente, vamos voltar proposio R ( p, q ) Exerccio Resolvido 3 (Tpico 2 - Aula 3). Verifiquemos que o valor lgico de R V independente dos valores lgicos de suas componentes p e q.

Exemplo 9:
A proposio p q ~ q ~ p uma tautologia. A ltima coluna de sua tabela-verdade s apresenta o valor lgico V (verdade), como pode ser visto a seguir.

46

Lgica e conjuntos

p V V F F

q V F V F

~p
F F V V

~q
F V F V

pq
V F V V

~ q ~ p
V F V V

p q ~ q ~ p
V V V V

Exemplo 10 (Alencar Filho, 2002, p. 45): A proposio p r ~ q r tautolgica, conforme se v pela sua tabela-verdade:
p V V V V F F F F q V V F F V V F F r V F V F V F V F

~q
F F V V F F V V

pr
V F V F F F F F

~ qr
V F V V V F V V

p r ~ q r
V V V V V V V V

Agora que voc sabe o que uma tautologia, vamos dar a definio de contradio, outro tipo de proposio composta, cujo valor lgico no depende dos valores lgicos das proposies componentes. 3.3 DEFINIO DE CONTRADIO

Definio 2
Uma contradio uma proposio composta cujo valor lgico sempre a falsidade (F), independente dos valores lgicos das proposies simples que a compem. Da definio acima, na ltima coluna da tabela-verdade de uma contradio, ocorre sempre o valor lgico F (falsidade). Como exemplo, considere a seguinte afirmao: Hoje sbado e hoje no sbado. Veja que seu valor lgico sempre falso no importando qual dia seja hoje. Uma contradio tambm chamada
O valor lgico de uma contradio

g u a r d e be m isso!
P( p1 , p2 , , pn ) F independente
dos valores lgicos das proposies simples p1 , p2 , , pn .

AULA 3

TPICO 3

47

proposio contravlida ou proposio logicamente falsa. Para que voc fixe a definio de contradio, vejamos alguns exemplos.

Exemplo 11 (Alencar Filho, 2002, p. 46): A proposio p ~ p uma contradio, conforme se v pela sua tabelaverdade: p
V F

~p
F V

p ~ p
F F

Como se pode notar, a ltima coluna da tabela-verdade de p ~ p s encerra o valor lgico F (falsidade). Esse exemplo mostra que a afirmao de que uma proposio pode ser simultaneamente verdadeira e falsa falsa.

Exemplo 12:
A proposio p ~ p contravlida. Com efeito, sua tabela-verdade :
p

~p
F V

p~ p
F F

gu arde bem is so !
Uma contingncia um tipo de proposio que no tautologia nem contradio. Na ltima coluna da tabelaverdade de uma contingncia, devem ocorrer os valores lgicos V e F cada um pelo menos uma vez.

V F

Note que a ltima coluna da tabelaverdade de p ~ p s apresenta o valor lgico F (falsidade).

Exemplo 13:
A ltima coluna da tabela-verdade de

~ p ( p ~ q ) s apresenta o valor lgico F

(falsidade), como pode ser visto abaixo.
p V V F F q V F V F

~p
F F V V

~q
F V F V

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

Portanto, de acordo com a Definio 2 acima, a proposio ~ p ( p ~ q ) uma contradio.

48

Lgica e conjuntos

Antes da prxima definio, vamos apresentar um princpio bem til determinao de tautologias e contradies. 3.4 TEOREMA

teorema 2 (Pr i n c pi o da s ub s t i t ui o)
P( p1 , p2 , , pn ) uma tautologia (contradio) qualquer. Se substituirmos as proposies simples p1 , p2 , , pn por outras proposies quaisquer (simples ou compostas) q1 , q2 , , qn , ento a nova proposio P (q1 , q2 , , qn ) que se
obtm tambm uma tautologia (contradio) Vamos dar agora a definio de contingncia, um tipo de proposio que no tautologia nem contradio. 3.5 DEFINIO DE CONTINGNCIA

Definio 3
Uma contingncia uma proposio composta em cuja tabela-verdade ocorrem, na ltima coluna, os valores lgicos V (verdade) e F (falsidade). Uma contingncia tambm chamada proposio contingente ou proposio indeterminada. Vejamos os exemplos abaixo para termos uma ideia clara da definio de contingncia.

Exemplo 14:
A proposio p q p q uma contingncia, conforme pode ser visto por sua tabela-verdade: p
V V F F

q
V F V F

pq
V V V F

pq
V F F F

pq pq
V F F V

Perceba que a ltima coluna da tabela-verdade de p q p q apresenta ambos os valores lgicos V (verdade) e F (falsidade).

AULA 3

TPICO 3

49

Chegamos metade de nosso curso! Nesta aula, construmos tabelas-verdade de vrias

sa i ba mais !
Continue estudando e complemente seus conhecimentos consultando as referncias que citamos e/ou acessando pginas relacionadas da internet. Abaixo, listamos algumas pginas que podero ajud-lo. Bons estudos! http://www.pucsp.br/~logica/ http://pucrs.campus2.br/~annes/ inflog.html http://wwmat.mat.fc.ul.pt/~jnsilva/ logica97/logica97.html http://rogesantana.vilabol.uol.com.br/ modulo_1/Logos1.htm#roge05

proposies compostas, com destaque para as tautologias, contradies e contingncias e aprendemos a determinar os valores lgicos de uma proposio composta para cada atribuio de valores lgicos s suas proposies componentes. Na prxima aula, trataremos das implicaes e equivalncias.

50

Lgica e conjuntos

AULA 4

Conjuntos

Ol! Estamos iniciando a segunda metade de nosso curso. J fizemos uma boa introduo ao clculo proposicional e deve estar claro para voc a importncia de uma linguagem prpria para a Matemtica. Ainda temos muito a conhecer sobre Lgica: as relaes de implicao e de equivalncia, os tipos de demonstrao, um pouco mais sobre a lgebra das proposies, as sentenas abertas e os quantificadores. Entretanto, nesta aula, faremos uma pausa na abordagem dos tpicos prprios da lgica, para revisarmos um pouco o que aprendemos sobre os conjuntos uma noo complementar a de Lgica. Aprofundaremos algumas noes bsicas sobre conjuntos, realizaremos as principais operaes com conjuntos e examinaremos algumas das propriedades dessas operaes. Apresentaremos os conjuntos numricos fundamentais e examinaremos propriedades importantes que ocorrem nestes conjuntos. Adicionalmente, procuraremos tambm estabelecer relaes da lgica com conjuntos.

Objetivos
Conhecer a linguagem matemtica bsica. Compreender a importncia dos conjuntos para a Matemtica. Realizar operaes com conjuntos. Aprofundar o conhecimento sobre conjuntos numricos fundamentais.

AULA 4

51

TPICO 1
1.1 INTRODUO

Noes sobre conjuntos

Objetivos:
Compreender intuitivamente noes bsicas relacionadas a conjuntos. Conhecer alguns fatos da histria da Teoria dos Conjuntos. Revisar notaes usadas no estudo dos conjuntos.

compreenso de noes bsicas sobre conjuntos essencial para a Matemtica. Para sermos mais enfticos, hoje sabemos que todos os conceitos da Matemtica moderna, desde os mais bsicos, como o de

nmeros naturais, at os mais complexos, como o de variedades diferenciais, podem ser formulados na linguagem de conjuntos. Dizer que os conceitos da Matemtica atual podem reduzir-se aos conceitos de conjuntos dizer que eles podem definirse formalmente a partir destes. Desse modo, para dar consistncia a qualquer afirmao matemtica, basta, ento, dar rigor s afirmaes sobre conjuntos. O carter fundamentalmente conceitual da Teoria dos Conjuntos lhe d lugar de destaque em todas as reas em que o pensamento racional e, em particular, o pensamento cientfico fundamental. A abordagem conjuntista extremamente til na sistematizao de redes conceituais. Desse modo, parece natural que a Teoria dos Conjuntos deva estar na base de todas as cincias. Ainda que no nos demos conta, as diversas cincias naturais e humanas se desenvolvem graas a seu carter conjuntista. Assim sendo, torna-se evidente o carter universal da linguagem conjuntista e de suas teorias correspondentes. A abordagem que daremos em nossa disciplina no a de uma teoria dos conjuntos. Ela ser, na verdade, apenas intuitiva e um tanto ingnua. Nosso interesse ser de introduzir a linguagem dos conjuntos e mostrar que, em certo sentido, essa uma linguagem universal. Iniciaremos fazendo um breve relato

52

Lgica e conjuntos

histrico da criao da Teoria dos Conjuntos por Georg Cantor, mostrando sua importncia para as cincias matemticas e para as cincias empricas. De acordo com Ferreira (2001, p. 17):
As idias essenciais da teoria dos conjuntos foram introduzidas por G. Cantor, na parte final do sculo XIX. Desde ento, a teoria dos conjuntos no deixou de desenvolver-se intensamente, de tal forma que hoje pode dizer-se que todos os ramos da Matemtica foram profundamente influenciados e enriquecidos por essa teoria.

Saiba um pouco mais sobre Georg Cantor e suas contribuies para a Teoria dos Conjuntos lendo o texto seguinte:

Cantor e a Teoria dos Conjuntos

Hygino H. Domingues
A natureza do infinito uma questo antiga e controversa. Arquimedes (287212 a.C.) fazia distino entre infinito potencial e infinito atual. Este ltimo, que vem a ser o infinito como algo completo, era descartado por no haver nenhuma evidncia de que alguma coleo de objetos pudesse corresponder a tal idia. O conjunto N, por outro lado, um exemplo de conjunto potencialmente infinito, pois sempre se pode somar uma unidade a cada um de seus elementos obtendose outro nmero natural. No sculo XVII, Galileu comparou os conjuntos N = {1, 2, 3, ... } e P = {2, 4, 6, ...}. E assinalou que, se a idia de infinito atual fosse vlida, haveria tantos nmeros pares e mpares reunidos quanto pares apenas, posto que a correspondncia 1 2, 2 4, 3 6, ..., n 2n, ... de N em P , como se diz hoje, biunvoca. Este aparente paradoxo deve t-lo levado a deixar de lado tais cogitaes. Alis, a idia de infinito atual, por ter conotaes de ordem religiosa, no era aceita tambm por certos telogos (So Toms de Aquino, por exemplo) que viam em Deus a nica natureza absolutamente infinita. E isso deve ter contribudo para que sua adoo fosse retardada em Matemtica. Curiosamente, quem tirou a Matemtica dessa camisa-de-fora foi um homem de profunda f religiosa, Georg Cantor (1845-1918). Cantor nasceu na Rssia, na cidade de So Petersburgo, mas aos 2 anos mudou-se com sua famlia para a Alemanha, onde se fixou. Em 1862 iniciou o curso de Engenharia em Zurique, mas, depois de um semestre, deixou-o para fazer Matemtica em Berlim, em cuja universidade obteve o grau de doutor no ano de 1867 com uma tese sobre teoria dos nmeros. Dois anos depois foi admitido na Universidade de Halle, onde transcorreria sua carreira acadmica.
* *

AULA 4

TPICO 1

53

voc s abia?
Em 1872, o matemtico alemo Dedekind dera o primeiro passo nesse sentido com a seguinte definio (aqui em terminologia moderna): um conjunto se diz infinito se pode ser colocado em correspondncia biunvoca com uma parte prpria de si mesmo. Ou seja, aquilo que a Galileu parecera um paradoxo tornava-se a propriedade fundamental dos conjuntos

Dedicando-se entre 1870 e 1872 a pesquisas na rea de anlise matemtica, Cantor acabou tendo sua ateno atrada para um assunto com o qual seu esprito tinha especial afinidade: a natureza dos conjuntos infinitos. E de sua opo por este caminho nasceria a teoria dos conjuntos como captulo autnomo da Matemtica. O grande mrito de Cantor foi perceber, a partir da, a existncia de conjuntos infinitos de espcies diferentes, numa escala de grandeza. Se dois conjuntos, como N * e P, podem ser colocados em correspondncia biunvoca, diz-se que ambos tm mesma potncia. E foi atravs dessas potncias que Cantor hierarquizou

o infinito. Na primeira categoria da escala do infinito, * infinitos, com todas as suas implicaes. esto todos os conjuntos com a mesma potncia de N , entre os quais esto P , Z e, surpreendentemente, o prprio Q. Estes so os conjuntos enumerveis. A seqncia a seguir, em que os nmeros so ordenados pela sua altura (= numerador + denominador), d uma idia do porqu de * Q+ ser tambm enumervel: 1/1, 1/2, 2/1, 1/3, 2/2, 3/1, 1/4, 2/3, 3/2, 4/1, ... Cantor mostrou que R e C tm a mesma potncia e que esta superior dos enumerveis. E mostrou ainda que a escala do infinito no tem limites: sempre h potncias maiores e maiores. Certos resultados obtidos por Cantor surpreenderam a ele mesmo. Sob esse ponto de vista possvel Georg Cantor (1845 - 1918) entender o porqu das duras crticas que recebeu de importantes matemticos de seu tempo. Mas, para o progresso da Matemtica, prevaleceram opinies como a de Hilbert: Do paraso criado por Cantor ningum nos tirar.
http://upload.wikimedia.org/wikipedia/

(IEZZI; MURAKAMI, 2004, p. 38-39) 1.2 IDEIA INTUITIVA DE CONJUNTO J deve estar claro que a noo de conjunto uma noo fundamental da Matemtica. Ela a estrutura matemtica sobre a qual todas as outras podem ser construdas (nmero, relao, funo, ...). O conceito de conjunto aparece em todos os ramos da Matemtica e, a partir dele, podemos definir muitos outros conceitos matemticos. No definimos o que um conjunto. Esse um conceito primitivo. A ideia intuitiva que temos a de que

54

Lgica e conjuntos

Um conjunto qualquer coleo, lista ou classe de objetos bem definida. Os objetos de um conjunto podem ser qualquer coisa: nmeros, pessoas, letras, rios, etc., e so chamados elementos ou membros do conjunto. Portanto, um conjunto constitudo por elementos, porm esse tambm um conceito primitivo, por isso no o definimos. A noo de conjunto pode ser explicada intuitivamente. Vejamos alguns exemplos.
Uma teoria matemtica constituda por

voc sa bia?

Exemplo 1:
1. 2. 3.

certo nmero de conceitos primitivos e

4. 5. 6. 7. 8. 9. 10.

O conjunto dos municpios do por um nmero de axiomas (proposies Cear. arbitrariamente verdadeiras). A partir O conjunto dos alunos da deles, so introduzidos novos conceitos (os Universidade Aberta do Brasil. O conjunto dos times de futebol conceitos derivados) e novas proposies Fortaleza, Cear, Ferrovirio e verdadeiras (os teoremas). Maranguape. O conjunto de todos os rios da Terra. O conjunto dos nmeros mpares. O conjunto dos nmeros reais entre 0 e 1. O conjunto de todos os nmeros racionais cujo quadrado 2. O conjunto dos nmeros naturais que so mltiplos de 4. O conjunto dos nmeros reais que so soluo da equao x4+x=0. O conjunto de todas as retas de um determinado plano.

Desde que a Matemtica lida principalmente com nmeros e com o espao, os conjuntos mais frequentemente encontrados nesta cincia so os conjuntos numricos e as figuras geomtricas (conjuntos de pontos). Destes se derivam outros conjuntos importantes para a Matemtica, como os conjuntos de funes, de matrizes, etc. 1.3 CARACTERSTICAS DE UM CONJUNTO Os conjuntos costumam ser, em geral, designados por letras maisculas do nosso alfabeto e os elementos dos conjuntos representados por letras minsculas. Entretanto, esta no uma regra rgida. Em Geometria, por exemplo, comum representarmos as retas (conjuntos de pontos) por letras minsculas e os planos por letras do alfabeto grego.

AULA 4

TPICO 1

55

Alm dos conceitos de conjunto e elemento, precisamos de um terceiro conceito primitivo para desenvolver a chamada teoria intuitiva dos conjuntos: o conceito de pertinncia. De acordo com Lima (2003, p. 1) Dados um conjunto A e um objeto qualquer a (que pode at mesmo ser outro conjunto), a nica pergunta cabvel em relao a eles : a ou no um elemento do conjunto A? No caso de a ser um elemento do conjunto A dizemos que a pertence ao conjunto A e , escrevemos aA. Caso contrrio, ou seja, quando a no um elemento do conjunto A , dizemos que a no pertence ao conjunto A e escrevemos aA. Existem duas formas comuns de expressar um conjunto e a escolha de uma forma particular de expresso depende da convenincia e de certas circunstncias, a saber: Descrio por extenso, por citao dos elementos ou por enumerao dos elementos: quando definimos um determinado conjunto relacionando,

ateno!
Em Matemtica, | ou / indica o sentido oposto ou negativo que est sendo atribudo a um smbolo.

gu arde bem is so !
Conhecer um conjunto conhecer cada um dos objetos que pertencem a esse conjunto, ou seja, um conjunto fica definido pelos objetos que contm.

ateno!
Na descrio por extenso, os conjuntos so definidos, isto , apresentados por uma listagem real de seus membros, enquanto na descrio por compreenso os conjuntos so definidos por propriedades declaradas, isto , regras que decidem se um objeto particular , ou no, membro do conjunto. Quando usamos abreviaturas na descrio extensiva de um determinado conjunto, imprescindvel que no restem dvidas sobre o significado dessas abreviaturas.

citando ou enumerando seus membros. Por exemplo, ao considerarmos o conjunto A constitudo dos nmeros 1, 3, 5, 7 e 9, escrevemos: A = {1, 3, 5, 7, 9}, ou seja, com os elementos separados por vrgulas e compreendidos entre chaves. Dizemos ainda que esta a forma tabular de um conjunto. Descrio por compreenso ou por uma propriedade: quando definimos um conjunto particular A por meio de uma propriedade P caracterstica de seus elementos. Neste caso, usamos ento uma letra, geralmente x, para representar um elemento arbitrrio e escrevemos: A = {x | x goza da propriedade P}, que se l o conjunto dos elementos x tal A

56

Lgica e conjuntos

que x goza da propriedade P. Por exemplo, ao considerarmos B como o conjunto de todos os nmeros pares, escrevemos: B = {x | x par}. Dizemos ainda que esta a forma de construo de um conjunto. Intuitivamente, a cada conjunto corresponde uma propriedade, ou seja, algo que caracteriza seus elementos. Vejamos agora a descrio de alguns conjuntos por cada uma dessas formas.

voc sa bia?
Por questes de ordem prtica, a expresso de um conjunto extensivamente (por extenso) mais adequada se ele for finito e tiver uma pequena quantidade de elementos. Para conjuntos finitos com uma grande quantidade de elementos ou para conjuntos infinitos enumerveis, a expresso por extenso tambm pode ser usada. Porm, nesses casos, precisamos convencionar o uso de abreviaturas, normalmente reticncias. Escrevemos, ento, os elementos iniciais e colocamos reticncias. No caso especfico dos conjuntos finitos com uma grande quantidade de elementos, necessrio tambm indicar o ltimo elemento. Veja os exemplos a seguir.

Exemplo 2:
1. A = Conjunto das vogais Descrio por extenso: A = {a, e, i, o, u} Descrio por compreenso: A = {x | x vogal} 2. B = Conjunto dos nmeros divisores positivos de 36 Descrio por extenso: B = {1, 2, 3, 4, 6, 9, 12, 18, 36} Descrio por compreenso: B = {x | x divisor positivo de 36} 3. C = Conjunto das solues da equao

x x6 = 0
Descrio por extenso: C = {-2,3} Descrio por compreenso: C = {x | x soluo da equao x2 x 6 = } 0

Exemplo 3:
1. E = Conjunto dos nmeros inteiros no negativos que so menores que 200 Descrio por extenso: E = {0, 1, 2, ..., 200} Descrio por compreenso: E = {x | x inteiro e 0 x 200 } 2. F = Conjunto dos nmeros pares positivos Descrio por extenso: F = {2, 4, 6, ...} Descrio por compreenso: F = {x | x nmero par positivo} Neste tpico, revisitamos algumas noes bsicas e notaes usadas no trabalho com conjuntos. No prximo tpico, veremos mais alguns conceitos importantes e interessantes no trabalho com conjuntos.

AULA 4

TPICO 1

57

TPICO 2

Mais conceitos bsicos

Objetivos:
Identificar e diferenciar conjuntos finitos e conjuntos infinitos. Caracterizar conjuntos como vazio, unitrio e universal. Revisar as relaes de igualdade e de incluso Rever representaes de conjuntos por meio de diagramas. Conhecer alguns conjuntos numricos.

2.1 INTRODUO

sa i ba mais !
Quando a quantidade de elementos de um conjunto finito X n, dizemos que X tem n elementos.

este tpico, retomaremos alguns conceitos bsicos interessantes no estudo de conjuntos.

2.2 CONJUNTOS FINITOS E INFINITOS Grosso modo, um conjunto finito se consiste de um nmero especfico de elementos

diferentes, isto , se, ao contarmos os seus diferentes membros, o processo de contagem chega a um final. De outro modo, o conjunto infinito.

Exemplo 4:
No Exemplo 1, so infinitos os conjuntos dos itens 5, 6 e 8 e os demais so finitos. Os conjuntos do Exemplo 2 so todos finitos. J no Exemplo 3 temos o conjunto E, que finito e o F que infinito. 2.3 CONJUNTOS VAZIO, UNITRIO E UNIVERSAL Conjunto vazio ou nulo aquele que no contm elementos. Representamos um conjunto vazio por { } ou pelo smbolo . So exemplos de conjuntos vazios:

Exemplo 5:
A = {x | x mpar e mltiplo de 2}

58

Lgica e conjuntos

B = {x | x x} Conjunto unitrio aquele que s possui um elemento.

Exemplo 6:
C = {x | 3x+1=7} = {2} Conjunto universal ou universo conjunto de todos os elementos existentes em um determinado assunto em estudo. Dependendo do conjunto universo com que estamos trabalhando, um determinado problema pode ter uma ou outra soluo, ou at no ter soluo. Designaremos o conjunto universo por U.

Exemplo 7:
Se procurarmos as solues inteiras de certa equao, ento o nosso conjunto universo , conjunto de todos os nmeros inteiros. 2.4 IGUALDADE DE CONJUNTOS

Definio 1 (I g ua lda d e d e C o n j un t os)

Um conjunto A igual a um conjunto B, A = B, se ambos tm os mesmos elementos, isto , se cada elemento pertencente a A pertencer tambm a B, e se cada elemento pertencente a B pertencer tambm a A. Simbolicamente: A = B (x) (xA xB).

Exemplo 8:
{a, b, c} = {b, a, c} = {a, b, b, c, c, c} Esse exemplo ilustra, em se tratando de conjuntos, que a) uma mudana na ordem em que os elementos so descritos no altera o conjunto, ou seja, a ordem no importa; e b) a repetio de elementos desnecessria. Se A no igual a B, dizemos que A diferente de B e escrevemos A B. Isso ocorre se existe algum elemento de A que no elemento de B ou se existe algum elemento de B que no elemento de A. Ou, simbolicamente: x, xAxB ou x, xBxA.

Exemplo 9:
{a, b, d} {a, b, c, d} Note que todos os elementos do primeiro conjunto so tambm elementos

AULA 4

TPICO 2

59

do segundo conjunto, mas existe um elemento do segundo conjunto que no elemento do primeiro conjunto: o elemento c. 2.5 SUBCONJUNTOS - DEFINIES DE TEOREMAS

D e fi n i o 2 (r e la o d e in c l u so)
Se cada elemento do conjunto A tambm um elemento do conjunto B, dizemos que A um subconjunto de B, ou que A est contido em B, ou que A parte de B e indicamos por A B. O smbolo denominado sinal de incluso e a relao A B chama-se relao de incluso. Simbolicamente: A B (x) (xA xB). Quando A B, escrevemos tambm B A, que pode ser lido como B superconjunto de A ou B contm A. Escrevemos ainda A B ou B A se A no for subconjunto B. Simbolicamente: A B (x) (xA e xB).

Exemplo 10:

sa i ba mais !
Da definio de igualdade de conjuntos, perceba que A = B A B e B A

1. 2.

{x | x inteiro e par} {x | x inteiro} {a, b, c} {b, c, d, e} Uma incluso bem curiosa, cuja

demonstrao feita por vacuidade e pode ser vista em Lima (2003, p. 4), :

Teorema 1

A, qualquer que seja o conjunto A.

A relao de incluso goza de trs propriedades fundamentais que podem ser vistas no teorema seguinte, em que A, B e C so conjuntos quaisquer.

t e o r e m a 2 (Pr o pr i e da d e s da In c l u so)
A, qualquer que seja o conjunto A. 1. A A (reflexividade); 2. Se A B e B A, ento A = B (antissimetria); 3. Se A B e B C, ento A C (transitividade).

60

Lgica e conjuntos

Quando B A e B A, dizemos que B um subconjunto prprio de A e podemos escrever . Alguns autores representam B um subconjunto de A por B A e B um subconjunto prprio de A por B A.

Definio 3 (C o m pa r a o d e C o n jun t os)

Dizemos que dois conjuntos A e B so comparveis se A B ou B A e que A e B no so comparveis se A B e B A.

Exemplo 11:
{a, b, c, d} e {a, b, c} so comparveis {1, 2, 3} e {2, 3, 4} no so comparveis 2.6 CONJUNTOS DE CONJUNTOS - DEFINIO E TEOREMA J sabemos que os objetos de um conjunto podem ser de qualquer natureza, podendo ser inclusive conjuntos. Nos casos em que os elementos de um conjunto so, eles prprios, conjuntos, definimos:

Definio 4
Uma famlia de conjuntos ou classe de conjuntos um conjunto cujos elementos so conjuntos. Evitamos falar em conjunto de conjuntos e, para no causar confuso, costumamos representar famlias de conjuntos por letras manuscritas.

Exemplo 12:
1. Em geometria, as linhas e as curvas so conjuntos de pontos. Desse modo, podemos falar em uma famlia de linhas ou em uma famlia de curvas para designar os conjuntos cujos elementos so, respectivamente, linhas ou curvas. O conjunto ={{2,3}, {4}, {5,6}} uma famlia de conjuntos.

2.

Teoricamente, um conjunto pode ter alguns elementos que sejam conjuntos e outros que no sejam conjuntos.

Exemplo 13: ={1, {2,3}, 4, {5,6}} . Neste caso, no uma famlia de conjuntos.
Dado um conjunto A qualquer, uma interessante famlia de conjuntos

AULA 4

TPICO 2

61

associada a A a famlia de todos os subconjuntos do conjunto A, chamada conjunto de potncia de A ou conjunto das partes de A e designada por 2A ou (A). Simbolicamente:

(A) = {X | X A}.
O teorema seguinte bastante conhecido e d a relao entre o nmero de elementos de um conjunto finito e o nmero de elementos de seu conjunto das partes.

Teorema 3
Se um conjunto A tem n elementos, ento 2A tem 2n elementos.

Exemplo 14:
Se A = {a, b, c, d}, ento as partes de A so os conjuntos: 1 conjunto que no contm elementos: (lembre que subconjunto de qualquer conjunto) 4 conjuntos contendo 1 elemento: {a}, {b}, {c}, {d} 6 conjuntos contendo 2 elementos: {a, b}, {a, c}, {a, d}, {b, c}, {b, d}, {c, d} 4 conjuntos contendo 3 elementos: {a, b, c}, {a, b, d}, {a, c, d}, {b, c, d} 1 conjunto contendo 4 elementos: o prprio conjunto A Portanto, 2A = {, {a}, {b}, {c}, {d}, {a, b}, {a, c}, {a, d}, {b, c}, {b, d}, {c, d}, {a, b, c}, {a, b, d}, {a, c, d}, {b, c, d}, A}. Note que 2A constitudo de 24 = 16 conjuntos. REPRESENTAES POR MEIO DE DIAGRAMAS usual representar um conjunto por meio de diagramas. Eles constituem um meio simples, prtico e instrutivo de ilustrar as relaes existentes entre conjuntos. Destacamos: Diagramas de Venn-Euler ou, simplesmente, diagramas de Venn: representamos um conjunto por uma rea plana simples, limitada por uma curva fechada, sem autointerseo (geralmente, por um crculo ou por uma elipse). Nessa representao, os elementos do conjunto so pontos interiores a rea. Elementos que no pertencem ao conjunto so representados por pontos no exterior da rea.

Exemplo 15:
Na figura ao lado, representamos o conjunto A = {a, b, c}. A figura indica que a a A, b A, c A e d A.

Exemplo 16:
Abaixo esto representados, em diagrama de Venn-

Figura 1: Diagrama de Venn-Euler

62

Lgica e conjuntos

Euler, alguns conjuntos e relaes entre eles.

Figura 2: Diagramas de Venn-Euler

Diagramas de linha: Se A B, escrevemos B em nvel mais alto que A, ligando-os por uma linha. Veja ilustrao ao lado (Figura 3).

Figura 3: Diagrama de Linha

Exemplo 17:
Sejam X = {x}, Y = {x, y}, Z = {x, y, z} e W = {x, y, w}. A representao em linha das relaes entre esses conjuntos pode ser vista na Figura 4: 2.8 CONJUNTOS NUMRICOS J vimos que um dos principais objetos de estudo da Matemtica so os nmeros. Os conjuntos numricos so conjuntos cujos elementos so nmeros. medida que se civilizava, a humanidade foi se apoderando desses modelos abstratos que so os nmeros. Tais modelos foram introduzidos, principalmente, diante das necessidades do homem de contar e medir. De acordo com Lima (2003, p. 25), nmeros so entes abstratos, desenvolvidos pelo homem como modelos que permitem contar e medir, portanto avaliar as diferentes quantidades de uma grandeza. Finalizamos este tpico apresentando, apenas informalmente, alguns conjuntos numricos e sua notao. Para um estudo mais detalhado desses conjuntos: origens, construo etc., voc poder consultar algumas das referncias que citamos ou outras da literatura especfica. Destacamos:
Figura 4: Diagrama de Linha

1. Conjunto dos nmeros naturais

= {1, 2, 3, ...} .
Muitos autores consideram o nmero 0 um nmero natural. Mas esta uma questo no relevante. Na verdade, a essncia da caracterizao de est na palavra sucessor (LIMA, 2003).

2. Conjunto dos nmeros inteiros

= {..., -3, -2, -1, 0, 1, 2, 3, ...} .

AULA 4

TPICO 2

63

Devemos destacar que o conjunto dos nmeros inteiros positivos e que a passagem de para se d pela introduo dos nmeros negativos. Portanto .

3. Conjunto dos nmeros racionais

{ =

Um fato interessante a respeito de nmeros racionais que todo nmero racional pode ser escrito como um nmero decimal, ou seja, pode ser escrito na forma

a | a , b e b 0} . b

= a 0 , a1 a 2 a n ,
em que a 0 um nmero inteiro e a1 , a2 , , an , so nmeros inteiros tais que 0 a n 9 , ou seja, so algarismos do sistema de numerao decimal, de modo que ocorre um dos dois casos seguintes: o nmero decimal tem uma quantidade finita de algarismos, isto , uma decimal exata; o nmero decimal tem uma quantidade infinita de algarismos que se repetem, a partir de um determinado, periodicamente, isto , uma dzima peridica.
EXEMPLO 18:

3 um nmero racional cuja representao decimal a decimal 2 1 exata 1,5, e o nmero um nmero racional que tem como representao decimal 3
O nmero a dzima peridica 0,333... Outro fato que pode ser notado facilmente que todo nmero inteiro a um nmero racional, pois a =

a . Logo, . 1

4. Conjunto dos nmeros irracionais

fcil constatar que existem nmeros que no so racionais. O nmero

2 , por exemplo, no pode ser escrito como quociente de dois nmeros inteiros
e, portanto, no racional. O conjunto dos nmeros cuja representao decimal no uma decimal exata e nem uma dzima peridica, ou seja, o conjunto dos nmeros cuja representao decimal tem infinitas casas decimais que no se repetem periodicamente, chamado conjunto dos nmeros irracionais . Vejamos alguns exemplos de nmeros do conjunto .

Exemplo 19: 2 = 1, 4142135623... = 3,1415592653 0,1010010001

64

Lgica e conjuntos

5. Conjunto dos nmeros reais

o conjunto de todos os nmeros que so racionais ou que so irracionais, ou seja,

= Temos as seguintes incluses: e .

Neste tpico, ampliamos nossos conhecimentos vendo alguns conceitos bsicos relacionados ao estudo de conjuntos. Agora, estamos em condies de realizar as principais operaes com conjuntos.

AULA 4

TPICO 2

65

TPICO 3
3.1 INTRODUO

Operaes com conjuntos

Objetivos:
Realizar operaes com conjuntos. Entender propriedades algbricas das operaes com conjuntos. Relacionar a linguagem dos conjuntos com a linguagem da lgica.

N
conjuntos.

a aritmtica, podemos somar, multiplicar ou subtrair dois nmeros quaisquer. Na Teoria dos Conjuntos, h trs operaes anlogas: unio, interseo, e complementao. Neste tpico, apresentaremos estas operaes bsicas com

3.2 REUNIO - DEFINIO E TEOREMA

D e fi n i o 5
Dados os conjuntos A e B, a reunio (ou unio) de A e B o conjunto, denotado por A B (que se l A unio B), constitudo de todos os elementos que pertencem a A ou a B ou a ambos. Simbolicamente: A B = {x | x A ou x B}.

Exemplo 20:
{a, b, c} {c, d, e} = {a, b, c, d, e} Abaixo, listamos propriedades da unio de conjuntos e sua representao em diagrama de Venn-Euler: Propriedades da Unio: 1. A A = A (idempotente) 2. A = A (elemento neutro)

66

Lgica e conjuntos

3. 4.

A B = B A (comutativa) (A B) C = A (B C) (associativa)

g u a r d e be m isso!
A B o conjunto dos elementos que pertencem a pelo menos um dos conjuntos A ou B (podendo evidentemente pertencer aos dois).

A demonstrao do teorema seguinte pode ser encontrada na literatura bsica de Teoria dos Conjuntos. Faa-a como exerccio.

Teorema 4
Quaisquer que sejam os conjuntos A e B valem: 1. A (A B) e B (A B) 2. Se A B, ento A B = B. 3.3 INTERSEO - DEFINIO E TEOREMA
Figura 5: Unio de conjuntos

Definio 6
Dados os conjuntos A e B, a interseo de A e B o conjunto, denotado por A B (que se l A interseo B), constitudo de todos os elementos que pertencem ao mesmo tempo a A e a B. Simbolicamente: A B = {x | x A e x B}.

Exemplo 21:
{a, b, c} {b, c, d, e} = {b, c} Abaixo listamos propriedades da interseo de conjuntos e sua representao em diagrama de Venn-Euler.

g u a r d e be m isso!
A B o conjunto dos elementos que pertencem simultaneamente aos conjuntos A e B.

Propriedades da Interseo: 1. A A = A (idempotente) 2. A U = U (elemento neutro) 3. A B = B A (comutativa) 4. (A B) C = A (B C) (associativa) A demonstrao do teorema seguinte tambm pode ser encontrada na literatura bsica de Teoria dos Conjuntos. Faa-a como exerccio.

AULA 4

TPICO 3

67

Teorema 5
Quaisquer que sejam os conjuntos A e B valem: 1. (A B) A e (A B) B 2. Se A B, ento A B = A.
Figura 6: Interseo de conjuntos

Quando A e B no tm elementos em comum, ou seja, quando A B = , dizemos que A e B so disjuntos. Existem algumas propriedades que relacionam as operaes de unio e interseo, a saber: Propriedades que relacionam a unio e a interseo: 1. A (A B) = A 2. A (A B) = A 3. A (B C) = (A B) (A C) (distributiva da unio em relao interseo) 4. A (B C) = (A B) (A C) (distributiva da interseo em relao unio) A relao entre a linguagem dos conjuntos e a linguagem da lgica natural. De acordo com Lima (2003, p. 15):
[...] as operaes A B e A B entre conjuntos constituem a contrapartida matemtica dos conectivos lgicos ou e e. Assim, quando o conjunto A formado pelos elementos que gozam da propriedade P e B pelos que gozam da propriedade Q ento a propriedade que define o conjunto A B P ou Q e o conjunto A B definido pela propriedade P e Q.

3.4 DIFERENA E COMPLEMENTAO - DEFINIO E TEOREMA

D e fi n i o 7
Dados os conjuntos A e B, a diferena dos conjuntos A e B (ou, complemento de B em A) o conjunto, denotado por A B (que se l A diferena B ou A menos B), constitudo de todos os elementos que pertencem a A, mas no pertencem a B. Simbolicamente: A B = {x | x A e x B}.

68

Lgica e conjuntos

Exemplo 22:
{a, b, c, d} {c, d, e, f} = {a, b}

g u a r d e be m isso!
Quando B A, a diferena A B chamada tambm o complementar de B em relao a A e denotada por C A B . O complementar de um dado conjunto A em relao a um conjunto universo U fixo definido abaixo:
A B o conjunto dos elementos que so elementos do conjunto A, mas no so elementos do conjunto B.

Definio 8
Fixado um conjunto universo U e dado um conjunto A (subconjunto de U), complementar de A o conjunto, denotado por AC (que se l complementar de A), constitudo de todos os elementos de U que no pertencem a A. Simbolicamente: AC = {x | x U e x A}.

Exemplo 23:
Sejam U = {1, 2, 3, 4, 5, 6, 7} e A = {1, 3, 5, 7}. Ento AC = {2, 4, 6} Seja P {x | x par} . Ento, C P {x | x mpar} = = O conjunto AC costuma ser representado tambm por A ou por A ' . Abaixo, listamos propriedades da diferena e da complementao de conjuntos e suas representaes em diagrama de Venn-Euler. Propriedades da Diferena e da Complementao: 1. CA B B = e CA B B = A 2. 3. 4. 5. 6. 7. 8. 9. 10. CA A = e CA = A CA (CA B) = B CA (B C ) = CA B CAC CA (B C ) = CA B CAC A AC = U e A AC = UC = e C = U ( AC )C = A A B = A BC Se A B, ento BC AC

Figura 7: Diferena de conjuntos

A demonstrao do teorema seguinte, como as anteriores, pode ser

AULA 4

TPICO 3

69

encontrada na literatura bsica de Teoria dos Conjuntos. Faa-a como exerccio.

teorema 6
Quaisquer que sejam os conjuntos A e B valem: 1. (A B) A 2. Os conjuntos A B, A B e B A so mutuamente disjuntos.

3.5 PRODUTO CARTESIANO - DEFINIO

sa i ba mais !
O par ordenado p = ( x, y ) diferente do conjunto {x, y} , pois

Para definir o produto cartesiano de conjuntos, precisamos antes saber o que um par ordenado. De acordo com Lima (2003, p. 78), um objeto x, chamado a primeira coordenada de p e um objeto y, chamado a segunda coordenada de p. fcil perceber que dois pares ordenados um par ordenado p = ( x, y ) formado por

{ x, y} = { y, x} sempre, enquanto (x, y ) = ( y, x ) s verdadeira

quando x = y .

p = ( x, y ) e q = (u , v ) so iguais se, e somente

, quando x = u e y = v .

se, eles tiverem a mesma primeira coordenada e a mesma segunda coordenada, isto

D e fi n i o 9
Chama-se produto cartesiano de dois conjuntos A e B, o conjunto, denotado por A B (que se l A cartesiano B ou produto cartesiano de A por B), formado por todos os pares ordenados (x, y), cuja primeira coordenada x pertence a A e cuja segunda coordenada y pertence a B. Simbolicamente: A B = {(x, y) | x A e x B}.

Exemplo 24:

ateno !
Quando A ou B for o conjunto

Sejam A = {a, b, c} e B = {1, 2}. Ento: A B = {(a, 1), (a, 2), (b, 1), (b, 2), (c, 1), (c, 2)} B A = {(1, a), (2, a), (1, b), (2, b), (1, c), (2, c)} A A = {(a, a), (a, b), (a, c), (b, a), (b, b), (b, c), (c, a), (c, b), (c, c)}

vazio, temos A , B e .

70

Lgica e conjuntos

B B = {(1, 1), (1, 2), (2, 1), (2, 2)} Nesta aula, vimos noes bsicas sobre conjuntos. Essas noes so essenciais, pois constituem uma importante ferramenta que voc poder aplicar em todo o seu curso. Na prxima aula, retomaremos os tpicos prprios da lgica.
Voc pode aprofundar consultando

sa iba m a is
seus as

conhecimentos

referncias que citamos e/ou visitando pginas da internet. Abaixo listamos alguns links interessantes que podem ajud-lo nessa pesquisa: http://www.math.ist.utl.pt/~jmatos/ ltc/ltc.pdf w w w 2 . d m . u f s c a r. b r / ~ s a m p a i o / itc2004cap2.pdf http://preprint.math.ist.utl.pt/files/ ppgmutlconjuntos.pdf

AULA 4

TPICO 3

71

AULA 5

Implicaes, Equivalncias, Afirmaes e Demonstraes

Ol! Chegamos nossa quinta aula. Voc j conhece um pouco da linguagem da Lgica e dos Conjuntos e sabe, inclusive, realizar certas operaes. Sabe, ainda que possvel, natural e til, relacionar essas linguagens. Nesta aula, voc ter a oportunidade de conhecer duas importantes relaes entre proposies: a implicao lgica e a equivalncia lgica. Veremos que esses dois conceitos desempenham um papel fundamental nas afirmaes matemticas. Apresentaremos ainda os significados dos principais termos utilizados em uma teoria axiomtica e os principais tipos de demonstrao usados para validar logicamente certas afirmaes da Matemtica. Ento, mos obra e bons estudos!

Objetivos
Conhecer as relaes de implicao lgica e de equivalncia lgica. Diferenciar os principais tipos de afirmaes na Matemtica. Analisar e saber usar os diferentes tipos de demonstraes. Construir algumas demonstraes.

72

Lgica e conjuntos

TPICO 1
1.1 INTRODUO - DEFINIES

Implicaes lgicas
Objetivos:
Entender quando uma proposio implica outra. Conhecer as propriedades das implicaes.

este tpico, apresentaremos a relao de implicao. A compreenso desse conceito ser fundamental para estudarmos, em tpicos futuros, certos tipos de afirmaes e demonstraes que se apresentam na

Matemtica. Antes, porm, vejamos alguns conceitos introdutrios.

Definio 1
Duas proposies so ditas independentes quando, em suas tabelas-verdade, ocorrem todas as quatro alternativas VV, VF, FV e FF. Do contrrio, ou seja, quando nas tabelasverdade de duas proposies no ocorre pelo menos uma das quatro alternativas VV, VF, FV e FF, dizemos que elas so dependentes. Quando duas proposies so dependentes, dizemos ainda que existe uma relao entre elas.

Exemplo 1:
As proposies ~ p e p q so independentes, como pode ser observado em suas tabelas verdades. p
V V F F

q
V F V F

~p
F F V V

pq
V F F V

AULA 5

TPICO 1

73

Note que ocorrem as quatro alternativas: VV ocorre na linha 4, VF ocorre na linha 3, FV ocorre na linha 1 e FF ocorre na linha 2.

Exemplo 2:
As proposies p e q p so dependentes, como pode ser observado em suas tabelas verdades.
p q V F V F q p V V F V V V F F

sa i ba mais !
Uma relao entre proposies em que no ocorre exatamente uma das alternativas VV, VF, FV, FF dita uma relao simples, enquanto uma relao em que no ocorrem exatamente duas das alternativas dita uma relao composta.

Note que ocorre a alternativa VV nas linhas 1 e 2, FV na linha 4 e FF na linha 3, mas no ocorre a alternativa VF. Portanto, existe uma relao entre as proposies p e q p. Note que a relao do Exemplo 2 uma relao simples. Estamos agora em condies de

introduzir os conceitos de implicao e de equivalncia.

D e f in i o 2
Dizemos que uma proposio P implica (ou implica logicamente) uma proposio Q, e representaremos por

guarde bem is s o !
P Q quando no ocorre P e
Q com valores lgicos simultneos respectivamente V e F.

P Q ,

quando, em suas tabelas-verdade, no ocorre VF (nessa ordem) numa mesma linha. Equivalentemente,

P Q

quando Q verdadeira (V) todas as vezes que P for verdadeira (V).

Exemplo 3:
Observe as tabelas-verdade das proposies p q e p q. Note que, sempre que p q verdadeira (V), p q tambm verdadeira (V).

74

Lgica e conjuntos

p
V V F F

q
V F V F

pq
V F F F

pq
V F F V

Portanto,

no

ocorre

alternativa

VF

(nessa

ordem)

nas tabelas-verdade de p q e p q. Logo, p q implica p q ou, simbolicamente, p q p q. 1.2 TEOREMA E COROLRIO O teorema seguinte estabelece uma relao entre a implicao lgica e certa proposio condicional. Sua demonstrao pode ser vista em Alencar Filho (2002, p. 52)

teorema 1
A proposio P implica a proposio Q, isto ,

P Q se, e somente se, a condicional P Q uma tautologia.

Portanto, toda implicao corresponde

voc sa bia?
Toda proposio implica uma tautologia, e somente uma contradio implica uma contradio.

a uma condicional tautolgica, e vice-versa. Mediante o Princpio da Substituio visto no Teorema 2 da Aula 3, uma consequncia deste teorema o seguinte corolrio:

co lrio 1
Sejam p1 , p2 , , pn proposies simples dadas. Se ,

G u a r d e be m isso!
Podemos substituir as proposies simples componentes em uma implicao por outras proposies quaisquer que ainda teremos uma implicao.

P( p1 , p2 , , pn ) Q( p1 , p2 , , pn )
ento temos

tambm

P( p1 , p2 , , pn ) Q( p1 , p2 , , pn )
quaisquer que sejam as proposies simples ou compostas

p1 , p2 , , pn .

Vejamos mais alguns exemplos nos exerccios seguintes.

AULA 5

TPICO 1

75

Exerccio resolvido 1:
Usando tabela-verdade, prove que p q p q.

Soluo:
Vamos construir a tabela-verdade da condicional p q p q: p
V V F F

q
V F V F

pq
V F F F

pq
V V V F

pqpq
V V V V

Portanto, a condicional p q p q tautolgica, pois, na ltima coluna de sua tabela-verdade, ocorre somente o valor lgico V. Logo, pelo Teorema 1, a proposio p q implica p q ou, simbolicamente, p q p q.

Exerccio resolvido 2:
Verifique, usando tabela-verdade, se a proposio p ~ q implica, ou no, a proposio ~ p ~ q.

Soluo:
Vamos construir a tabela-verdade da condicional (p ~ q) (~ p ~ q): p
V V F F

q
V F V F

~p
F F V V

~q
F V F V

p~q
F V V F

~p~q
V V F V

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

Portanto, a condicional (p ~ q) (~ p ~ q) no tautolgica, pois, na ltima coluna de sua tabela-verdade, ocorre o valor lgico F. Logo, pelo Teorema 1, a proposio p ~ q no implica ~ p ~ q ou, simbolicamente, p ~ q

~ p ~ q. /
Os smbolos lgicos e no possuem o mesmo significado lgico. De acordo com Daghlian (1995, p. 47), importante:
No confundir os smbolos e , pois, enquanto o primeiro representa uma operao entre proposies dando origem a uma nova proposio, o segundo indica apenas uma relao entre duas proposies dadas.

76

Lgica e conjuntos

 fcil notar que a relao de implicao goza das propriedades: Reflexiva: P P ; Transitiva: Se P Q e Q R , ento

sa iba m a is
A implicao ~ Q ~

PR.
Associada implicao P Q (P implica Q) est a implicao ~ Q ~ P (a negao de Q implica a negao de P). Vale ressaltar que muitas afirmaes (resultados) na Matemtica so apresentadas na forma:

P diz a mesma coisa que a implicao P Q , ou seja, a implicao ~ Q ~ P nada

mais do que a implicao ngulo diferente. Portanto,

P Q

dita com outras palavras, ou vista de um

H ( Hiptese) T (Tese) .
A demonstrao de tais afirmaes consiste em: supondo-se que a hiptese seja verdadeira, deve-se provar que a tese verdadeira. Nesses casos, e em muitas outras situaes, muito comum substituir a implicao P Q por ~ Q ~ P , a fim de tornar seu significado mais claro ou manejvel. Agora que voc j sabe o que uma implicao lgica, passemos definio de equivalncia lgica.

P Q se, ~ Q ~ P .

somente

se,

g u a r d e be m isso!
muito importante compreender que

P Q e ~ Q ~ P so afirmaes
equivalentes e que essa equivalncia a base das demonstraes por absurdo.

AULA 5

TPICO 1

77

TPICO 2

Equivalncias Lgicas
Objetivos:
Entender quando duas proposies so equivalentes. Conhecer as propriedades das equivalncias.

2.1 INTRODUO - DEFINIO Neste tpico, apresentaremos a relao de equivalncia. Assim como o conceito de implicao, esse um conceito fundamental para compreendermos certos tipos de afirmaes e demonstraes que se apresentam na Matemtica.

D e fi n i o 3
Dizemos que uma proposio P equivalente (ou logicamente equivalente) a uma proposio Q, e representaremos por P Q , quando, em suas tabelas-verdade, no ocorrem VF nem FV em uma mesma linha. Equivalentemente, tabelas-verdade de P e Q so idnticas.

P Q quando as

Exemplo 4:
As proposies ~ ~ P e P so equivalentes, ou seja, toda afirmao equivalente sua dupla negao. De fato, basta verificar que as tabelas-verdade de ~ ~ P e de P so idnticas:
P V F ~ P F V ~ ~ P V F

Portanto, simbolicamente, temos ~ ~ P P, chamada Regra da Dupla Negao.

78

Lgica e conjuntos

Exemplo 5:
As proposies p q e ~ p q so equivalentes, ou seja, uma bicondicional equivalente disjuno da negao do antecedente com o seu consequente. Simbolicamente, representamos ( p q) (~ p q) . Das tabelas-verdade de p q e ~ p q , temos:
p V V F F q V F V F ~ p F F V V p q V F V V ~ p q V F V V

Note que as tabelas-verdade de p q e ~ p q so idnticas. 2.2 TEOREMA E COROLRIO O teorema seguinte estabelece uma relao entre a equivalncia lgica e certa proposio bicondicional. Sua demonstrao pode ser vista em Alencar Filho (2002, p. 52)

teorema 2
A proposio P implica a proposio Q, isto , P Q se, e somente se, a condicional P Q uma tautologia. Portanto, toda equivalncia corresponde a uma bicondicional tautolgica, e vice-versa. Mediante o Princpio da Substituio visto no Teorema 2 da Aula 3, uma consequncia deste teorema o seguinte corolrio:

co lrio 2
Sejam proposies , ento simples temos

p1 , p2 , , pn
dadas. Se

g u a r d e be m isso!
Podemos substituir as proposies simples componentes em uma equivalncia por outras proposies quaisquer que ainda teremos uma equivalncia.

P( p1 , p2 , , pn ) Q( p1 , p2 , , pn )
tambm

P( p1 , p2 , , pn ) Q( p1 , p2 , , pn )
quaisquer que sejam as proposies simples

ou compostas p1 , p2 , , pn .

Vejamos mais alguns exemplos nos exerccios seguintes.

AULA 5

TPICO 2

79

Exerccio resolvido 3:
Usando a tabela-verdade, mostre a chamada Regra de Absoro: p p q p q.

Soluo:
Vamos construir a tabela-verdade da bicondicional (p p q) (p q):
P V V F F q V F V F p q V F F F p p q V F V V p q V F V V (p p q) (p q) V V V V

Portanto, a bicondicional (p p q) (p q) tautolgica, pois, na ltima coluna de sua tabela-verdade, ocorre somente o valor lgico V. Logo, pelo Teorema 2, as proposies p p q e p q so equivalentes, ou seja, ocorre p p q p q.

Exerccio resolvido 4:
Verifique, usando a tabela-verdade, que a proposio p q equivalente conjuno das duas condicionais p q e q p, ou seja, mostre que p q e (p q) (q p) so equivalentes.

Soluo:
Vamos construir as tabelas-verdade das proposies p q e (p q) (q p):
p V V F F q V F V F p q V F V V q p V V F V p q V F F V (p q) (q p) V F F V

Portanto, as tabelas-verdade de p

ateno!
Os smbolos lgicos e no possuem o mesmo significado lgico. Portanto, cuidado para no confundilos. Enquanto o primeiro representa uma operao entre proposies dando origem a uma nova proposio, a bicondicional, o segundo indica apenas uma relao entre duas proposies dadas, a equivalncia.

q e (p q) (q p) so idnticas. Logo, as proposies p q e (p q) (q p) so equivalentes. Simbolicamente, temos: p q (p q) (q p). fcil notar que a relao de equivalncia goza das propriedades: Reflexiva: P P ; Simtrica: Se P Q , ento Q P ; Transitiva: Se P Q e Q R , ento

P R.
80 Lgica e conjuntos

A exemplo do que vimos para implicao, destacamos tambm que existe um grande nmero de afirmaes (resultados) na Matemtica que so apresentadas na forma:

A B.
A demonstrao de tais afirmaes consiste em demonstrar as duas implicaes:

A B e B A .
Voltemos agora condicional P Q . Associadas a ela existem algumas outras proposies condicionais correlacionadas que tm papel fundamental na comunicao em Matemtica. Vejamos na prxima definio quais so essas condicionais e, no teorema seguinte, como elas esto relacionadas. 2.3 DEFINIO

definio 4
So proposies associadas condicional P Q as seguintes proposies condicionais contendo P e Q: 1. Q P : proposio recproca de P Q ; 2. ~ P ~ Q : proposio contrria de P Q ; 3. ~ Q ~ P : proposio contrapositiva de P Q .

Exemplo 6:
Dadas as proposies: P: A e B so ngulos opostos pelo vrtice. Q: A e B so ngulos de medidas iguais. Considere a condicional P Q , que em linguagem corrente : Se A e B so ngulos opostos pelo vrtice, ento A e B so ngulos de medidas iguais. Logo, as proposies recproca, contrria e contrapositiva associadas a P Q so Recproca: Q P , que se A e B so ngulos de medidas iguais, ento A e B so ngulos opostos pelo vrtice. Contrria: ~ P ~ Q , que se A e B no so ngulos opostos pelo vrtice, ento A e B so ngulos de medidas diferentes. Contrapositiva: ~ Q ~ P , que se A e B so ngulos de medidas diferentes, ento A e B no so ngulos opostos pelo vrtice.

AULA 5

TPICO 2

81

Analisando a construo dessas proposies, fcil concluir que a proposio

P Q e sua contrapositiva ~ Q ~ P so ambas verdadeiras (V) e que a recproca Q P e a contrria ~ P ~ Q de P Q so ambas falsas (F).
As concluses feitas no Exemplo 6 so verdades vlidas de modo geral. Mais precisamente, analisando as tabelas-verdade de uma condicional

P Q e de suas trs proposies associadas:

P V V F F Q V F V F ~P F F V V ~Q F V F V P Q V F V V Q P V V F V ~ P ~ Q V V F V ~ Q ~ P V F V V

possvel concluir que (cf. ALENCAR FILHO, 2002) A condicional P Q e a sua contrapositiva ~ Q ~ P so equivalentes ou, simbolicamente:

P Q ~ Q ~ P A recproca Q P e a contrria ~ P ~ Q da condicional P Q

so equivalentes ou, simbolicamente:

Q P ~ P ~ Q .
Essas tabelas mostram tambm que a

condicional e a sua recproca ou a sua contrria no so equivalentes.

voc s abia?
P ~ Q de P Q tambm chamada inversa de P Q . 2. A contrapositiva de P Q a contrria da recproca de P Q , sendo
1. A contrria ~ tambm chamada de contra-recproca. 3. P Q dita direta em relao s suas proposies associadas.

Neste tpico, vimos o que uma equivalncia lgica e sua importncia para a Matemtica. No prximo tpico, teremos a oportunidade de aplicar os conhecimentos adquiridos, neste tpico e no anterior, no estudo dos tipos de demonstraes.

82

Lgica e conjuntos

TPICO 3
3.1 INTRODUO

Tipos de afirmaes na matemtica

Objetivos:
Conhecer os significados dos principais tipos de afirmaes na Matemtica. Diferenciar os principais tipos de afirmaes na Matemtica.

oda a Matemtica est baseada em afirmaes, algumas das quais necessitam de uma comprovao lgica de seu resultado. Essas afirmaes recebem denominaes especficas que so conceitos primitivos, definies,

axiomas, postulados, teoremas, proposies, corolrios e lemas. Neste tpico, estudaremos os significados desses tipos de afirmaes da Matemtica. Esse conhecimento fundamental, pois as proposies e as afirmaes dentro da Matemtica exercem um papel central, sendo muito comum introduzirmos novas proposies e afirmaes (e, portanto, tratar de novos temas e/ou teorias) a partir de proposies e afirmaes j existentes. 3.2 O MTODO AXIOMTICO Os princpios bsicos da Matemtica (fundamentos da Matemtica), ou seja, os modos como a ela se estrutura, objeto de estudo da filosofia da Matemtica, que busca ainda caracterizar e explicar o estado presente da evoluo da Matemtica, justificando-o criticamente (COSTA, 2008). So trs as correntes principais: logicismo, intuicionismo e formalismo. Todas essas teorias contriburam para a evoluo da Matemtica, sendo marcadas por uma renovao de ideias que so utilizadas at hoje. O logicismo foi fundado por Bertrand Russell (1872-1970) e por Gottlob Frege (1848-1925) e estabelece que a Matemtica reduz-se lgica. O intuicionismo a teoria estabelecida por Brouwer (1881-1966) e procura demonstrar que o saber matemtico escapa a toda e qualquer caracterizao simblica e se forma em etapas sucessivas

AULA 5

TPICO 3

83

que no podem ser conhecidas de antemo. O criador e principal representante do formalismo foi o alemo David Hilbert (1862-1943), um dos maiores matemticos contemporneos. O formalismo nasceu das conquistas alcanadas pelo chamado mtodo axiomtico. O mtodo axiomtico encontra aplicao praticamente em toda a Matemtica, constituindo-se, hoje, na tcnica bsica desta cincia. De acordo com Costa (2008, p. 33):
Para se estudar uma teoria pelo mtodo axiomtico, procede-se assim: escolhese certo nmero de noes e de proposies primitivas, suficientes para sobre elas edificar a teoria, aceitando-se outras idias ou outras proposies s mediante, respectivamente, definies e demonstraes; obtm-se, dessa maneira, uma axiomtica material da teoria dada; deixam-se de lado os significados intuitivos dos conceitos primitivos, considerando-os como termos caracterizados implicitamente pelas proposies primitivas. Procuram-se, ento, as conseqncias do sistema obtido, sem preocupao com a natureza ou com o significado inicial desses termos ou das relaes entre eles existentes. Estruturase, assim, o que se denomina uma axiomtica abstrata.

O mtodo axiomtico de grande importncia e, h muito tempo, vem sendo praticado na Matemtica. Euclides (325 a.C-265 a.C.), por exemplo, em seu livro Os Elementos, aplica o mtodo no desenvolvimento da geometria.Em sua exposio sistemtica da geometria, Euclides parte de determinadas noes tidas como claras (ponto, reta, etc.) e de certas proposies admitidas sem demonstrao (por exemplo: dois pontos distintos definem uma reta). Na teoria de Euclides, as proposies so de dois tipos: os axiomas, que so enunciados evidentes comuns a todas as cincias, como o todo igual soma de suas partes; e os postulados, que exprimem propriedades estritamente geomtricas (algumas vezes, no to evidentes quanto os axiomas), como por um ponto dado fora de uma reta, passa no mximo uma paralela a essa reta. Atualmente, no se faz distino entre axiomas e postulados. Costa (2008, p. 44) afirma que
As proposies que no se demonstram se chamam proposies primitivas, no sendo necessrio nem conveniente classific-las em axiomas e em postulados. Na realidade, hoje, as palavras axioma e postulado so sinnimas e significam proposies primitivas.

Com a evoluo da Matemtica, o mtodo axiomtico tornou-se cada vez

84

Lgica e conjuntos

mais rigoroso, chegando a um alto grau de perfeio lgica nas ltimas dcadas do sculo passado, com as contribuies de Pasch, Peano, Pieri, entre outros. Nas teorias axiomticas, existem apenas duas categorias de enunciados: as proposies primitivas, que so proposies aceitas sem demonstrao (no havendo preocupao se so evidentes ou no); e as proposies demonstradas (teoremas, proposies, corolrios e lemas) por meio de raciocnios logicamente corretos, a partir dos postulados. O esquema seguinte (Figura 1) d uma ideia da estruturao de uma teoria axiomtica.

Figura 1: Esquema da estrutura do mtodo axiomtico

O mtodo axiomtico constitui um timo instrumento de trabalho e de pesquisa para a Matemtica e, por meio dele, foram alcanados grandes avanos em lgebra, em topologia e em outros ramos da Matemtica. A seguir, procuramos relacionar e explicitar o significado dos principais termos utilizados no mtodo axiomtico. Conceitos Primitivos ou Entes Primitivos: palavras (ou conjuntos de palavras) reservadas aceitas sem a necessidade de definio. Em geral, so termos bem intuitivos e de fcil aceitao, cujos significados ficaro formalmente mais evidentes com o seu uso. O exemplo clssico o ponto. No definimos o que um ponto, apenas o aceitamos. Definies: conceitos dados em funo de termos considerados previamente conhecidos. Consiste numa reserva de palavras. Por exemplo: um segmento de reta uma parte ou poro de uma reta limitada por dois pontos. Aqui so considerados conhecidos os termos ponto, reta, parte, dentre outros. Axiomas e/ou Postulados: proposies evidentes por si mesmas e aceitas sem demonstrao (ou seja, tidas como verdadeiras). Em geral, tratam das relaes entre os termos reservados, determinando como devem se comportar ou estabelecendo propriedades. So exemplos: o todo igual soma de suas partes e dois pontos distintos definem uma reta. Teoremas: proposies que podem ser demonstradas. Atualmente, costumamos deixar o termo teorema apenas para certas afirmaes que podem ser provadas e que so de grande importncia. Esse termo foi introduzido por Euclides, em sua obra Os Elementos, e, no grego, significava originalmente espetculo ou festa. Para ser aceito como logicamente verdadeiro, um teorema precisa de uma

AULA 5

TPICO 3

85

demonstrao ou prova. Em geral, o enunciado de um teorema composto de duas partes distintas: hipteses (conjunto de condies aceitas como verdadeiras), e tese (verdade lgica que deve ser provada). Vejamos um exemplo: se dois ngulos so opostos pelo vrtice, ento so congruentes. Corolrios: proposies que so consequncias diretas ou imediatas dos teoremas. So tambm demonstrveis, mas, em geral, suas demonstraes so bem mais simples que a dos teoremas, sendo muitas vezes omitidas. Lemas: proposies auxiliares para as demonstraes dos teoremas. Podemos dizer que um lema uma espcie de pr-teorema. Para fixar melhor, vamos apresentar o teorema seguinte com propriedades bsicas da negao, da conjuno e da disjuno.

teorema 3
Se p, q e r so proposies quaisquer, t uma tautologia e c uma contradio, ento: 1. ~ (~ p) p 2. p p p 3. p q q p (dupla negao) (idempotente da conjuno) (comutativa da conjuno) (associativa da conjuno) (identidades da conjuno) (idempotente da disjuno) (comutativa da disjuno) (associativa da disjuno) (identidades da disjuno) (distributiva da conjuno em relao disjuno) (distributiva da disjuno em relao conjuno) (regra de absoro) (regra de absoro) (regra de De Morgan) (regra de De Morgan)

4. (p q) r p (q r) 5. p t p e p c c 6. p p p 7. p q q p

8. (p q) r p (q r) 9. p t t e p c p 10. p (q r) (p q) (p r) 11. p (q r) (p q) (p r) 12. p (p q) p 13. p (p q) p 14. ~ (p q) ~ p ~ q 15. ~ (p q) ~ p ~ q

Demonstrao: as demonstraes destas propriedades podem ser feitas com o auxlio de tabelas-verdade e sero deixadas como exerccios para voc.

86

Lgica e conjuntos

TPICO 4
4.1 INTRODUO

Tipos de demonstraes na matemtica

Objetivo:
Conhecer e usar diferentes tipos de demonstraes.

este tpico, faremos uma abordagem sobre como se fazem as demonstraes na Matemtica. Como vimos no

voc sa bia?
Nas cincias, a verdade surge da experimentao. Na lei, a verdade avaliada por um julgamento e decidida por um juiz e/ou jri. Em Matemtica, temos a demonstrao ou prova, espcie de dissertao que comprova de maneira irrefutvel a veracidade de uma dada afirmao. Na Matemtica, dizer que uma afirmao verdadeira significa dizer que ela absolutamente verdadeira, sem exceo. Uma afirmao que no absolutamente verdadeira nesse sentido chamada falsa.

tpico anterior, h vrios tipos de afirmaes na Matemtica. Essas afirmaes, tais como teoremas, corolrios e lemas, necessitam ser demonstradas, ou seja, precisam ser confirmadas luz do raciocnio lgico da rea em que esto inseridas. dessa forma que, desde os tempos de Euclides, a Matemtica formula as suas teorias. Sabemos que um teorema uma afirmao declarativa sobre Matemtica, para a qual existe uma prova ou demonstrao. Mas, afinal, o que uma demonstrao? A piada a seguir ilustra bem essa busca da verdade pelos matemticos: um engenheiro, um fsico e um matemtico esto fazendo um

passeio de trem pela Esccia e observam umas ovelhas negras em uma colina. - Olhe, diz o engenheiro, as ovelhas nesta parte da Esccia so negras! - Na verdade, responde o fsico, voc no deve tirar concluses precipitadas.

AULA 5

TPICO 4

87

Tudo o que podemos dizer que, nesta parte da Esccia, h algumas ovelhas negras. - Bem, ao menos de um lado, diz o matemtico. com esse esprito que um matemtico costuma desempenhar uma de suas atividades prediletas: demonstrar afirmaes. Pensando em afirmaes demonstrveis, podemos dizer que uma demonstrao uma espcie de raciocnio que permite concluir ou estabelecer uma tese, supondo compreendidas as condies dadas nas hipteses. O esquema seguinte (Figura 2) ilustra como se d esse processo.

Figura 2: Esquema do processo de demonstrao

4.2 TIPOS DE DEMONSTRAES Existem vrias formas de se fazer demonstraes, entre as quais se destacam: Demonstraes Diretas ou Dedutivas: utilizam-se das informaes contidas nas hipteses e/ou de outras afirmaes pertinentes e so obtidas por meio de uma sequncia lgica coerente de raciocnios. Dito de outro modo, o mtodo dedutivo para demonstrar um teorema do tipo P Q consiste em deduzir que Q verdadeira, assumindo que a proposio P verdadeira e utilizando equivalncias lgicas e fatos pr-estabelecidos. A demonstrao direta o tipo de demonstrao mais comum na Matemtica. Demonstraes por Contraposio: consistem na utilizao da equivalncia lgica P Q ~ Q ~ P . Mostrarmos o teorema P Q , utilizando o mtodo de demonstrao direta para provar que ~ Q ~ P . Esse tipo de demonstrao tambm muito utilizado na Matemtica, uma vez que, para muitas afirmaes, mais fcil demonstrar sua contrapositiva. Demonstraes por Reduo ao Absurdo ou por Contradies ou Indiretas: consistem na utilizao da equivalncia lgica P Q ( P ~ Q ) ~ P .

88

Lgica e conjuntos

Mostrarmos o teorema P Q , indicando que

( P ~ Q) ~ P . Isso resulta em um absurdo, uma vez que P verdadeira e conclumos que ~ P tambm verdadeira, resultando que P ~ P
tambm verdadeira. Isso evidentemente uma contradio. Portanto, estrategicamente, a demonstrao por reduo ao absurdo, ou simplesmente demonstrao por absurdo, baseada na negao lgica da tese e consequente contradio da hiptese. Esse tipo de demonstrao considerada por alguns autores uma jia do raciocnio dedutivo, sendo uma das mais sutis e grandes armas da Matemtica. Demonstrao por Induo: tcnica de demonstrao que consiste em, partindo de certas observaes particulares, obter concluses mais gerais. Demonstraes por induo so tambm bastante comuns dentro da Matemtica. A induo por enumerao o tipo mais simples de demonstrao por induo. Nela, uma concluso sobre todos os elementos de uma classe obtida de premissas que se referem a elementos particulares dessa classe. Destacamos o Princpio da Induo Matemtica, utilizado para demonstrar proposies que dependem dos nmeros inteiros. Durante todo o seu curso, voc ter vrias oportunidades de ver e resolver cada um desses tipos de demonstraes.

sa iba m a is
H vrios livros na internet sobre lgica e demonstraes matemticas. Voc pode consult-los para continuar estudando e complementando seus conhecimentos. Recomendamos que voc veja um vdeo que se encontra no site do Instituto de Matemtica Pura e Aplicada (IMPA): http://strato.impa.br/capem_jul2004. html. Ele trata de induo com o saudoso Professor Augusto Cesar Morgado. Abaixo, listamos mais algumas pginas que podero ajud-lo. Bons estudos!

1. 2. 3.

4.

http://pucrs.campus2. br/~annes/inflog.html h t t p : / / w w w. p u c s p. br/~logica/ http://wwmat.mat.fc.ul. pt/~jnsilva/logica97/ logica97.html http://rogesantana.vilabol. uol.com.br/modulo_1/ Logos1.htm#roge05

http://filomatematica.blogspot. c o m / 2 0 0 8 / 0 5 / i n t ro d u o - a o s fundamentos-da-matemtica.html

5.

Nesta aula, vimos as relaes de implicao e de equivalncia lgica e os principais tipos de afirmaes e de demonstraes usadas na Matemtica. Na prxima aula, trataremos de sentenas abertas e de quantificadores. Existem inmeras demonstraes diretas na Matemtica. Nos exerccios, proporemos que o aluno faa algumas delas. Ele dever pesquisar nos livros de Matemtica as demonstraes que j viu e verificar de que tipo de demonstrao se trata.

AULA 5

TPICO 4

89

AULA 6
os quantificadores.

Sentenas Abertas e Quantificadores

Esta a nossa ltima aula. Nela trataremos de dois temas que esto bem presentes nas afirmaes e demonstraes da Matemtica, fazendo mesmo parte da linguagem e da notao comumente utilizadas nesta rea: as sentenas abertas e

Sentenas abertas e quantificadores so elementos da chamada Lgica de Primeira Ordem (LPO) ou Clculo de Predicados de Primeira Ordem (CPPO). A LPO um sistema lgico que generaliza a lgica que estudamos at aqui a Lgica Proposicional ou Clculo Proposicional. Veremos que possvel operar na LPO da mesma forma que na Lgica Proposicional. As sentenas abertas funcionam como operandos na LPO e os quantificadores so operadores especiais que transformam sentenas abertas em proposies. Ento, anime-se e vamos iniciar o trabalho!

Objetivos
Conhecer sentenas abertas. Determinar o conjunto-verdade de sentenas abertas. Conhecer operaes de quantificao e quantificadores. Determinar o valor lgico de sentenas abertas quantificadas. Construir algumas demonstraes.

90

Lgica e conjuntos

TPICO 1
1.1 INTRODUO

Sentenas abertas com uma varivel

Objetivos:
Definir sentenas abertas com uma varivel. Determinar conjuntos-verdade de sentenas abertas. Construir sentenas abertas.

t aqui, temos tratado da Lgica Proposicional (ou Clculo Proposicional), cujo elemento central so as proposies. Sabemos que as proposies so sentenas para as quais possvel estabelecer um

valor lgico (verdade ou falsidade) e que elas podem ser relacionadas por meio de operaes lgicas definidas pelos conectivos lgicos. Introduzindo novos smbolos na linguagem do Clculo Proposicional, possvel tratar de sentenas mais gerais e complexas. o que faz a Lgica de Primeira Ordem (ou o Clculo de Predicados de Primeira Ordem). Alm de ser dotada de uma linguagem mais rica, a LPO tem vrias aplicaes importantes para a Matemtica e para outras reas, especialmente para as Cincias Exatas. Nesta nova linguagem, alm dos conectivos do clculo proposicional e dos parnteses, teremos novos smbolos: variveis, constantes, smbolos de funes proposicionais (sentenas abertas), quantificadores e termos. Vamos iniciar considerando as seguintes sentenas ou expresses:

Exemplo 1: p: 10 > 3 q: x 2 3 x = 0
fcil perceber que a sentena p uma proposio cujo valor lgico V(p) = V. J a sentena q carece de valor lgico, ou seja, no possvel atribuir um valor lgico a q. Portanto, q no uma proposio. Para sermos mais precisos, devemos

AULA 6

TPICO 1

91

dizer que o valor lgico de q ser conhecido apenas quando x for identificado, ou seja, V(q) ser conhecido para cada atribuio de valor a x, podendo ser verdadeira ou falsa, dependendo de tal atribuio. Por exemplo: Para x = 0 ou x = 3 , q ser uma proposio verdadeira, isto , V(q) = V. Para x 0 e x 3 , q ser uma proposio falsa, isto , V(q) = F. Esse exemplo deixa claro que existem sentenas para as quais no temos como decidir se assumem valor lgico verdadeiro ou falso. Vejamos mais alguns exemplos:

Exemplo 2: 1. x 2 7 x + 10 = 0.

ateno!
Ao trabalharmos com sentenas abertas, deve sempre estar claro quem so as variveis e quais os universos de cada varivel.

2. Ela aluna do curso de Matemtica. 3. Ele e ela formam um lindo casal. Novamente aqui no temos como dizer o valor lgico dessas sentenas, a menos que os objetos desconhecidos em cada uma delas, a saber, x em (1), ela em (2) e ele e ela em (3) sejam identificados. Sentenas como essas do Exemplo 2 so denominadas de funes proposicionais, proposies abertas ou sentenas abertas. Os objetos desconhecidos nas sentenas abertas so chamados variveis e os elementos que uma varivel de uma sentena aberta pode assumir, transformando-a em uma proposio, formam o que chamamos de universo de discurso (ou simplesmente universo), que ser denotado por U. A seguir, definimos de modo mais formal sentena aberta com uma varivel. Posteriormente, estenderemos essa definio para sentenas abertas com duas ou mais variveis. 1.2 SENTENA ABERTA COM UMA VARIVEL - DEFINIES

d e fi n i o 1
Dado um conjunto A, uma sentena aberta com uma varivel em um conjunto A ou simplesmente uma sentena aberta em A uma expresso P(x) tal que P(a) uma proposio (verdadeira ou falsa) para todo elemento a A. O conjunto A chamado de conjunto-universo ou apenas universo ou ainda domnio da varivel x e um elemento qualquer a A chamado de valor da varivel x. Uma sentena aberta com uma varivel em A tambm chamada funo proposicional

92

Lgica e conjuntos

com uma varivel em A ou simplesmente funo proposicional em A ou ainda condio em A. Quando, nas sentenas abertas,
Uma sentena aberta P(x) em A torna-se uma proposio sempre que a varivel x substituda por um elemento a A.

at e n o!

substitumos as variveis por constantes, estamos fazendo o que chamamos de uma interpretao ou instanciao da sentena. Assim, 32 7 3 + 10 = uma interpretao de 0 x 2 7 x + 10 = 0 pela substituio de x por 3. Sara aluna do curso de Matemtica uma instanciao de Ela aluna do curso de Matemtica pela substituio de ela por Sara. Essas interpretaes so proposies, cujo valor lgico V ou F. No primeiro caso, ela F. Quando, em uma sentena aberta P(x) em A, temos que P(a) verdadeira (V) para a

voc sa bia?
Em uma sentena aberta, as variveis representam objetos que no esto identificados no universo considerado (algum, algo, etc.) e os valores das variveis (tambm chamados constantes) representam objetos identificados do universo (Jos, o ponto A , etc.).

A, dizemos que a satisfaz ou verifica P(x).

Definimos:

definio 2
Conjunto-verdade de uma sentena aberta P(x) em A, denotado por VP , o conjunto de todos elementos a A que satisfazem (verificam) P(x), ou seja, o conjunto de todos elementos a A tais que P(a) uma proposio verdadeira. Simbolicamente,

VP {a | a A P (a ) V} . =
De um modo mais simples, o conjunto-verdade de uma sentena aberta P(x) em A dado por:

VP {a | a A P (a )} ou ainda por = VP {a A | P(a )} . = Exemplo 3: Seja = {1, 2, 3, ...} o conjunto dos

nmeros naturais. As seguintes expresses so sentenas abertas com uma varivel em :

g u a r d e be m isso!
O conjunto-verdade de uma sentena aberta P(x) em A sempre um subconjunto de A, ou seja, VP

A.

AULA 6

TPICO 1

93

1. P(x): 2 x + 1 < 12 2. Q(x): 2 x = x 2 3. R(x): x divisor de 10 4. S(x): x quadrado perfeito Os conjuntos-verdade dessas sentenas abertas so respectivamente: 1. VP = {a | 2a + 1 < 12} = {1, 2, 3, 4, 5} 2. VQ = | 2a = = 4} {a a 2 } {2, 3. VR = de 10} = {a | a divisor {1, 2, 5, 10}

4. VS = {a | a quadrado perfeito} = } {1, 4, 9, ...} = {a 2 com a Vejamos mais alguns exemplos de sentenas abertas interessantes, cujos conjuntos-verdade tm certas peculiaridades:

Exerccio resolvido 1:
Determine o conjunto-verdade de cada uma das seguintes sentenas abertas com uma varivel: 1. P(x): x 2 = 2 em (conjunto dos inteiros) 2. Q(x): x 2 + 3 0 em (conjunto dos reais)

Soluo:
Sabemos que no existe nmero inteiro x cujo quadrado seja igual a 2 (na verdade, os nicos nmeros cujo quadrado igual a 2 so 2 e 2 que no so inteiros). Desde que o quadrado de um nmero real qualquer maior ou igual a 0, sua soma com 3 tambm maior ou igual a 0. Portanto, temos: 1. VP = | a 2 = e 2. VQ = {a | a 2 + 3 0} = {a 2} = O Exemplo 3 e o Exerccio resolvido 1 mostram que so possveis trs casos para uma sentena aberta P(x) em A: Nenhum x A satisfaz P(x), isto , VP = . Neste caso, dizemos que P(x) uma condio impossvel ou uma propriedade impossvel em A. Alguns (mas no todos) x A satisfazem P(x), isto , VP A ( VP um subconjunto prprio de A). Neste caso, P(x) dita ser uma condio possvel ou uma propriedade possvel em A. Todo x A satisfaz P(x), isto , VP = A . Dizemos, ento, que P(x) uma condio universal ou uma propriedade universal em A. A condio P(x): x 2 = 2 impossvel em (conforme vimos no Exerccio resolvido 1, VP = ), mas possvel em ( VP = { 2, 2} ). A condio Q(x): x + 5 > 2 universal em , possvel em e impossvel em

94

Lgica e conjuntos

A =50, 40, 30, 20, 10} . {

Neste tpico, vimos o que so sentenas abertas com uma varivel e determinamos os conjuntos-verdade de algumas delas. No tpico seguinte, estenderemos esses conceitos para sentenas abertas com vrias variveis.

sa iba m a is
O domnio de uma condio determinante para decidir se ela universal, possvel ou impossvel. Mais precisamente, uma mesma condio pode ser, por exemplo, possvel em um domnio e impossvel em outro.

AULA 6

TPICO 1

95

TPICO 2

Sentenas abertas com mais de uma varivel

Objetivos:
Definir sentenas abertas com mais de uma varivel. Determinar conjuntos-verdade de sentenas abertas. Construir sentenas abertas.

2.1 INTRODUO - DEFINIES Nas definies seguintes, estendemos os conceitos de sentena aberta e de conjunto-verdade de uma sentena aberta para sentenas com mais de uma varivel.

d e f in i o 3 ateno!
Uma sentena aberta P(x, y) em A B torna-se uma proposio sempre que as variveis x e y so substitudas, respectivamente, por elementos a A e b B (isto , (a, b)

A B).

Dados dois conjuntos A e B, uma sentena aberta com duas variveis em AB ou simplesmente uma sentena aberta em AB uma expresso P(x, y) tal que P(a, b) uma proposio (verdadeira ou falsa) para todo par ordenado (a, b) AB.

d e fi n i o 4
Conjunto-verdade de uma sentena aberta P(x, y) em A B, denotado por

VP , o conjunto de todos os pares ordenados (a, b) A B que satisfazem (verificam) P(x, y), ou seja, o conjunto de todos os pares ordenados (a, b) A B tais que P(a, b) uma proposio verdadeira. Simbolicamente, = {(a, b) | a A b B P (a, b) V} . VP
De um modo mais simples, o conjunto-verdade de uma sentena aberta

96

Lgica e conjuntos

P(x, y) em A B dado por:

= {(a, b) | a A b B P (a, b)} VP ou ainda por = {(a, b) A B | P (a, b)} . VP Exemplo 4:

Sejam os conjuntos

g u a r d e be m isso!
O conjunto-verdade de uma sentena aberta P(x, y) em A B sempre um subconjunto de A B, ou seja,

A =2, 1, 0, 1, 2} e B = {1, 4, 9} . As {
seguintes expresses so sentenas abertas com duas variveis em A B : 1. P(x): x + y 5 2. Q(x): x 2 = y 3. R(x): x divisor y 4. S(x): 3 x + y = 0

VP A B .

Observe que o par ordenado (2, 4) A B, por exemplo, satisfaz as sentenas abertas P(x), Q(x) e R(x), mas no satisfaz S(x). Portanto, temos que (2, 4) VP, (2, 4) VQ, (2, 4) VR e (2, 4) VS Por curiosidade, considerando o Exemplo 3: quantos so os pares ordenados de A B? Quais so eles? Quais so todos os pares todos os pares que satisfazem P(x)? O par (1, 9) satisfaz Q(x)? Ele satisfaz R(x)? Algum dos pares satisfaz S(x)? No exerccio seguinte, respondemos a alguns destes questionamentos.

Exerccio resolvido 2:
Determine o conjunto-verdade de cada uma das sentenas abertas do Exemplo 3.

Soluo:
O produto cartesiano A B constitudo de 5 3 = 15 pares ordenados, a saber: { (2, 1) , (2, 4) , (2, 9) , (1, 1) , (1, 4) , (1, 9) , (0, 1) , (0, 4) , (0, 9) ,

(1, 1) , (1, 4) , (1, 9) , (2, 1) , (2, 4) , (2, 9) }.

Os conjuntos-verdade das sentenas abertas dadas so respectivamente: 1.VP = {(a, b) A B |a + b 5} = {(2, 9), (1, 9), (0, 9), (1, 4), (1, 9), (2, 4), (2, 9)} ) 2.VQ = {(a, b) A B |a 2 = b} = {(2, 4), (1, 1), (1, 1), (2, 4)} 3.VR = {(a, b) A B |a divisor de b} = {(-2,4), (-1,1), (-1,4), (-1,9), (1,1), (1,4) (1,9), (2,4)} 4.VS = {(a, b) A B |3a + b = 0} =

AULA 6

TPICO 2

97

ateno!
Uma sentena aberta P(x1, x2, ..., xn) em A1 A2 ... An torna-se uma proposio sempre que as variveis x1, x2, ..., e xn so substitudas, respectivamente, por elementos a1

d e f in i o 5
Dados n conjuntos A1, A2, ..., An uma sentena aberta com n variveis em A1 A2 ... An ou simplesmente uma sentena aberta em A1 A2 ... An uma expresso P(x1, x2, ..., xn) tal que P(a1, a2, ..., an) uma proposio (verdadeira ou falsa) para toda n-upla ordenada (a1, a2, ..., an) A1 A2 ... An.

A1, a2 A2, ..., e an An (isto , (a1, a2, ..., an) A1 A2 ... An).

d e fi n i o 6
Conjunto-verdade de uma sentena aberta P(x1, x2, ..., xn) em A1 A2 ... An, denotado por VP , o conjunto de todas as n-uplas ordenadas (a1, a2, ..., an) A1

A2 ... An que satisfazem (verificam) P(x1, x2, ..., xn), ou seja, o conjunto de todas as n-uplas ordenadas (a1, a2, ..., an) A1 A2 ... An tais que P(a1, a2, ..., an)
uma proposio verdadeira. Simbolicamente, VP = {(a1 , a2 , ..., an )|a1 A1 a2 A2 ... an An P (a1 , a2 , ..., an ) V} .

De um modo mais simples, o conjunto-

guarde bem is so !
O conjunto-verdade de uma sentena aberta P(x1, x2, ..., xn) em A1 A2

verdade de uma sentena aberta P(x1, x2, ..., xn) em A1 A2 ... An dado por: VP = {(a1 , a2 , ..., an )|a1 A1 a2 A2 ... an An P (a1 , a2 , ..., an )} ou ainda por VP = {(a1 , a2 , ..., an ) ( A1 A2 ... An ) |P (a1 , a2 , ..., an )} .

An sempre um subconjunto de A1 A2 ... An, ou seja, VP ( A1 A2 ... An ) .

...

Exemplo 5: Seja = {1, 2, 3, ...} o conjunto dos nmeros naturais. A expresso P(x): x + 2 y + 3 z 10
uma sentena aberta com trs variveis em : Observe que a tripla ordenada (1, 1, 1) satisfaz P(x), pois

1 + 2 1 + 3 1 10 verdade (V). Por outro lado, a tripla ordenada (1, 2, 3)

98

Lgica e conjuntos

 no satisfaz P(x), pois 1 + 2 2 + 3 3 10 falsa (F). O conjuntoverdade da sentena aberta P(x) :

= {( x, y, z ) | x + 2 y + 3 z 10} VP
={(1,1,1), (1,1,2), (1,2,1), (1,3,1), (2,1,1), (2,1,2), (2,2,1), (3,1,1), (3,2,1)}. Finalizamos este tpico com a seguinte observao vista em Alencar Filho (2002, p. 161): Em Matemtica, as equaes e as inequaes so sentenas abertas que exprimem relao de igualdade e desigualdade, respectivamente, entre duas expresses com variveis. Mas, o conceito de sentena aberta muito mais amplo que o de equao ou inequao; assim, x divide y, x primo com y, x filho de y, etc., so sentenas abertas, sem serem equaes nem inequaes. Neste tpico, tratamos das sentenas abertas com mais de uma varivel, determinando seus conjuntos-verdade. No prximo tpico, veremos como operar com sentenas abertas.

AULA 6

TPICO 2

99

TPICO 3

Operando com sentenas abertas

Objetivos:
Conhecer as operaes com sentenas abertas. Construir sentenas abertas. Determinar conjuntos-verdade de sentenas abertas.

3.1 INTRODUO

sa i ba mais !
Dados dois nmeros inteiros a e b, dizemos que a divide b e denotamos por a | b se existir um nmero inteiro n tal que b = an.

meio dos conectivos lgicos, formando novas sentenas abertas. Como exemplo, vamos considerar as seguintes sentenas abertas com uma varivel em :

s sentenas abertas podem tambm combinar-se do mesmo modo que as proposies se combinam, por

p (x) : 4 | x (4 divide x), q (x) : x < 20. Podemos ligar as sentenas abertas p (x) e q (x) pelo conectivo (e) e obter uma
nova sentena aberta em :

p (x) q (x) : 4 | x x < 20

que ser satisfeita por todos (e somente por eles) os valores a que satisfazem simultaneamente as duas sentenas abertas p (x) e q (x) . A exemplo do que foi feito para proposies, natural chamar essa nova sentena aberta

p( x) q ( x) de conjuno das sentenas abertas p (x) e q (x) .

De modo similar, podemos definir operaes com sentenas abertas usando os conectivos (ou), ~ (no), (se ... ento) e (se, e somente se,). Assim, dadas as sentenas abertas p (x) e q (x) em A, temos: Conjuno de p (x) e q (x) a sentena aberta p ( x) q ( x) em A, satisfeita pelos valores a A (e somente por eles) que satisfazem simultaneamente p (x) e q (x) .

100

Lgica e conjuntos

Disjuno de p (x) e q (x) a sentena aberta p ( x) q ( x) em A, satisfeita pelos valores a A (e somente por eles) que satisfazem a pelo menos uma das sentenas p (x) e q (x) . Negao de p (x) a sentena ~ p ( x) em A, satisfeita pelos valores a A (e somente por eles) que no satisfazem p (x) . Condicional de p (x) e q (x) a sentena aberta p ( x) q ( x) em A, que s no satisfeita pelos valores a A que satisfazem p (x) , mas no satisfazem q (x) . Bicondicional de p (x) e q (x) a sentena aberta p ( x) q ( x) em A, que satisfeita pelos valores a A (e somente por eles) que satisfazem simultaneamente p (x) e q (x) ou que simultaneamente no satisfazem p (x) e q (x) .

Do modo como foram definidas, sendo V p o conjunto-verdade de p(x) e Vq o conjunto-verdade de q(x), os conjuntos-verdade dessas novas sentenas abertas sero 1. V p q = V p Vq = {a A | p (a )} {a A | q (a )} . 2. V p q = V p Vq = {a A | p (a )} {a A | q (a )} . 3. V~ p C= C A {a A | p (a )} . = A Vp 4. V pq = V~ p q = V~ p Vq = C A V p Vq = C A{a A | p (a )} {a A | q (a )} 5. V p q= V( pq )( q p )= V pq Vq p= (C A V p Vq ) (C A Vq V p )

= A{a A | p (a )} {a A | q (a )}) ({a A | p (a )} C A{a A | q (a )}) . (C

Note que a primeira igualdade em (4) e em (5) seguem das equivalncias

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

Exemplo 6: Seja = {1, 2, 3, ...} o conjunto dos nmeros naturais. Consideremos as

sentenas abertas em :

p( x) : x + 1 > 8 , q( x) : x 2 5 x + 6 = 0 e r ( x) : x divisor de 3 .
Atribuindo o valor 1 varivel x, teremos que as sentenas abertas p(x), q(x) e r(x) se tornaro proposies cujos valores lgicos sero, respectivamente, F, F e V, isto , V ( p (1)) = F, V (q (1)) = F e V (r (1)) = V. Dito de outro modo, o valor

1 satisfaz a sentena aberta r(x), mas no satisfaz p(x) nem q(x). Portanto,
segue que o valor 1 : a) no satisfaz a conjuno p ( x) q ( x) , isto , 1 V p q ; b) no satisfaz a disjuno p ( x) q ( x) , isto , 1 V p q ; d) satisfaz a disjuno p ( x) r ( x) , isto , 1 V p r ; c) no satisfaz a conjuno p ( x) r ( x) , isto , 1 V p r ;

AULA 6

TPICO 3

101

e) satisfaz a negao ~ p ( x) , isto , 1 V~ p ;

f) no satisfaz a negao ~ r ( x) , isto , 1 V~ r ;

g) satisfaz a condicional q ( x) r ( x) , isto , 1 Vqr ;

h) no satisfaz a condicional r ( x) q ( x) , isto , 1 Vr q ; i) satisfaz a bicondicional p ( x) q ( x) , isto , 1 V p q ; j) no satisfaz a bicondicional p ( x) r ( x) , isto , 1 V p r .

Exerccio resolvido 2: p ( x) : x + 1 < 7 , q ( x) : x 2 14 x + 45 = 0 e r ( x) : x divisor de 12 .

Determine o conjunto-verdade das seguintes sentenas abertas: Consideremos as sentenas abertas em = {1, 2, 3, ...} :

1. p ( x) r ( x) 3. ~ p ( x) 5. q ( x) r ( x) Soluo:

2. q ( x) r ( x) 4. p ( x) r ( x) 6. ~ p ( x) (q ( x) r ( x))

x 14 x + 45 = 0 so 5 e 9 (verifique!) e que os divisores positivos de 12 so 1, 2,

3, 4, 6 e 12. Portanto, os conjuntos-verdade das sentenas abertas p(x), q(x) e r(x) so respectivamente:

Observe inicialmente que x + 1 < 7 x < 6 , que as razes da equao

V p = {1, 2, 3, 4, 5}, Vq = {5, 9} e Vr = {1, 2, 3, 4, 6, 12}.

Determinemos agora os conjuntos-verdade das sentenas abertas dadas. Temos: 1. V p r = V p Vr = {1, 2, 3, 4, 5} {1, 2, 3, 4, 6, 12} = {1, 2, 3, 4} 2. Vq r = Vq Vr = {5, 9} {1, 2, 3, 4, 6, 12} = {1, 2, 3, 4, 5, 6, 9, 12}

3. V~ p C V p C {1, 2, 3, 4, 5} {1, 2, 3, 4, 5} = {6, 7, 8, ...} = = = 4. V pr C V p Vr C {1, 2, 3, 4, 5} {1, 2, 3, 4, 6, 12} = {5} = = 5. Vq r (C Vq Vr ) (C Vr Vq ) = = ( C {5, 9} {1, 2, 3, 4, 6, 12} ) ( {5, 9} C {1, 2, 3, 4, 6, 12} ) 6. V~ p ( q r ) = V~ p Vq r = C V p (Vq Vr ) = ( {1, 2, 3, 4, 5} ) =

= ( {5, 9} ) ( {1, 2, 3, 4, 6, 12} ) = {1, 2, 3, 4, 5, 6, 9, 12} = C {1, 2, 3, 4, 5} ({5, 9} {1, 2, 3, 4, 6, 12}) De modo similar, poderamos, usando os conectivos lgicos, definir essas mesmas operaes com sentenas abertas com mais de uma varivel. Assim, para as

102

Lgica e conjuntos

sentenas abertas com n variveis p ( x1 , x 2 , , x n ) e q ( x1 , x 2 , , x n ) , teramos as sentenas abertas compostas:

p ( x1 , , xn ) q ( x1 , xn ) p ( x1 , , xn ) q ( x1 , xn ) ~ p ( x1 , , xn ) p ( x1 , , xn ) q ( x1 , xn ) p ( x1 , , xn ) q ( x1 , xn )
Neste tpico, vimos as principais operaes com sentenas abertas e determinamos os conjuntos-verdade das novas sentenas abertas obtidas. No prximo tpico, estudaremos as operaes de quantificao.

AULA 6

TPICO 3

103

TPICO 4
4.1 INTRODUO

Quantificadores
Objetivos:
Conhecer as operaes de quantificao. Conhecer os quantificadores universal e existencial. Determinar o valor lgico de sentenas abertas quantificadas.

os tpicos anteriores, vimos que uma forma bem simples de transformar uma sentena aberta em uma proposio. Neste tpico, veremos outra forma bem interessante de transformar sentenas abertas em proposies.

Podemos construir proposies (isto , sentenas que podem assumir valor

lgico verdadeiro ou falso) a partir de uma dada sentena aberta P, de duas maneiras: atribuindo valores do domnio s variveis de P, isto , substituindo as variveis de P por elementos do domnio das variveis. quantificando as variveis de P, usando os quantificadores universal ( ) e existencial ( ). 4.2 QUANTIFICADOR UNIVERSAL ( ) Seja A um conjunto no vazio ( A ) e p(x) uma sentena aberta em A tal que V p = A , isto , p(x) uma condio universal. Neste caso, podemos dizer (Alencar Filho, 2002): 1. Para todo elemento x de A, p(x) verdadeira (V). 2. Qualquer que seja o elemento x de A, p(x) verdadeira (V). Ou, dito de modo mais simples: 3. Para todo x de A, p(x). 4. Qualquer que seja x de A, p(x). Simbolicamente, denotamos estas duas afirmaes (ambas iguais), escrevendo:

(x A)( p ( x)) ou x A, p ( x) ou x A : p ( x) .

104

Lgica e conjuntos

Por questes de simplicidade, desde que no haja dvidas quanto ao domnio, podemos omiti-lo e escrever:

(x)( p ( x)) ou x, p ( x) ou x : p ( x) . Portanto, o smbolo , chamado quantificador universal define a operao

denomida quantificao universal que transforma a sentena aberta p(x) em uma proposio que verdadeira (V) quando p(x) uma condio universal ( V p = A ) e falsa (F) quando p(x) no uma condio universal ( V p A ). Tal proposio denotada por

(x A)( p ( x)) e lida para todo x de A, p(x) ou qualquer que seja x de A, p(x).

Exemplo 7:
A proposio ( n )(n + 4 > 3) , na qual = {1, 2, 3, ...} o conjunto dos nmeros naturais, verdadeira (V), pois a sentena aberta que a define p(n): n + 4 > 3 uma condio universal em ( V p = ). J a proposio

(n )(n + 2 > 8) falsa (F), pois a condio q(n): n + 2 > 8 possvel e no universal em ( V p {7, 8, 9,} ). =

4.3 QUANTIFICADOR EXISTENCIAL ( ) Seja A um conjunto no vazio ( A ) e p(x) uma sentena aberta em A tal que V p , isto , p(x) uma condio possvel. Neste caso, podemos dizer (Alencar Filho, 2002): 1. Existe pelo menos um elemento x de A tal que p(x) verdadeira (V). 2. Para algum elemento x de A, p(x) verdadeira (V). Ou, dito de modo mais simples: 3. Existe x de A tal que p(x). 4. Para algum x de A, p(x). Simbolicamente, denotamos estas duas afirmaes (que dizem a mesma coisa) escrevendo:

(x A)( p ( x)) ou x A, p ( x) ou x A : p ( x) .
Por questes de simplicidade, desde que no haja dvidas quanto ao domnio, podemos omiti-lo e escrever:

(x)( p ( x)) ou x, p ( x) ou x : p ( x) .Portanto, o smbolo , chamado quantificador existencial define a operao, denomida quantificao
existencial, que transforma a sentena aberta p(x) em uma proposio que verdadeira (V) quando p(x) uma condio possvel ( V p ) e falsa (F) quando p(x) uma condio impossvel ( V p = ). Tal proposio denotada por (x A)( p ( x)) e lida existe x de A tal que p(x) ou para algum x de A, p(x).

AULA 6

TPICO 4

105

Exemplo 8:
A proposio ( n )(n + 4 < 7) , na qual = {1, 2, 3, ...} o conjunto dos nmeros naturais, verdadeira (V), pois a sentena aberta que a define p(n): n + 4 < 7 possvel em ( V p =

{1, 2} ). Por outro lado, a proposio ( n N )(n + 6 < 4)

falsa (F), pois a condio q(n): n + 6 < 4 impossvel em ( V p = ). 4.4 QUANTIFICADOR DE EXISTNCIA E UNICIDADE ( |) Quando existe e nico o elemento no conjunto universo A que satisfaz a sentena aberta p ( x) , ou seja, que torna p ( x) uma proposio verdadeira (V), denotamos essa proposio por ( |x A )( p (x) ), lida existe um nico x de A tal que p (x) ou existe um x de A e um s tal que p (x) .

Exemplo 9:

gu arde bem is so !
As seguintes implicaes ocorrem: ( | x A )( p (x )) (x A )( p (x )) e ( x A )( p (x )) (x A )( p (x )) As implicaes contrrias no ocorrem.

So verdadeiras as proposies: ( | x )( x 2 = 4 ) ( |x )( 1 < x < 1 ) Finalizaremos este tpico dizendo que a negao transforma o quantificador universal em quantificador existencial e vice-versa, ou seja, transforma o quantificador existencial em

quantificador universal. Estas so as chamada segundas regras de De Morgan e, simbolicamente, dizem: 1. ~ [( x A)( p ( x))] ( x A)(~ p ( x)) . 2. ~ [( x A)( p ( x))] ( x A)(~ p ( x)) . Desde que no haja dvidas quanto ao domnio, podemos omiti-lo e escrever simplesmente: 1. ~ [( x)( p ( x))] ( x)(~ p ( x)) . 2. ~ [($x )( p(x ))] ( "x )(~ p(x )). Vejamos alguns exemplos extrados de Daghlian (1995, p. 94-95):

Exerccio resolvido 3:
Negar a sentena Todos os pescadores so mentirosos.

Soluo:
A sentena uma proposio do tipo:

x, p ( x )

106

Lgica e conjuntos

Sua negao equivalente a:

~ ( x, p ( x)) x, ~ p( x)
Portanto, sua negao a proposio: Existe pescador que no mentiroso. Ou, dito em outras palavras: Algum pescador no mentiroso.

Exerccio resolvido 4:
Negar a sentena Alguns alunos so estudiosos.

Soluo:
A sentena uma proposio do tipo:

x, p ( x))
Sua negao equivalente a:

~ ( x, p ( x)) x, ~ p ( x)
Portanto, sua negao a proposio: Todos os alunos no so estudiosos. Ou, dito em outras palavras: Qualquer que seja o aluno, ele no estudioso.

Exerccio resolvido 5: Negar a sentena x, x 1 5 . Soluo: ~ ( x, x 1 5) x, x 1 < 5 . Exerccio resolvido 6: Negar a sentena x, x2 =1 x 0 . Soluo: ~ ( x, x2 =1 x 0) x, ~ ( x2 =1 x 0) x, ~ (~ ( x2 = 1) ( x 0)) x, ~ (~ ( x2 = 1)) ~ ( x 0) x, ( x2 = 1) ( x = 0)
Aqui usamos a equivalncia conhecida: p q ~ p q . .

AULA 6

TPICO 4

107

Na Matemtica, muitas vezes, temos de mostrar que uma proposio do tipo Para todo x de A, p(x), isto ,

( x A)( p ( x))
falsa (F). Da equivalncia

~ [( x A)( p ( x))] ( x A)(~ p ( x)) ,

uma forma de fazer isso mostrar que

( x A)(~ p ( x))
uma proposio verdadeira (V). Portanto, temos de mostrar que existe pelo menos um elemento x 0 A tal que p ( x 0 ) uma proposio falsa (F). Um tal elemento recebe uma denominao especial muito comum em Matemtica:

sa i ba mais !
Um elemento x 0

A tal que p ( x 0 )

Exemlo 10: ( x )( x2 x) 1 falsa (F). Um contra-exemplo o nmero , 2 2 1 2 1 pois falsa (F). Os nmeros 0 e 2 3 2
A proposio tambm so contra-exemplos. Verifique!

uma proposio falsa (F) chamado contra-exemplo para a proposio

( x A)( p ( x)) .

sa i ba mais !
Consulte as referncias que citamos ou outras da rea e acesse pginas da internet relacionadas para complementar seus conhecimentos. Abaixo, listamos algumas pginas que podero ajud-lo. Bons estudos! 1. http://www.pucsp.br/~logica/ 2. www.pucrs.br/famat/ruth/logica_b/9quant.doc 3. www.pucrs.br/famat/ruth/logica_b/10quant2.doc 4. hispasys.net/mathuv/DataFiles/FileNavegator/ Ebooks/Sin%20Clasificar/apostila_logica_ matematica.pdf

Neste tpico, aprendemos a quantificar sentenas abertas com uma varivel e vimos como obter a negao de sentenas abertas quantificadas. Todos esses conceitos podem ser estendidos para a quantificao de sentenas abertas com mais de uma varivel. Chegamos ao final de nossa disciplina! Queremos deixar claro que essa foi apenas uma breve introduo ao estudo da Lgica e dos Conjuntos. Entretanto, devemos ressaltar que os conhecimentos adquiridos aqui sero essenciais para que voc possa ter um bom desempenho em todo o curso. Esperamos que voc esteja motivado para continuar estudando e aprofundar seus conhecimentos. Obrigado pela sua participao e at uma prxima oportunidade.

108

Lgica e conjuntos

REFERNCIAS
ABAR, Celina Aparecida Almeida Pereira. Noes de lgica matemtica. [online], 2004. Disponvel em: <http://www.pucsp.br/~logica>. Acessado em: 18 de janeiro de 2009. ALENCAR FILHO, Edgard de. Iniciao lgica matemtica. So Paulo: Editora Nobel, 2002. DRUCK, Iole de Freitas. A linguagem lgica. Revista do Professor de Matemtica, Rio de Janeiro: Sociedade Brasileira de Matemtica, n. 17, p. 10-18, 1990. DAGHLIAN, Jacob. Lgica e lgebra de Boole. 4a. ed. So Paulo: Editora Atlas, 1995. LIMA, Elon Lages et al. A Matemtica do ensino mdio. Rio de Janeiro SBM, 2000. SILVA, Josimar et al. divertido resolver problemas. Rio de Janeiro. LTC, 2000.

REFERNCIAS

109

CURRCULO
Francisco Gvane Muniz Cunha professor efetivo do Instituto Federal do Cear IFCE desde 1993. Nascido em So Joo do Jaguaribe CE em 1970, tcnico em informtica industrial pela Escola Tcnica Federal do Cear (1993). Licenciado (1993) e bacharel (1994) em matemtica pela Universidade Federal do Cear UFC. Possui mestrado em matemtica (1997) e mestrado em cincia da computao (2002), ambos pela UFC. doutor em engenharia de sistemas e computao (2007) pela Universidade Federal do Rio de Janeiro com tese na linha de otimizao. Tem experincia na rea de matemtica aplicada, no ensino de matemtica, na formao de professores, no uso de tecnologias e no ensino na modalidade a distncia. Atualmente professor de disciplinas de matemtica dos cursos de licenciatura em matemtica, engenharias e outros do IFCE. Na modalidade semi-presencial professor conteudista e formador de disciplinas de matemtica do curso licenciatura em matemtica do IFCE, tendo produzido diversos livros didticos. Orienta alunos em nvel de graduao e ps-graduao em matemtica, ensino de Matemtica ou educao Matemtica. Tem interesse no uso de ambientes informatizados e, em especial, no uso de softwares educativos como apoio para o ensino de matemtica. Dentre outras atividades, gosta de ler a bblia, ajudar as pessoas, ensinar, estudar matemtica e computao e assistir corridas de frmula 1.

110

Lgica e conjuntos