Apostila Matematica para Computacao

CENTRO FEDERAL DE EDUCAO TECNOLGICA DO MARANHO
DIRETORIA DE ENSINO SUPERIOR DESU

NCLEO DE EDUCAO A DISTNCIA NUEAD
UNIVERSIDADE ABERTA DO BRASIL UAB

MATEMTICA PARA COMPUTAO

Barra do Corda
2009
2
SUMRIO

MODULO I - FUNDAMENTOS DE LGICA MATEMTICA.............................. 4
Capitulo 1 Introduo ao Estudo da Lgica Formal............................................ 5
1.1. Caracterizao e Histrico da Lgica ...................................................... 5
1.2. Conceito de Proposio........................................................................... 6
1.3. Valores Lgicos das Proposies............................................................ 7
1.4. Classificao das Proposies ................................................................ 8
1.5. Valor Lgico de Proposies Compostas ................................................ 9
1.6. Operaes Lgicas................................................................................ 10
1.6.1. Negao.......................................................................................... 10
1.6.2. Conjuno....................................................................................... 11
1.6.3. Disjuno ........................................................................................ 13
1.6.4. Condio......................................................................................... 14
1.6.5. Bicondio....................................................................................... 16
1.7. Frmulas bem Formuladas e Tabelas-Verdade..................................... 18
1.8. Tautologias, Contradies e Contingncias........................................... 23
1.9. Disjuno Exclusiva............................................................................... 25
Leitura Complementar...................................................................................... 26
Captulo 2 Clculo Proposicional...................................................................... 33
2.1. Conceito de Argumento Argumentos Vlidos ..................................... 33
2.2. Equivalncia Lgica e Implicao Lgica .............................................. 36
2.3. Deduo no Clculo Proposicional ........................................................ 39
Captulo 3 Lgica de Predicados...................................................................... 48
3.1. Predicados e Quantificadores................................................................ 48
3.2. Domnio de Interpretao de uma Expresso Predicativa Valores
Lgicos ......................................................................................................... 52
3.3. Frmulas Predicativas: Traduo e Validade ........................................ 53
3.4. Deduo na Lgica de Predicados ........................................................ 56
3.4.1. Particularizao Universal (PU)....................................................... 57
3.4.2. Particularizao Existencial (PE)..................................................... 58
3.4.3. Generalizao Universal (GU) ........................................................ 59
3.4.4. Generalizao Existencial (GE)....................................................... 59
Leitura Complementar...................................................................................... 62
MODULO II TEORIA DOS CONJUNTOS E FUNES .................................. 67
Capitulo 4 - Introduo Teoria dos Conjuntos ............................................... 68
4.1. Noo Intuitiva de Conjunto e Relaes de Pertinncia........................ 68
4.2. Alguns Conjuntos Especiais .................................................................. 70
4.3. Relaes entre Conjuntos...................................................................... 71
4.3.1. Relao de Continncia .................................................................. 71
4.3.2. Igualdade de Conjuntos .................................................................. 72
4.3.3. Conjunto Universo........................................................................... 72
4.4. Diagramas de Venn ............................................................................... 74
4.5. Conjuntos Numricos............................................................................. 77
4.5.1. Conjunto dos Nmeros Naturais ..................................................... 77
4.5.2. Conjunto dos Nmeros Inteiros....................................................... 77
4.5.3. Conjunto dos Nmeros Racionais................................................... 78
4.5.4. Conjunto dos Nmeros Irracionais .................................................. 79
4.5.5. Conjunto dos Nmeros Reais ......................................................... 79
4.5.6. Conjunto dos Nmeros Complexos................................................. 81
3
Captulo 05 lgebra dos Conjuntos.................................................................. 87
5.1. Unio de Conjuntos ............................................................................... 87
5.2. Interseo de Conjuntos........................................................................ 89
5.3. Complemento de um Conjunto Diferena........................................... 90
5.4. Conjunto das Partes .............................................................................. 93
5.5. Produto Cartesiano................................................................................ 94
5.6. Identidades de Conjunto........................................................................ 96
5.6.1. Dualidade............................................................................................ 98
5.7. Conjuntos finitos e princpio da enumerao......................................... 99
Tpico Extra: Diferena Simtrica.................................................................. 103
Capitulo 06 Estudo das Funes.................................................................... 108
6.1. Noes sobre Relaes....................................................................... 108
6.2. Conceitos Introdutrios sobre Funes ............................................... 113
6.2.1. Propriedades das Funes ........................................................... 119
6.2.2. Composio de Funes............................................................... 122
6.2.3. Funes Inversas.......................................................................... 124
6.3. Funes Matemticas.......................................................................... 126
6.3.1. Funes Floor e Ceiling ................................................................ 126
6.3.2. Funes Valor Inteiro e Valor Absoluto......................................... 127
6.3.3. Funo Resto................................................................................ 127
6.3.4. Funo Exponencial e Funo Logartmica .................................. 128
Referncias .................................................................................................... 136

4
MODULO I - FUNDAMENTOS DE LGICA MATEMTICA

Objetivos
- Compreender a lgica em seu contexto histrico;
- Reconhecer e trabalhar com os smbolos que so usados nas
lgicas, proposicional e de predicados;
- Determinar o valor lgico de uma expresso na lgica
proposicional;
- Verificar se argumento sentencial vlido;
- Manipular tabelas-verdade;
- Verificar se uma sentena tautologia, contradio ou
contingncia;
- Utilizar a lgica de predicados para representar sentenas;
- Determinar o valor lgico de alguma interpretao de uma
expresso na lgica de predicados;
- Utilizar o mtodo dedutivo para demonstrar a validade de
argumentos na lgica proposicional e na lgica de predicados.

Contedo
- Introduo ao Estudo da Lgica Formal
- Lgica Proposicional
- Lgica de Predicados

5
Capitulo 1 Introduo ao Estudo da Lgica Formal

O aprendizado da Lgica auxilia os estudantes no raciocnio, na
compreenso de conceitos bsicos, na verificao formal de programas
e melhor os prepara para o entendimento do contedo de tpicos mais
avanados.
(Celina Abar, 1999)

Por ter relao direta com a Cincia da Computao, o estudo da
Lgica mostra-se indispensvel ao estudante da rea de Informtica. So
vrias as possibilidades de aplicaes diretas do raciocnio lgico-matemtico:
desde linguagens de programao mais simples at resoluo de problemas
com Inteligncia Artificial.

Todo o fundamento da computao tem suas razes na matemtica,
uma vez que esta quem possibilita Cincia a formalizao de vocabulrios
e notaes com alto poder de definio. Tambm graas matemtica que
podemos fazer abstraes e raciocnios precisos e rigorosos. Tudo isto s
possvel devido ao uso da lgica para entendimento do raciocnio matemtico,
sendo utilizados princpios que possibilitam a distino entre raciocnios vlidos
e outros no vlidos.

Neste capitulo sero apresentados os conceitos bsicos da lgica
matemtica, cujo domnio essencial para estudos futuros sobre linguagens de
programao, teoria da computao, sistemas digitais e inteligncia artificial.

1.1. Caracterizao e Histrico da Lgica

H na literatura inmeras definies para a Lgica, dentre as quais
destacamos:
a lgica o ramo da filosofia que cuida das regras do bem pensar, ou
do pensar correto, sendo, portanto, um instrumento do pensar.
(WIKIPEDIA, 2009)

A Lgica o estudo dos processos vlidos e gerais pelos quais
atingimos a verdade [...] a cincia das leis do pensamento.
(FONTES, 2008)

Percebemos pelas definies apresentadas que a Lgica o estudo
das leis gerais do pensamento e as diferentes maneiras de aplicar
corretamente essas leis na investigao da verdade. Em outras palavras,
podemos dizer que a Lgica a cincia dos argumentos, ou seja, ela trata das
concluses a que chegamos a partir das evidncias que as sustentam. De
maneira mais geral, possvel dizer que a Lgica o estudo do raciocnio
(DOTAVIANO; FEITOSA, 2003).

A Lgica teve seu incio com Aristteles, no sculo IV a.C., como
uma cincia dedicada ao estudo dos atos do pensamento a partir de sua
estrutura ou forma lgica, sem levar em considerao qualquer contedo
material (FONTES, 2008). Em termos mais simples, diz formas de raciocnio
6
atravs das quais seria possvel a obteno de novos conhecimentos a partir
de conhecimentos j existentes e que fossem considerados verdadeiros. o
chamado mtodo dedutivo ou, simplesmente, deduo.

As principais contribuies de Aristteles para a lgica esto em sua
obra Organon, na qual so destacados os pontos centrais da lgica aristotlica:
a lei da no contradio, o princpio do terceiro excludo e a teoria dos
silogismos, que trata dos enunciados categricos. Esses princpios so
considerados vlidos at os dias atuais e constituem as bases da chamada
lgica formal.

As principais crticas Lgica Aristotlica surgiram por volta do
sculo XVI, oriundas de filsofos como Francis Bacon (1561 1626) e Ren
Descartes (1596 - 1650). Bacon lanou as bases para a formalizao do
mtodo na obteno de uma concluso geral a partir de um conjunto de fatos
conhecidos, mediante observao. Em outras palavras, a induo consiste em
afirmar acerca de todos, aquilo que foi observado em alguns. Nesta poca, a
lgica formal um perodo de descrdito, mas, apesar disso, continuou
motivando muitas pesquisas, a partir das quais surgiram novas teorias sobre o
raciocnio.

A maior revoluo sofrida pela lgica ocorreu em meados do sculo
XIX, quando estudiosos como Boole e Bertrand Russel conceberam uma
maneira de converter a lgica numa lgebra. Tendo a matemtica como
modelo, eles formalizaram uma linguagem simblica para expressar o
pensamento lgico. Foi o surgimento da lgica matemtica ou simblica. A
partir de ento, o raciocnio passou a ser visto como clculo matemtico.

Ao longo do sculo XX, a lgica atingiu elevado grau de
formalizao. Atualmente, j dispomos de um poderoso sistema de smbolos e
regras de combinao de smbolos que nos possibilita obter concluses vlidas
(FONTES, 2008).

1.2. Conceito de Proposio

O primeiro conceito que preciso dominar para compreender as
estruturas da lgica formal o de proposio, tambm chamada de sentena.

Uma proposio ou sentena qualquer orao que pode ser
avaliada como verdadeira ou falsa.

As proposies constituem o alicerce das estruturas fundamentais
da Lgica Matemtica, que, por sua vez, fundamentada em dois princpios
bsicos (ou axiomas) (ALENCAR FILHO, 2002):

1) PRINCPIO DA NO-CONTRADIO: uma proposio nunca ser
verdadeira e falsa simultaneamente.
2) PRINCPIO DO TERCEIRO EXCLUDO: uma proposio sempre assume
um dos valores lgicos: ou verdadeira ou falsa.
7
Alm desses princpios bsicos, podemos afirmar que toda
proposio, por ser uma orao, possui sujeito e predicado, alm de sempre
ser uma orao declarativa (IEZZI; MURAKAMI, 1993).

Exemplo 1.1 Proposies

Considere as seguintes oraes:
a) Cinco menor que oito.
b) Como o seu nome?
c) Ai, que susto!
d) Sete menos trs.
e) V dormir.

A frase (a) uma proposio, pois possvel definir que ela
verdadeira. As frases (b) e (c) no podem ser avaliadas como verdadeira ou
falsa, portanto no so proposies. Note que a frase (b) uma pergunta e a
frase (c) uma exclamao. Quanto frase (d), nota-se que ela no possui
predicado, por isso ela tambm no constitui uma proposio. A frase (e)
tambm no assume nenhum valor lgico e, portanto, no uma proposio.

Auto Avaliao 1.1

Analise as oraes seguintes e diga quais delas so proposies.
1. Que horas so?
2. Cristvo Colombo descobriu o Brasil.
3. A raiz quadrada de 25 5.
4. Realize suas tarefas com ateno.
5. No se desespere, este exerccio muito fcil!

1.3. Valores Lgicos das Proposies

O valor lgico de uma proposio est diretamente associado ao
resultado de sua avaliao como verdadeira ou falsa. Neste caso, dizemos que
o valor lgico verdade (V) est associado s proposies verdadeiras, assim
como o valor falsidade (F) est vinculado s proposies falsas.

Lembre-se:
Pelos princpios da no contradio e do terceiro excludo, toda proposio possui UM, e
apenas UM, dos valores lgicos (V ou F).

Exemplo 1.2 Valores Lgicos das Proposies

Considere as seguintes proposies:

a: O Brasil dividido em cinco regies.
b: Santos Dumont o pai da Informtica.

O valor lgico da proposio (a) a verdade (V) e o valor lgico da
proposio (b) a falsidade (F).
8

As representaes simblicas destes valores so respectivamente:
V(a) = V e V(b) = F

Auto Avaliao 1.2

Determine o valor lgico de cada uma das proposies seguintes.

1. A cor do cavalo branco de Napoleo branca.
2. Imperatriz a Capital do Maranho.
3. A raiz quadrada de 16 menor que a metade de 10.
4. O Brasil uma Repblica Presidencialista.
5. A metade de 5 menos 2 um nmero inteiro positivo.

1.4. Classificao das Proposies

As proposies do Exemplo 1.2 so ditas proposies simples ou
atmicas, uma vez que no possvel decomp-las em proposies mais
simples.

Existem, ainda, proposies mais complexas, chamadas de
proposies compostas ou moleculares, formadas por duas ou mais
proposies simples ligadas por meio de conectivos lgicos.

So cinco os conectivos lgicos:
E OU NO SE ... ENTO SE, E SOMENTE SE

Exemplo 1.3 Proposies Compostas

Nas proposies seguintes, os conectivos esto destacados.
a) Pel brasileiro e Maradona argentino.
b) Windows no um software livre.
c) Vou praia ou ao cinema.
d) Se eu estudar, ento serei aprovado em Matemtica para Computao.
e) Serei aprovado em Matemtica para Computao se, e somente se, eu
estudar.

Em geral, as proposies simples so representadas por letras
latinas minsculas e as proposies compostas por letras latinas maisculas.
Assim, podemos representar a proposio Pel brasileiro pela letra a e a
proposio Maradona argentino pela letra b, por exemplo. A proposio
composta, Pel brasileiro e Maradona argentino podem ser representados
A e escrita da seguinte maneira: A: Pel brasileiro e Maradona argentino.

Antes de passar para o prximo tpico, tente responder a pergunta
abaixo.

9

Pare e Reflita
Como determinar o valor lgico de uma proposio
composta?

1.5. Valor Lgico de Proposies Compostas

Sabemos, pelo princpio do terceiro excludo, que uma proposio
simples p ou verdadeira ou falsa. Os possveis valores lgicos de uma
proposio simples podem ser representados, por meio de uma tabela ou como
uma rvore de possibilidades, conforme ilustrao a seguir.

O valor lgico de uma proposio composta definido em funo
dos valores lgicos das proposies simples que a compe e levando-se em
considerao os conectivos empregados. Para facilitar este clculo, utiliza-se
uma estrutura conhecida como tabela-verdade.

Uma tabela-verdade uma tabela que descreve os valores lgicos de
uma proposio em termos das possveis combinaes dos valores
lgicos das proposies componentes e dos conectivos usados.
Menezes (2008)

Exemplo 1.4 Tabela Verdade

Considerando-se uma proposio composta formada pelas
proposies simples a e b, os possveis valores lgicos de a e b so
representados numa tabela verdade.

a b
1 V V
2 V F
3 F V
4 F F

Observe que a tabela mostra todas as combinaes possveis de
valores lgicos para a e b: VV, VF, FV e FF. Note, ainda, que os valores esto
dispostos na tabela de acordo com a seguinte rvore de possibilidades:

10

Para cada possibilidade de valor da proposio a, devem ser
associadas todas as possibilidades para a proposio b.

Auto Avaliao 1.3

Considere as seguintes proposies simples:

p: A raiz quadrada de 9 igual 3.
q: 5 menos 2 igual a 3.
r: O dobro de 1,5 igual a 3.

Deseja-se formar uma proposio composta S utilizando-se as
proposies p, q e r. Monte uma rvore de possibilidades e escreva a tabela-
verdade com todas as combinaes possveis de valores lgicos para p, q e r.

Agora que voc j sabe como representar numa tabela-verdade as
possveis combinaes de valores lgicos para um conjunto de proposies
simples, podemos prosseguir e analisar de que forma os conectivos interferem
na definio do valor lgico de uma proposio composta.

Os conectivos esto associados a operaes lgicas, as quais so
realizadas sobre as proposies e obedecem a algumas regras. Na Tabela 1,
so mostradas as operaes lgicas, com seus respectivos operadores
(conectivos) e smbolos.

Tabela 1: Operaes e Operadores Lgicos
Operao Operador Smbolo
Negao NO
Conjuno E
Disjuno OU
Condicional SE ... ENTO
Bicondicional SE, E SOMENTE SE

O detalhamento de cada uma dessas operaes dado a seguir e o
seu entendimento essencial para o estudo e compreenso da Lgica
Matemtica.

1.6. Operaes Lgicas
1.6.1. Negao

Podemos utilizar o conectivo NO () para formar uma nova
proposio, cujo valor lgico oposto ao da proposio original. Se tivermos
uma proposio p, sua negao ser p. Caso o valor lgico de p seja V, o
valor de p ser F, e vice versa.

A representao desta operao na tabela-verdade a seguinte:
11

Exemplo 1.5 Negao

Sejam as proposies:
a: A capital do Maranho So Lus.
b: Todos os alunos de Licenciatura em Informtica aprendero Lgica.
c: Existem alunos estudiosos.

A negao da proposio (a) definida com o uso do advrbio NO.
Desta forma:
a: A capital do Maranho no So Lus. possvel, ainda, escrever a
negao de (a) da seguinte forma: falso que a capital do Maranho So
Lus. As demais proposies deste exemplo exigem um pouco mais de
ateno. A negao de b (b) seria: Nem todos os alunos de Licenciatura em
Informtica aprendero Lgica ou Existem alunos de Licenciatura em
Informtica que no aprendero Lgica, ou, ainda, H alunos de Licenciatura
em Informtica que no aprendero Lgica. Quanto a proposio (c), sua
negao (c) pode ser escrita da seguinte forma: No existem alunos
estudiosos ou Todos os alunos no so estudiosos.

1.6.2. Conjuno

Com o uso do conectivo E () possvel ligar duas proposies,
formando uma nova proposio chamada conjuno, cujo valor lgico a
verdade (V) quando ambas as proposies que a compem forem verdadeiras.
Deste modo, p q (l-se p e q) a conjuno das proposies p e q e tem
como valor lgico a verdade quando os valores de p e de q forem
simultaneamente a verdade.


Para melhor entendimento, acompanhe a seguinte situao:

A empresa fictcia SoftHard abriu uma vaga para programador de
sistemas, com a exigncia de que os candidatos soubessem programar em C e
em Java.

Desta situao podem ser extradas duas proposies:
12

p: O candidato sabe programar em C.
q: O candidato sabe programar em Java.

Suponha que quatro candidatos se apresentaram para a seleo:
Joo, que programa em C e em Java; Marcos, que programa em C, mas no
programa em Java; Ari, que no programa em C, mas programa em Java e
Simone, que no programa nem em C nem em Java.

Voc certamente j sabe quem ser classificado, pois a exigncia da
empresa bem clara. Note que tal exigncia representada por uma
conjuno: o candidato deve programar em C E em Java. Portanto, com o uso
da tabela-verdade da conjuno possvel determinar, com exatido, quem
ser contratado pela empresa. Assim, temos:

Joo, que sabe programar em C (p = V) e sabe programar em Java
(q = V), poder ser contratado, pois atende simultaneamente s duas
exigncias (p q = V).

Marcos, que sabe programar em C (p = V) e no sabe programar em
Java (q = F), no pode ficar com a vaga, pois s atende a uma das exigncias
(p q = F). Da mesma forma, Ari no ser contratado, pois no sabe
programar em C (p = F), mesmo sabendo programar em Java (q = V). Simone
tambm no poder ser contratada, pois no programa nem em C (p = F) nem
em Java (q = F).

Uma conjuno s verdade quando ambas as proposies que a
compe forem simultaneamente verdade.

Exemplo 1.6 Conjuno

Sejam as proposies:
a: Lula brasileiro.
b: O Maranho pertence ao Paraguai.
a b: Lula brasileiro e o Maranho pertence ao Paraguai.

c: 5 3 = 2
d: 10 um nmero par.
c d: 5 3 = 2 e 10 um nmero par.

A conjuno a b tem como valor lgico a falsidade. Observe:
13

V(a) = V e V(b) = F, portanto V(a b) = V(a) V(b) = V F = F

A conjuno c d tem como valor lgico a verdade. Observe:

V(c) = V e V(d) = V, portanto V(c d) = V(c) V(d) = V V = V
1.6.3. Disjuno

Quando usamos o conectivo OU () possvel ligar duas
proposies para formar uma terceira proposio denominada disjuno, cujo
valor lgico a falsidade quando ambas as proposies que a compe forem
simultaneamente falsas. Assim, p q (l-se p ou q) disjuno das
proposies p e q e tem como valor lgico a falsidade se p e q assim o forem
simultaneamente.


Considere que a empresa SoftHard modificou a exigncia para a
contratao do programador de sistemas. Agora, os candidatos devem
programar em C ou programar em Java.

Neste caso, a definio de quem ser contratado baseada na
operao lgica disjuno, cujos operandos so:

p: O candidato sabe programar em C
q: O candidato sabe programar em Java

A tabela-verdade para este caso a seguinte:

Neste caso, Joo poder ser contratado (p q = V), pois sabe
programar em C (p = V) e tambm em Java (q = V). Marcos, que programa em
C (p = V), apesar de no programar em Java (q = F), poder ser contratado (p
q = V), pois bastante programar em pelo menos uma das duas linguagens,
conforme a exigncia da empresa. Do mesmo modo, Ari, que no programa em
C (p = F), mas programa em Java (q = V) tambm poder ser contratado (p q
14
= V). Apenas Simone no seria contratada (p q = F), pois no programa nem
em C (p = F) nem em Java (q = F).

Uma disjuno s uma falsidade quando ambas as proposies
que a compe forem simultaneamente uma falsidade.

Exemplo 1.7 Disjuno
Sejam as proposies:
a: Gonalves Dias um poeta maranhense.
b: A lua quadrada.
a b: Gonalves Dias um poeta maranhense ou a lua quadrada.

c: 5 3 > 2
d: 10 um nmero primo.
c d: 5 3 > 2 ou 10 um nmero primo.

A disjuno a b tem como valor lgico a verdade. Observe:
V(a) = V e V(b) = F, portanto V(a b) = V(a) V(b) = V F = V

A disjuno c d tem como valor lgico a falsidade. Observe:
V(c) = F e V(d) = F, portanto V(c d) = V(c) V(d) = F F = F

1.6.4. Condio

Dadas duas proposies p e q, possvel escrever uma nova
proposio p q (l-se se p ento q ou p implica q), chamada condio ou
implicao, onde p chamado antecedente e q conseqente, e cujo valor
verdade a falsidade quando p for uma verdade e q uma falsidade.

Existem outras maneiras de expressar p q em linguagem natural,
como: p condio suficiente para q, p somente se q, q condio
necessria para p ou p conseqncia de q. Por exemplo, a proposio
Uma alimentao equilibrada uma condio necessria para uma vida
saudvel pode ser reescrita da seguinte maneira Uma vida saudvel
conseqncia de uma alimentao equilibrada ou ainda, Se tens uma vida
saudvel, ento tens uma alimentao equilibrada. Note que o antecedente
uma vida saudvel e o conseqente uma alimentao equilibrada.

A tabela-verdade da condio a seguinte:

15
Para o entendimento desta operao, considere que um amigo de
faculdade fez a seguinte afirmao: Se eu passar em todas as disciplinas que
estou cursando este semestre, vou para Barreirinhas curtir as frias.

Desta afirmao, podem ser retiradas duas proposies:
p: Se eu passar em todas as disciplinas que estou cursando este semestre.
q: Vou para Barreirinhas curtir as frias.
Caso seu amigo realmente seja aprovado em todas as disciplinas do
semestre (p = V) e viaje para Barreirinhas (q = V), a afirmao foi uma verdade
(p q = V). Se ele, entretanto, for aprovado em todas as disciplinas (p = V) e
no viajar (q = F), a afirmao consistiu numa falsidade (p q = F). Agora,
supondo que ele tenha ficado reprovado (p = F), independente de ele ter ido (q
= V) ou no (q = F) a Barreirinhas, no podemos dizer que a afirmao falsa,
pois ele nada afirmou quanto a ficar reprovado. Em qualquer destes casos a
afirmao tida como verdade (p q = V).

A proposio p q, uma verdade se p e q forem simultaneamente
verdade ou se p for uma falsidade. Caso p seja uma verdade e q uma
falsidade, p q ser uma falsidade.

Exemplo 1.8 Condio

Sejam as proposies:
a: O relgio marca as horas.
b: Grande parte da Amaznia Legal fica no Brasil.
a b: Se o relgio marca as horas, ento grande parte da Amaznia Legal fica
no Brasil.

c: Machado de Assis escreveu Dom Casmurro.
c d: Se Machado de Assis escreveu Dom Casmurro, ento 10 um nmero
primo.

e: O Brasil foi colonizado pelos franceses.
f: A capital do Maranho Teresina.
e f: Se o Brasil foi colonizado pelos franceses, ento a capital do Maranho
Teresina.

A implicao a b tem como valor lgico a verdade. Observe:
V(a) = V e V(b) = V, portanto V(a b) = V(a) V(b) = V V = V

A implicao c d tem como valor lgico a falsidade. Observe:
V(c) = V e V(d) = F, portanto V(c d) = V(c) V(d) = V F = F

A implicao e f tem como valor lgico a verdade. Observe:
V(e) = F e V(f) = F, portanto V(e f) = V(e) V(f) = F F = V

Observe no Exemplo 1.8 que nem sempre o conseqente se deduz
ou conseqncia do antecedente. Note que o fato de grande parte da
16
Amaznia Legal estar no Brasil no se deduz do simples fato de o relgio
marcar as horas. Da mesma forma, no se poderia afirmar que 10 um
nmero primo em conseqncia de Machado de Assis ter escrito Dom
Casmurro. A nica relao existente entre o antecedente e o conseqente
relativa aos seus valores lgicos.

O que uma condicional afirma somente uma relao entre os
valores lgicos do antecedente e do conseqente.
(ALENCAR FILHO, 2002)

1.6.5. Bicondio

Dadas duas proposies p e q, possvel escrever uma nova
proposio p q (l-se p se, e somente se, q), chamada bicondio, cujo
valor verdade a verdade quando p e q forem simultaneamente uma verdade
ou uma falsidade.

Perceba que a bicondio uma implicao vlida nos dois
sentidos, ou seja, so duas condies simultneas. No sentido da ida, p o
antecedente e q o conseqente e no sentido da volta, q o antecedente e p o
conseqente.
(MENEZES, 2008).

A tabela-verdade da bicondio seguinte:

Antes de prosseguir, tente responder a pergunta abaixo:

Pare e Reflita: Como se chegou a esta tabela-verdade
para p q?

A tabela-verdade da bicondio foi construda levando-se em
considerao que ela , na verdade, uma conjuno de duas implicaes: (p
q) (q p). Podemos, portanto, construir uma tabela-verdade para a
conjuno das duas implicaes, como segue:

17

Uma bicondio verdadeira quando as proposies que a compe
possuem o mesmo valor lgico.

Exemplo 1.9 Bicondio

Sejam as proposies:
a: O Brasil fica na Amrica do Sul.
b: No vero faz calor.
a b: O Brasil fica na Amrica do Sul se, e somente se, no vero faz calor.

c: 13 divisvel por 2.
c d: 13 divisvel por 2 se, e somente se, 10 um nmero primo.

e: Domingo um dia til.
f: O Sol uma estrela.
e f: Domingo um dia til se, e somente se, o Sol uma estrela.

A bi-implicao a b tem como valor lgico a verdade. Observe:

V(a) = V e V(b) = V, portanto V(a b) = V(a) V(b) = V V = V

A implicao c d tem como valor lgico a verdade. Observe:
V(c) = F e V(d) = F, portanto V(c d) = V(c) V(d) = F F = V

A implicao e f tem como valor lgico a falsidade. Observe:
V(e) = F e V(f) = V, portanto V(e f) = V(e) V(f) = F V = F

Assim como na implicao, a bi-implicao afirma somente uma
relao entre os valores lgicos do antecedente e do conseqente.

Auto Avaliao 1.4

Determine o valor lgico das proposies a seguir:

(a) A metade de dois um e cinco um nmero primo.
(b) Gonalves Dias francs ou os macacos so rpteis pr-histricos.
(c) Se o relgio marca as horas, ento sen30 = 1.
(d) So Lus uma ilha se, e somente se, os papagaios podem voar.

18
1.7. Frmulas bem Formuladas e Tabelas-Verdade

possvel encadearmos diversas proposies, simples e
compostas, por meio dos conectivos lgicos e com o uso de parnteses ou
colchetes. Desse encadeamento surgem novas proposies, como, por
exemplo:
(p q) (q p)

Este encadeamento ou arranjo de proposies, conectivos e
parnteses (ou colchetes) no pode ser feito de qualquer jeito. Como em
qualquer linguagem, preciso seguir regras de sintaxe para que se escrevam
proposies vlidas. Proposies vlidas so chamadas de Frmulas Bem
Formuladas ou simplesmente frmulas.

Menezes (2008) define frmula como uma sentena lgica
corretamente construda, sobre um alfabeto cujos smbolos so conectivos,
parnteses, identificadores, constantes, etc. Desta definio, infere-se que
frmula:

a) uma proposio simples (tambm chamada de frmula atmica);
b) uma proposio composta;
c) um encadeamento de proposies simples e/ou compostas, por meio de
conectivos e parnteses.

Exemplo 1.10 Frmulas

So frmulas (escritas de maneira simblica):
a) p
b) p q
c) (p q) (w t)
d) p (~a b)

No so frmulas:
a) p q
b) p (a p)
c) p q r s t

Em muitos casos, a escrita simblica de frmulas mais complexas
pode apresentar alguns problemas. Considere o seguinte exemplo:

p q r, onde
p: Maria adoeceu.
q: Joo viajou.
r: Hrcules no pode sair de casa.

A frmula acima, da forma como est escrita, pode indicar duas
expresses diferentes: Se Maria adoeceu e Joo viajou, ento Hrcules no
pode sair de casa ou Maria adoeceu e, se Joo viajou, ento Hrcules no
pode sair de casa.

19
E agora, como saber qual das duas expresses est representada
pela frmula? Para solucionar problemas deste tipo, os conectivos obedecem a
uma ordem de precedncia, que a seguinte:

1. Conectivos entre parnteses, dos mais internos para os mais externos;
2. Negao ();
3. Conjuno () e disjuno ();
4. Condio ();
5. Bicondio ().

Com base no exposto, pode-se afirmar que na frmula p q r a
conjuno tem precedncia sobre a condio. Ento, a expresso simbolizada
pela frmula Se Maria adoeceu e Joo viajou, ento Hrcules no pode sair
de casa. Para representar a segunda expresso, preciso fazer uso de
parnteses: p (q r).

Pare e Reflita: Como se constri uma tabela-verdade de
uma frmula?

Para determinar o valor lgico de uma frmula comum recorrer-se
a construo de uma tabela-verdade, a qual mostrar todos os casos em que a
frmula ser verdadeira (V) ou falsa (F).

A seguir apresentado um conjunto de passos que auxiliam na
construo de tabelas-verdade.

Regra prtica

1. Conte o nmero de proposies simples e calcule o nmero de linhas da
tabela, sabendo que uma frmula composta de n proposies simples gera
uma tabela com 2
n
linhas;
2. Desenhe a tabela e escreva cada proposio simples sobre a primeira linha;
3. Para a isima proposio simples (i n), atribua alternadamente 2
n i
valores
V seguidos da mesma quantidade de valores F.
4. Em seguida, realize as operaes lgicas, obedecendo ordem de
precedncia. Para cada operao, crie uma nova coluna na tabela.

Considere a seguinte frmula: p (q r).

Aplicando a regra 1, notamos que existem trs proposies simples
na frmula dada, o que implica dizer que a tabela-verdade ter 2
3
= 8 linhas.

Assim, temos (regra 2):
20

Pela regra 3, temos que p a primeira proposio simples, assim,
devemos preencher a coluna correspondente com 2
3 1
= 2
2
= 4 valores V
seguidos da mesma quantidade de valores F.

Para a segunda e a terceira proposies temos, respectivamente:
2
32
= 2
1
= 2 valores V, seguidos da mesma quantidade de valores F,
alternadamente e 2
33
= 2
0
= 1 valor V e tambm 1 valor F, alternadamente.

A regra 4 indica a resoluo de cada uma das operaes lgicas,
seguindo uma ordem de precedncia. Assim, iniciamos por resolver a
conjuno entre parnteses.
21

Por fim, resolvemos a condio. Ficando com a seguinte estrutura:

A ltima coluna corresponde combinao dos possveis valores
lgicos da frmula p (q r).

Exerccio Resolvido

Construa a tabela-verdade para a seguinte frmula: (p q) (p q)
Soluo

possvel, ainda, determinarmos o valor lgico de uma frmula,
conhecendo o valor lgico de cada uma das proposies que a compem.

Exemplo 1.11 Valor Lgico de uma Frmula

Determinar o valor lgico de cada uma das frmulas a seguir:

a) p (a b), onde V(p) = V, V(a) = F e V(b) = V.
b) p (q r), onde V(p) = V, V(q) = F e V(r) = F.

22
Para determinar qual ser o valor lgico de cada uma das frmulas
apresentadas, devemos substituir os valores lgicos das proposies simples
que a compem e realizar as operaes lgicas indicadas. Assim, para frmula
mostrada na letra (a), temos:

V (F V) = V V = V

Portanto, o valor lgico da frmula p (a b) a verdade (V).

Para a frmula apresentada na letra (b), temos:

V (F F) = V V = V

Portanto, o valor lgico da frmula p (q r) tambm a verdade
(V).

Exerccios Resolvidos
1. Sabendo que V(p) = V e V(r) = F, determine o valor lgico da proposio
A(p,r)
(p r) (p r) (p r)
SOLUO:

Substituindo os respectivos valores lgicos na expresso, temos:
V(A) = (F F) (V V) (V F)

Resolvendo cada operao lgica entre parnteses, vem:
V(A) = V V F

Resolvendo a conjuno, temos:
V(A) = V F

Por fim, resolvendo a bicondio, temos:
V(A) = F

Portanto, o valor lgico da proposio A(p, r) a falsidade (F)

2. Determine o valor lgico da proposio Se o Brasil um pas em
desenvolvimento e o Maranho o maior estado do Nordeste, ento a raiz
quadrada de 25 igual ao dobro de 100 ou o Maranho no o maior estado
do Nordeste.

SOLUO:
Inicialmente devemos escrever a proposio em forma simblica.
a: o Brasil um pas em desenvolvimento.
b: o Maranho o maior estado do Nordeste.
c: a raiz quadrada de 25 igual ao dobro de 100

(a b) (c b)

23
Agora, substitumos os valores lgicos de cada proposio simples
na sentena encontrada. Assim,
(V F) (F V)

Resolvendo as operaes lgicas entre parnteses, encontramos
F V
Por fim, resolvemos a implicao, tendo como resultado a verdade.

Portanto, a proposio tem a verdade (V) como valor lgico.

Auto Avaliao 1.4

Escreva a proposio a seguir em linguagem simblica e em
seguida determine seu valor lgico.
A Terra o planeta vermelho e a metade de 15 maior que 4 se, e somente
se, Tiradentes morreu atropelado ou a metade de 15 menor que 4.

1.8. Tautologias, Contradies e Contingncias

Denomina-se tautologia, ou proposio tautolgica, toda frmula
cujo valor lgico sempre a verdade, independente dos valores lgicos das
proposies simples que a compe.

Como conseqncia imediata desta definio, podemos afirmar que
as frmulas p p, p p e p p so tautologias, j que seus valores lgicos
so sempre a verdade (V).

Comprovamos que determinada frmula uma tautologia, atravs
da construo de sua tabela-verdade.

Exemplo 1.12 Tautologia

A frmula p r q r uma tautologia.

Tal fato constata-se na tabela-verdade.

24
O caso oposto ao de uma tautologia, chamado contradio, consiste
em frmulas que so sempre falsas para quaisquer valores das proposies
simples componentes. Uma definio formal de contradio dada por Alencar
Filho (2002):

Contradio toda proposio composta P(p, q, r, ...) cujo valor
lgico sempre F (falsidade), quaisquer que sejam os valores lgicos das
proposies simples componentes p, q, r, ...

imediata a concluso de que uma contradio corresponde
negao de uma tautologia, pois se uma tautologia sempre verdadeira (V),
ento sua negao ser sempre falsa (F).

Pare e Reflita: Voc pode demonstrar que as frmulas
p p e p p so contradies?

Assim como as tautologias, uma contradio pode ser demonstrada
por meio de uma tabela-verdade.
Exemplo 1.13 Contradio
A frmula p q (p q) uma contradio.

Tal fato constata-se na tabela-verdade.

As frmulas que no se constituem nem tautologias nem
contradies so chamadas de contingncias.

Exemplo 1.14 Contingncia
A frmula p (q p) uma contingncia.
Tal fato constatamos na tabela-verdade.

25
Podemos afirmar que a frmula dada insatisfatvel, ou
inconsistente, quando e q forem ambas verdadeiras e que satisfatvel, ou
consistente, para as demais combinaes de valores lgicos para p

1.9. Disjuno Exclusiva

Considere as seguintes proposies compostas:
P: Adriano aluno de Licenciatura em Informtica ou Camila brasileira.
Q: Marina foi aprovada ou reprovada em Matemtica para Computao.

Note que na primeira proposio indica que pelo menos uma das
proposies Adriano aluno de Licenciatura e Informtica, Camila
brasileira verdadeira, sendo possvel que ambas as sejam verdadeiras. Na
segunda proposio, percebemos que apenas uma das proposies poder ser
verdadeira, pois impossvel que Marina seja aprovada e reprovada em
Matemtica para Computao.

No primeiro caso, temos uma disjuno inclusiva, enquanto que no
segundo temos uma disjuno exclusiva, tambm chamada de operao XOR,
que simbolizada por . Assim, a proposio p q uma disjuno exclusiva
e lida da seguinte forma: ou p ou q. A tabela-verdade para a disjuno
exclusiva a seguinte:

TAREFA
Mostre que p q (p q) uma tautologia.

26
Leitura Complementar
Lgica nas Linguagens de Programao

(extrado de: MENEZES, Paulo Blauth. Matemtica Discreta para Computao e Informtica.
Porto Alegre: Bookman, 2008)

Em geral, as linguagens de programao possuem o tipo de dado
lgico ou boolenano pr-definido. No caso da linguagem Pascal, o tipo de dado
denominado boolean, e os correspondentes valores lgicos V e F so
denotados por true e false, respectivamente.

A declarao (definio) das variveis p, q e r deste tipo como
segue:

p, q, r: boolean

A linguagem Pascal (assim como a maioria das linguagens de
programao) possui os seguintes conectivos lgicos:

not (negao)
and (conjuno)
or (disjuno)
<= (condio)
= (bicondio)

Suponha que desejado desenvolver um programa em Pascal
capaz de calcular e informar o valor lgico da frmula p (q r) para quaisquer
valores de p, q e r fornecidos. Assim, o programa necessita ler os valores de p,
q e r, calcular o valor lgico da frmula para os valores lidos e imprimir o
resultado.

Um programa para o problema apresentado a seguir:

program valor_logico (input, output);
var p, q, r: boolean;
begin
read (p, q, r);
if p or (q and r) then
write(verdadeiro);
else
write(falso);
end.

A primeira linha define o nome do programa e informa que os
procedimentos pr-definidos input e output sero usados para entradas
(leituras) e sada (impresses), respectivamente.

27
A segunda linha define as variveis p, q e r as quais so do tipo
boolean.

Entre as palavras begin e end so especificados os comandos
(definem as aes).

O comando de leitura read l os valores lgicos de p, q e r a serem
considerados.

O comando if-then-else tem a seguinte semntica: se a expresso
lgica aps a palavra if for verdadeira, ento o comando aps a palavra then
executado, seno, o comando aps a palavra else executado.

Portanto, se os valores de p, q e r lidos, se o valor-verdade de p (q
r) for verdadeiro, o texto verdadeiro impresso; seno, o texto falso
impresso.

28
RESUMO

Uma proposio qualquer sentena declarativa que pode ser
classificada como verdadeira ou falsa.
Toda proposio possui um, e apenas, um dos valores lgicos:
verdadeiro ou falso.
Uma proposio pode ser simples ou composta.
Uma proposio composta formada por duas ou mais proposies
simples, ligadas por conectivos lgicos.
So cinco os principais conectivos lgicos: NO, E, OU, SE... ENTO,
SE E SOMENTE SE.
Para cada conectivo lgico, uma operao lgica definida.
O valor lgico de uma proposio composta definido pelo valor lgico
das proposies simples que a compe e pelos conectivos empregados.
Para definio do valor lgico de uma proposio composta so
utilizadas estruturas conhecidas como tabelas verdade.
A operao de negao consiste na inverso do valor lgico da
proposio original.
Uma conjuno ser verdadeira quando as proposies que a compem
forem ambas verdadeiras. Para os demais casos, ser falsa.
Uma disjuno s ser falsa quando ambas as proposies que a
compem forem simultaneamente falsas. Para as demais combinaes,
o valor lgico ser a verdade.
Uma condio falsa quando um antecedente verdadeiro implicar numa
falsidade. Para os demais casos, a condio verdadeira.
Uma bicondio s verdadeira quando ambos os operandos tiverem o
mesmo valor lgico.
Uma proposio vlida quando obedece a regras sintticas na sua
escrita.
Toda proposio vlida chamada de frmula.
Denomina-se tautologia toda frmula cujo valor lgico sempre
verdadeiro.
Chama-se contradio a frmula que possui a falsidade como valor
lgico, em qualquer situao.
As frmulas que no so tautologias nem contradies so chamadas
de contingncias.

29
Exerccios Propostos (01)

Leonardo Delgado

1. Analise as seguintes frases e indique quais delas so proposies,
justificando suas respostas. Para as que forem proposies, indique seu valor
lgico.

a) A Lua uma estrela da quinta grandeza.
R. uma proposio, no entanto o seu valor falso. Ento: V(a) = F

b) Em que regio brasileira fica localizado o Estado do Maranho?
R. No uma proposio e sim uma pergunta.

c) O dobro de qualquer nmero inteiro positivo sempre par.
R. uma proposio e seu valor verdadeiro. Ento V(c) = V.

d) J que voc est cansado, levante-se e v dormir.
R. uma proposio composta, onde foi aplicada a funo condicional. Ento
V(d)V(d)

e) 21 um nmero primo.
R. uma proposio, cujo valor falso. Ento: V(e) = F.

f) A cidade de Imperatriz fica s margens do rio Itapecuru.
R. uma proposio e seu verdadeiro. Ento: V(f) = V.

g) Como estes exerccios so fceis!
R. No uma proposio e sim uma exclamao

h) No verdade que Cabral descobriu a Amrica.
R. uma proposio onde foi aplicada a operao de negao, cujo o valor
verdadeiro. Ento ~V(h) = V.

i) A raiz quadrada da soma de 5 com 4 3.
R. uma proposio e seu verdadeiro. Ento: V(i) = V.

j) A soma do quadrado da hipotenusa igual soma dos quadrados dos
catetos.
R. uma proposio e seu verdadeiro. Ento: V(j) = V.

2. Sejam a, b e c as seguintes sentenas:
a: Andr gosta de estudar.
b: Andr inteligente.
c: Andr fala vrios idiomas.

30
Escreva as sentenas abaixo em notao simblica:
a) Andr inteligente, mas no gosta de estudar.
V(b) V(a) ou V(b) ~V(a)

b) Se Andr gosta de estudar ou fala vrios idiomas, ento ele inteligente.
V(a) V(c) V(b)

c) Andr inteligente ou fala vrios idiomas, mas no gosta de estudar.
V(b) V(c) V(a)

d) falso que Andr desinteressado pelos estudos ou que no inteligente.
V(a) ~V(b)
e) Ou Andr no fala vrios idiomas, mas inteligente, ou ele no gosta de
estudar.
~V(c) V(b) ~V(a)

3. Escreva as seguintes sentenas em notao simblica.
a) Ou vou ao Shopping ou vou ao Cinema, mas no ambos.
(p q)(p q)

b) Beberei gua ou, se sentir fome, comerei um pedao de bolo.
(p q) r

c) Se o tempo estiver bom, iremos praia, mas se estiver chovendo ficaremos
em casa ou, se estiver nevando, iremos esquiar.
(p q)r (s t)

d) Comprarei uma casa nova apenas se meu salrio aumentar ou se receber
nova gratificao.
(p q) r
e) Se meu salrio no aumentar, comprarei uma nova casa caso receba nova
gratificao.
~p (qr)

4. (ALENCAR FILHO, 2002 e GERSTING, 2003) Construa as tabelas-verdade
para as seguintes frmulas. Indique as tautologias e as contradies.

a) (p q) (p r q r)
p q r p r q r p q p r q r (p q) (p r q r)
V V V V V V V V
V V F F F V V V
V F V V F F F V
V F F F F F V V
F V V F V V V V
F V F F F V V V
F F V F F V V V
F F F F F V V V
A frmula (p q) (p r q r) uma tautologia

31
b) (p q) p q
p q p q p q (p q) p q
V V V V V
V F F F V
F V V V V
F F V V V
A frmula (p q) p q uma tautologia

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

A frmula ((p q) r) p r uma contingncia.

d) p q q p
p q p q q p p q q p
V V V F F
V F F V F
F V F V F
F F F V F

A frmula p q q p uma contradio.

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

A frmula (p q r) (p q r) uma contingncia.

5. Determine o valor lgico de cada uma das seguintes sentenas.
a) So Lus a capital do Maranho, e 2 + 2 = 5 ou 6 o dobro de 3.
V(q) v(p) V(r) = V F V = V

b) falso que o Sol um satlite natural da Terra, e, se o Brasil fica na frica,
ento o rio Amazonas desgua no Oceano Atlntico.
~V (q) V (p) V(r)
V F V = V

32
c) Se a raiz quadrada de 16 8 e 5 3 resulta em um nmero par, ento 10 >
5.
V(q) V(p) V(r)
F V V = V

d) (q r) s (p s), sabendo que V(p) = V, V(r) = V, V(q) = F e V(s) = F.
(F V) F (V F)
F F F
F F = V

e) (p (q p)) ((p q) q p), sabendo que V(p) = F e V(q) = V.

(F (F F)) ((F F)V V)
(F V) (V V)
F F = F
33
Captulo 2 Clculo Proposicional

No captulo anterior utilizamos a notao da lgica formal para
representar proposies de maneira simblica como frmulas. Essas frmulas
so conhecidas como frmulas proposicionais. Todo sistema formal que faz
uso de frmulas proposicionais chamado de lgica proposicional ou
clculo proposicional. O clculo proposicional consiste no uso dos recursos
da lgica formal para se chegar a concluses a partir de proposies dadas
(GERSTING, 2003).

Neste captulo, estudaremos mtodos de raciocnio expressos sob a
forma de argumentos, que consistem numa srie de proposies, chamadas
hipteses, a partir das quais se pode inferir outra proposio, a concluso
(PINTO, 2000).

Vamos l?

2.1. Conceito de Argumento Argumentos Vlidos

O nosso dia a dia repleto de situaes que envolvem o conceito de
argumentao.

Ao justificar uma falta aula de Matemtica para Computao.
Ao explicar a razo de no ter sido aprovado em uma
determinada disciplina.
Ao defender um ponto de vista.

O que seria, ento, um argumento? Para responder a esta pergunta,
considere as seguintes expresses:

a) Todo gato tem sete vidas.
Garfield um gato.
Logo, Garfield tem sete vidas.

b) Se Marcos engenheiro, ento ele gosta de matemtica.
Marcos engenheiro.
Portanto, Marcos gosta de matemtica.

Perceba que as expresses dadas so um conjunto de proposies,
onde a ltima delas conseqncia das anteriores. Partindo desta observao,
podemos dizer o que um argumento.

Denomina-se argumento a afirmao de que de um dado conjunto
de proposies P
1
, P
2
, ... , P
n
, chamadas premissas ou hipteses, decorre uma
proposio Q, chamada concluso. (PINHO, 2000)

Assim, nos argumentos apresentados, temos:

34
a) Hipteses: Todo gato tem sete vidas
Garfield um gato.
Concluso: Garfield tem sete vidas.

b) Hipteses: Se Marcos engenheiro, ento ele gosta de matemtica.
Marcos engenheiro.
Concluso: Marcos gosta de matemtica.

Utilizando a linguagem simblica, podemos representar um
argumento como:

P
1
P
2
P
3
... P
n
Q

onde P1, P2, ... Pn so as hipteses do argumento e Q a concluso.

Alguns autores utilizam a seguinte notao para representar
argumentos:
P
1
, P
2
, P
3
,..., P
n
Q

A segunda notao apresentada a mais comum na bibliografia.

Para responder a esta pergunta, considere os seguintes
argumentos:

Pare e Reflita: Todo argumento vlido?

a) O Brasil o maior pas da Amrica do Sul em extenso territorial. Teresina
a capital do Piau. Portanto, o homem um ser racional.

b) Se eu estudar Matemtica Discreta, ento aprenderei Lgica. Se eu
aprender Lgica, serei aprovado. Logo, se eu estudar Matemtica Discreta,
serei aprovado.

O argumento (a) possui duas hipteses:

1. O Brasil o maior pas da Amrica do Sul em extenso territorial.
2. Teresina a capital do Piau.

A concluso :

O homem um ser racional.

Note que embora as hipteses e a concluso apresentem,
individualmente, como valor lgico a verdade, esta no decorre diretamente
daquelas. A concluso um fato verdadeiro isolado, no estando relacionado
com as hipteses. Por esta razo, o argumento dito invlido.
35

Para o argumento (b), temos as seguintes hipteses:

1. Se eu estudar Matemtica Discreta, ento aprenderei Lgica.
2. Se eu aprender Lgica, serei aprovado.

E a concluso:

Se eu estudar Matemtica Discreta, serei aprovado.

Neste caso, nota-se claramente que a concluso decorrente das
hipteses. Portanto, trata-se de um argumento vlido.

Se um argumento vlido, ento a condicional que o representa
sempre verdadeira, independente dos valores lgicos das proposies
componentes (PINHO, 200).

Em outras palavras, podemos dizer que um argumento P1 P2 ...
Pn Q vlido quando for uma tautologia.

Considerando os argumentos apresentados acima, temos:

a) p: O Brasil o maior pas da Amrica do Sul em extenso territorial.
q: Teresina a capital do Piau.
r: O homem um ser racional.

Em linguagem simblica: p q r.

A frmula no uma tautologia, o que prova que o argumento
invlido.

b) P(a, b): Se eu estudar Matemtica Discreta, ento aprenderei Lgica.
a: Estudar Matemtica Discreta.
b: Aprenderei Lgica
Q(b, c): Se eu aprender Lgica, serei aprovado.
c: Serei aprovado
R(a, c): Se eu estudar Matemtica Discreta, serei aprovado
Em linguagem simblica: (a b) (b c) (a c).
36

Perceba que a frmula correspondente representao simblica do
argumento uma tautologia. Portanto, trata-se de um argumento vlido.

Auto Avaliao 2.1
Analise o seguinte argumento:

Se Jos pegou as jias ou Andr mentiu, ento ocorreu um crime. Se ocorreu
um crime ento Raimundo estava na cidade. Raimundo no estava na cidade.
Portanto, ou Jos no pegou as jias ou Andr no mentiu.

FONTE: PINHO, Antonio de Almeida. Introduo Lgica Matemtica.

Existem dois tipos de argumentos: argumentos indutivos e
dedutivos. Dizemos que um argumento indutivo se sua validade ou invalidade
for independente de sua forma lgica. Um argumento dito dedutivo se, e
somente se, sua validade depender apenas de sua forma lgica.

A lgica formal prev um sistema de regras de deduo que
modificam uma frmula, preservando seu valor lgico.

2.2. Equivalncia Lgica e Implicao Lgica

Considere a frmula abaixo e sua respectiva tabela-verdade.

p (q r) (p q) (p r)

37

Observe que a frmula dada uma tautologia. Note tambm que ela
composta por duas outras frmulas, p (q r) e (p q) (p r), cujas
tabelas-verdade so idnticas. Neste caso, dizemos que as frmulas p (q r)
e (p q) (p r) so logicamente equivalentes, ou seja, constituem uma
equivalncia lgica, simbolizada por . Assim, podemos escrever p (q r)
(p q) (p r).

Chama-se equivalncia lgica, ou simplesmente equivalncia, toda
tautologia representada por uma proposio bicondicional (p q). Neste caso,
diz-se que p e q so logicamente equivalentes.

Segundo Menezes (2008), podemos dizer que, se duas frmulas
sintaticamente diferentes so logicamente equivalentes, ento elas possuem o
mesmo significado. De fato, duas proposies so equivalentes quando
expressam a mesma idia.

Pare e Reflita: Com base na definio apresentada, justifique a
seguinte afirmao: Se duas proposies so equivalentes,
ento possuem a mesma tabela-verdade, e, reciprocamente, se
duas proposies tm a mesma tabela-verdade, so
equivalentes. (PINHO, 2005)

A seguir so apresentadas algumas das principais equivalncias
lgicas.
Tabela 2.1: Equivalncias Lgicas

A lista de equivalncias apresentada apenas exemplificativa, uma
vez que existem infinitas tautologias. Procuramos listar as equivalncias mais
importantes do ponto de vista de sua utilidade.
38

Exemplo 2.1. Equivalncia Lgica

Uma equivalncia muito importante a chamada Reduo ao
Absurdo.
p q p q r

onde r uma proposio cujo valor lgico a falsidade (F).

Constatamos tal fato na tabela-verdade.

Analisaremos agora as tautologias da forma p q, que so
chamadas de implicaes lgicas ou inferncias lgicas. O smbolo da
implicao lgica .

Chama-se implicao lgica, ou simplesmente implicao, toda
tautologia representada por uma proposio condicional (p q). Neste caso,
diz-se que p implica logicamente q.

Em outras palavras, podemos dizer que p implica logicamente q se a
veracidade da primeira arrastar necessariamente a veracidade da segunda
(PINTO, 2000).

A seguir so listadas as principais regras de implicao lgica.

Tabela 2.2: Implicaes Lgicas

A demonstrao das implicaes citadas simples. Basta a
construo da tabela-verdade da condicional correspondente.

Exemplo 2.2 Implicao Lgica

Considere a implicao lgica Modus Ponens.
(p q) p q

39
Prova-se que essa regra uma implicao lgica, atravs da sua
tabela-verdade

Auto Avaliao 2.2

Voc pode demonstrar as regras apresentadas na Tabela 2 e na
Tabela 3, por meio da construo de tabelas-verdade.

2.3. Deduo no Clculo Proposicional

Como demonstrado nas sees anteriores, possvel mostrarmos a
validade ou invalidade de um argumento por meio da construo de sua tabela-
-verdade. Entretanto, quando temos muitas proposies simples envolvidas no
argumento, o nmero de linhas da tabela verdade grande, o que inviabiliza
sua construo. Por exemplo, se temos um argumento com 8 proposies
simples, a tabela-verdade ter 28 = 256 linhas.

Para resolver este problema, foram desenvolvidos outros mtodos
para mostrar a validade de um argumento. Esses mtodos so chamados de
mtodos dedutivos e consistem na aplicao de regras que modificam uma
frmula sem alterar seu valor lgico.

A deduo parte das hipteses P1, P2, ..., Pn, supostamente
verdadeiras, e, atravs da aplicao de regras de deduo, termina com a
concluso Q, que deve ser verdadeira, pois os valores lgicos so preservados
sob aplicao das regras (GERSTING, 2003).

As regras de deduo para a lgica proposicional podem ser de dois
tipos: equivalncias e inferncias. Tais regras foram apresentadas nas sees
anteriores e consistem na reescrita de frmulas sem alterao de seus valores
lgicos, no caso da equivalncia, e na deduo de novas frmulas a partir de
outras, no caso da inferncia.

Dizemos que um argumento vlido quando for possvel obter a
concluso Q atravs da deduo. Em caso contrrio, o argumento dito
invlido.

Um algoritmo para o processo de deduo foi formulado por Pinho
(2005) e apresentado a seguir.

40
O processo de Deduo

Dado um argumento P1 P2 ... Pn Q, faa:

1. Defina o conjunto P formado pelas premissas {P1, P2, ..., Pn};
2. Para um ou mais elementos do conjunto das premissas, aplique regras de
equivalncia ou de inferncia conhecidas, obtendo novas proposies e as
inclua no conjunto P;
3. Repita o passo 2 at que a proposio includa em P seja o conseqente Q.

Exemplo 2.3 Deduo na Lgica Proposicional

Vamos provar o seguinte argumento:
(p q) (q r) (s r t) (p s) (r t)

que tambm pode ser escrita como

p q, q r, s r t, p s r t

Para provar a validade de um argumento, devemos construir uma
seqncia de demonstrao. Essa seqncia consiste na aplicao de regras
de equivalncia ou de inferncia sobre as hipteses, a fim de obtermos a
concluso. Deste modo, temos:

1 p q (hiptese)
2 q r (hiptese)
3 s r t (hiptese)
4 p s (hiptese)
5 p 4 simplificao
6 p r 1,2 silogismo hipottico
7 r 5, 6 modus ponens
8 s 4 simplificao
9 s r 8 adio
10 t 9, 3 modus ponens
11 r t 7, 10 conjuno

Observe que cada passo foi numerado para facilitar a seqncia de
demonstrao. As 4 hipteses foram escritas nas 4 primeiras linhas. A partir do
passo 5 foram aplicadas regras de equivalncia e inferncia para obter uma
nova proposio, indicando ao lado como esta foi obtida.

41
1. Demonstrar que o argumento a(bc), abd ad valido

SOLUO

A demonstrao consiste numa seqncia de demonstrao, como
segue:
(1) a(bc) (hiptese)
(2) abd (hiptese)
(3) (a b) (a c) 1 lei distributiva
(4) a b 3 simplificao
(5) d 4, 2 modus ponens
(6) a d 5 adio

2. Provar a validade do argumento: Se eu responder todos os exerccios
corretamente ou tirar 10 nas provas de Matemtica para Computao, ento
serei aprovado e sairei de frias. Se eu sair de frias ou ganhar duas
passagens de presente, irei conhecer os Lenis Maranhenses. Logo, se eu
responder todos os exerccios corretamente, irei conhecer os Lenis
Maranhenses.

SOLUO

Inicialmente preciso escrever o argumento em linguagem simblica.

a responder todos os exerccios corretamente
b tirar 10 nas provas de Matemtica para Computao.
c ser aprovado.
d sair de frias.
e ganhar duas passagens de presente.
f conhecer os Lenis Maranhenses.

Deste modo o argumento representado por abcd,
def af

Este um caso especial de demonstrao, no qual a concluso
uma condicional. Para a sequncia de prova, devemos, pois, considerar o
antecedente da concluso como uma hiptese e deduzir o conseqente.

Assim, o argumento a ser provado torna-se bcd, def f

A demonstrao consiste numa seqncia de demonstrao, como
segue.

abcd, def af

(1) abcd (hiptese)
(2) def (hiptese)
(3) a (hiptese)
42
(4) a b 3 adio
(5) c d 4, 1 modus ponens
(6) d 5 simplificao
(7) d e 6 adio
(8) f 7, 2modus ponens

RESUMO
Um argumento um conjunto de proposies das quais decorre
outra proposio.
Um argumento vlido quando o mesmo representar uma
tautologia.
Chama-se equivalncia toda tautologia representada por uma
proposio bicondicional.
Define-se implicao como toda tautologia representada por uma
proposio condicional.
Deduo o processo utilizado para de demonstrar a validade de
um argumento, que consiste num conjunto de regras utilizadas
para modificar uma frmula sem alterar seu valor lgico.

43
Exerccios Propostos (02)

Leonardo Delgado

1. A prova de argumentos na lgica proposicional podem se dar pela aplicao
de regras de equivalncia e implicao ou pela construo de tabelas-verdade.
Explique em que consiste cada uma dessas tcnicas, explicitando suas
vantagens e desvantagens.
As regras de equivalncia e implicao lgicas uma forma de utilizar a lgebra
das proposies, no emprego do mtodo dedutivo, como forma de comprovar a validade de um
argumento. O mtodo das tabelas-verdade permite demonstrar, verificar ou testar a validade de
qualquer argumento, mas o seu emprego torna-se cada vez mais trabalhoso medida que
aumenta o nmero de proposies simples componentes dos argumentos.

2. (ALENCAR FILHO, 2002) Por meio da construo de tabelas-verdade, prove
a validade dos seguintes argumentos.
a) (p q) (r q) (p r)
p q r ~q ~r p q (r q) (pq)(rq) (pr) (pq)(rq)(pr)
V V V F F F F F V F
V V F F V F V F F F
V F V V F V F F V F
V F F V V V F F F F
F V V F F F F F F F
F V F F V F V F F F
F F V V F F F F F F
F F F V V F F F F F
Esse argumento no valido um sofisma

b) p q, q r, p s, s r (p q)
p q r s p q q r p s ~s r (p q)
V V V V V V V F V
V V V F V V F V V
V V F V V F V F F
V V F F V F F V F
V F V V V V V F V
V F V F V V F V V
V F F V V V V F F
V F F F V V F V F
F V V V V V V F V
F V V F V V V V V 10
F V F V V F V F F
F V F F V F V V F
F F V V F V V F F
F F V F F V V V F
F F F V F V V F F
F F F F F V V V F
O argumento vlido
44
c) p q r, (q r), p s p s
p q r s q r pq r (qr) p ps ps
V V V V V V F F V F
V V V F V V F F V F
V V F V V V F F V F
V V F F V V F F V F
V F V V F F V F V F
V F V F F F V F V F
V F F V F F V F V F
V F F F F F V F V F
F V V V F V V V V V 9
F V V F F V V V F F
F V F V F V V V V V 11
F V F F F V V V F F
F F V V F V V V V V 13
F F V F F V V V F F
F F F V F V V V V V 15
F F F F F V V V F F
O argumento vlido

d) (p q) p ((p r) q) r
p q r q p pq (pr) (pr) ((pr)q)
V V V F F V V F V
V V F V F V F V V
V F V F F V V F V
V F F V F V F V F
F V V F V F F V V
F V F V V V F V V
F F V F V F F V F
F F F V V V F V F
Esse argumento no valido um sofisma

3. (PINHO, 2005; ALENCAR FILHO, 2002) Faa o mesmo que na questo 2,
porm utilizando o mtodo dedutivo.

a) (p q) r, p (q p) q r
(1) (p q) r P
(2) p (q p) P
(3) pq 2-SD
(4) pq 3-COND
(5) qqr 3,1MP
(6)qqr 5 COND
(7) qr 6- ID

b) p q, q s, t (r s) p t
(1) p q P
(2) q s P
(3) t (r s) P
(4) (q s) (s q) 2- BICOND
(5) qs 4 -SIMP
(6) ps 1,5- SH
(7) (tr)(ts) 3- DIST
45
(8) ts 7- SIMP
(9) st 8 -COM
(10) st 9 -COND
(11) pt 6,10-SH

c) p q r, r q p s, s q, p r s
(1) p q r P
(2) r q p s P
(3) s q P
(4) p P
(5) pqr 1.(EI)
(6) rqps 2. COND
(7) pq 4.AD
(8) (rq)(sq) 5,6. MP
(9) rqs 8,3. MP
Obs. Tentei de diversas formas mas no consegui resolver essa questo
d) p q, r s, q s t, t p r
(1) p q P
(2) r s P
(3) q s t P
(4) t_ P_
(5) t 4 -DN
(6) (q s) 3,5 - MT
(7) qs 6-DM
(8) q 7-SIMP
(9) s 7-SIMP
(10) p 1,8-MT
(11) r 2,9-MT
(12) pr 10,11-CONJ

4. (PINHO, 2005; GERSTING, 2003; ALENCAR FILHO, 2002) Escreva os
argumentos abaixo em linguagem simblica.

a) Ou pagamos a dvida ou o dficit aumenta; se as exportaes crescerem, o
dficit no aumenta. Logo, ou pagamos a dvida ou as exportaes no
crescem.
p-pagar a divida
q-defict aumenta
r- exportaes crescem

pq, r~q p~r

46
b) Se o programa eficiente, ele executar rapidamente: ou o programa
eficiente ou ele tem um erro. No entanto, o programa no executa rapidamente.
Logo, o programa contm um erro.

p-programa eficiente
q-executar rapidamente
r-tem um erro

(pq)(pr), ~q r

c) A Rssia tinha um poder superior, e ou a Frana no era forte ou Napoleo
cometeu um erro. Napoleo no cometeu um erro, mas se o exrcito no
tivesse falhado, a Frana seria forte. Portanto, o exrcito falhou e a Rssia
tinha um poder superior.
p- Rssia tinha um poder superior
q- Frana era forte
r- Napoleo cometeu um erro
s- o exrcito falhou

p(~qr), ~r(~sq) sp

d) Se trabalho, no posso estudar. Trabalho ou passo em Matemtica para
Computao. Eu trabalhei, logo passei em Matemtica para Computao.
p-trabalho
q-poder estudar
r- passar em matemtica para computao

p~q, pr pr

5. Investigue a validade dos argumentos da questo 4.
a)pq, r~q p~r

p q r ~q ~r pq r~q p~r
V V V F F V F F
V V F F V V V V 2
V F V V F V V F 3
V F F V V V V V 4
F V V F F V F V
F V F F V V V V
F F V V F F V V
F F F V V F V V

Esse argumento no valido um sofisma, devido a linha trs a falsidade da
concluso.

47
b)(pq)(pr), ~q r

p q r pq pr (pq)(pr) ~q
V V V V V V F
V V F V V V F
V F V F V F V
V F F F F F V
F V V V V V F
F V F V V V F
F F V V V V V 7
F F F V F F V
Esse argumento valido na linha 7.

c) p(~qr), ~r(~sq) sp
p q r s ~q ~qr p(~qr) ~s ~sq ~r ~r(~sq) sp
V V V V F V V F V F V V 1
V V V F F V V V V F V F 2
V V F V F F F F V V V V
V V F F F F F V V V V F
V F V V V V V F V F V V 5
V F V F V V V V F F V F 6
V F F V V V V F V V V V 7
V F F F V V V V F V F F
F V V V F V F F V F V F
F V V F F V F V V F V F
F V F V F F F F V V V F
F V F F F F F V V V V F
F F V V V V F F V F V F
F F V F V V F V F F V F
F F F V V V F F V V V F
F F F F V V F V F V F F

Esse argumento no valido, nas linhas 2 e 6, logo um sofisma.

d)p~q, pr pr

p q r ~q p~q pr pr
V V V F F V V
V V F F F V F
V F V V V V V 3
V F F V V V V 4
F V V F V V V 5
F V F F V F V
F F V V V V V 7
F F F V V F V

Esse argumento valido.

48
Captulo 3 Lgica de Predicados

Nos captulos anteriores, estudamos a lgica proposicional, que trata
das relaes lgicas geradas pelos operadores , , , e . Entretanto, a
validade de alguns argumentos no depende somente desses operadores
(PEREIRA, 2008).

Considere o seguinte argumento:

Raimundo maranhense. Todos os maranhenses so brasileiros. Logo,
Raimundo brasileiro.

Dele, temos:
p: Raimundo maranhense;
q: Todos os maranhenses so brasileiros;
r: Raimundo brasileiro.

Utilizando a notao proposta pela lgica proposicional, este
argumento tem a seguinte representao:

p q r

Embora seja possvel determinar intuitivamente que esse argumento
vlido, no h como demonstrar que a concluso r uma conseqncia
lgica das hipteses p e q, j que o mesmo no uma tautologia (comprove
pela construo da tabela-verdade).

Segundo Pereira (2008), a validade desse argumento depende do
significado da palavra todos, que no pode ser expresso na lgica
proposicional.

Muitos outros argumentos tambm no podem ser representados e
analisados por meio da lgica proposicional, pois dependem do significado
lgico de palavras como todo, algum, cada, nenhum, etc. Como a lgica
proposicional disponibiliza um modelo de raciocnio muito limitado, a anlise de
argumentos dessa natureza feita por meio dos recursos oferecidos pela
lgica de predicados, que ser nosso objeto de estudo neste captulo. E a,
vamos l?

3.1. Predicados e Quantificadores

Iniciemos nossa discusso pela anlise da proposio Todos os
maranhenses so brasileiros. O significado desta proposio expresso a
seguir:

Para todo x, se x maranhense, ento x brasileiro.

49
Esta proposio apresenta novos elementos: um quantificador (para
todo), uma varivel (x) e um predicado (se x maranhense, ento x
brasileiro). Um quantificador representa, como o nome j diz, a quantidade de
objetos
1
que possuem determinada propriedade. Esta propriedade o que
chamamos de predicado
2
. Uma varivel, neste contexto, possui definio
semelhante dada pela lgebra: seu uso permite a expresso de fatos sobre
determinados objetos sem que seja necessrio dizer explicitamente quem so
esses objetos (GERSTING, 2003) (PEREIRA, 2008).

No nosso exemplo, foi utilizado o quantificador para todo, que
permite a expresso de fatos sobre todos os objetos em determinado contexto.
Este quantificador chamado quantificador universal e simbolizado por .
Deste modo, possvel escrever a proposio dada em notao simblica:

(x)(se x maranhense, ento x brasileiro)

Esta representao pode ser simplificada, j que padronizada uma
notao para simbolizar o predicado. Neste caso, podemos escrever:
maranhense(x), onde maranhense o que se diz de x e, do mesmo modo,
brasileiro(x). Com isso, nossa proposio ser escrita da seguinte maneira:

(x)(maranhense(x)brasileiro(x))

possvel simplificar ainda mais esta proposio, utilizando uma
notao mais genrica para o predicado.

maranhense(x) = M(x)
brasileiro(x) = B(x)

Com isso, temos:

(x)(M(x) B(x))

Esta a notao utilizada para a representao simblica de
sentenas na lgica de predicados.

Alm do quantificador universal, podemos utilizar o quantificador
existencial, simbolizado por , por meio do qual representada a existncia
de pelo menos um objeto que possua determinada propriedade. Assim, a
proposio (x)M(x) expressa que existe x, tal que x maranhense.

Para melhor entendimento do uso de quantificadores, analise
atentamente o exemplo que segue.

1
Um objeto qualquer coisa a respeito da qual se diz algo.
2
Predicado o que se diz dos objetos, podendo ser entendido como uma relao entre os
objetos de determinado contexto (PEREIRA, 2008).
50
Exemplo 3.1 Lgica de Predicados

Considere as seguintes expresses:

a) Todo nmero inteiro par divisvel por 2.
b) Existe um nmero natural que no divisvel por 2.
c) Nem todo poltico corrupto.

Vamos simbolizar esses exemplos:

a) P(x) = x um nmero inteiro par
Q(x) = x divisvel por 2
(x)(P(x) Q(x))

b) Q(x) = x divisvel por 2
(x)(Q(x))

c) P(x) = x um poltico
C(x) = x corrupto
(x)(P(x) C(x))

At ento, todos os predicados com os quais trabalhamos envolvem
propriedades de apenas uma varivel, sendo, por isso, chamados de
predicados unrios ou mondicos. Quando um predicado envolve propriedades
de mais de uma varivel ele chamado de predicado polidicos
3
, ou binrio,
ternrio, etc. de acordo com a quantidade de variveis envolvidas na
sentena.

Neste contexto, a sentena So Lus a capital do Maranho,
pode ser expressa como capital (So Lus, Maranho), onde capital a relao
(ou predicado) entre os objetos So Lus e Maranho. Esta sentena pode ser
generalizada, atravs do uso de variveis: capital (x, y), ou simplesmente, A(x,
y), onde o predicado polidico A significa capital de.

Em predicados polidicos, a ordem em que as variveis aparecem muito
importante, pois interfere no significado da sentena.

Normalmente, quando utilizamos predicados polidicos,
necessrio o uso de mais de um quantificador. Neste caso, devemos ficar
atentos ordem em que os quantificadores so empregados, uma vez que isto
pode mudar completamente o significado da expresso.

Exemplo 3.2 Predicado Polidico


(x)(y)P(x, y)
(x)(y)P(x, y)

3
Alguns autores chamam o predicado polidico de relao.
51

onde x e y so nmeros reais e P(x, y) a propriedade de que x o dobro de
y.
A primeira expresso tem o seguinte significado: para todo nmero
real x existe um nmero real y, tal que x o dobro de y.

A interpretao para a segunda expresso : existe um nmero x
real tal que para todo nmero y real, x o dobro de y.

Veja como a ordem em que os quantificadores foram empregados
alterou completamente o sentido da expresso.

importante saber que todos os conectivos e operaes lgicas
definidas para a lgica proposicional so igualmente vlidos para a lgica de
predicados, possuindo aqui o mesmo significado.

Considere a seguinte expresso Alunos que so assduos s aulas
e estudam em casa, so aprovados em Matemtica para Computao. Desta
expresso possvel extrair os seguintes predicados:

A(x) = x assduo.
E(x) = x estuda em casa.
P(x) = x foi aprovado em Matemtica para Computao.

A expresso pode ser escrita da seguinte forma:

A(x) E(x) P(x)

Auto Avaliao 3.1

Represente simbolicamente as seguintes expresses predicativas:
a) Todos os macacos gostam de banana.
b) Todos os alunos estudiosos gostam de Matemtica para Computao.
c) Alguns alunos no so estudiosos, mas gostam de Matemtica para
Computao.
d) Nem todos os macacos gostam de banana.

Agora que voc j entendeu a estrutura de uma expresso na lgica
de predicados, tente responder a pergunta que segue.

Pare e Reflita: Como determinado o valor lgico de
expresses como (x)M(x) e (x)M(x)?

52
3.2. Domnio de Interpretao de uma Expresso Predicativa
Valores Lgicos

Na lgica de predicados, o valor lgico de uma expresso no
depende somente do significado dos conectivos utilizados, mas tambm do
contexto no qual ela (a expresso) interpretada. Para Gersting (2003), esse
contexto representado por um conjunto de objetos sob os quais a
interpretao feita, sendo chamado de Domnio de Interpretao ou
Conjunto Universo.

Exemplo 3.3 Domnio de Interpretao

Considere a seguinte expresso:

(x)P(x)

Adotando como domnio de interpretao os habitantes de sua
cidade, e sendo P(x) a propriedade de que x seja aluno do curso de
Licenciatura em Informtica, temos:

A interpretao da expresso que todos os habitantes da sua
cidade so alunos do curso de Licenciatura em Informtica. O valor lgico
desta expresso neste domnio de interpretao a falsidade.

Agora, tomando por domnio de interpretao o conjunto dos
nmeros naturais, e sendo P(x) a propriedade de que x maior ou igual a zero,
temos:

Para este caso, a interpretao da expresso de que todo nmero
natural maior ou igual a zero, o que nos permite afirmar que a sentena
verdadeira.

Um conceito formal de interpretao para uma expresso predicativa
foi apresentado por Gersting (2003):

Uma interpretao para uma expresso envolvendo predicados
consiste em:

a) Um conjunto de objetos (Domnio de Interpretao), com pelo
menos um objeto;
b) A especificao de uma propriedade dos objetos no domnio para
cada predicado da expresso;
c) A atribuio de um objeto particular no domnio de interpretao
para cada smbolo da expresso.

Para melhor entendimento deste conceito, considere a expresso
(x)(y)P(x, y) apresentada no exemplo 3.2.

53
Inicialmente devemos definir o domnio de interpretao com pelo
menos um elemento. Consideremos, pois, que este domnio seja o conjunto
dos nmeros reais.

Em seguida, especificamos uma propriedade pertinente ao domnio
para o predicado P(x, y). Podemos dizer, ento, que P(x, y) a propriedade de
que x o dobro de y. Por fim, atribumos objetos particulares do domnio para
as variveis x e y, a fim de constatarmos o valor lgico da expresso.
Considerando x = 2, notamos que existe y = 1; para x = -5, existe y = -2,5; para
x = 10, existe y = 5 e, assim, sucessivamente.

Induzimos, ento, que a expresso verdadeira dentro do domnio
de interpretao considerado, j que para qualquer nmero real x, existe outro
nmero real (y) que exatamente o dobro de x.

Auto Avaliao 3.2

Fornea uma interpretao na qual o valor lgico da expresso
(x)P(x) seja a verdade e outra no qual seja a falsidade. Para isso, apresente o
domnio de interpretao e o significado do predicado P(x).

3.3. Frmulas Predicativas: Traduo e Validade

Uma expresso predicativa construda atravs da combinao de
predicados com quantificadores, parnteses (ou colchetes) e conectivos lgicos
(GERSTING, 2003). Da mesma forma que as expresses proposicionais, as
predicativas devem obedecer a um conjunto de regras sintticas para sua
escrita.

Com isso, podemos falar em frmulas predicativas, da mesma
maneira como falamos de frmulas proposicionais no captulo 1. comum
utilizarmos apenas o nome frmula para identificar tanto as frmulas
predicativas quanto as frmulas proposicionais.

Os parnteses (ou colchetes) so utilizados para delimitar o escopo
4

de um quantificador. Quando no h parnteses, o escopo do quantificador
limita-se ao predicado que o sucede.

Considerando as expresses (x)(P(x) Q(x)) e (x)P(x) Q(x),
dizemos que o quantificador atua sobre P(x) Q(x), no primeiro exemplo, e
sobre P(x) no segundo. Disto, conclumos que a presena dos parnteses
interfere no escopo de um quantificador e, como conseqncia, modifica o
significado da expresso como um todo.

Referente a esta situao, preciso ainda introduzir dois conceitos
importantes: o de varivel livre e o de varivel ligada. Chama-se varivel livre

4
Chama-se escopo de um quantificador a parte da expresso sobre o qual ele atua (PINHO,
2005).
54
aquela que aparece em uma frmula predicativa fora do escopo de um
quantificador que envolva esta varivel. Por outro lado, uma varivel que est
vinculada a um quantificador chamada de varivel ligada. Na expresso
(x)P(x) Q(x) a varivel x dita livre em sua segunda ocorrncia, pois est
fora do escopo do quantificador existencial. Na primeira ocorrncia, x uma
varivel ligada.

No esquea: Uma varivel pode ser ao mesmo tempo livre e ligada em
uma frmula predicativa.

Uma frmula predicativa que possui variveis livres pode no ter
valor lgico para algumas interpretaes.

Uma tarefa que pode parecer difcil a traduo de expresses em
portugus para a notao simblica da lgica de predicados. Para facilitar este
trabalho, so apresentados a seguir quatro tipos especiais de sentenas,
denominadas enunciados categricos.

Universal Afirmativo: so enunciados da forma (x)(P(x)Q(x)).
Neste caso, temos expresses como todos os maranhenses
so brasileiros . Ou seja, para todo x, se x maranhense, ento
x brasileiro.
Universal Negativo: so enunciados da forma (x)(P(x)Q(x)).
Um exemplo de sentena que se enquadra nesta categoria de
enunciado nenhum maranhense marciano . Ou seja, para
todo x, se x maranhense, ento x no marciano.
Particular Afirmativo: so enunciados da forma (x)(P(x)Q(x)).
Aqui, as expresses so similares a alguns maranhenses so
torcedores do Sampaio Corra . Ou seja, existem um x, tal que
x maranhense e x torcedor do Sampaio Corra.
Particular Negativo: so enunciados da forma (x)(P(x)Q(x)).
A expresso alguns maranhenses no so torcedores do
Sampaio Corra um exemplo de sentena que se encaixa
nesta categoria. Neste caso, existe um x, tal que x maranhense
e x no torcedor do Sampaio Corra.

Exemplo 3.4 Enunciados Categricos


a) Armas de fogo so perigosas.
b) Alguns alunos no so estudiosos.
c) Existem polticos honestos.
d) No existem homens verdes.

Analisando as expresses apresentadas, percebemos que a
expresso (a) do tipo universal afirmativo, visto que se um objeto x uma
arma de fogo, ento este objeto perigoso. Chamando A(x) = x arma de fogo
e P(x) = x perigoso, temos (x)(A(x) P(x)).

55
A expresso (b) do tipo Particular Negativo e pode ser escrita
como (x)(A(x) E(x)), onde A(x) a propriedade de x ser um aluno e E(x) a
propriedade de x ser estudioso.

A expresso (c) um enunciado Particular Afirmativo, sendo
simbolizado por (x)(P(x)H(x)), em que P(x) = x poltico e H(x) = x
honesto.

A expresso (d) do tipo Universal Negativo, e pode ser
representada por (x)(H(x) V(x)), cujo significado se x um homem,
ento x no verde.

No esquea: est associado a , enquanto que est associado a .

Agora, vamos ao problema: dada uma expresso em portugus,
construir sua representao simblica. Para realizar esta tarefa, muitas vezes
til escrever outra proposio intermediria em portugus e s depois
simboliz-la (GERSTING, 2003). Esteja atento tambm para o fato de uma
expresso poder ser representada de diferentes maneiras (PEREIRA, 2008).
Alm, disso no deixe de se preocupar com o escopo dos quantificadores e
com o uso de conectivos lgicos, quando necessrio.

Seja a expresso: no existem extraterrestres . Este um caso
muito simples, em que h apenas um quantificador e um predicado mondico.
Tal expresso pode ser escrita de duas maneiras distintas. Considerando que o
predicado E(x) representa a propriedade de x ser extraterrestre, temos as
seguintes interpretaes:

1. No existe x tal que x seja extraterrestre, ou seja, (x)E(x).
2. Para todo x, x no extraterrestre, ou seja, (x)( E(x)).

Agora, consideremos a expresso O morcego um mamfero que
voa . Note que esta sentena do tipo universal afirmativo, ou seja, se um
objeto x um morcego, ento ele um mamfero e voa. Perceba tambm que
ser necessrio utilizar um conectivo lgico (conjuno). Deste modo, temos:

P(x) = x um morcego.
M(x) = x um mamfero.
V(x) = x voa.

Simbolicamente:
(x)(P(x) M(x) V(x))

Para a expresso Alguns homens so corajosos e outros so
covardes , o que podemos perceber de imediato a necessidade da utilizao
de duas variveis, visto que existe um x tal que x homem (H(x)) e x
corajoso (C(x)), e existe um y tal que y homem (H(y)) e y covarde (D(y)).
Assim, temos:

(x)(H(x) C(x)) (y)(H(y) D(y))
56

Por fim, considere a seguinte expresso, extrada de Pinho (2005),
Existe um ancestral comum a todas as pessoas. Esta sentena pode ser
simbolizada de duas maneiras diferentes. Considerando P(x) = x uma pessoa
e A(x, y) = x ancestral de y temos:

1. Para todo y, se y uma pessoa, existe um x tal que x ancestral de
y, ou seja, (y)(P(y) (x)(A(x, y))).
2. Existe um x tal que para todo y, se y uma pessoa, ento x
ancestral de y, ou seja, (x)(y)(P(y) A(x, y)).

Observe a presena de dois quantificadores e de duas variveis.
Perceba tambm que, para cada uma das duas representaes, o escopo dos
quantificadores diferente, embora o signifivado das expresses em portugus
seja o mesmo.

No esquea: Podem existir mais de uma interpretao correta para
afirmaes em portugus.

Auto Avaliao 3.3

Para cada expresso, escreva sua representao simblica:

a) Os mamferos no so sempre terrestres.
b) Alguns alunos so atentos, outros no.
c) Todos os professores tm alunos.

J falamos anteriormente que o valor lgico de uma frmula
predicativa depende da interpretao. Com base nisto, possvel afirmar que
uma frmula predicativa vlida se ela assumir a verdade como valor lgico
para todas as interpretaes possveis. Para dizermos que uma formula
invalida, basta apresentar uma interpretao em que seu valor lgico seja
falsidade.

3.4. Deduo na Lgica de Predicados

Nosso interesse na lgica de predicados , como na lgica
proposicional, determinar a validade de argumentos. Os conceitos de
argumento, regra de inferncia e deduo apresentadas quando estudamos o
clculo proposicional permanecem vlidas para a lgica de predicados.

Como os argumentos na lgica de predicados apresentam maior
nvel de complexidade, devido ao uso de quantificadores e variveis, devemos
nos valer dos enunciados categricos vistos na seo anterior como um meio
facilitador na definio do valor verdade de uma frmula. Alm disso, a adoo
de algumas regras que possibilitam a adio e/ou eliminao de
quantificadores das hipteses podem ajudar neste processo. Essas regras so
apresentadas na Tabela 3.1.

57
Tabela 3.1: Regras de Inferncia (FONTE: GERSTING, 2003)

Pinho (2005) apresenta um mtodo geral para o processo de
deduo de argumentos na lgica de predicados.

O processo de Deduo na Lgica de Predicados

1. Elimine os quantificadores das hipteses.
2. Deduza a concluso com as equivalncias e inferncias do clculo
proposicional.
3. Insira (se for o caso) os quantificadores na concluso.

Com base neste processo, as regras mostradas na Tabela 3 so
detalhadas a seguir.

3.4.1. Particularizao Universal (PU)

Baseia-se na afirmao de que se todos os objetos de um dado
domnio de interpretao possuem certa propriedade, ento um objeto
particular desse domnio tambm possui essa propriedade.

Consideremos o argumento:

Todos os maranhenses so brasileiros.
Raimundo maranhense.
Logo, Raimundo brasileiro.

Representando este argumento simbolicamente, temos:
(x)(M(x) B(x))

M(Raimundo)
B(Raimundo)

Provamos a validade deste argumento, atravs de deduo.
Acompanhe:

1 (x)(M(x) B(x)) (hiptese)
2 M(Raimundo) (hiptese)
3 M(Raimundo) B(Raimundo) 1, PU
4 B(Raimundo) 2, 3, modus ponens

58
Observe que no passo 3, a particularizao universal consistiu na
substituio da varivel x por objeto particular do domnio, Raimundo.

3.4.2. Particularizao Existencial (PE)

A particularizao existencial significa que aquilo que verdade para
algum objeto igualmente verdade para um dado objeto, desde que esse
objeto no tenha sido utilizado anteriormente na deduo.

Seja o argumento:

Alguns homens so maranhenses.
Logo, alguns homens so brasileiros.


(x)(M(x) B(x))
(x)(H(x) M(x))
(x)(H(x) B(x))

Acompanhe o processo de deduo a seguir.
2 (x)(H(x) M(x)) (hiptese)
3 H(p) M(p) 2, PE
4 M(p) B(p) 1, PU
5 H(p) 3, simplificao
6 M(p) 3, simplificao
7 B(p) 6, 4 modus ponens
8 H(p) B(p) 5, 7 conjuno
9 (x)(H(x) B(x)) 8, GE

A hiptese 2 afirma que existe um x tal que esse x homem e
maranhense. Devido a isso, possvel, em 3, nomear esse elemento como p,
onde p um objeto qualquer do domnio de interpretao. Note que a hiptese
1 afirma que, qualquer que seja x, se x maranhense, ento x brasileiro.
Portanto, podemos afirmar particularmente que se p maranhense, ento ele
brasileiro (passo 4).

Importante: S aplique a particularizao existencial aps certificar-se de que
o termo a ser particularizado no tenha sido usado anteriormente no processo
de deduo.

As particularizaes tm a funo de retirar o quantificador de
expresses que esto no escopo desse quantificador. Portanto, muito cuidado
para no fazer dedues invlidas como, por exemplo:

59
1 (x)H(x) M(x) (hiptese)
2 H(p) M(p) 1, PE

A particularizao invlida, pois o escopo do quantificador
somente o predicado H(x).

3.4.3. Generalizao Universal (GU)

Esta regra de inferncia obedece ao seguinte enunciado: se um
determinado objeto, escolhido aleatoriamente no domnio de interpretao,
possuir certa propriedade, todos os objetos desse domnio tambm tero essa
propriedade.

Seja o argumento:

Todos os ludovicenses so maranhenses.
Logo, todos os ludovicenses so brasileiros.


(x)(M(x) B(x))
(x)(L(x) M(x))
(x)(L(x) B(x))

Provamos a validade deste argumento, atravs de deduo.
Acompanhe:

2 (x)(L(x) M(x)) (hiptese)
3 M(p) B(p) 1, PU
4 L(p) M(p) 2, PU
5 L(p) B(p) 4, 3 silogismo hipottico
6 (x)(L(x) B(x)) 5, GU

Note que nos passos 3 e 4 foi utilizada a particularizao universal,
substituindo-se a varivel x por um objeto arbitrrio p. No passo 6, foi aplicada
a generalizao universal sobre L(p) B(p), visto que p qualquer objeto do
domnio de interpretao.

Importante: Uma generalizao universal no vlida nos casos em que o
predicado for deduzido de uma hiptese na qual haja uma varivel livre.

3.4.4. Generalizao Existencial (GE)

Neste caso, podemos afirmar que aquilo que verdade para um
dado objeto, verdade para algum objeto.
60
Consideremos o seguinte argumento:

Todos os maranhenses so pessoas hospitaleiras.
Raimundo maranhense.
Logo, existem pessoas hospitaleiras.


(x)(M(x) H(x))
M(Raimundo)
($x)H(x)

Provamos a validade deste argumento atravs de deduo. Acompanhe:

1 (x)(M(x) H(x)) (hiptese)
2 M(Raimundo) (hiptese)
3 M(Raimundo) H(Raimundo) 1, PU
4 H(Raimundo) 2, 3 modus ponens
5 (x)H(x) 4, GE

Como no passo 4 obtivemos que Raimundo uma pessoa
hospitaleira, ento existe pelo menos uma pessoa hospitaleira, o que
expresso no passo 5 pela generalizao existencial.

Voc deve ter percebido que, para provar a validade de argumentos
na lgica de predicados, o procedimento similar ao da lgica proposicional. A
seguir apresentado mais um exemplo. Analise-o com ateno.

Exemplo 3.5 Deduo na Lgica de Predicados

Provar o seguinte argumento:
(x)(P(x) Q(x)) (x)P(x) (x)Q(x)

Temos a seguinte seqncia de demonstrao:

1 (x)(P(x) Q(x)) hiptese
2 P(p) Q(p) 1 PU
3 P(p) 2 simplificao
4 Q(p) 2 simplificao
5 (x)P(x) GU 3
6 (x)Q(x) GU 4
7 (x)P(x) (x)Q(x) 5, 6 conjuno

Exerccio Resolvido
(adaptado de GERSTING, 2003) Demonstrar que o argumento todos os
estudantes sabem ler. Alguns estudantes falam Ingls. Portanto, alguns
estudantes sabem ler e falam Ingls vlido.

61
SOLUO
Inicialmente, vamos escrever o argumento em notao simblica. Para isso,
consideremos:

E(x): x um estudante.
L(x): x sabe ler.
I(x): x fala ingls.

O argumento :

()(E(x) L(x))
(x)(E(x) I(x))
(x)(E(x) L(x) I(x))

A seqncia de demonstrao a seguir comprova a validade deste argumento.
1 (x) (E(x) L(x)) (hiptese)
2 (x)(E(x) I(x)) (hiptese)
3 E(p) I(p) 2 PE
4 E(p) L(p) 1 PU
5 E(p) 3 simplificao
6 L(p) 5, 4 modus ponens
7 E(p) I(p) L(p) 3, 6 conjuno
8 E(p) L(p) I(p) 7 propriedade comutativa
9 (x)( E(x) L(x) I(x)) 8 GE

62

Programao Lgica

(extrado de: GERSTING, Judith L. Fundamentos Matemticos para a Cincia
da Computao. So Paulo: LTC, 2003)

Na lgica de predicados, usamos regras de inferncia para
chegarmos a teses a partir das hipteses. Se uma tese tiver sido demonstrada
como conseqncia de determinada hiptese, ento, em uma interpretao na
qual a hiptese seja verdadeira, a tese tambm ser verdadeira. A linguagem
de programao Prolog, que significa progamming in logic, tambm ajuda a
chegar a teses a partir das hipteses. A linguagem inclui predicados,
conectivos lgicos e regras de inferncia. Ela permite a descrio de uma
interpretao, ou melhor, de hipteses verdadeiras em uma interpretao.

As linguagens de programao com as quais voc provavelmente j
tem familiaridade, tal como Pascal, so conhecidas como linguagens
procedurais. A maior parte dos programas escritos em linguagens procedurais
destinam-se a resolver o problema mo. O programador, portanto, diz ao
computador como resolver o problema. Prolog, no entanto, uma linguagem
declarativa (tambm chamada de linguagem descritiva). Um programa Prolog
consiste em declaraes ou descries sobre uma interpretao, isto , quais
as hipteses que so verdadeiras em uma interpretao. O conjunto de
declaraes tambm chamado de base de dados do Prolog. Para determinar
se uma dada tese, posta na forma de uma pergunta pelo usurio, ou no
verdadeira para a interpretao, Prolog usa sua base de dados e aplica suas
regras de inferncias (sem a necessidade de qualquer instruo por parte do
programador).

Itens em uma base de dados do Prolog podem ter duas formas,
conhecidas em Prolog como fatos e regras. (Porm as regras do Prolog so
apenas outro tipo de fatos, e no devem ser confundidas com as regras de
inferncia.)

Os fatos do Prolog permitem definir predicados. Por exemplo,
suponhamos que desejemos criar umprograma Prolog que descreva as
cadeias alimentares em uma determinada regio ecolgica. Devemos comear
com um predicado binrio come.

Ento descreveremos este predicado fornecendo os pares de
elementos no domnio que tornam come verdadeiro. Portanto, teramos os
fatos.
come(urso, peixe)
come(urso, raposa)
come(urso, veado)

Em nossa base de dados. (Os detalhes exatos dos comandos Prolog
variam de implementao para implementao, portanto daremos aqui apenas
63
o esprito da linguagem atravs do uso de um pseudocdigo semelhante ao
Prolog.) Neste exemplo, "urso", "peixe", "raposa", "veado" e "mato" so
constantes porque representam elementos especficos do domnio. Como o
domnio propriamente dito no especificado, exceto na declarao dos
predicados, neste ponto podemos fazer inferir que o domnio consiste em
"urso", "peixe", "raposa", "veado" e "mato". E saudvel que o usurio mantenha
um entendimento e faa um uso consistente dospredicados em um programa
Prolog. Portanto,come(urso, peixe)

Pode ser usado tanto para representar o fato de que ursos comem
peixes ou de que peixes comem ursos! Arbitramos a conveno de que
come(x, y) significa "x come y'. Podemos incluir descries de dois predicados
unrios, animal e planta para a base de dados incluindo os fatos

animal(urso)
animal(peixe)
animal(raposa)
animal(veado)
planta(mato)

De posse deste programa Prolog (base de dados), podemos fazer
algumas perguntas simples.

A pergunta

is(animal(urso))

Simplesmente pergunta se o fato animal(urso) est na base de
dados. Como este fato est na base de dados, o Prolog responder pergunta
com yes. Outros dilogos com o Prolog poderiam incluir

is(come(veado,mato))
yes
is(come(urso, coelho))
no

Perguntas podem incluir variveis, como mostrado no prximo
exemplo.

A pergunta

which(x: come(urso,x))

produz
peixe
raposa

Como resposta. O Prolog respondeu pergunta procurando em sua
base de dados por todos os fatos que se ajustassem ao padro come(urso, x),
64
onde x uma varivel. A resposta "peixe" dada antes porque as regras so
percorridas da primeira para a ltima.

As perguntas podem, ainda, conter os conectivos lgicos and, or e
not.

O segundo tipo de item em uma base de dados Prolog uma regra
Prolog. Uma regra uma descrio de um predicado atravs de uma
implicao. Por exemplo, poderamos usar uma regra para definir um predicado
para presa:

presa(x) if come(y, x) and animal{x)

Isto indica que x uma presa se for animal que comido. Se
incluirmos esta regra a nossa base de dados, ento para a pergunta

which(x: presa(x))

Teremos a resposta
peixe
raposa
65
RESUMO
A lgica de predicados uma extenso da lgica proposicional, atravs
do uso de quantificadores e da adio de parmetros s proposies,
transformando-as em predicados.
Um predicado uma relao entre objetos de determinado contexto.
Quantificadores representam a quantidade de objetos que possuem
determinada propriedade.
O quantificador universal () representa todos os objetos de um
contexto.
O quantificador existencial () representa pelo menos um objeto de um
contexto.
Chama-se escopo de um quantificador a parte da expresso sobre o
qual ele atua.
Na lgica de predicados, o valor lgico de uma expresso depende do
contexto no qual ela interpretada. Esse contexto chamado de
Domnio de Interpretao.
Uma frmula predicativa construda atravs da combinao de
predicados com quantificadores, parnteses e conectivos lgicos.
Em uma frmula predicativa, uma varivel pode estar no escopo de um
quantificador (varivel ligada) ou fora dele (varivel livre).
Universal Afirmativo todo enunciado que pode ser escrito na forma
(x)(P(x)Q(x)).
Universal Negativo todo enunciado da forma (x)(P(x)~Q(x)).
Particular Afirmativo todo enunciado que pode ser escrito como
(x)(P(x) Q(x)).
Particular Negativo qualquer enunciado da forma (x)(P(x) ~Q(x)).
Uma frmula predicativa dita vlida quando seu valor lgico a
verdade para todas as interpretaes possveis dentro do domnio de
interpretao.
A deduo no clculo de predicados exige a adoo de regras para
eliminao/adio de quantificadores das hipteses.
Particularizao Universal (PU): se todos os objetos de um dado
domnio de interpretao possuem certa propriedade, ento um objeto
particular desse domnio tambm possui esta propriedade.
Particularizao Existencial (PE): o que verdade para algum objeto
igualmente verdade para um dado objeto, desde que esse objeto no
tenha sido usado anteriormente na deduo.
Generalizao Universal (GU): se um determinado objeto, escolhido
aleatoriamente no domnio de interpretao, possui certa propriedade,
ento todos os objetos desse domnio tambm tm essa propriedade.
Generalizao Existencial (GE): o que verdade para um dado objeto
verdade para algum objeto.

66
Exerccios Propostos
1. (adaptado de PINTO, 1999) Escreva as frases que seguem usando notao
simblica na qual x designa um aluno e P(x) significa x gosta de estudar.
a) Todos os alunos gostam de estudar.
b) Nenhum aluno gosta de estudar.
c) Um aluno gosta de estudar.
d) Alguns alunos no gostam de estudar.
2. (adaptado de GERSTING, 2003) Utilizando os smbolos predicados
apresentados neste captulo e os quantificadores apropriados, escreva
cada expresso abaixo como uma frmula predicativa.
a) Todo dia que ensolarado no chuvoso.
b) Todos os homens maduros admiram alguma mulher.
c) Alguns alunos so estudiosos e atentos.
d) Alguns alunos gostam apenas de Lgica.
e) Todo aluno s gosta de Lgica
f) Se existir algum homem que seja mais romntico que uma mulher, ento
todos os homens sero mais romnticos que todas as mulheres.
3. (GERSTING, 2003) Identifique as frmulas vlidas e as invlidas,
justificando suas respostas.
a) P(b) ($x)P(x)
b) ("x)("y)P(x, y) ("y)("x)P(x, y)
c) ($x)P(x) ($x)Q(x) ($x)(P(x) Q(x))
d) ("x)($y)P(x, y) ($x)("y)P(x, y)
4. (adaptado de ALENCAR FILHO, 2002) Sendo o conjunto dos nmeros reais
o domnio de interpretao de cada uma das sentenas, determine seu
valor lgico.
P g i n a | 83
a) ("x)(x 1 > x)
b) ("x)($y)(x y < 0)
c) ($x)(x + 2x + 10 = 0)
d) ($x)(x + y = 4)
5. (GERSTING, 2003) Demonstre a validade dos seguintes argumentos, ou
apresente uma interpretao para provar que no so vlidos.
a) Existem alguns artista que so mais ricos que outros. Todo mundo que
mais rico que os outros tambm paga mais impostos que os outros.
Portanto, existe um artista que paga mais impostos que os outros.
b) Todo estudante de Informtica trabalha mais que algum e todo mundo
que trabalha mais que algum tambm dorme menos que esta pessoa.
Salete uma estudante de Informtica. Portanto, Salete dorme menos
que outra pessoa.
c) ($x)(P(x) Q(x)) ($x)P(x) ($x)Q(x).
d) [("x)P(x) ("x)Q(x)] ("x)(P(x) Q(x)).
67
MODULO II TEORIA DOS CONJUNTOS E FUNES

Objetivos
- Trabalhar com a notao da teoria de conjuntos;
- Determinar relaes de pertinncia entre elementos e conjunto;
- Determinar relaes de continncia entre conjuntos;
- Encontrar unio, interseo, complemento, diferena e produto
cartesiano de conjuntos;
- Encontrar o conjunto das partes de um conjunto finito;
- Utilizar tcnicas de demonstrao de identidades de conjuntos;
- Reconhecer uma relao e identificar seus pares ordenados;
- Determinar se uma relao ou no uma funo;
- Verificar se uma funo injetiva, sobrejetiva e bijetiva;
- Manipular funes compostas e inversas;
- Determinar se uma funo tem inversa e qual essa inversa;
- Manipular funes matemticas;
Contedo
- Introduo Teoria dos Conjuntos
- lgebra dos Conjuntos
- Estudo das Funes

68
Capitulo 4 - Introduo Teoria dos Conjuntos

Os fundamentos da teoria dos conjuntos foram lanados no final do
sculo XIX, a partir dos trabalhos de George Cantor (1845-1918). A partir de
ento, est teoria passou por um forte processo de desenvolvimento, dando
suporte a diversos ramos da matemtica e influenciando outras reas do
conhecimento, dentre elas a Cincia da Computao.

Para saber mais acesse: http://pt.wikipedia.org/wiki/Teoria_dos_conjuntos

O conceito de conjunto fundamental para a Cincia da
Computao, uma vez que grande parte de seus conceitos, construes e
resultados so escritos na linguagem dos conjuntos ou baseados em
construes sobre conjuntos (MENEZES, 2008), existindo aplicaes em reas
como Banco de Dados e Linguagens Formais, por exemplo.

Neste captulo, introduziremos os principais conceitos da teoria dos
conjuntos, que sero indispensveis para estudos posteriores.

4.1. Noo Intuitiva de Conjunto e Relaes de Pertinncia

Informalmente, podemos definir um conjunto como uma coleo de
objetos (ou coisas), dispostos de forma no-ordenada, onde cada objeto
chamado de elemento do conjunto. Os termos conjunto e elemento so
conceitos primitivos em matemtica, ou seja, so aceitos sem definio formal
e fundamentam definies mais complexas.

Um conjunto pode ser representado basicamente de duas maneiras:
por extenso ou por compreenso. No primeiro caso, os elementos so listados
exaustivamente, sendo colocados entre um par de chaves e separados por
vrgulas. Por exemplo,

D = {segunda, tera, quarta, quinta, sexta, sbado, domingo}

Em alguns casos, esta no se mostra como a melhor forma de
representao. Por exemplo, no prtico listar os elementos do conjunto de
todas as pessoas de naturalidade maranhense, embora seja possvel fazer o
levantamento dessa lista. Em casos como este, onde o nmero de elementos
muito grande, devemos optar por descrever o conjunto por meio de uma
propriedade que caracteriza os seus elementos (representao por
compreenso). Deste modo, podemos representar o conjunto M de pessoas
com naturalidade maranhense da seguinte forma:

M = { x | x maranhense }, que lida como conjunto dos elementos x tal que x
maranhense.

possvel generalizar a notao da representao de um conjunto
por compreenso da seguinte forma:
69
M = { x | P(x) }

onde se afirma que um dado elemento i faz parte do conjunto A se a
propriedade P verdadeira para i, ou seja, se o valor lgico de P(i) for a
verdade. Por exemplo, considerando o conjunto M definido anteriormente,
temos que Slvio Santos no elemento de D, j que a propriedade P(Silvio
Santos) = Silvio Santos maranhense tem como valor lgico a falsidade.
Seguindo o mesmo raciocnio, conclumos que Gonalves Dias elemento de
M, j que P(Gonalves Dias) = Gonalves Dias maranhense tem como valor
lgico a verdade.

Exemplo 4.1 Conjuntos

a) A = {a, e, i, o, u} b) B = {1, 3, 5, 7, ..., 15}
c) C = {1, 2, 3, 4, 5,...} d) D = {n|n=2y, onde y um nmero inteiro}

O conjunto A foi representado por meio da listagem de todos os seus
elementos. Nos conjuntos B e C, alguns elementos foram omitidos, mas podem
facilmente ser deduzidos do contexto. Nos trs casos, a forma de
representao utilizada foi a extenso. O conjunto D, que corresponde ao
conjunto D = {0, 2, 4, 6, 8, ...}, foi representado por meio da propriedade
comum a seus elementos, o que constitui a forma de representao por
compreenso.

importante observarmos que a propriedade que descreve os
elementos de um conjunto pode ser expressa em linguagem natural, ou em
linguagem simblica, atravs de operadores matemticos e lgicos.

OPERADORES MATEMTICOS
ARITMTICOS: +, - , ,
RELACIONAIS: =, , >, , <,

Todos os objetos pertencentes a um conjunto compartilham uma
mesma propriedade e, daqueles que no possuem tal propriedade, dizemos
que no pertencem ao conjunto. Esta uma relao importante, chamada
relao de pertinncia, que indicada pelos smbolos , para o primeiro
caso, e , para o segundo. Considerando o conjunto D dos dias da semana,
temos que:
segunda D
sbado D
janeiro D

Exemplo 4.2 Relaes de Pertinncia
Considere o conjunto:

A = { x | x um pas da Amrica do Sul}

Para este conjunto, podemos dizer que:

Brasil A
70
Frana A
Venezuela A
Egito A

Auto Avaliao 4.1
Descreva cada um dos seguintes conjuntos, listando seus elementos:
1. {x|x a capital do Maranho}
2. {y|y um nmero primo menor do que 30}
3. {w|w um estado do nordeste brasileiro}

Descreva cada um dos seguintes conjuntos, atravs de uma
propriedade que caracteriza seus elementos:

4. {1,3,5,9}
5.{SoLus, Teresina, Fortaleza, Natal, Joo Pessoa, Recife, Macei, Aracaju,
Salvador}
6. {1, 2,4,8,16}

4.2. Alguns Conjuntos Especiais

Considere a seguinte situao: queremos listar todos os elementos
de um conjunto A={a|a um nmero natural par menor do que 2}. Ento,
quantos elementos o conjunto A possui? Certamente voc deve ter chegado
concluso de que o conjunto A no possui nenhum elemento, pois no existe
nenhum nmero natural par que seja menor do que 2. Neste caso, dizemos
que o conjunto A vazio, e representamos como segue:

A = { } ou A =

E se quisssemos listar todos os elementos do conjunto B = {b|b
um nmero natural mpar menor do que 2}, quantos elementos esse conjunto
teria? Neste caso, B teria apenas um elemento, sendo, por isso, chamado de
conjunto unitrio.

B = { 1 }

Ao conjunto que no possui nenhum elemento damos o nome de
CONJUNTO VAZIO.

Denomina-se CONJUNTO UNITRIO o conjunto que possui apenas
um elemento.

Ainda referente quantidade de elementos, podemos dizer que um
conjunto possui um nmero finito ou infinito de elementos. Chamamos de
conjunto finito aquele que pode ser descrito por extenso, ou seja, possvel
listar todos os seus elementos. Um conjunto dito infinito quando no
possvel listar exaustivamente todos os seus elementos.

71
Exemplo 4.3 Conjuntos Especiais
Considere os conjuntos:

A = { Brasil }
B = {y | y um nmero par}
C = {z | z um brasileiro que mora em Marte}

Sobre estes conjuntos, podemos dizer que A um conjunto unitrio,
pois possui apenas um elemento (note que todo conjunto unitrio tambm um
conjunto finito, por razes bvias). O conjunto B um conjunto infinito, uma vez
que no possvel listar todos os nmeros pares. O conjunto C vazio, uma
vez que no existem brasileiros que moram em Marte. Tenha claro que um
conjunto vazio considerado um conjunto finito.

Aos conjuntos cujos elementos so nmeros que compartilham
caractersticas particulares, damos o nome de conjuntos numricos. Tais
conjuntos merecem especial ateno por sua importncia para a Matemtica
em geral e para a Cincia da Computao. Esses conjuntos so vistos com
mais detalhes na seo 4.5.

Auto Avaliao 4.2

Descreva os seguintes conjuntos, indicando os conjuntos finitos,
infinitos, unitrios e vazios:
1. {x|x um nmero natural e10 = x + 4}
2. {y|y um estado brasileiro cujo nome inicia com vogal)
3. {z|z um animal terrestre]
4. {w|w um nmero par maior que 100}

4.3. Relaes entre Conjuntos

Na seo 4.1., introduzimos a noo de pertinncia entre elementos
e conjuntos. Alm desta, outra noo importante a de continncia, a partir da
qual podemos introduzir os conceitos de subconjuntos e de igualdade de
conjuntos.

4.3.1. Relao de Continncia

Sejam dois conjuntos A = {1, 2, 3} e B = {0, 1, 2, 3, 4, 5}. Observe
que todos os elementos do conjunto A so tambm elementos do conjunto B.
Neste caso, dizemos que A est contido em B, ou que B contm A e
representamos por:

AB ou BA

Neste caso, dizemos que A um subconjunto de B. A seguir
apresentada uma definio mais formal de subconjunto.

72

A um subconjunto de B se (x)(x AxB)

Quando A no um subconjunto de B, ou seja, quando existe pelo
menos um elemento de A que no pertence a B, indicamos A B ou B A.

4.3.2. Igualdade de Conjuntos

Consideremos os conjuntos A={1, 3, 5} e B={1, 3, 5}. No preciso
se esforar para perceber que A um subconjunto de B e B, por sua vez,
tambm subconjunto de A. Neste caso, dizemos que os conjuntos A e B so
iguais.

Formalmente, podemos dizer:

Dois conjuntos A e B so iguais se, e somente se, todo elemento de
A pertence tambm a B e, reciprocamente, todo elemento de B pertence a A.
Ou seja,
A = B (x)((xAxb)(xB xA))

Se existir pelo menos um elemento de A que no pertena a B ou
existir um elemento de B que no pertena a A, dizemos que A diferente de
B.

Pare e Reflita: Escreva formalmente a relao A B

Se A um subconjunto de B, mas queremos enfatizar que A B,
escrevemos AB. Neste caso, dizemos que A um subconjunto prprio de
B. Formalmente, temos:

AB(x)((xAxB)(x)((xAxB)(xAxB))

4.3.3. Conjunto Universo

Uma definio muito importante no contexto da teoria dos conjuntos
o de conjunto universo, que normalmente denotado por U. Para entender o
que o conjunto universo acompanhe o seguinte exemplo:

Maria e Joo participaro de um concurso de perguntas e respostas
sobre Histria da Computao. As perguntas versaro sobre diferentes
aspectos da histria da computao como, por exemplo, personalidades
histricas, fatos marcantes e caractersticas tecnolgicas.

Note que possvel criar vrios conjuntos de perguntas, um para
cada subtema do concurso (personalidades histricas, fatos marcantes,
caractersticas tecnolgicas). Tomando, por exemplo, o subtema
personalidades histricas, muitas perguntas podem ser elaboradas, entretanto
73
todas elas devem versar sobre o tema maior: Histria da Computao. Neste
caso, o tema maior define o que chamamos de contexto da discusso e contm
todos os conjuntos de perguntas que sero consideradas vlidas no concurso.
Por exemplo, possvel que seja feita uma pergunta sobre Bill Gates, mas no
devem ser consideradas perguntas sobre Tiradentes, pois apesar de ser uma
personalidade histrica, no pertence ao contexto da discusso.

Voc j deve ter notado que cada subtema um subconjunto de um
conjunto maior, que define o contexto da discusso. Esse conjunto maior o
que chamamos de conjunto universo.

Conjunto Universo um conjunto que contm todos os elementos do
contexto no qual estamos trabalhando e tambm contm todos os conjuntos
desse contexto.

Propriedades dos Conjuntos

1. Qualquer conjunto subconjunto do conjunto universo;
2. O conjunto vazio subconjunto de qualquer conjunto;
3. Todo conjunto subconjunto de si prprio;
4. Se todo elemento de um conjunto A pertence tambm a um conjunto B, e
todo elemento de B pertence a um conjunto C, ento todo elemento de A
pertence a C (propriedade da transitividade).

Relaes de pertinncia so estabelecidas entre elemento e
conjunto, enquanto que as relaes de continncia so estabelecidas entre
conjunto e conjunto.

Exemplo 4.4 Relaes de Continncia
A = {1, 6, 10, 16 }
B = {6, 10}
C = {6, 10, 16, 50 }

Sobre esses conjuntos podemos fazer as seguintes afirmaes:
B C, pois todo elemento de B tambm pertence a C.
B A, pois todo elemento de B tambm pertence a A.
B A, pois todo elemento de B tambm pertence a A e existem elementos de
A que no pertencem a B. Este sinal utilizado nos casos em que se deseja
enfatizar tal situao.
A C, pois h elementos de A que no pertencem a C.
B, pois o conjunto vazio est contido em qualquer outro conjunto
{6 } B, pois 6 tambm pertence ao conjunto B.

Pare e Reflita: Por que a afirmao B do exemplo 4.4 verdadeira?

Auto Avaliao 4.3
Considere os seguintes conjuntos:

74
A = {x|x um nmero natural maior do que 4}
B = {12,16, 24, 32}
C = {x|(y)(y um nmero natural e x = 2y)}

Indique quais afirmaes so verdadeiras.
1. BC
2. AC
3. {24} B
4. BA
5. {n|n um nmero mpar menor do que 10} A

4.4. Diagramas de Venn

Alm das formas de representao apresentadas na seo 4.1.,
podemos expressar um conjunto atravs de diagramas de Venn, de forma a
facilitar o entendimento de definies, o desenvolvimento de raciocnios e a
compreenso dos componentes e relacionamentos que estejam sendo
discutidos (MENEZES, 2008).

Um diagrama de Venn uma representao pictrica na qual os
conjuntos so representados por reas delimitadas por curvas no plano.

Lipschutz e Lipson (2004)

Para seguir este modelo de representao, devemos observar as
seguintes regras:

Diagramas de Venn

1. O conjunto universo representado por um retngulo;
2. Cada um dos demais conjuntos representado por um crculo (ou uma
elipse);
3. Cada conjunto deve ser identificado por uma letra maiscula;

A seguir, so ilustradas algumas situaes para que voc possa
entender como utilizar Diagramas de Venn para representar conjuntos.

Para representar a continncia de dois conjuntos, construmos uma
elipse dentro de outra, como segue:

75

Figura 4.1: Diagrama de Venn

A Figura representa a relao AB, ou seja A subconjunto de B.
Perceba que a elipse que representa o conjunto A est totalmente contida na
que representa o conjunto B. Isto representa que todos os elementos de A so
tambm elementos de B, conforme a definio de subconjunto j apresentada.

Observe agora a Figura:

Figura 4.2: Diagrama de Venn

Perceba que as elipses que representam os conjuntos A e B esto
totalmente separadas. Isto representa que no existem elementos de A que
sejam tambm elementos de B. Neste caso, dizemos que A e B so conjuntos
disjuntos.

Pare e Reflita: E se quisermos representar dois conjuntos A e B onde seja
possvel que alguns elementos de A no pertenam a B e que alguns
elementos de B no pertenam a A?

Neste caso, a representao como segue:

Figura 4.3: Diagramas de Venn

76
Para representar as relaes de pertinncia, escrevemos os
elementos que pertencem ao conjunto no interior da regio que o representa e,
fora desta regio, escrevemos os elementos que no pertencem ao conjunto.

Exemplo 4.5 Diagrama de Venn


A = { 1, 2, 3, 4 }
B = { 2, 4, 6}
C = {10, 12, 14}

Esses conjuntos podem ser representados pelo seguinte diagrama:

Note que os elementos que os conjuntos A e B possuem elementos
em comum. J o conjunto C disjunto de A e B.

77
4.5. Conjuntos Numricos
4.5.1. Conjunto dos Nmeros Naturais

Chama-se conjunto dos nmeros naturais, simbolizado por N, o
conjunto formado pelos nmeros 0, 1, 2, 3, ...
Iezzi e Murakami (1993)

Representamos o conjunto dos nmeros naturais por:

N = {0,1,2,3,4,...,n,...}

onde n representa um elemento qualquer do conjunto.

importante saber que o conjunto dos nmeros naturais um
conjunto infinito e ordenado. Esta ltima propriedade significa que dados dois
elementos de N, possvel que eles sejam iguais ou que um seja maior ou
menor que o outro (SMOLE; DINIZ, 2003).

4.5.2. Conjunto dos Nmeros Inteiros

O conjunto dos nmeros inteiros uma extenso do conjunto dos
nmeros naturais, sendo representado por:

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

Assim como o conjunto dos nmeros naturais, o conjunto dos
nmeros inteiros tambm infinito e ordenado.

Todos os elementos de N pertencem tambm a Z, o que nos permite
afirmar que N um subconjunto de Z. Ou seja, NZ ou ZN.

Figura 4.4

No conjunto dos nmeros inteiros, destacamos alguns subconjuntos
notveis:

Z* = {..., -2, -1,1,2,...}: conjunto dos nmeros inteiros no-nulos;
Z
+
= {0,1,2,3,...} = N: conjunto dos nmeros inteiros no-
negativos;
Z
-
= {..., -2, -1,0}: conjunto dos nmeros inteiros no-positivos;
Z*
+
= {1,2,3,...}: conjunto dos nmeros inteiros positivos;
Z*
-
= {..., -3, -2, -1}: conjunto dos nmeros inteiros negativos.
78
4.5.3. Conjunto dos Nmeros Racionais

Antes de definir o conjunto dos nmeros racionais, preciso que
haja compreenso sobre o que um nmero racional.

Nmero racional todo nmero que pode ser escrito na forma a/b,
onde a e b so nmeros inteiros e b0.

Assim, dizemos que 2 um nmero racional, j que pode ser escrito
como 2/1. Do mesmo modo 1,75 e 0,333... tambm so nmeros racionais, j
que podem ser escritos, respectivamente, como 7/4 e 3/9

Todo nmero racional pode ser escrito na forma fracionria ou na
forma decimal. Dizemos que so racionais os nmeros cuja representao
decimal finita ou infinita e peridica.

Agora possvel definir o conjunto dos nmeros racionais.

O conjunto dos nmeros racionais, indicado por % definido como:
q = {a/b a e b Z e b0}.

Tal qual o conjunto dos nmeros naturais e o conjunto dos inteiros,
os racionais tambm so infinitos e ordenados.

Q = {.... -3, -2,-1, -1/2, 0,1,2,2/5,...}

Deve ficar claro que z um subconjunto de Q, uma vez que todo
nmero inteiro pode ser escrito na forma fracionria.

Figura 4.5

No conjunto Q destacamos, ainda, os seguintes subconjuntos:

Q*: conjunto dos nmeros racionais no nulos;
Q+: conjunto dos nmeros racionais no negativos;
Q_: conjunto dos nmeros racionais no positivos;
Q*+: conjunto dos nmeros racionais positivos;
Q*_: conjunto dos nmeros racionais negativos;

79
4.5.4. Conjunto dos Nmeros Irracionais

O conjunto dos nmeros irracionais composto por todos os
nmeros cuja representao decimal infinita e no peridica.

Com base nesta definio podemos afirmar que 2 um elementos
do conjunto dos irracionais, uma vez que 2 =
1,4121356237309504880168872420 ...

Existem alguns nmeros irracionais notveis, dentre os quais
destacam-se, o nmero , cujo valor aproximado 3, 141592654 e o nmero
ureo, representado pela letra grega (fi).

4.5.5. Conjunto dos Nmeros Reais

Quando falamos em conjunto dos nmeros reais (R) estamos nos
referindo a todos os nmeros j vistos at aqui. Ou seja, x um nmero real se
x pertence ao conjunto dos nmeros racionais ou se x pertence ao conjunto
dos nmeros racionais. Formalmente, temos:

De acordo com o que vimos at agora, podemos estabelecer a
seguinte relao:

Figura 4.6

Alm dos conjuntos apresentados (N, Z, Q, e R), tambm so
subconjuntos de R:

R* = {xR|x0}: conjunto dos nmeros reais no nulos;
R+ = {x R| x 0}: conjunto dos nmeros reais no negativos;
R_ = {x R|x 0}: conjunto dos nmeros reais no positivos;
R
*
+
= {x R |x > 0}: conjunto dos nmeros reais positivos;
R
*
-
= {x R |x < 0}: conjunto dos nmeros reais negativos;
80

O conjunto dos nmeros reais possui subconjuntos definidos por
meio de desigualdades, que so conhecidos como intervalos.

Resumidamente, sendo a e b dois nmeros reais, podemos ter:

Intervalos Reais

1. Intervalo fechado de extremos a e b.
{xR| a x b}

Notao: [a,b]

2. Intervalo aberto de extremos a e b.
{xR| a < x < b}

Notao:] a, b[

3. Intervalo aberto em a e fechado em b.
{x R| a < x b}

Notao:] a, b]

4. Intervalo fechado em a e aberto em b.
{XR| a < x < b}

Notao: [a,b[

Tambm devem ser considerados os intervalos infinitos, como segue:
81

4.5.6. Conjunto dos Nmeros Complexos

Os nmeros complexos surgiram da necessidade de representar
nmeros como -25, de forma a ser possvel solucionar algumas equaes. Foi
o matemtico Bombelli (1526 - 1573) que pela primeira vez considerou -1
como um nmero qualquer e passou a desenvolver regras para trabalhar com
esses nmeros.

A partir de ento, os matemticos passaram a trabalhar com razes
quadradas de nmeros negativos e a desenvolver estudos sobre esses
nmeros imaginrios, como designou Bombelli. Como fruto desses estudos,
surgiu a notao a + -b, que no final do sculo XVIII e incio do sculo XIX,
sobretudo a partir dos trabalhos de Friedrich Gauss, passou a ser chamado
de nmero complexo, sendo simbolizado por a + bi.

Nmero complexo todo par ordenado de nmeros reais (a, b) que
pode ser escrito na forma a + bi, onde i a unidade imaginria, ou seja, i = -1.

82
Sendo z = a + bi, a,bR, dizemos que a a parte real de z e b a
parte imaginria. Nos casos em que a = 0, z chamado de imaginrio puro, se
b0. Se b = 0,z real.

Os diferentes conjuntos numricos so resumidos no diagrama a
seguir:

Figura 4.7
83

1. (Extrado de GERSTING, 2003) Sejam os conjuntos A = {x |x R e x
2
- 4x +
3 = 0} e B = {x |x N e 1 < x < 4}. Prove que A B.

SOLUO:
Seja x A. Ento, xR e x
2
-4x + 3 = 0, o que nos da x=1 ou x = 3. Em ambos
os casos x N e 1 x 4, logo x B. Portanto, 4 B. Como o valor 4 pertence
a B, mas no pertence a B, podemos concluir que AB.

2. Quais dos seguintes conjuntos so iguais {1, 3, 5}, {5, 5, 3, 1}, {1, 3, 1, 3, 5},
{1, 3, 5}?

SOLUO:
Todos os conjuntos apresentados so iguais, uma vez a reordenao e a
repetio de elementos no alteram o conjunto.

3. (Adaptado de GERSTING, 2003) Dados os conjuntos A = {x |x mltiplo de
6} e B = {x | x mltiplo de 3}, prove que AB.

SOLUO

Consideremos um elemento qualquer x pertencente a A (xA). Para
provar que A e B, precisamos mostrar que este elemento arbitrrio x, satisfaz a
caracterstica de B, ou seja, devemos demonstrar que x mltiplo de 3. Visto
que x mltiplo de 6, ele pode ser decomposto como x = n.6, para algum
nmero inteiro n. Esta ltima equao pode ainda ser escrita na forma x = n.2.3
ou ainda x = m.3, onde m = n.2. Desta forma, possvel afirmar que x
tambm um mltiplo de 3 e, portanto, x B.

4. Mostre que A = {2, 4, 6, 8} um subconjunto prprio de B = {1, 2, 3, ..., 8, 9}.

SOLUO
Todo elemento de A pertence a B, portanto AB. Entretanto, h elementos de
B que no pertencem a A. Portanto AB. Desta forma, A um subconjunto
prprio de B

84
RESUMO

Um conjunto uma coleo no ordenada de objetos, onde cada objeto
chamado de elemento do conjunto.
H basicamente duas formas de representao de conjuntos: por
extenso e por compreenso. No primeiro caso, os elementos so
listados exaustivamente e, no segundo, o conjunto representado por
uma propriedade que caracteriza seus elementos.
Qualquer objeto que seja elemento de um conjunto dito pertencer a
este conjunto. Esta a relao de pertinncia e denotada por . Se
um objeto no faz parte de um conjunto, indica-se por .
Denomina-se conjunto vazio aquele que no possui nenhum elemento.
Representa-se por ou { }.
Chama-se unitrio o conjunto que possui um, e somente um elemento.
Qualquer conjunto que pode ser representado por extenso chamado
de conjunto finito.
Um conjunto dito infinito quando no possvel listar todos os seus
elementos.
Dois conjuntos so iguais se, e somente se, todo elemento pertencente
a um deles tambm pertencer ao outro e vice versa.
O conjunto A dito subconjunto de B se, e somente se, todo elemento
de A tambm elemento de B. Indica-se por A B.
O conjunto A dito subconjunto prprio de B se, e somente se, todo
elementos de A tambm elemento de B e existe um x B tal que x
A. Indica-se por A B.
Chama-se conjunto universo de uma Teoria a todos os entes que so
considerados como elementos nesta Teoria.
Conjuntos cujos elementos so valores numricos so chamados de
conjuntos numricos.
Os conjuntos numricos so os seguintes: naturais, inteiros, racionais,
irracionais, reais e complexos.

85
Exerccios Propostos

1. (Adaptado de Menezes, 2008) Para cada conjunto abaixo:
Descreva de forma alternativa (usando outra forma de notao);
Diga se finito, infinito, unitrio ou vazio;

a) Todos os nmeros mpares maiores que 12.
b) {x|x N e x par e 2<x<13}.
c) Todos os pases do mundo.
d) {Sarney, Collor, Itamar, Fernando Henrique, Lula}.
e) {x|x R e x
2
+4 = 0}.

RESOLUO
a) {x| x R e x impar e x>12}, conjunto infinito.
b) {4, 6, 8, 10, 12}, o conjunto finito.
c) {x|x so todos os paises do mundo}, conjunto finito.
d) { x|x so os presidentes aps o regime militar}, conjunto finito

2. (GERSTING, 2003) Sejam
A = {x | x N e 1< x < 50}
B = {x |x R e 1<x<50}
C = {x|xZ e x 25]

Quais das sentenas a seguir so verdadeiras?
a) A C (F)
b) -40 C (F)
c) B (V)
d) 17 A (V)
e) 3B (V)
f) AB (V)
g) {0, 1, 2} A (F)
h) {x| xZ e x
2
>625}C (F)

3. (LIPSCHUTZ; LIPSON, 2004) Liste os elementos dos conjuntos a seguir,
considerando o conjuntos universo U = {a, b, c, ... , y, z }. Identifique os
conjuntos iguais, se existirem.
A = { x | x vogal}
A={a, e , i , o ,u}
B = { x | x uma letra na palavra bolo}
B={b,l,o}
C = { x | x precede f no alfabeto}
C={a, b,c,d,e}
D = { x | x uma letra na palavra lobo}
D={b,l,o}
Os conjuntos B e D so iguais.
86

4. Mostre que A = {1,2,4,6,8} no um subconjunto de B = {x|x N e x
par}.

Sendo AB={2,4,6, 8}, e A-B={1}, observamos que existe um elementos de A
que no pertencem a B, logo A no subconjunto de B(AB).

5. Mostre que A = {1,2,4,6,8} um subconjunto prprio de B = {x|x e Z
*
+
}.

De acordo com a definio de subconjunto prprio temos: Se B contiver
elementos que no esto em A, ento A diz-se um subconjunto prprio de B.
Sendo os elementos de B={1, 2, 3, 4, ...}, observamos que todos os elementos
de A pertencem ao conjunto B, logo A subconjunto prprio de B.

87
Captulo 05 lgebra dos Conjuntos

No captulo anterior apresentamos os fundamentos da teoria dos
conjuntos, dando nfase, sobretudo, s relaes entre elemento e conjunto
(pertinncia) e entre conjunto e conjunto (continncia). Tais relaes
estabelecem mecanismos para a comparao de conjuntos.

Para complementar esse estudo, vamos introduzir, neste captulo, a
lgebra dos conjuntos, que consiste em algumas operaes que so definidas
sobre conjuntos: unio, interseo, complemento, diferena, produto
cartesiano, entre outras. Tais operaes so, na verdade, maneiras de se criar
novos conjuntos a partir de conjuntos j existentes, sendo muito aplicadas em
diversas reas. Em particular na informtica, existem aplicaes diretas em
linguagens de programao, teoria da computao, banco de dados.

importante que durante a leitura do texto e, principalmente, na
resoluo dos exerccios, voc consiga perceber a relao existente entre os
conectivos lgicos e as operaes sobre conjuntos, fazendo as devidas
associaes.

E ento, vamos l?

5.1. Unio de Conjuntos

Chamamos unio ou reunio de dois conjuntos A e B, denotada por
AB, ao conjunto de todos os elementos que pertencem a A ou a B.
AB = {x|x A xB}

Observe que A B corresponde operao lgica disjuno, uma
vez que considera os elementos que pertencem a A ou a B.

A representao grfica da unio dada a seguir. A unio
corresponde rea sombreada.

Figura 5.1

Considerando os conjuntos numricos apresentados na seo 4.5.,
imediata a concluso de que o conjunto dos nmeros reais nada mais
88
seno a unio entre o conjunto dos nmeros racionais e o conjunto dos
nmeros irracionais.

Pare e Reflita: Tomando por base o que afirmamos sobre o conjunto dos
nmeros reais, escreva uma afirmao similar sobre o conjunto dos nmeros
complexos.

Exemplo 5.1 Unio de Conjuntos

A = {1, 2, 3, 4 }
B = { 2, 4, 6}
C = {10, 12, 14}
D = {xlR|-1<x2}
E = [0, 5[

Dos conjuntos apresentados, podemos calcular:
A B = {1, 2, 3, 4, 6}
B C = {2, 4, 6, 10, 12, 14}

A representao grfica das operaes a seguinte:
A B BC

Note que os conjunto D e E so intervalos reais, para calcular D E,
devemos representar esses intervalos na forma grfica.

DE={xR|-1<x<5} ou ]-1,5[

89
5.2. Interseo de Conjuntos

Chamamos interseo de dois conjuntos A e B, denotada por A B,
ao conjunto de todos os elementos que pertencem simultaneamente a A e a B.

AB = {x|xA x B}

Perceba que a interseo de conjuntos corresponde operao
lgica conjuno, visto que considera apenas os elementos pertencentes ao
conjunto A e ao conjunto B, simultaneamente.

A representao grfica da interseo apresentada a seguir. A
regio sombreada corresponde ao conjunto interseo.

Figura 5.2

Exemplo 5.2 Interseo de Conjuntos
A = { 1, 2, 3, 4 }
B = { 2, 4, 6}
C = {10, 12, 14}
D = {xlR|-1<x2}
E = [0, 5[

Dos conjuntos apresentados, podemos calcular:
A B = {2, 4}
BC =
D E = {x IR |0 < x 2} ou [0, 2]

A representao grfica das operaes a seguinte:

A B BC

90
Os conjuntos B e C so disjuntos, uma vez que sua interseo o
conjunto vazio. Os conjuntos D e E so intervalos reais, o clculo da interseo
feito da seguinte forma:

D E = {x IR |0 x 2} ou [0, 2]

5.3. Complemento de um Conjunto Diferena

Lembre-se: Todos os conjuntos que so considerados em um determinado
contexto so subconjuntos de um conjunto universo fixo U.

Supondo o conjunto universo U, define-se o complementar de um
conjunto A, denotado por A
C
, como o conjunto formado por todos os elementos
que pertencem a U, mas no pertencem a A.

A
c
= {x | x A}

Observe que o complemento corresponde operao lgica
negao, uma vez que considera todos os elementos que no pertencem ao
conjunto em questo. A regio sombreada da figura representa o complemento
do conjunto A.

Figura 5.3

Exemplo 5.3 Complemento de um Conjunto
Supondo o conjunto universo U = {1, 2, 3, 4, 5, 6, 7, 8, 9} e sendo A = {2, 4, 6,
8}.

O complemento de A dado por AC = {1, 3, 5, 7, 9} Graficamente,
temos:
91

A rea sombreada representa o complemento do conjunto A. Ou
seja, contm todos os elementos do conjunto universo que no pertencem a A.

Supondo o conjunto IR como conjunto universo, temos:

Q
C
= I
I
c
= Q

O complementar de Q em relao ao conjunto IR o conjunto I, uma
vez que E contm todos os nmeros reais que no so racionais. Da mesma
forma, o complementar de I em relao a IR o conjunto Q.

Pare e Reflita: Para um conjunto universo U, determine o complemento do
conjunto vazio.

Outra importante operao entre dois conjuntos A e B a diferena,
que definida como o conjunto dos elementos que pertencem a A, mas no
pertencem a B. Isto :

A-B = {x|xA xB}

A regio sombreada representa graficamente a diferena entre os
conjuntos A e B.

Figura 5.4

importante observar que a diferena entre conjuntos no
comutativa, ou seja, A B B A.

Exemplo 5.4 Diferena de Conjuntos
Supondo os conjuntos A = {1, 2, 3, 4, 5, 6, 7, 8, 9} e B = {2, 4, 6, 8, 10, 12}.

Para os conjuntos considerados, temos:

92
A B = {1, 3, 5, 7, 9} B A = {10, 12}

Graficamente, temos:
A-B B-A

A regio sombreada representa a diferena e composta pelos
elementos que pertencem a um conjunto, mas no pertencem ao outro.

Considerando os seguintes conjuntos R, Q e I, temos:

R-Q = I
Q-I = Q

Se do conjunto dos nmeros reais retirarmos o conjunto dos
nmeros racionais, teremos como resultado o conjunto dos nmeros
irracionais. Da mesma forma, se retirarmos de todos os nmeros irracionais,
teremos o conjunto como resultado.

Auto Avaliao 5.1

(MENEZES, 2008) Suponha o conjunto universo U = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9}
e os seguintes conjuntos:

A= {2,4,6,8}
B= {1,4,5,9}
C= {x|xZ2x<5}

Determine:
1. AB
2. AC
3. A-B
4. (A B)
c

5. (B-A)
c
(A-B)

93
5.4. Conjunto das Partes

Pare e Reflita: Considerando A = {1,2,3), possvel determinar todos os seus
subconjuntos.

J sabemos que, para um conjunto A qualquer, as relaes a seguir
so sempre vlidas:

AA
A

Portanto, os subconjuntos de A so, alm do conjunto vazio e dele
prprio:

{1},{2},{3},{l,2},{l,3}e{2,3}

Com base no exposto, podemos determinar um novo conjunto cujos
elementos sejam todos os subconjuntos de A. Este novo conjunto chamado
de conjunto das partes, ou conjunto potncia, de A e denotado por P(A).

Supondo um conjunto A, o conjunto das partes de A, definido
como:
P(A) = {X | X A}

O conjunto das partes de um conjunto A dever conter pelo menos
e ele prprio, pois A e A A.

Exemplo 5.5 - Conjunto das Partes
Supondo os conjuntos A = {1}, B = {2, 4} e C = {, 1, {2}}, temos:

P(A) = {, {1}}, formado por todos os subconjuntos de A.
P(B) = {, {2}, {4}, {2, 4}}, formado por todos os subconjuntos de B.

Ateno para o conjunto P(C):

P(C) = {, {1}, {}, {{2}}, {, 1}, {, {2}}, {1, {2}}, {, 1, {2}}}

Observe a presena dos elementos {} e {{2}} em P(C). Ela
justificada pelo fato de e {2} serem elementos de C.

Pare e Reflita: Supondo que um conjunto A tem n elementos, quantos
elementos tem P(A)?

Com base no exemplo 5.5., podemos afirmar que dado um conjunto
A, com n elementos, o nmero de elementos do conjunto P(A) 2
n
. Existem
diversas maneiras de demonstrar a validade desta afirmao, a mais comum
a prova por induo, que no demonstraremos aqui.
>
94
Auto Avaliao 5.2
1. O que pode ser dito sobre A se P(A) = {,{x},{y},{x,y}}?
2. Encontre P{B) para B = {}.

5.5. Produto Cartesiano

Sejam dois conjuntos A e B. O produto cartesiano de A por B,
denotado por A X B, o conjunto de todos os pares ordenados
5
(a, b), onde
aA e bB. Isto ,

A x B = {(a,b)|a A b B}

Em outras palavras, podemos dizer que o produto cartesiano uma
operao binria que, aplicada a dois conjuntos A e B, resulta num outro
conjunto formado por seqncias de duas componentes, onde a primeira
componente de cada seqncia pertence ao conjunto A, e a segunda
componente pertence ao conjunto B (MENEZES, 2008).

O esquema a seguir ilustra a determinao dos pares ordenados
que vo compor o produto cartesiano entre os conjuntos A = {1, 2} e B = {2, 1}.

AxB = {(1, 2), (1, 1), (2, 2), (2, 1)}

Exemplo 5.6 Produto Cartesiano

Sejam os conjuntos A = {x}, B = {1, 2, 3} e C = {m, n}

A X B = {(x, 1), (x, 2), (x, 3)}
B X C = {(1, m), (1, n), (2, m), (2, n), (3, m), (3, n)}
A x A = A2 = {(x, x)} A X N = {(x, 1), (x, 2), (x, 3), ...}
BxA = {(1, x), (2, x), (3, x)}

conveniente destacar que o produto cartesiano uma operao:
a) No comutativa, ou seja, AxB BxA; Do exemplo 5.6., temos:

AxB = {(x, 1), (x, 2), (x, 3)}

5
Um par ordenado uma seqncia de dois elementos em uma ordem fixa.
95
BxA = {(1, x), (2, x), (3, x)}

Tenha em mente que (1, x) (x, 1), visto que em pares ordenados a
ordem em que os elementos aparecem levada em considerao. Com base
nisto, conclumos que os conjuntos A x B e B x A so disjuntos e, portanto,
diferentes.

b) No associativa, ou seja, (AxB)xCAx(BxC).

Considerando os conjuntos apresentados no exemplo 5.6.,
possvel definir:
(A x B) x C = {(x, 1), (x, 2), (x, 3)}x{m, n}
(A B) C = {((x, 1), m), ((x, 1), n), ((x, 2), m), ((x ,2), n), ((x, 3), m), ((x, 3), n)}

Quando A = B, o produto cartesiano A x B (A x A) chamado de
quadrado cartesiano e representado por A

Exemplo 5.7 - Produto Cartesiano e Conjuntos Numricos

Sendo R o conjunto dos nmeros reais, o conjunto R
2
formado por
todos os pares ordenados (x, y), tais que x R e yR.

Na tica da Geometria Analtica Plana, cada um desses pares
ordenados identificado como um ponto no plano cartesiano. Em outra viso, o
par (x,y) pode ser visto como um nmero complexo, que mais frequentemente
designado como x + yi.

A seguir, vamos estender o conceito de produto cartesiano para n
conjuntos.

Sendo A
1
, A
2
, ..., A
n
conjuntos quaisquer, o produto cartesiano de A
1
,
A2, ..., A
n
o conjunto A
1
X A
2
X ... X A
n
formado por todas as seqncias (x
1
,
x
2
, ..., x
n
) tais que x
1
A
1
, x
2
A
2
, ..., x
n
A
n
.

A
1
XA
2
X...XA
n
= {(x
1
, X
2
.....X
n
) | X
1
A
1
X
2
A
2
... X
n
A
n
}

No caso em que A
1
=A
2
= ... = A
n
, o conjunto A1 x A2 x ... x An a n-
sima potncia cartesiana de A, habitualmente designada por An.

Supondo, portanto, um nmero natural qualquer, designado por n, a
potncia cartesiana dos nmeros reais, Rn, o conjunto de todas as
sequncias de n nmeros reais.

Auto Avaliao 5.3
Sejam A = {a, b} e B= {a,b,c}. Determine:
1. AxB
2. BxA
3. A
2

4. (AxB)xA

96
5.6. Identidades de Conjunto

Considerando um conjunto universo U, as igualdades apresentadas
Tabela 5.1. so vlidas para qualquer conjunto AU.

Tabela 3.1: Leis da lgebra de Conjuntos

possvel demonstrar a validade de tais leis atravs da construo
de diagramas de Venn, ou atravs da incluso dos conjuntos em ambas as
direes.

Exemplo 5.8 Identidades de Conjunto
(LIPSCHUTZ e LIPSON, 2004) Demonstrar a seguinte igualdade (AUB)
c
=
A
c
B
C

Vamos ver um mtodo que utiliza as propriedades apresentadas
para um elemento x qualquer em cada lado da equao (incluso dos
conjuntos em ambas as direes). Para isso devemos provar que
(AB)
c
A
c
B
c
e A
c
B
C
(AB)
c
.

Etapa 01: (A B)
c
A
c
B
c

1. Sx (A U B)
c
e, ento x(A B).
2. Logo, x A x B.
3. Portanto, x A
c
x B
c
.
4. Assim, x A
c
B
c
.

Etapa 02: A
c
B
c
(AB)
c

1. Seja xA
c
B
c
. Ento, xA
c
xB
c
.
2. Logo, x A x B.
3. Portanto, x (A B).
4. Assim, x (A U B)
c
.

Nas duas etapas de prova, demonstramos que todo elemento
(AB)
c
pertence a A
c
B
c
e que todo elemento de A
c
B
c
pertence a (AB)
c
.
Essas duas incluses permitem concluir que ambos os conjuntos possuem os
mesmos elementos e, portanto, (AB)
C
= A
C
B
C
.

97
Outro modo de demonstrar a identidade por diagramas de Venn.
Observe: Inicialmente determinamos (AB)
c

Para determinar A
c
B
c
, vamos representar individualmente A
c
e B
c
.

Da anlise dos dois diagramas, conclumos que Ac C\BC
representado por:

Como as representaes so iguais, conclumos que (AB)
c
=
A
c
B
c
.

Quaisquer conjuntos envolvidos nas operaes de unio, interseo
e complemento satisfazem as leis apresentadas na Tabela 1, que chamaremos
aqui de identidades bsicas. Por isso, possvel utilizar essas identidades
bsicas para construir seqncias de demonstrao de equaes na lgebra
dos conjuntos.

Para ilustrar, vamos construir uma seqncia de prova para a
seguinte equao, extrada de Gersting (2003).

Vamos utilizar as identidades bsicas no primeiro membro da
igualdade de modo a obter o segundo membro como resultado. O primeiro
passo consiste na aplicao da identidade (2), que corresponde lei da
associatividade. Com isso, a equao se torna:

Em seguida, aplicando a identidade (3), ou lei da comutatividade, a
equao assume a seguinte configurao:
98

Agora, aps a utilizao da identidade (4), correspondente lei da
distributividade, ficamos com a seguinte equao:

O prximo passo consiste no uso da lei do complemento (identidade
(8b)). Com isso, ficamos com:

Em seguida, a aplicao da identidade (5a), ou lei da identidade ou
elemento neutro, resulta em:

Por fim, atravs da aplicao da identidade (8b), conclumos a
sequncia de demonstrao.

5.6.1. Dualidade

Voc deve ter notado que as identidades bsicas aparecem aos
pares na tabela. Esta organizao foi baseada no princpio da dualidade.

Denomina-se dual de uma equao E da lgebra dos conjuntos a
equao E* obtida pela substituio de cada ocorrncia de ,, e U em E
por, respectivamente, ,, e .
(LIPSCHUTZ; LIPSON, 2004)

Desta maneira, o dual de A B = BA AB = BA.

Na lgebra de conjuntos, se uma equao for uma identidade, ento
sua dual tambm o ser.

Quando demonstramos uma identidade de conjuntos usando as
identidades bsicas, demonstramos tambm sua dual. Assim, para a
identidade

Sua dual
99

Pare e Reflita: Tomando por base os conceitos apresentados, como
demonstrar a validade desta ltima identidade?

Exemplo 5.9 Identidades de Conjunto
(LIPSCHUTZ; LIPSON, 2004) Provar a seguinte identidade
(AuB)n(AU Bc) = A

Considerando que A, B so quaisquer subconjuntos de U, e
utilizando as identidades bsicas de conjuntos no primeiro membro da
identidade, temos: 1. A U (S n Sc) Aplicando a Lei da Distributividade 2.
^ U 0 Aplicando a Lei do Complementar em 1 3. ^
Aplicando Lei da Identidade ou Elemento Neutro em 2

A equao dual de (A U B) n {A U Bc) = A {A n B) U {A n Bc) = A e pode ser

igualmente demonstrada pela substituio das identidades bsicas utilizadas
na
sequncia de prova por suas respectivas duais.

Ao demonstrar uma identidade por meio das identidades bsicas de conjuntos,
estamos demonstrando tambm a sua dual.
r
Auto Avaliao 5.4
1. Prove a distributividade da unio sobre a interseo.
Au(BnC) = (AuB)n(AuC)
2. Demonstre a seguinte identidade: (AuB)n(AU Bc) = A

5.7. Conjuntos finitos e princpio da enumerao

J sabemos que um conjunto dito finito quando possvel listar
exaustivamente todos os seus elementos. Neste caso, correto dizer que um
conjunto finito aquele que possui exatamente x elementos distintos, com
xN.

O nmero de elementos de um conjunto A simbolizado por n(A).
Para quaisquer conjuntos A e B finitos, vlido o seguinte teorema:

Se A e B so dois conjuntos finitos, ento AB e AB tambm so
finitos e

n(AB) = n(A) + n(B) - n(A B)

Pare e Reflita: E se os conjuntos A e B forem disjuntos, como ficar a frmula?

100
A frmula apresentada pode ser estendida para trs conjuntos,
assumindo a seguinte configurao:

Atravs da induo matemtica, esta frmula pode ser estendida
para qualquer quantidade finita de conjuntos.

Exemplo 5.10 Conjuntos finitos e princpio da enumerao
Foi realizada uma pesquisa com 120 estudantes do curso de licenciatura em
informtica sobre suas habilidades de programao. Dos entrevistados:
65 programam em C 45 programam em Java 42 programam em PHP 20
programam em C e Java 25 programam em C e PHP 15 programam em Java e
PHP 8 programam nas trs linguagens
Com os dados apresentados podemos calcular o nmero de alunos que
programam em pelo menos uma das trs linguagens pesquisadas. Para isso,
determinamos n(C U/ U P) por meio da frmula:
n(C u/ u P) = n(C) + n(J) + n(P) - n(C n/) - n(C nP)-n(/nP) + n(Cn/nP)
Substituindo os dados coletados, temos:
n(C U/ U P) = 65 + 45 + 42 - 20 - 25 - 15 + 8 = 100

Outra forma de resolver problemas desta natureza atravs do
preenchimento do diagrama de Venn. Observe atentamente:

Iniciamos o preenchimento pela poro mais interna, ou seja, pela
regio que corresponde interseo dos trs conjuntos (CJP), que contm
8 elementos.

Figura 5.5

Em seguida, passamos s regies intermedirias, ou seja, a
interseo de conjuntos dois a dois (C n/), (/nP) e (Cn P), considerando apenas
o nmero de elementos que pertencem estritamente a cada uma das
intersees em questo. Deste modo, o nmero de estudantes que programam
em C e Java, mas no programam em PHP dado por: 20 - 8 = 12. De
maneira anloga, calculamos o nmero de estudantes que programam em C e
PHP, mas no em Java, e o nmero de estudantes que programam em Java e
PHP, mas no programam em C. Respectivamente, temos os nmeros: 25 - 8
= 17 e 15 - 8 = 7.
101

Figura 5.6

Posteriormente, preenchemos as regies correspondentes a cada
conjunto. Os valores anotados devem corresponder ao nmero de elementos
que pertencem exclusivamente a cada conjunto. Desta forma, devemos
observar o diagrama e verificar quantos elementos j esto includos em cada
conjunto para realizar os devidos descontos. Assim, encontramos o nmero de
estudantes que programam apenas em uma das linguagens pesquisadas.
Desta forma, 65 (12 + 17 + 8) = 28 estudantes programam apenas em C, 45
(12 + 8 + 7) = 18 estudantes programam apenas em Java e 42 (17 + 8 + 7)
= 10 estudantes programam exclusivamente em PHP.

Figura 5.7

Com base nestes dados, podemos calcular a quantidade de
estudantes que programam em pelo menos uma linguagem atravs da soma:
28 + 18 + 10 + 12 + 7 + 17 + 8 = 100. Podemos dizer, ainda, que dos 120
estudantes pesquisados, 20 no programam em nenhuma das trs linguagens.

Figura 5.8
102
Por meio do diagrama construdo somos capazes de responder a
vrias outras questes como, por exemplo, o nmero de estudantes que
programam exclusivamente em uma nica linguagem. Neste caso, basta
efetuar a soma: 28 + 18 + 10 = 56.

Auto Avaliao 5.5
1. Ainda considerando o exemplo anterior, quantos estudantes programam em,
no mnimo duas linguagens de programao? E quantos programam em, no
mximo, duas linguagens?
2. Sejam dois conjuntos A e B. Sabendo que ambos possuem 20 elementos e
que n(AUB) = 30, determine n(AHB).
<
>
1. (LIPSCHUTZ; LIPSON, 2004) Mostre que possvel An B = An C sem que
B = C.
SOLUO
Para demonstrar essa igualdade vamos nos valer de um exemplo que
demonstra que tal afirmao verdadeira. Sejam os conjuntos A = {a, b}, B =
{b,c}eC = {b, d}. Ento:
AnB = {b] Bnc = {b]
Portanto, AnB=AnC, embora B * C.
2. Demonstre que P(A) n P(B) = P{A n B), sendo A e B conjuntos arbitrrios.
SOLUO
Supondo CEP(A)nP(B).
Ento,CEP{A)eCEP{B).
Assim, CQAeCQB.
Desta ltima afirmao, vem: C A n B e, portanto, C P{A n B)
P g i n a | 136

103
Tpico Extra: Diferena Simtrica

Chama-se diferena simtrica entre dois conjuntos A e B a operao
que gera um novo conjunto formado por todos os elementos que pertencem a
apenas um dos conjuntos, ou seja, todos os elementos que pertencem a A ou a
B, mas no a ambos. A notao utilizada para representar este novo conjunto
A B. Alguns autores utilizam o operador para representar a diferena
simtrica.

Formalmente, podemos escrever:

A B = {x | (x A x B) (x A x B)}

Podemos ainda dizer que A B = (A - B) (B - A).

TAREFAS
1. Construa um diagrama de Venn para ilustrar a diferena simtrica entre dois
conjuntos arbitrrios A e B.
2. Para A = {1, 2, 3, 4} e B = {2, 4, 6, 8}, calcule A B.
3. Demonstre que A B = (A B) - (A B), para A e B arbitrrios.
Resoluo:
Sendo
A-B={1,3}
B-A={6,8}
Ento: A B = {1,3,6,8}

Demonstrao
(AB)-(AB)
Sendo a propriedade da diferena de dois conjuntos:
A B = AB
c
, temos:
(AB)-(AB) =(AB)(AB)
c
Lei de Morgan
(AB)(A
c
B
c
) Distributiva
((AB)A
c
)( (AB)B
c
) Distributiva
((AA
c
)(BA
c
))((AB
c
)(BB
c
) Elemento Neutro
((BA
c
))((AB
c
)) Diferena de Conjuntos
(A-B)(B-A)

104
Linguagens de Programao e Conjuntos
(extrado de: GERSTING, Judith L. Fundamentos Matemticos para a Cincia
da Computao. So Paulo: LTC, 2003)
O conceito de conjuntos um conceito til e uma noo geral que figura como
tipo de dados padro em algumas linguagens de programao, tais como
Pascal. Nessa linguagem o conjunto universo S precisa ser especificado e
ento as variveis que representam subconjuntos de S podem ser definidas.
Existe um limite de tamanho para o conjunto universo de forma que seus
subconjuntos no podem ser arbitrariamente grandes; alm disso, o conjunto
universo precisa ser enumervel ou contvel em uma determinada ordem,
como uma seqncia.
A declarao de tipo Pascal a seguir define o conjunto universo Alfabeto e
como o conjunto de todos os caracteres do teclado, tais como A, X, 7 e %.
type
Alfabeto = set of char;
Agora, subconjuntos de Alfabeto podem ser definidos como variveis no
programa, atravs de declaraes como
var
Iniciais : Alfabeto; Letras : Alfabeto;
e as atribuies a seguir seriam vlidas para essas variveis:
Iniciais : = ['A' . . 'F']; Letras := ['C . . 'G'];
P g i n a | 138
onde os pontos indicam uma seqncia na ordem de enumerao que, neste
caso,
a alfabtica. (Em Pascal so usados colchetes no lugar de chaves para
denotar os
conjuntos.)
Aps a atribuio acima, Iniciais tem o valor {A, B, C, D, E, F} e Letras
tem o valor {C, D, E, F, G}.
A ordem de enumerao conveniente para a definio de quais so os
elementos
de um conjunto, mas como eles so conjuntos, a ordem dos elementos no
importante, e a atribuio
Iniciais := ['B', 'A', 'D', 'F' 'E', 'C'];
d o mesmo valor a Iniciais que a atribuio anterior. Como um conjunto no
ordenado, no podemos referenciar elementos individuais do conjunto;
portanto, no podemos dizer "o terceiro elemento" do conjunto Iniciais.
As expresses condicionais podem ser formadas pela comparao das
variveis do tipo conjunto A e B da seguinte maneira:
Sintaxe de Programao Semntica (Significado)
A = B A = B
A <> B A B
A <= B A B
A >= B B A
Finalmente, as operaes de unio, interseo e diferena so oferecidas
pelos operadores +, * e , respectivamente. O contedo de uma varivel
conjunto A pode ser construdo dinamicamente durante a execuo do
programa, iniciando-se A como um conjunto vazio, e ento realizando unies
105
de A com conjuntos com um nico elemento, a fim de incluir esses elementos
em A.
P g i n a | 139
RESUMO
Se A e B so conjuntos, a unio de A e B, denotada por A u B, o conjunto
que contm os
elementos que pertencem a A ou que pertencem a B.
Se A e B so conjuntos, a interseo de A e B, representada por An B, o
conjunto que
contm os elementos que pertencem simultaneamente a A e a B.
Se A e B so conjuntos, a diferena de A e B, simbolizada por A - B, o
conjunto formado
por todos os elementos que pertencem a A e no pertencem a B.
Sendo U o conjunto universo, chamamos de complemento de A o conjunto U -
A e
denotamos por Ac.
Denomina-se conjunto das partes de um conjunto A o conjunto cujos elementos
so todos
os subconjuntos de A.
Se um conjunto A possui n elementos, ento seu conjunto das partes tem 2n
elementos.
O produto cartesiano de dois conjuntos A e B o conjunto de todos os pares
ordenados dos
elementos de A que podem ser formados com os elementos de B.
Existem identidades bsicas (em pares duais) que podem ser utilizadas para
provar a
identidades de conjuntos.
Se A e B so conjuntos finitos, ento AuB e AnB tambm o sero, sendo vlida
a seguinte
igualdade n(A u S) = n(A) + n(B) - n(A n B).

P g i n a | 140
106
Exerccios Propostos

1. Sejam os conjuntos A = {a, b, c, d}, B = {c, d, e, f, g} e C = {b, d, e, g},
subconjuntos de U = {a, b, c, d, e, f, g, h, i, j}. Determine:
a) A B = {a,b}
b) B A = {e,f,g}
c) (AC) B = {a, b}
d) (A B)
C
={a, b, e, f, g, h i, j}
e) (AB)C
C
= {a, c, f}

2. (IEZZI; MURAKAMI, 1993) Dados os conjuntos A = {1, 2, 3, 4, 5}, B = {1, 2,
4, 6, 8} e C = {2, 4, 5, 7}, obtenha um conjunto X tal que X A e A - X = B C.
Dados:
A = {1, 2, 3, 4, 5}
B = {1, 2, 4, 6, 8}
C = {2, 4, 5, 7}
X A
A - X = B C
Sendo
B C = {2, 4, 5}
Se X A, ento: X = A-{2, 4, 5}, logo X = {1,3, 5}

3. (GERSTING, 2003; LIPSCHUTZ; LIPSON, 2004) Sejam A, B e C
subconjuntos de U. Demonstre as seguintes identidades, atravs da incluso
em ambas s direes ou usando as identidades bsicas de conjuntos.

a) A(BA) = A
sendo A=p(x) e B= q(x), temos:
{x| p(x)(q(x)p(x))}, usando a propriedade de simplificao temos:
{x| p(x)p(x)}= {x| p(x)} = A

b) (AB)(AB
C
) = A
1. A(BB
c
) Distributiva
2. AU Complemento
3. A Elemento Neutro.

g) A (B A
C
) = B A
1. (AB)(AA
c
) Distributiva
2. (AB) Complemento
3. AB Elemento Neutro
4. BA Comutativa

h) (AB) = (AB
C
)(A
C
B)(AB)
(AB
C
)(A
C
B)(AB) Comutativa
(AB
C
)(BA
C
)(BA) Associativa
(AB
C
)(BA
C
A) Distributiva
(AB
C
)(BU) Elemento Neutro
(AB
C
)B Elemento Neutro
(AB
C
)(BB
c
) Distributiva
107
(AB
C
)U Elemento Neutro
A(B
C
U) Associativa
AB Elemento Neutro

4. Esboce um diagrama de Venn para os conjuntos A, B e C, onde A B, os
conjuntos B e C so disjuntos, mas A e C tm elementos comuns.
No existe tal diagrama de Venn. Se A e C tem um elemento em comum x, e
AB, ento x deve tambm pertencer a B, Logo, B e C tambm devem ter um
elemento em comum.

5. (IEZZI; MURAKAMI, 1992) Sabendo que A e B so subconjuntos de U, A
C
=
{e, f, g, h, i}, AB = {c, d}, AB = {a, b, c, d, e, f}, responda: quantos elementos
tm A e B, respectivamente?
Sendo:
AB = {c, d}
AB = {a, b, c, d, e, f}
A
c
={e, f, g, h, i}
Temos: ABA
c
=U
{a, b, c, d, e, f}{e, f, g, h, i}={a,b,c,d,e,f,g,h,i}
A=U-A
c
={a,b,c,d}, logo a tem 4 elementos
B=(AB)((AB)A
C
)={c,d,e,f}, logo B tem 4 elementos

6. (PINTO, 1999) Determine o conjunto das partes do conjunto das partes de A
= { a }.
P(A)={,{a}}

7. (IEZZI; MURAKAMI, 1992) Considerando os
conjuntos A, B e C, representados no diagrama
abaixo e sabendo que
n(AB) = 24
n(AB) = 4
n(BC) = 16
n(A - C) = 11
n(B - C) = 10, calcule:

a) n(A - B)=x
x+4+12=24
x=24-16
x=8
b) n(ABC)
n(A - C)- n(B - C)=1
c) n(B-(CA))
16-4- 6=16
d) n((AB) - C)
4-1=3
e) n(B - (AB))
16-4=12

108
Capitulo 06 Estudo das Funes

O conceito de funo de fundamental importncia para a
Matemtica e para a Cincia da Computao, pois apresenta a capacidade de
representao de situaes do mundo real (GERSTING, 2003). Geralmente, o
conceito de funo est atrelado idia de relacionar valores. Na verdade,
uma funo um tipo especial de relao, que, por sua vez, corresponde
associao entre elementos de dois conjuntos.

Neste captulo, faremos um breve estudo sobre relaes e funes,
priorizando seus aspectos mais relevantes a serem aplicados na Cincia da
Computao.

Vamos l?

6.1. Noes sobre Relaes

Certamente voc j teve contato com inmeras relaes
matemticas durante seus estudos. Nos captulos anteriores estudamos
algumas delas: est contido em, um subconjunto de, pertence a. Alm
disso, h outros exemplos de relaes, como menor que, maior que,
perpendicular a, e assim por diante. Com base no exposto, podemos dizer que
uma relao uma comparao entre dois objetos (SCHEINERMAN, 2003).

Toda relao expressa em termos de um par ordenado (a, b), onde
indicamos a como o primeiro elemento e b como o segundo elemento.

Uma relao um conjunto de pares ordenados.

E voc provalmente deve estar se perguntando: como assim, um
conjunto de pares ordenados? Vamos, ento, explicar melhor o que isto
significa.

Considere dois conjuntos A = {1, 2, 3} e B = {1, 4, 9, 16, 25}. J
sabemos que o produto cartesiano de A por B o conjunto AxB = {(x,y)|x A
y B}, formado por 15 elementos. Vamos considerar agora o conjunto dos
pares ordenados (x,y) de A x B tais que y = x
2
. Neste caso, temos:

R = {(1,1), (2,4), (3,9)}

Note que o conjunto R um subconjunto de A x B, no qual cada
elemento de A associado a um elemento de B por meio de uma regra ou
correspondncia. Neste caso, dizemos que R uma relao de A em B,
representada por um conjunto de pares ordenados, nos quais o segundo
elemento igual ao quadrado do primeiro elemento. Assim, podemos afirmar
para cada par ordenado (x, y):

109
i. (x,y) R, x relacionado com y, ou seja x R y.
ii. (x,y) R, x no relacionado com y, ou seja x y.

Deste modo, podemos afirmar que xRy (x,y)R. Ou seja, x est
associado a y pela relao R.

Dados dois conjuntos A e B, chama-se relao binria, ou
simplesmente relao de A em B a todo subconjunto de A X B.

Ou seja, R relao de A em B, se e somente se, RAXB.

O conceito de relao pode, ainda, ser estendido para n conjuntos.
Neste caso, temos uma relao n-ria, que definida como segue:

Dados dois conjuntos A
1
, A
2
, ... , A
n
chamamos relao n-ria em A
1
,
A
2
, ..., A
n
um subconjunto de A
1
xA
2
x ...xA
n
. Ou seja,

R relao de em A
1
, A
2
, ..., A
n
, se e somente se, R A
1
xA
2
x...xA
n
.

Exemplo 6.1 Relaes

a) Sejam os conjuntos A = {Machado de Assis, Cames, Gonalves Dias} e B =
{Os Lusadas, Cano do Exlio, Dom Casmurro};

b) Considere os conjuntos M = {1, 2, 3, 4} e N = {1, 2, 3}.

Podemos definir uma relao de A em B por (x, y) R se x autor de
y. Assim:

R = {(Machado de Assis, Dom Casmurro), (Cames, Os Lusadas), (Gonalves
Dias, Cano do Exlio)}

De acordo com R, Machado de Assis R Dom Casmurro, Cames R
Os Lusadas, etc.

Sobre os conjuntos M e N, podemos definir R = {(x, y) | x < y}.
Assim, os elementos de R so todos os pares ordenados de M x N, nos quais o
primeiro elemento menor que o segundo.

Assim, temos:
R = {(1, 2), (1, 3), (2, 3)}

Pare e Reflita: Toda relao um conjunto. Ento,
possvel realizar sobre relaes, as operaes de unio,
interseo e diferena, por exemplo?

110
Uma relao pode ser representada graficamente por meio de um
diagrama de flechas. A seguir, temos a notao grfica de R = {(x, y) | x < y},
apresentada no Exemplo 6.1.

Figura 6.1

comum chamarmos o conjunto M de conjunto de partida da
relao e o conjunto N de conjunto de chegada ou contradomnio da relao.
(IEZZI; MURAKAMI, 1993)

Voc deve ter notado que nem todos os elementos dos conjuntos M
e N aparecem como elementos dos pares ordenados que compem a relao
R. Com base nisto, podemos definir dois conjuntos especiais, conforme
ilustrado na figura.

Figura 6.2

O conjunto DM chamado de domnio da relao R e contm
todos os primeiros elementos dos pares ordenados que pertencem a R. J o
conjunto Im N conhecido como imagem de R e formado por todos os
segundos elementos dos pares ordenados que pertencem a R. Deste modo,
podemos escrever para a relao R = {(x, y) | x < y}.

D = {1, 2} e Im = {2, 3}

111
Uma observao importante sobre as relaes binrias que um
determinado primeiro elemento x e um certo segundo elemento y podem ser
relacionados vrias vezes na relao (GERSTING, 2003). Dizemos que uma
relao R biunvoca ou injetiva (ou de um-para-um) se cada primeiro
elemento x e cada segundo elemento y aparecem no mais que uma vez em R
Ou seja, cada elemento x faz par com um nico elemento y e vice versa.

Figura 6.3

Nos casos em que um primeiro elemento x ou um segundo elemento
y aparece mais de uma vez em R, temos, respectivamente, que R uma
relao um-para-vrios ou vrios-para-um. Em outras palavras, dizemos que
em uma relao do tipo um-para-vrios quando um elemento do domnio
possui mais de uma imagem correspondente. Quando um elemento do
contradomnio imagem de mais de um elemento do domnio, dizemos que a
relao do tipo vrios-para-um, ou unvoca.

Figura 6.4

Figura 6.5
112

Existem, ainda, as relaes do tipo vrios-para-vrios. Em relaes
deste tipo pelo menos um elemento do domnio possui mais de uma imagem e,
simultaneamente, existe pelo menos uma imagem relacionada a mais de um
elemento do domnio.

Figura 6.6

Auto Avaliao 6.1

Dados os conjuntos:
A={-1, -2, 0, 2}
B={0, 1, 2, 4, 8}
C = {1,2,3,4}

Para cada uma das relaes abaixo, represente por diagramas de
flecha, identifique domnio e imagem, classifique em um-para-um, um-para-
vrios, vrios-para-um ou vrios-para-vrios.

1. R
1
= {(x,y)A x B |x=y}

113
2. R
2
={(x,y) A x C| x + y = 0}

3. R
3
={(x,y) A x B| xy}

6.2. Conceitos Introdutrios sobre Funes

Para entender o que uma funo, acompanhe a seguinte
simulao. Considere uma mquina conforme ilustrao abaixo:

Figura 6.7

Esta mquina funciona da seguinte forma: ela recebe como
entrada um nmero inteiro e apresenta como sada o nmero inserido
114
adicionado de 2. Em termos mais simples, podemos dizer que a mquina
transforma um elemento de entrada atravs de uma regra e apresenta o
resultado desta transformao na sada.

A nossa mquina trabalha com valores numricos inteiros, ento
apenas valores inteiros so permitidos como entrada. Mas as regras definidas
para realizar as transformaes no devem ser, obrigatoriamente, frmulas
algbricas. Por exemplo, podemos determinar que a entrada seja um retngulo
e a sada seja o valor da diagonal desse retngulo. Neste caso, somente
retngulos seriam vlidos como entrada. Scheinerman (2003) afirma que o
mais importante na definio da regra que transformar dados de entrada em
dados de sada uma criteriosa especificao das entradas permitidas e, para
cada entrada, a sada correspondente.

Pare e Reflita: Com base no que foi apresentado,
formule uma definio para funo.

A seguir, apresentamos um conceito mais rigoroso de funo.

Dados dois conjuntos A e B, no vazios, chamamos funo de
A em B, denotada por f: A B, a todo subconjunto de A X B no qual cada
elemento de A aparece uma nica vez como primeiro componente de um
par ordenado.

Pela definio, voc certamente concluir que uma funo , na
verdade, um tipo especial de relao binria. Ainda, tomando por referncia a
definio apresentada, voc notar que toda funo uma relao do tipo um-
para-um ou uma relao do tipo um-para-vrios. Alm disso, numa funo,
todos os elementos do conjunto de partida precisa ser estar associado a algum
elemento do contradomnio.

Para melhor entendimento, acompanhe as seguintes situaes
(IEZZI; MURAKAMI, 1993), considerando os conjuntos A = {0, 1, 2, 3} e B = {-1,
0, 1, 2, 3, 4} e as seguintes relaes de A em B:

R = {(x,y)A x B | y = x + 1}
S = { x,y)A x B | y = x}
T = { x,y)A x B | y = x}
V = { x,y)A x B |y = (x 1 ) - 1}
W = { x,y)A x B | y = 2}

Para determinar quais das seguintes relaes so funes (ou
aplicaes) de A em B, vamos analisar cada uma delas.
A relao R pode ser representada como segue:
115

Figura 6.8
Da, R = {(0, 1), (1, 2), (2, 3)}. Observe que cada x A, exceto o 3,
est associado a apenas um y B, tal que (x, y) R Para o elemento 3 A,
no possvel associar nenhum elemento y B, de forma que (3, y) R

Neste caso, afirmamos que a relao R no uma funo de A em
B, visto que ela no obedece norma de que todos os elementos do domnio
da relao devam estar associados a pelo menos um elemento do
contradomnio.

Para a relao S, temos o seguinte diagrama de flechas:

Figura 6.9

S = {(0, 0), (1, 1), (1, -1), (2, 2), (3, 3)}. Perceba que esta relao
do tipo vrios-para-um, portanto j se pode afirmar que a mesma no uma
funo de A em B.

A relao T = {(0, 0), (1, 1), (2, 2), (3, 3)} representada
graficamente como:

Figura 6.10

116
Perceba que cada elemento xA est associado a apenas um yB.
Neste caso, a relao T uma funo, j que todos os elementos do conjunto
A possuem um elemento associado no conjunto B e esta associao nica.

Podemos representar a relao V pelo seguinte diagrama de
flechas:

Figura 6.11

V = {(0, 0), (1, -1), (2, 0), (3, 3)}. Observe que, neste caso, todos os
elementos do conjunto A possuem associao com elementos do conjunto B,
sendo nica tal associao. Portanto, V uma funo de A em B.

Por fim, considerando a relao W = {(0, 2), (1, 2), (2, 2), (3, 2)},
temos:

Figura 6.12

Aqui, temos mais um exemplo de funo, uma vez que para todo x
A, existe um s y B, de forma que (x, y) W.

Para que uma relao de A em B seja uma funo, necessrio
que todo elemento x A, sem exceo, esteja associado a um, e somente
um, elemento y B.

A figura abaixo mostra a representao de uma funo arbitrria.
117

Figura 6.13

Neste caso, f uma funo de A em B, que representada por f:
AB. A associao dos elementos de A com os elementos de B um conjunto
formado por todos os pares ordenados (x, y), onde xA e yB. y o valor de B
que a funo associa ao valor x de A, ou seja, f(x) = y (GERSTING, 2003).

Como em qualquer relao, o conjunto A denominado domnio da
funo, o conjunto B o contradomnio e cada elemento y = f(x) chamado
de imagem de x. Ao conjunto de todos os valores de imagem denominamos
imagem de f.

Exemplo 6.2 Funo

Considere os conjuntos A = {-1, 0, 1} e B = {0, 1} e as seguintes
relaes binrias de A em B:

R ={(x,y) A x B |x y = 0}
S = {(x,y) A x B | y = x}

Para definir quais das relaes apresentadas so funes, vamos
analisar cada uma delas.

A relao R = {(0, 0),(1, 1)} no funo, pois existe um elemento
de A que no est associado a algum elemento de B. Observe o diagrama:

A relao S = {(-1, 1), (0, 0), (1, 1)} funo, a qual vamos
denominar f. Observe o diagrama:
118

O domnio da funo o conjunto D = {-1, 0, 1}.

O contradomnio da funo o conjunto CD = {0, 1}

Para determinar a imagem de cada elemento do domnio, preciso
aplicar a funo a cada um, como segue:

f(-1) = (-1)
2
= 1
f(0) = 0
2
= 0
f(1) = 1
2
= 1

A imagem de f o conjunto Im = {0, 1}

Auto Avaliao 6.2

(GERSTING, 2003) Quais das relaes a seguir definem funes do domnio
no contradomnio indicados? Nos casos em que no forem funes, justifique
sua resposta.

1.f: AB, onde A = B = {1,2,3}, f = (1, 1), (2, 3), (3,1), (2,1)}
No uma funo: 2 S tem dois valores associados (2,3) e (2,1)

2. g: ZZ, onde g definida por g(x) = |x|.
Sendo uma relao um-para-varios, onde xZ, conclumos que uma funo.

3. f: S T, onde S o conjunto de todas as pessoas em sua cidade maiores
de 18 anos, T conjunto dos nmeros de carteira de identidade e f associa
cada pessoa ao nmero de carteira de identidade.
No funo, nem todo elemento de S tem um nmero de RG.


1. Dada a funo f: RR definida por f(x) = 2x - 4. Determinar a imagem de -2.

SOLUO:

A imagem pedida dada pela aplicao da funo ao elemento do
domnio -2 da seguinte forma:

119
f(-2)=2. (-2)
2
-4 = 2 . 4 - 4 = 8-4 = 4

Portanto, a imagem de -2 em f 4.

2. Seja a funo f: R R definida por f(x) = x 5/2. Qual o elemento do
domnio que tem 1/2 como imagem?

SOLUO: 1

Queremos determinar o valor de x tal que f(x) = -1/2. Para isso,
bastante resolver a seguinte equao: (x-5)/2= -1/2. Resolvendo a equao,
temos:

(x-5)/2 = - 2. (x 5) = -1.22x-10 = -22x = -2 + 10x= 8/2 x = 4

Portanto, o elemento do domnio procurado x = 4

6.2.1. Propriedades das Funes
6.2.1.1. Sobrejetividade

Considere a funo f: A B, definida por f(x) = x, onde A = {-1, 0,1}
e B = {0, 1}. Esta funo pode ser representada como segue:

Figura 6.14

Note que todo elemento do conjunto B imagem de algum elemento
pertencente ao conjunto A. Ou seja, o conjunto imagem de f igual ao seu
contradomnio. Neste caso, dizemos que a funo f sobrejetiva.

Uma funo f: A B dita sobrejetiva (ou sobrejetora) se seu
conjunto imagem for igual o seu contradomnio.

6.2.1.2. Injetividade

Seja a funo f: AB, definida por f(x) = x, onde A = {0, 1} e B = {0,
1, 2}. Esta funo pode ser representada como segue:
120

Figura 6.15

Observe no existe elemento em B que seja imagem de mais de um
elemento de A, ou seja, a relao entre os conjuntos A e B de um-para-um.
Neste caso, dizemos que a funo f injetiva (ou injetora).

Uma funo f: A B dita injetiva se a relao que a define for do
tipo um-para-um.

6.2.1.3. Bijeo

Uma funo f: A B dita bijetiva se for, simultaneamente,
sobrejetiva e injetiva.

Exemplo 6.3 Bijeo

Sejam os conjuntos A = {0, 1, 2} e B = {1, 2, 3}. A funo f: A B,
definida por f(x) = x + 1, bijetiva.

De fato, para cada elemento de A existe um nico correspondente
em B. Alm disso, o contradomnio coincide com o conjunto imagem de f.

121

1. (GERSTING, 2003) Provar que a funo f: R IR, definida por g(x) = x
3

uma funo sobrejetiva.

SOLUO:

J sabemos que uma funo sobrejetiva quando seu conjunto
imagem igual ao seu contradomnio. Para provar isto, basta mostrar que CD
Im.
Portanto, seja r um nmero real qualquer e seja x = r. Ento x
um nmero e, portanto, pertence ao domnio de f.

Aplicando a funo a x, temos: g(x) = (r)= r. Com isso, provamos
que qualquer nmero no contradomnio imagem por g de algum nmero no
domnio e, portanto, CD Im.

2. A funo apresentada na questo anterior injetiva?

SOLUO:

A resposta sim, pois para dois nmeros quaisquer do domnio,
vlido que se x y, ento g(x) g(y). Ou seja, quaisquer que sejam x e y reais,
se x y, ento x y.

Auto Avaliao 6.3

1. (LIPSCHUTZ; LIPSON, 2004) Determine se cada uma das seguintes
funes injetora.
a) A cada pessoa no estado do Maranho, associe o nmero correspondente
sua idade. No injetora, pois pode haver pessoas de mesma idade.
b) A cada livro escrito por um nico autor, associe o autor. No injetora, pois
um autor pode escrever mais de um livro.
c) A cada aluno da sua classe, associe seu nmero de matrcula. uma funo
injetora.
d) A cada cidade maranhense, associe o nome de seu prefeito. um funo
injetora.

2. (GERSTING, 2003) Quais dos itens a seguir representam funes? Quais
so injetivas? Quais so sobrejetivas?

a)f: {1,2,3}{p,q,r}, onde f = {(1,q), (2, r), (3, p)}
sobrejetiva e injetiva, concluso bijetiva
b)f:ZN, onde f (x)=x + 1. Funo polinomial do 2 grau.
c)f:N N, onde f(x) = 2
x
. Funo exponencial, injetiva.

122
6.2.2. Composio de Funes

Na Matemtica, muito comum a obteno de novas funes a
partir de funes j existentes. Um dos objetivos deste tipo de construo ,
segundo Smole e Diniz (2003), o estudo de propriedades de uma funo mais
complexa a partir de outras mais simples.

Sejam as funes f: AB e g: BC, isto , o contradomnio de f o
domnio de g. Ento, podemos definir uma nova funo de A para C,
denominada composio de f e g e denotada por g f, como segue:

(g f) (x) g (f(x))

Esta definio pode ser ilustrada como segue:

Figura 6.16

A funo g f aplicada da direita para a esquerda. Ou seja, f
aplicada primeiro, e ento aplica-se a funo g.

Acompanhe o exemplo ilustrativo para melhor entendimento. Sejam
A = {-1, 0, 1}, B = {0, 1, 2} e C = {0, 2, 4} e as funes f: AB, definida por f(x)
= x
2
, e g: BC, definida por g(x) = 2x. Queremos calcular as imagens da
funo composta g f.

Como j sabemos, inicialmente aplicada a funo f. Assim, temos:

f(-1) = (-1)
2
= 1
f(0) = 0
2
= 0
f(1) = 1
2
= 1

Em seguida, aplicada a funo g. Desta forma, temos:

g(0) = 2.0 = 0
g(1) = 2.1 = 2
g(2) = 2.2 = 4

A funo composta g f:

g(f(-1)) = g(1) = 2.1 = 2
g(f(0)) = g(0) = 2.0 = 0
g(f(1)) =g(1) =2.1 = 2
123

Representando f, g e g f por diagramas, temos:

Figura 6.17

Para obtermos a lei de correspondncia da funo composta g f,
devemos aplicar g funo f, substituindo x em g por f(x). Ou seja, se f(x) = x
2

e g(x) = 2x, ento a lei de correspondncia da composta g f dada por: g(f(x)
= 2 . f(x) = 2 . x. Assim, (g f)=2x.

Exemplo 6.4 Composio de Funes

Seja f: RR a funo definida por f (x)= x -2 e seja g: RR a funo
definida por g(x) = 1 x.

A frmula que define a funo composta f g a seguinte:

f(g(x)) = g(x) 2
f(g(x) = 1 x = -x - 1

Para calcular (f g) (1) podemos utilizar a frmula encontrada.
Assim,

f(g(1)=-1 - 1 = -1-1 = -2

Auto Avaliao 6.4

Seja f: NN definida por f(x) = 3x - 1 e g: NN definida por g(x) =
2x. Calcule o seguinte:

1. (g f)(3)
f(3)=3.3-1=8
g f = g(f(3))=2.8=16

124
2. f(g(3))
g(3)=2.3=6
f(g(3))=3.6-1=17

3. (f g)(x)
f g = f(g(x))=f(2x)=3.(2x)-1=6x-1

4. (g f) (x)
g f = g(f(x))=g(3x-1)=2.(3x-1)=6x-2

6.2.3. Funes Inversas

De acordo com Smole e Diniz (2003), o objetivo das funes
inversas criar novas funes a partir de outras. possvel, ainda, fazer uso
da noo de funes inversas para estudar relaes entre duas funes. A
seguir, mostraremos como obter a inversa de uma funo e qual o seu
significado. Acompanhe atentamente o exemplo.

Sejam os conjuntos A = {1, 2, 3} e B = {3, 5, 7}. Consideremos,
ainda, a funo f: AB definida por f(x) = 2x + 1.

Figura 6.18

Observe que a funo f bijetora e que D(f)=A e lm(f) = B.

Agora vamos considerar a relao f
-1
= {(y,x)|(x,y) f }, inversa de f.
Podemos afirmar que f
-1
tambm uma funo, uma vez que para todo y B
existe um nico x A de modo que (y,x) f
-1
.
125

Figura 6.19

Note que D(f
-1
)= B e Im(f
-1
) = A

Com base no exposto, podemos afirmar que:

Uma funo f: AB inversvel se a relao inversa uma funo
de B para A.

Alm disso, considerando uma funo f: AB, afirmamos que a
relao inversa f
-1
uma funo de B em A se, e somente se, f uma funo
bijetiva.

Para finalizar esta seo, conveniente demonstrar uma maneira de
determinar a funo inversa de uma funo / dada. Comumente, utilizamos a
regra prtica apresenta a seguir (IEZZI; MURAKAMI, 1993).

Determinao da Funo Inversa

Dada uma funo bijetora f: AB, definida por y = f(x), a funo
inversa f
-1
calculada por meio da execuo dos seguintes passos:

1. Na sentena y = f(x) fazemos uma mudana de varivel, trocando x por y.
Assim, obtemos x =f(y);
2. A partir da expresso x = f(y), escrevemos y em funo x, obtendo y = f
-1
(x).

Exemplo 6.5 Funes Inversas

Seja a funo f: AB definida por f(x)= 2x + 1, apresentada no inicio
da seo 4.2.

Para determinar a funo f
-1
, inversa de f, procedemos como segue:
Aplicando a regra 1, ficamos com a seguinte expresso:

x=2y + 1

Em seguida, isolamos y:

126
2y=x-1y=(x-1)/2

Esta ltima expresso a funo f
-1

Auto Avaliao 6.5

Para cada uma das seguintes bijees f: RR, calcule f
-1
.

1. f(x) = 8x
x=8yy=x/8, logo
f
-1
(x)= x/8

2. f(x)=(x-3)/2
x=(y-3)/2y=2x+3, logo
f
-1
(x)= 2x+3

3. f(x) = x
5

x=y
5

y=
5
x

6.3. Funes Matemticas

O objetivo desta seo apresentar algumas funes que possuem
aplicaes freqentes na Cincia da Computao, sobretudo no
desenvolvimento e na anlise de algoritmos (LIPSCHUTZ; LIPSON
, 2003).

6.3.1. Funes Floor e Ceiling

As funes floor e ceiling podem ser entendidas como funes de
arredondamento.

Se x um nmero real qualquer, ento podemos afirmar que x est
entre dois nmeros inteiros conhecidos como floor e ceiling de x (LIPSCHUTZ;
LIPSON, 2005).

[x] chamado floor de x e expressa o maior inteiro menor ou igual a x.

Por exemplo: [1,75] = 1, [3,14] = 3, [2] = 1 e [-5,67] = -6.

[x] chamado ceiling de x e denota o menor inteiro maior ou igual a x.

Por exemplo: [1,75] = 2, [3,14] = 4, [2| = 2 e [-5,67] = -5.

Quando x um nmero inteiro, [x]=[x]. Caso contrrio, [x]+1=[x].

127
6.3.2. Funes Valor Inteiro e Valor Absoluto

A funo valor inteiro, conhecida como funo de truncamento,
sendo escrita como INT(x).

INT(x) transforma x em um valor inteiro, eliminando sua parte
fracionria.

Por exemplo, INT(1,75) = 1, INT(3,14) = 3, INT(2) = 1 e INT (-5,67)
= -5.

A funo valor absoluto, ABS(x), representa o mdulo de x. Pode
tambm ser denotada por |x|.

O valor absoluto de um nmero real x, denotado por ABS(x),
dado por:

ABS(x) = x, se x0
-x, se x<0

Por exemplo: ABS(1,75) = 1,75, ABS(-0,675) = 0,675 e ABS(-5,67) =
5,67.

6.3.3. Funo Resto

Como o prprio nome j sugere, a funo resto expressa o resto
inteiro da diviso de um nmero inteiro x qualquer por um nmero inteiro
positivo y. Denotamos por x(mod y).

preciso ter ateno para dois casos: o primeiro quando x for
positivo e o segundo quando x for negativo.

Para x positivo, a operao muito simples. Basta dividir x por y e
obter o resto;
Para x negativo, a operao realizada dividindo-se |x| por y,
obtendo o resto z'. O resultado de x(mod y) expresso por y - z'.

Por exemplo: 32(mod 7) = 4, -36(mod 5) = 5 - 1 = 4 e 215(mod 2) =
1.

Auto Avaliao 6.6

Determine os valores numricos das seguintes expresses.

1. [-2.45] + [10]-[-3,34]

Chamado floor, temos:
-3+3-(-4)=4
128
Chamado ceiling, temos:
-2+4-(-3)=5

2. [-1.25]+INT(6,75)-43(mod 4)
-2+6-3=1

-1+6-3=2

3. [3,14].(INT(-1,54)+[4,43])
3.(-1)+4=1

4.(-1)+5=1

4. -17(mod 3) INT(5,42)
-2.5=-10

6.3.4. Funo Exponencial e Funo Logartmica

As funes exponencial e logartmica esto intimamente
relacionadas e possuem inmeras aplicaes na Cincia da Computao,
dentre as quais destaca-se seu uso na anlise da complexidade de algoritmos.
Uma funo f. RR, definida por f(x) = a
x
, onde a qualquer nmero real
positivo e a diferente de 1, chamada de funo exponencial de base a .

Pare e Reflita: Por que foram impostas duas restries para a
base a(a>0 e a1)?

A seguir so apresentadas as caractersticas da representao
grfica da funo exponencial.

Representao Grfica da Funo Exponencial

O grfico cartesiano da funo f: R R definida por a
x
com a > 0 e
a1:

1. Situa-se acima do eixo O
x
, uma vez que a
x
> 0, x R;
2. Tem imagem dada pelo conjunto Im = R
*
+
e corta o eixo O
y
no
ponto (0, 1), pois a
0
= 1;
129

Ao trabalhar com funes deste tipo, devemos ter sempre na
lembrana as seguintes regras, referentes exponenciao:

Exemplo 6.6 Funo Exponencial
Considere a funo real f(x)=(2/3)
x
.

Analisando cada termo da funo, definimos que f decrescente. De
fato 0 < a < 1. Este fato pode ser escrito como:

Se p < q, ento (2/3)
p
> (2/3)
q

A afirmao vlida e pode ser comprovada pela anlise do grfico
de f(x). A construo do grfico fica como exerccio.

A imagem para x = -2 por f dada por:

f(-2)=(2/3)
-2
= (3/2)
2
= 9/4

O elemento do domnio que possui imagem igual a 16/81 dados por
f(x)=16/81. Substituindo f(x), temos: (2/3)
x
=16/81. A partir deste ponto, o clculo
de x feito pela aplicao das propriedades da exponenciao.

(2/3)
x
=2
4
/3
4
(2/3)
x
= (2/3)
4
x=4

Assim, o elemento do domnio procurado x = 4.
130

A funo logartmica a funo inversa da funo exponencial e
pode ser definida, formalmente, como segue:

A funo f: R
*
+
R, definida por f(x)=log
a
x, onde a > 0 e a 1,
chamada de funo logartmica de base a.

Lembre-se:
Log
b
b = xa
x
=b

A seguir so apresentadas as caractersticas da representao
grfica da funo logartmica.

Representao Grfica da Funo Logartmica

O grfico cartesiano da funo f:R
*
+
R definida por log
a
x, com a>0
e a1:

1. Situa-se direita do eixo O
y
, uma vez que D(f) = R
*
+
;
2. Tem imagem dada pelo conjunto Im = R e corta o eixo O
x
no
ponto (1, 0), pois log
a
1 = 0;

Existem algumas propriedades que so inerentes funo
logartmica. A validade dessas propriedades decorre da prpria definio de
logaritmo ou de propriedades correspondentes da funo exponencial.

131

Alm das propriedades apresentadas na tabela, importante ter em
mente que a funo logartmica sempre crescente, isto , se p < q, ento
log
a
p < log
a
q.

Pare e Reflita: A funo logartmica sobrejetiva ?
injetiva?

Exemplo 6.7 Funo Logartmica

Considere a seguinte expresso

1+log
2
a-log
2
b-2log
2
c

Com a, b e c positivos reais.

possvel reescrever a expresso, atravs da aplicao das
propriedades dos logaritmos.

Exerccio Resolvido

(Extrado de GERSTING, 2003) Demonstre que se 2
k
< n < 2
k+1
, ento k = [log
2

n] e k+1 = [log
2
n]

SOLUO:

132

Auto Avaliao 6.7
1. Seja a funo real definida por f(x) = (3/2)
x
, determine:
a) A imagem de para x = -2.
b) O elemento do domnio cuja imagem 2,25.
c) A representao grfica de f
a) f(-2)=(3/2)
-2
=4/9

b)f(x)=(3/2)
x

(3/2)
x
=225/10
(3/2)
x
= 5.3/5.2
(3/2)
x
=(3/2)
(3/2)
x
=(3/2)
X=2
x f(x)=(3/2)
x

-3 8/27
-2 4/9
-1 2/3
0 1
1 3/2
2 9/4
3 27/8

2. Calcule os logaritmos.
a)log
2
64-log
10
1000
6-3=3

b)log
5
5 + log3(3
4
)-log
3
81
1+4-4=1

c)log
3
(log
4
64)-[log
65
1 + log
5
625]
log
3
3-(0+4)=
1-4=-3

133
RESUMO

Uma relao um conjunto de pares ordenados.
Dados dois conjunto A e B, chama-se relao de A em B todo
subconjunto de A x B. Chamamos A de conjunto de partida da relao e
B de contradomnio.
Chama-se domnio de uma relao R de A em B ao conjunto D A que
contm os primeiros elementos dos pares ordenados que pertencem a
R.
O conjunto imagem de uma relao R de A em B o conjunto Im B
que contm os segundos elementos dos pares ordenados que
pertencem a R.
As relaes podem ser dos seguintes tipos: um-para-um, um-para-
vrios, vrios-para-um e vrios-para-vrios.
Uma relao de A em B uma funo se todo elemento x e A, estiver
associado a um, e somente um, elemento y e B.
Uma funo sobrejetiva se seu conjunto imagem for igual ao seu
contradomnio.
Uma funo injetiva se a relao que a define do tipo um-para-um.
Uma funo bijetiva se for simultaneamente sobrejetiva e injetiva.
Sejam duas funes f: A B e g: A B, a funo h:BC chamada
de composio de f e g, sendo denotada por (g f).
Uma funo f:.AB inversvel se a relao inversa um funo de B
em A.
[x] chamado de floor de x e expressa o maior inteiro menor ou igual a
x.
[x] chamado de ceiling de x e expressa o menor inteiro maior ou igual a
x.
A funo INT(x) transforma x em um inteiro, eliminando sua parte
fracionria.
O valor absoluto de um nmero real x denotado por ABS(x), onde

ABS(x) = x, se x0
-x, se x<0

A funo resto expressa o resto inteiro da diviso de um nmero inteiro
x qualquer por um nmero inteiro positivo y. Denotamos por x(mod y).
A funo f: RR, definida por f(x) = a
x
, onde a>0 e a1 chamada de
funo exponencial de base a.
A funo f: R
*
+
R, definida por f(x) = log
a
x, onde a > 0 e a1
chamada de funo logartmica de base a.
A funo logartmica inversa da funo exponencial.

134
Exerccios Propostos
QUESTES
1. (GERSTING, 2003) Classifique cada uma das relaes a seguir em um-para-
um, um-para-vrios, vrios-para-um ou vrios-para-vrios.

a) R = {(1, 2), (1, 4), (1, 6), (2, 3), (4, 3)} Vrios-para-vrios
b) S = conjunto de todas as mulheres de So Lus f = {(x, y) S x S | x filha
de y} Vrios-para-um
c) K = {(x, y) R
2
| x = 5} Um-para-um
d) L = {(2, 7), (8, 4), (2, 5), (7, 6), (10, 1)} Um-para-vrios

2. (GERSTING, 2003) As funes a seguir so aplicaes de M em R.
Encontre as frmulas que descrevam as funes compostas g f e f g para
cada um dos seguintes itens.

a) f(x) = 6x
3
, g(x) = 2x
g f = g(f(x))=g(6x)=2(6x)=12x
f g = f(g(x))=f(2x)=6.(2x)=48x

b) f(x)=(x-1)/2, g(x)=4x
2

g f = g(f(x))=g((x-1)/2)=4.((x-1)/2)=4.(x-2x+2)/4= x-2x+2
f g = f(g(x))=f(4x)=(4x-1)/2

c) Para a alternativa a, determine g f(3) e f g(0)
g f (3) = 12(3)=324
f g (0)=48.(0)=0

d) Para a alternativa b, determine os elementos do domnio para que se tenha f
g(x) = 0.
f g (0) = (4x-1)/2=0x=1/4x=1/2

3. (IEZZI; MURAKAMI, 1993) Seja a funo f de R - {-2} em R - {-4} definida por
f(x) = (4x-3)/(x+2). Determine o valor do domnio f
-1
com imagem 5.

Sendo
f(5)=a, temos:
a=f(5)=(4.5-3)/5+2=17/7 a=17/7

4. Defina funo bijetiva e demonstre que f, definida no intervalo 0<x<s, (s>0)
como f(x) =(2x-s)/x(s-x), uma funo bijetiva desse intervalo nos reais.

Definimos funo bijetora, como a funo que sobrejetora e injetora. A
funo sobrejetora pois existe imagem para a funo f(x)=(2x-s)/x(s-x),
para o intervalo 0<x<s.

Sendo s-x0, temos sx, ento f(s)f(x), logo conclumos que a funo
injetora.

135
5. Demonstre que 1 + log
2
n < n para n 3.

1+ log
2
n < n

Observamos que para n 3, temos:
2
(n-1)
> n

Portanto, pela propriedade 1 de logaritmos,

log
2
n < log
2
2
(n-1)

Pela propriedade 5 de logaritmos, log
2
2
(n-1)
= n - 1. Portanto:

log
2
n < n - 1
ou

1 + log
2
n<n para n3

136
Referncias
FERREIRA, Jaime Campos. Elementos de Lgica Matemtica e Teoria dos
Conjuntos. Lisboa: Departamento de Matemtica do Instituto Superior
Tcnico, 2001.

GERSTING, Judith L. Fundamentos Matemticos para a Cincia da
Computao. Rio de Janeiro: LTC, 2003.

IEZZI, Gelson; MURAKAMI, Carlos. Fundamentos de Matemtica Elementar 1:
conjuntos e funes. So Paulo: Atual, 1993.

IEZZI, Gelson; DOLCE, Osvaldo; MURAKAMI, Carlos.
Fundamentos de Matemtica Elementar 2: logaritmos. So Paulo: Atual, 1993.
LIPSCHUTZ, Seymour; LIPSON, Marc. Matemtica Discreta. So Paulo:
Bookman, 2004.

MENEZES, Paulo Blauth. Matemtica Discreta para Computao e Informtica.
Porto Alegre: Instituto de Informtica da UFRGS, 2008.

NOTARE, Mrcia Rodrigues. Matemtica Discreta. Caxias do Sul: Universidade
de Caxias do Sul, 2003.

PINTO, Jos Sousa. Tpicos de Matemtica Discreta. Universidade de Aveiro,
1999.

SCHEINERMAN, Edward S. Matemtica Discreta: uma introduo. So Paulo:
Thomsom, 2003.

SMOLE, Katia Stocco; DINIZ, Maria Ignez. Matemtica 1. So Paulo: Saraiva,
2003. SMOLE, Katia Stocco; DINIZ, Maria Ignez. Matemtica 3. So Paulo:
Saraiva, 2003.

Apostila Matematica para Computacao

Enviado por

Dados do documento

Título original

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Apostila Matematica para Computacao

Enviado por

Direitos autorais:

Formatos disponíveis

CENTRO FEDERAL DE EDUCAO TECNOLGICA DO MARANHO

DIRETORIA DE ENSINO SUPERIOR DESU

Você também pode gostar