Apostila Matematica Discreta

2014/01
Curso de Licenciatura em computao

1 perodo

MATEMTICA DISCRETA

Prof. Daniela Portes Leal Ferreira 1

RACIOCNIO LGICO E MATEMTICO Ficha da Disciplina

Objetivo

A matemtica discreta o campo problemtico de onde se origina a teoria da computao,
pura e aplicada.
O objetivo do componente proporcionar ao estudante as condies instrumentais para a
elaborao posterior dos conceitos de linguagem computacional e sistema computacional. Deve
tambm permitir a justificao e um mapeamento inicial da cincia da computao enquanto
teoria.

Contedo Programtico

Mdulo 1: Pensamento Lgico

- Fundamentos da Lgica
- Estudo das Proposies: definio, operaes lgicas, tabelas-verdade, equivalncias;
- Estudo dos argumentos: validade de um argumento, proposies e argumentos
categricos.
- Lgica em Matemtica: Definies, Contraexemplos, Mtodos de Demonstrao

Mdulo 2: Pensamento Relacional

- Conceitos bsicos da teoria de Conjuntos, Operaes entre conjuntos; Conjuntos
numricos;
- Relaes e Funes
- Relaes de Equivalncia
- Funes Parciais e Totais

Mdulo 3: Pensamento Recursivo

- Relaes de Recorrncia.
- Demonstraes por Induo

Mdulo 4:Pensamento Quantitativo
- Tcnicas de Contagem
- Probabilidade

Bibliografia Bsica:
GERSTING, J. L. Fundamentos Matemticos para a Cincia da Computao. Rio de Janeiro: LTC, 2004.
MENEZES, P. B. Matemtica Discreta para Computao e Informtica. Porto Alegre: Bookman, 2008.
SCHEINERMAN, E. R. Matemtica Discreta: uma Introduo. So Paulo: Thomson Pioneira, 2010.
Bibliografia Complementar:
MENEZES, P. B.; TOSCANI, L. V.; LPEZ, J. G. Aprendendo Matemtica Discreta com Exerccios.


Matemtica Discreta
Pensamento Lgico Aula 01

Objetivos de Ensino:
Ao final desta aula voc deve :
1.1. numa listagem de frases, ser capaz de identificar as que so proposies, por escrito ou
oralmente;
1.2. numa listagem de proposies, ser capaz de classific-las em simples e compostas, por
escrito ou oralmente;
1.3. numa listagem de proposies compostas, ser capaz de transform-las da linguagem
corrente para a simblica e vice-versa, por escrito;

Competncias:
Competncia desenvolvida na aplicao dos tpicos desta aula:
Comunicao e expresso:
Fazer-se entender
Entender e decodificar mensagens

O que Lgica?

Podemos ento definir Lgica como a cincia que estuda as leis gerais do pensamento e a arte
de aplic-las corretamente na investigao e demonstrao da verdade dos fatos.
A lgica tem por finalidade principal dirigir os atos dos pensamentos para o verdadeiro, o que
realiza de duas formas: primeiro analisando as leis do pensamento; segundo, estudando a maneira
de aplic-las, na prtica, em contato com a vida e a realidade, a fim de evitar o erro e alcanar a
verdade.
Suas reas de pesquisa so de fundamental importncia para o mundo contemporneo, em
especial para o desenvolvimento de tecnologias que envolvam a computao e para a soluo de
problemas voltados para a economia, administrao, direito, entre outros.

Qual o papel da Lgica?

Normalmente fazemos uso da expresso lgico quando acreditamos que um raciocnio ou
uma observao qualquer faz sentido ou ainda quando corresponde realidade ou, ainda, quando
apresenta coerncia.

Para o senso comum, a lgica um estudo da correspondncia entre o discurso e a realidade.
Porm, em sentido mais estrito, a lgica apresenta-se como uma metodologia de anlise e
construo de raciocnios e argumentos em mbito formal.
Falar que a lgica trabalha no mbito formal significa dizer que ela se preocupa
exclusivamente com a estrutura do argumento, sem preocupar-se com o contedo dos
enunciados que o compem.
Como exemplo, vejamos o seguinte argumento: Se todos os animais so mortais e se todo
homem um animal, ento todo homem mortal. Nesse argumento existem trs premissas ou
sentenas:
1. Todos os animais so mortais.
2. Todo homem um animal.
3. Todo homem mortal.
Normalmente, o julgamento da logicidade do argumento se daria pela anlise da verdade de
cada uma das premissas, o que equivocado. Esse no o papel da lgica, e sim das diversas
cincias; a lgica no pretende saber se cada uma das premissas corresponde realidade ou
no, ou se so verdadeiras ou falsas. O que ela pretende analisar se o argumento est
estruturalmente bem construdo, ou seja, se a concluso deriva das premissas usadas.
A maneira mais simples para deixar de lado o contedo e ater-se somente forma mediante a
adoo da simbolizao do argumento por meio de variveis. No exemplo anterior, o argumento
poderia ser simbolizado da seguinte maneira:
Todo X Y.
Todo K X.
Logo, todo K Y.
Observe que, ao deixarmos de lado o contedo das premissas por meio de variveis, restou-nos
somente a forma, ou seja, a estrutura do argumento, a qual no pode ser mais denominada
verdadeira ou falsa, mas somente de vlida ou invlida.
Em sntese, a lgica analisa formalmente argumentos ou raciocnios a fim de determinar sua
validade e no sua verdade. Para tanto contar com uma metodologia e regras especficas.
Podemos notar a importncia do estudo da proposio e do argumento no campo da lgica
formal. Comecemos com o estudo da Proposio.

Proposio
A proposio um enunciado declarativo, que pode ser classificado em verdadeiro ou
falso.Por exemplo:


A lua o nico satlite do planeta terra (V)
A cidade de Salvador a capital do estado do Amazonas (F)
O nmero 712 mpar (F)
Raiz quadrada de dois um nmero irracional (V)

No so proposies os enunciados interrogativos, os exclamativos, ordenativos, imperativos,
suplicativos, etc. Por exemplo:
Pare!
Quer uma xcara de caf?
Eu no estou bem certo se esta cor me agrada

Ateno sentenas que no possuem verbo no podem ser consideradas declarativas,
consequentemente no so proposio. Por exemplo, O carro vermelho uma proposio, mas
se estiver escrito somente O carro vermelho ento no ser proposio pois falta o verbo.

Representao de uma Proposio
As proposies so geralmente representadas pelas letras : a, b, ...,p,q, etc. Por exemplo:
p: A lua o nico satlite do planeta terra.
A negao de uma proposio simples p no p . Ao negar uma proposio muda-se
o seu valor verdade. A negao considerada um modificador da proposio inicial, seu smbolo
ou ~. (Adotaremos o til)
Considerando a proposio p: A lua o nico satlite do planeta terra cujo valor lgico
verdadeiro, a sua negao ~p:A lua no o nico satlite do planeta uma proposio falsa.
As proposies No verdade que a lua o nico satlite do planeta terra, falso que
a lua o nico satlite do planeta terra tambm so consideradas negaes de p.
A negao de uma proposio ainda pode ser obtida utilizando-se palavras antnimas,
assim Maria feia considerada a negao da proposio Maria bonita

Proposies simples e compostas
H proposies nas quais o sujeito e o predicado so nicos e ligados pelo verbo,
contendo a expresso de um s juzo e de forma direta . Por exemplo: Joo rico, Marta
feia, O nmero 8 par. As proposies deste tipo so denominadas simples.
No entanto, existem proposies que possuem como componentes no dois termos, mas
pelo menos duas proposies conectadas como no exemplo: Joo rico e Maria pobre na

Se Pedro estuda lgica ento Maria joga Xadrez

p q
qual cada componente uma proposio simples conectada pelo conectivo conjuntivo e . Tais
proposies so chamadas compostas ou no categricas.
Para obter uma proposio composta utilizamos conectivos. Os principais conectivos
so: e, ou, se... ento, se... e somente se, denominados respectivamente conjuno , disjuno,
condicional e bicondicional.

O valor lgico de uma proposio composta depende de dois fatores:
1) do valor lgico das proposies componentes
2)do conectivo utilizado.

Exerccios Propostos:
1. Determine quais das sentenas abaixo so proposies e, para as que so, determine seu valor
lgico:
a) A Argentina e o Brasil.
b) O Brasil um pas da Amrica do Sul.
c) Existem polticos que no so honestos.
d) Ser que meu mdico competente?
e) Joo, v estudar!
f) (3 + 5)
2

Conectivos Notao Exemplos
Estrutura
lgica
e
Conjuno
.

q p .
ou
Disjuno
v

q p v
se... ento
Condicional

q p
se...e
somente se
Bicondicional

Pedro estuda lgica se e somente se Maria joga Xadrez

p q

q p
ou exclusivo
Disjuno
Exclusiva
v
Ou Pedro estuda lgica ou Maria joga Xadrez

p q

pvq
Pedro estuda lgica e Maria joga Xadrez

p q
Pedro estuda lgica ou Maria joga Xadrez

p q

2. Sejam as proposies p: J Soares gordo. e q: J Soares motoqueiro. Traduzir para a
linguagem simblica as seguintes proposies:
a) J Soares no gordo.
b) J Soares no motoqueiro.
c) No verdade que J Soares no gordo.
d) Ou J Soares gordo ou motoqueiro.
e) Se J Soares no gordo, motoqueiro.
3. CESPE) Considere que
p: Fumar deve ser proibido.
q: Fumar deve ser encorajado.
r: Fumar no faz bem sade.
s: Muitos europeus fumam.
Represente simbolicamente cada item abaixo:
a) Fumar deve ser proibido, mas muitos europeus fumam.
b) Fumar no deve ser proibido e fumar faz bem sade.
c) Se fumar no faz bem sade, deve ser proibido.
d) Se fumar no faz bem sade e no verdade que muitos europeus fumam, ento
fumar deve ser proibido.
4. Identifique as proposies apresentadas no textos :
a)Lgica fcil ou Artur no gosta de Lgica. Por outro lado, se Geografia no difcil,
ento Lgica difcil. Da segue-se que, se Artur gosta de Lgica.
b)Se Newton ou Arquimedes ganha, ento Pitgoras e Gauss perdem. Ora, soube-se que
Newton ganhou. Portanto, Pitgoras perdeu.



1.4. Ser capaz de descrever, por escrito ou oralmente, as regras dos cinco principais
conectivos lgicos;

Competncias:
Competncias desenvolvidas na aplicao dos tpicos desta aula:
Comunicao e expresso
Fazer-se entender
Raciocnio lgico, crtico e analtico
Pensar logicamente, fazendo dedues e indues

Ol alunos!
Na aula de hoje continuaremos a tratar dos conceitos Fundamentais da Lgica. importante
ressaltar que estas duas primeiras aulas so os pilares de todo o curso. Assim no deixem de
esclarecer nenhuma dvida que surgir durante o nosso estudo; pergunte, refaa as atividades
propostas,...
Antes de iniciarmos a aula passemos a uma BREVE reviso do que j foi visto at aqui e que
j deve ser dominado:

Reviso da aula passada:
Proposio: toda sentena a qual poder ser atribudo um valor lgico (verdadeiro ou
falso); haver proposies simples ou compostas.
As proposies compostas podem assumir diversos formatos, ou seja, diversas
estruturas, dependendo do conectivo lgico que esteja unindo as suas proposies
componentes. Assim, haver proposies compostas chamadas conjunes (E),
disjunes (OU), disjunes exclusivas (OU...OU...), condicionais (SE...ENTO...),
e bicondicionais (...SE E SOMENTE SE...).
O valor lgico de uma proposio composta depende de dois fatores: do valor lgico
das proposies componentes e do conectivo utilizado.

Para facilitar o estudo das proposies compostas representam-se os valores lgicos das
proposies (verdadeiro ou falso) em tabelas, denominadas tabelas-verdade. Por exemplo, a

proposio Mnica mdica ser representada pela tabela abaixo, onde p representa a
proposio, e V e F os seus possveis valores lgicos.

p
V
F

A tabela verdade para a negao de uma proposio simples :

Nada mais fcil: o que VERDADEIRO torna-se falso, e vice-versa!

A tabela-verdade de uma proposio composta deve apresentar todas as combinaes
possveis dos valores lgicos de cada proposio envolvida na composio. Assim a proposio
composta Mnica mdica e Eduardo estudante ser representada por uma tabela de quatro
linhas (quatro possibilidades). Considerando p: Mnica mdica e q: Eduardo estudante,
temos:

Mnica mdica Eduardo estudante Mnica mdica e Eduardo estudante
p q p. q
V V ?
V F ?
F V ?
F F ?

Com as tabelas o estudo do valor lgico de uma proposio composta bem mais fcil.
Agora estamos preparados para iniciar um estudo mais detalhado de cada conectivo. Este estudo
necessrio pois como j visto o valor lgico de uma proposio composta depende do conectivo
utilizado.

Estudo da veracidade de uma proposio composta
p ~p
V F
F V

- Conjuno
Uma proposio conjuntiva quando as proposies so conectados pela conjuno e, por
exemplo:
p: Pedro estuda lgica
q: Maria joga Xadrez
r: Pedro estuda lgica e Maria joga Xadrez
As proposies compostas podem ser escritas utilizando uma notao especial. A
proposio r poderia ser reescrita simplesmente com as indicaes p . q. O smbolo . representa a
conjuno e.
A veracidade ou falsidade de uma proposio conjuntiva baseada na seguinte afirmao:

A proposio conjuntiva VERDADEI RA se, e somente se, as proposies componentes so
simultaneamente verdadeiras.

Segue diretamente da afirmao a tabela:

p q
p. q
V V V
V F F
F V F
F F F

Dadas a proposies A terra um planeta e A neve preta com os valores lgicos V e
F, respectivamente, a proposio conjuntiva A terra um planeta e a neve preta falsa.

- Disjuno
Outra conexo feita com a disjuno ou obtendo dessa forma a proposio disjuntiva,
assim, por exemplo:
p: Pedro estuda lgica
q: Maria joga Xadrez
r: Pedro estuda lgica ou Maria joga Xadrez
Para a disjuno empregado o smbolo v . Assim no exemplo tem-se r: pvq.

A veracidade ou falsidade de uma proposio conjuntiva baseada na seguinte afirmao:

A proposio disjuntiva VERDADEI RA se, e somente se, uma das
proposies componentes so verdadeiras

Utilizando a tabela-verdade tem-se:

Dadas a proposies A terra um planeta e A neve preta com os valores lgicos V e
F, respectivamente, a proposio disjuntiva A terra um planeta ou a neve preta
verdadeira.

5. Determine o valor lgico das seguintes proposies:
a) No verdade que 2006 um nmero mpar.
b) 3 + 2 = 7 e 5 + 5 = 10
c) 2 + 7 = 10 ou 4 + 8 = 12

6. Sabendo que os valores lgicos de p e q so respectivamente V e F, determinar o valor lgico
de cada uma das seguintes proposies:
a) q p ~ . b) q ~ pv c) q ~ p ~ .
a) Tancredo Neves teve um infarto e Lula o presidente do Brasil.
b) No verdade que Tancredo teve um infarto ou Lula o presidente do Brasil.
c) Tancredo no teve um infarto ou Lula no o presidente do Brasil.
d) No verdade que Tancredo teve um infarto e Lula o presidente do Brasil.
e) Tancredo no teve um infarto e Lula no o presidente do Brasil.
f) Tancredo teve um infarto ou Tancredo no teve um infarto.
g) Lula o presidente do Brasil e Lula no o presidente do Brasil.

p q pvq
V V V
V F V
F V V
F F F


- Disjuno Exclusiva

As proposies disjuntivas exclusivas so aquelas cujas componentes so unidas pelo
conectivo Ou ... ou . O smbolo empregado v. Assim a proposio Ou te darei uma bola ou
te darei uma bicicleta ser representado por p vq (ou p ou q), onde p e q so respectivamente,
Eu te darei uma bola e Eu te darei uma bicicleta.
Observe que a proposio disjuntiva exclusiva ( ou ...ou) apresenta uma diferena pequena,
mas importante, com relao a proposio disjuntiva (ou). Comparemos as duas sentenas abaixo:
Te darei uma bola ou te darei uma bicicleta
Ou te darei uma bola ou te darei uma bicicleta

Repare que na primeira sentena v-se facilmente que se a primeira parte for verdade isso no
impedir que a segunda parte tambm o seja (j vimos isso). J na segunda proposio se for
verdade que te darei uma bola ento teremos que no ser dada a bicicleta. E se de fato eu te der
uma bicicleta ento no te darei a bola.
As componentes so mutuamente excludentes., ou seja, ambas nunca podero ser, ao mesmo
tempo , verdadeiras; ambas nunca podero ser, ao mesmo tempo, falsas.
A disjuno exclusiva determina que se uma sentena verdadeira a outra necessariamente
ser falsa. Podemos ento enunciar que:

A disjuno exclusiva VERDADEI RA, quando houver uma componente verdadeira e
a outra falsa

a) Ou 3 + 2 = 7 ou 5 + 5 = 10
b) Ou 2 + 7 = 10 ou 4 + 8 = 12
c) Ou Tancredo Neves teve um infarto ou Lula o presidente do Brasil.

p q pvq
V V F
V F V
F V V
F F F


d) Ou Tancredo no teve um infarto ou Lula no o presidente do Brasil.

- Condicional
As proposies condicionais so aquelas em que as componentes so unidas pela
conjuno se... ento, por exemplo: Se falo tenho minhas razes , Irei se no chover, Se
Carlos estuda ento ser aprovado. Como j vimos empregado o smbolo . Considerando p:
Carlos estuda e q: Carlos ser aprovado o condicional Se Carlos estuda ento ser aprovado em
linguagem lgica seria pq .
Na proposio Se p ento q a proposio p chamada antecedente e q conseqente.
Para entender melhor o funcionamento desta proposio considere a sentena:
Se nasci em Uberlndia ento sou Mineira.
Pense! Qual a nica maneira da proposio acima estar incorreta? Existe apenas uma
situao em que a proposio se torna falsa, quando a primeira parte verdadeira e a segunda
falsa.
Ou seja, se verdade que nasci em Uberlndia ento necessariamente verdade que eu
sou mineira.
Se algum afirma ser verdadeiro que nasci em Uberlndia e que falso que sou mineira
ento esta declarao toda est errada.
Perceba que o fato de ter nascido em Uberlndia condio suficiente (basta isto) para que
eu seja mineiro necessariamente.

Uma condio suficiente gera um resultado necessrio

Assim a proposio Se nasci em Uberlndia ento sou Mineira pode ser reescrita nas
formas abaixo:
Nascer em Uberlndia condio suficiente para ser Mineira
Ser Mineira condio necessria para nascer em Uberlndia
Observe que no necessrio existir conexo entre as proposies componentes da
condicional, por exemplo, a proposio Se a baleia um mamfero ento Lula presidente
igual a A baleia ser mamfero condio suficiente para que Lula seja presidente ou Lula ser
presidente condio necessria para que a baleia seja um mamfero.
importante conhecer as expresses que podem ser utilizadas como equivalentes da
condicional Se p ento q, so elas:


Se p, q
q, se p
Quando p, q
p implica q
p condio suficiente para q
q condio necessria para p
Todo p q

A proposio Se chove ento faz frio pode ser escrita das seguintes maneiras:
Se chove, faz frio.
Faz frio, se chove.
Quando chove, faz frio.
Chover implica fazer frio.
Chover condio suficiente para fazer frio.
Fazer frio necessrio para chover
Toda vez que chove faz frio

5)Marque Certo (C) ou Errado (E).
Se nasci na Bahia ento sou Baiano. Logo,
( ) Nascer na Bahia condio suficiente para ser Baiano
( ) Nascer na Bahia condio necessria para ser Baiano
( ) Ser Baiano condio suficiente para nascer na Bahia
( ) Ser Baiano condio necessria para nascer na Bahia
( ) Todo aquele que nasci na Bahia Baiano
( ) Todo Baiano nasci na Bahia

O valor lgico de uma condicional baseado na seguinte afirmao:

A condicional FALSA, e somente se, o antecedente verdadeiro e o conseqente
falso


p q pq
V V V
V F F
F V V
F F V

Das proposies A terra um planeta e A neve preta com os valores lgicos V e F,
respectivamente, a proposio condicional Se a terra um planeta ento neve preta falsa.
J a proposio Se a neve preta ento a terra um planeta verdadeira.

6)Determine o valor lgico das seguintes proposies:
a) Se 3 primo ento 3 mpar.
b) Se 2 primo ento 2 mpar.
c) Se 2 + 3 = 6 ento 4 + 4 = 9
d) Se Tancredo teve um infarto, ento Lula o presidente do Brasil.
e) Se Tancredo no teve um infarto, ento Lula o presidente do Brasil.
f) Se Tancredo no teve um infarto, ento Lula no o presidente do Brasil.
g) Se Tancredo teve um infarto, ento Lula no o presidente do Brasil.

- Bicondicinal
Quando a condicional empregada nos dois sentidos dizemos que temos uma conexo do
tipo bicondicional, a proposio da forma p se, e somente se q uma abreviao de : se p
ento q , se q ento p Emprega-se o smbolo para o qual tem-se:

Uma bicondicional VERDADEIRA se e somente se as componentes possuem valores
lgicos iguais

A tabela resume a afirmao acima:

p q pq
V V V
V F F
F V F
F F V


A proposio bicondicional p se e somente se q equivale a proposio se p ento q e se q
ento p ou seja, q p a mesma coisa que ( ) ( ) p q q p . .
So tambm equivalentes bicondicional as seguintes expresses:
p se e s se q
se p ento q e se q ento p
p somente se q e q somente se p
p condio suficiente e necessria para q
Todo p q e todo q p

Pronto! O estudo dos conectivos chegou ao fim. Agora vocs tm condies de determinar o
valor lgico de qualquer proposio composta. Antes de encerrar esta aula convm resumirmos o
que aprendemos hoje. Observe com ateno o quadro abaixo:

Estrutura
Lgica
verdade quando falso quando
p .q p e q so ambos verdadeiros
pvq pelo menos um verdade
pvq p e q tiverem valores lgicos diferentes
pq p for verdadeiro e o q for falso
p q p e q tiverem valores lgicos iguais

Na resoluo de vrias questes de lgica o conhecimento das tabelas verdade fundamental.
Complete a tabela abaixo e compare os valores lgicos de cada conectivo:

p q
q p . q p v
pvq
q p q p
V V
V F
F V
F F


DEVER DE CASA

(Agente da Polcia Federal 2004 CESPE)
Texto para os itens de 01 a 08
Considere que as letras P, Q, R e T representem proposies e que os smbolos e
sejam operadores lgicos que constroem novas proposies e significam e,ou,no e ento
respectivamente. Na lgica proposicional, cada proposio assume um nico valor (valor-
verdade), que pode ser verdadeiro (V) ou falso (F), mas nunca ambos.
Com base nas informaes apresentadas no texto acima, julgue os itens a seguir:
01. Se as proposies P e Q so ambas verdadeiras, ento a proposio (~ P) (~ Q) tambm
verdadeira.
02. Se a proposio T verdadeira e a proposio R falsa, ento a proposio R (~T) falsa.
03. Se as proposies P e Q so verdadeiras e a proposio R falsa, ento a proposio (P R)
(~ Q) verdadeira.
--------------------------------------
Considere as sentenas abaixo.
i. Fumar deve ser proibido, mas muitos europeus fumam.
ii. Fumar no deve ser proibido e fumar faz bem sade.
iii. Se fumar no faz bem sade, deve ser proibido.
iv. Se fumar no faz bem sade e no verdade que muitos europeus fumam, ento fumar deve
ser proibido.
v. Tanto falso que fumar no faz bem sade como falso que fumar deve ser proibido;
conseqentemente, muitos europeus fumam.

Considere tambm que P, Q, R e T representem as sentenas listadas na tabela a seguir:

P Fumar deve ser proibido.
Q Fumar deve ser encorajado.
R Fumar no faz bem sade.
T Muitos europeus fumam
.

Com base nas informaes acima e considerando a notao introduzida no texto, julgue os itens
seguintes.
04. A sentena I pode ser corretamente representada por P (~ T).
05. A sentena II pode ser corretamente representada por ( P) ( R).
06. A sentena III pode ser corretamente representada por R P.
07. A sentena IV pode ser corretamente representada por (R (~ T)) P.
08. A sentena V pode ser corretamente representada por T ((~ R) (~P)).
Gabarito: 01. E 02. E 03. C 04. E 05. C 06. C 07. C 08. E



1.5. Ser capaz de construir tabelas-verdade de proposies compostas dadas;

Competncias:
- Pensar logicamente, fazendo dedues e indues

Ol alunos,
Nesta aula aprenderemos mais sobre tabela verdade. J sabemos construir, pelo menos, cinco
tabelas-verdade de proposies compostas! Claro! A tabela-verdade da conjuno, da disjuno,
da disjuno exclusiva, da condicional e da bicondicional.
Com este conhecimento prvio, j estamos aptos a construir as tabelas-verdade de qualquer
outra proposio formada por duas ou mais proposies componentes.
Antes de prosseguirmos faremos uma breve reviso; Complete a tabela abaixo e compare os
valores lgicos de cada conectivo:
Reviso dos conectivos
p q
q p . q p v
pvq
q p q p
V V
V F
F V
F F

Estrutura
Lgica
verdade quando falso quando
p .q p e q so ambos verdadeiros
pvq pelo menos um verdade
pvq p e q tiverem valores lgicos diferentes
pq p for verdadeiro e o q for falso
p q p e q tiverem valores lgicos iguais

Pronto! Agora voc tem todas as ferramentas necessrias para montar tabelas verdade de
proposies mais elaboradas. Passemos aula!


Tabelas - Verdade
Trataremos agora um pouco mais a respeito de uma TABELA-VERDADE.
Aprendemos que se trata de uma tabela mediante qual so analisados os valores lgicos de
proposies.
Na aula passada, vimos que uma Tabela-Verdade que contm duas proposies apresentar
exatamente um nmero de quatro linhas! Mas e se estivermos analisando uma proposio
composta com trs ou mais proposies componentes? Como ficaria a tabela-verdade neste caso?
O nmero de linhas da tabela depende do nmero n de proposies componentes da
proposio composta . Por exemplo, se n =2 a tabela tem quatro linhas e se n =3, oito linhas.
Observe as tabelas,
n = 2 n = 3
p q p q r
V V V V V
V F V V F
F V V F V
F F V F F
F V V
F V F
F F V
F F F

Assim para a construo prtica da tabela-verdade de uma proposio composta, comea-se
por contar o nmero de proposies simples que a integram. Se h n proposies simples
componentes, ento a tabela-verdade contm 2
n
linhas. E n colunas iniciais, uma para cada
proposio.
Uma coisa muito importante que deve ser dita neste momento que, na hora de construirmos
a tabela-verdade de uma proposio composta qualquer, teremos que seguir uma certa ordem de
precedncia dos conectivos. Ou seja, os nossos passos tero que obedecer a uma seqncia.
Comearemos sempre trabalhando com o que houver dentro dos parnteses. S depois,
passaremos ao que houver fora deles. Em ambos os casos, sempre obedecendo seguinte ordem:

Suponhamos, pois, que estamos diante da seguinte proposio composta
~(p v ~q)
. v ) 4 ) 3 ) 2 ~ ) 1 e

e desejamos construir a sua tabela-verdade. Como seria? O incio da tabela , conforme sabemos,
sempre o mesmo. Agora olhemos para a proposio que estamos trabalhando [~(p v ~q)] e
comparemos o que j temos na tabela acima com o que ainda precisamos encontrar. J temos o
~q? Ainda no! Ento, nosso prximo passo: construir a coluna da negao de q. Teremos:

p q ~q
V V

V F

F V

F F

Seguindo adiante, construiremos agora a coluna referente aos parnteses (p v ~q).

p q ~q p v ~q ~(p v ~q)
V V

V F

F V

F F

Exerccios Proposto:
1)Construir as tabelas-verdade de cada proposio abaixo:
a) q p ~ b) ) q ~ p ( ~ ) q p ( v

Pronto! Conclumos mais um problema. J estamos craques em construir tabelas-verdade
para proposies de duas sentenas. Mas, e se estivermos trabalhando com trs proposies
simples (p, q e r)? Como que se faz essa tabela-verdade?
Vimos que, para duas proposies, a tabela-verdade se inicia sempre do mesmo jeito. O
mesmo ocorrer para uma de trs proposies. Ter sempre o mesmo incio. E ser o seguinte: a
coluna da proposio p ser construda da seguinte forma: quatro V alternando com quatro F; a
coluna da proposio q tem outra alternncia: dois V com dois F; por fim, a coluna da
proposio r alternar sempre um V com um F. Teremos, portanto, sempre a mesma estrutura
inicial


Vamos aprender construindo a tabela verdade da proposio ) (~ ) ~ ( r p q p v . .
O incio sempre o mesmo!
p
q
r

) r p (~ ) q ~ p ( v .
V V V

V V F

V F V

V F F

F V V

F V F

F F V

F F F

Exerccios Proposto:
2)Construir as tabelas-verdade de cada proposio abaixo:
a) ) r ~ q ( ) r ~ p ( v . b) | | | | ) r ~ p ( q ) r q (~ p . . .



1.6. Ser capaz de verificar se duas proposies dadas so equivalentes;
1.7. Ser capaz de negar proposies dadas, por escrito ou oralmente, usando as equivalncias
lgicas;
Competncias:
Viso Sistmica
- Fazer Conexes
- Entender e decodificar mensagens

Oi amigos!
Vocs cumpriram mais uma etapa no estudo dos conceitos iniciais da Lgica. Muito bem!
J sabem construir a tabela verdade de qualquer proposio composta.
Chegou o momento de passarmos a conhecer trs outros conceitos: Tautologia,
Contradio e Contingncia. A tabela verdade ser muito til neste estudo.

Tautologia, Contradio e Contigncia

Uma proposio composta formada por duas ou mais proposies p, q, r, ... ser dita uma
Tautologia se ela for sempre verdadeira, independentemente dos valores lgicos das proposies
p, q, r, ... que a compem.
Em palavras mais simples: para saber se uma proposio composta uma Tautologia,
construiremos a sua tabela-verdade! Da, se a ltima coluna da tabela-verdade s apresentar
VERDADEIRO (e nenhum falso), ento estaremos diante de uma Tautologia. S isso!
Se voc construir a tabela-verdade de uma proposio composta, e obter todos os
resultados da ltima coluna FALSOS, ento estar diante de uma contradio.
Uma proposio composta formada por duas ou mais proposies p, q, r, ... ser dita uma
Contradio se ela for sempre falsa, independentemente dos valores lgicos das proposies p, q,
r, ... que a compem.

Uma proposio composta ser dita uma Contingncia sempre que no for uma tautologia
nem uma contradio.
Muito fcil! Se voc fizer uma tabela e encontrar valores:
1) Somente VERDADEIROS tem uma TAUTOLOGIA
2) Somente FALSOS tem uma CONTRADIO
3) VERDAEIRO E FALSOS tem uma CONTIGNCIA
Resolva o exerccio abaixo para fixar estes conceitos.
Exerccio Proposto: Classifique as proposies compostas abaixo:

a)
p q r

V V V

V V F

V F V

V F F

F V V

F V F

F F V

F F F

b)
p q ~q p~q p . q ~
V V

V F

F V

F F

c)
p q p . q ~
V V

V F

F V

F F


Proposies Logicamente Equivalentes
Duas proposies compostas so equivalentes se tm a mesma tabela de valores lgicos.
Observe as tabelas das proposies compostas p v q e q v p so iguais.

p q pvq
V V V
V F V
F V V
F F F

Diz se que p ou q o mesmo que q ou p , ou seja, p ou q equivalente a q ou p.
O smbolo representa a equivalncia entre as proposies. Logo, em linguagem lgica a
equivalncia acima representada pela expresso: p v q q v p ou p v q = q v p.
Observe que as proposies equivalentes so maneiras diferentes de declarar a mesma coisa.
Por exemplo, a proposio Pedro fala ingls ou francs equivalente a Pedro fala francs ou
ingls.
As equivalncias so de grande utilidade, pois simplificam a negao das proposies
compostas e facilitam o estudo da validade dos argumentos.

Negao das proposies compostas
- Negao da Disjuno: ~p . ~q
A proposio No verdade que J Soares gordo ou motoqueiro em linguagem lgica
dada por ~(p v q). A declarao acima a negao da disjuno p v q. Entretanto esta negao
pode ser realizada de outra maneira, observe a tabela :

p q ~p ~q p . q ~(p v q) ~p . ~q
V V

V F

F V

F F

p q qvp
V V V
V F V
F V V
F F F

Assim ~(p v q) ~p . ~q. Ou seja, a negao da proposio J Soares gordo ou
motoqueiro J Soares no gordo e no motoqueiro . Observe o esquema:

A negativa de uma disjuno se faz assim:
1) Nega-se a primeira parte;
2) Nega-se a segunda parte;
3) Troca-se o OU por um E.
Assim ~(p v q) ~p . ~q

Exerccio Proposto: Escreva a negao das seguintes proposies:
a) Talita magra ou loira.
b) Marcos alto ou elegante.
c) Tancredo Neves teve um infarto ou Lula o presidente do Brasil
d) Os preos sobem ou Pedro justo

- Negao da Conjuno: ~p v ~q
Negar a proposio composta Ela inteligente e estuda o mesmo que declarar Ela no
inteligente ou no estuda. .
A equivalncia citada acima, representada por ~(p . q) ~p v ~q , pode ser verificada
com a tabela abaixo:
p q ~p ~q p . q ~(p . q) ~p v~q
V V

V F

F V

F F

No verdade que J Soares gordo ou motoqueiro

p q v ~
~ p ~ q
.
J Soares no gordo e no motoqueiro

Resumindo:
A negativa de uma conjuno se faz assim:
1) Nega-se a primeira parte;
3) Troca-se o E por um OU.
Assim ~(p . q) ~p v ~q

a) Talita magra e loira.
b) Marcos alto e elegante.
c) J Soares gordo e motoqueiro.
d) Os preos sobem e Pedro justo
e) 7 3 = . = x x

- Negao da Condicional: p . ~q
A negao da proposio condicional de fcil entendimento, basta pensar na tabela verdade
da condicional. A condicional q p FALSA se e somente se p verdadeira e q falso, assim,
~( q p ) p.~q. Verifique esta equivalncia com a tabela:

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

V F

F V

F F

A proposio No verdade que se Joo professor ento ele rico o mesmo que
declarar que Joo professor e no rico.

Negao de uma Condicional:
A negativa de uma condicional se faz assim:
1) Mantm-se a primeira parte; E


a) Se ele professor, ento instrudo e educado.
b) Se hoje Natal ento 25 de dezembro.
c) Se Maria foi aprovada, ento estudou.
d) Se o aluno no presta ateno, ento ele no aprender.

- Negao da Bicondicional: pvq
A negao da bicondicional dada pela equivalncia ~( q p ) pvq . Observe que a
disjuntiva exclusiva nega a bicondicional. Assim negar a proposio Hoje natal se e somente
se 25 de Novembro o mesmo que declarar Ou hoje natal ou 25 de novembro (
impossvel que as duas componentes sejam verdadeira simultaneamente). A equivalncia vem da
tabela abaixo:

p q
V V

V F

F V

F F

- Negao da Disjuno Exclusiva : q p
A anlise acima nos remete a equivalncia ~(pvq ) q p . Por exemplo, a proposio
falso que Ou te darei uma bola ou te darei uma bicicleta, equivalente a Te darei uma bola se e
somente se te der uma bicicleta

- Negao da Negao : ~(~p) p (dupla negao)
Conforme apresentado em exemplos anteriores a negar duas vezes uma proposio nos leva a
proposio inicial p. Ou seja,

No verdade que J Soares no gordo

~ p
~
p
J Soares gordo

P ~p ~ ~ p
V
F
O quadro abaixo resume as equivalncias apresentadas acima.

Proposio Composta Negao
p .q ~(p . q) ~p v ~q
pvq ~(p v q) ~p . ~q
pvq
~(pvq ) q p
pq ~( q p ) p.~q
p q ~( q p ) pvq

Outras Equivalncias
- Comutao
Comutar inverter a ordem das componentes de uma proposio composta, por exemplo, p v q
e q v p. de fcil verificao as equivalncias listadas abaixo, obtidas pela comutao das
proposies componentes.
p v q q v p.
p .q q . p.
p q q p.

Ateno: O antecedente e conseqente de uma condicional no podem ser comutados! Ou
seja, q p NO EQUIVALENTE a qp

Exemplos:
x > 2 e x < 3 equivalente a x < 3 e x > 2
Pedro fala ingls ou francs equivalente a Pedro fala francs ou ingls.

Equivalncias da Condicional q p
- Contraposio
As proposies q p e p q ~ ~ so equivalentes. A proposio p q ~ ~ chamada
contrapositiva de pq. (verifique a equivalncia, ) ~ (~ p q q p , utilizando a tabela
verdade)


Considerando a proposio Se J Soares gordo ento motoqueiro podemos declarar que
Se J Soares no motoqueiro ento no gordo . Observe o esquema:

Exerccios Propostos 5:
1)Duas grandezas x e y so tais que se x = 2, ento y = 6. Pode-se concluir que:
a) Se 2 = x , ento 6 = y .
a) Se y = 6, ento x = 2.
b) Se 6 = y , ento 2 = x .
c) Se x = 4, ento y = 4.
2)Escreva em linguagem simblica (quando necessrio) e verifique se so logicamente
equivalentes as proposies:
a) Se o motorista uma mulher, ento ele desacreditado. e Se o motorista
desacreditado, ento ele uma mulher.
b)Quem tem dinheiro, no compra fiado. e Quem no tem, compra.
3)A proposio Se Maurcio joga futebol, ento Talita toca violino. equivalente a:
a) Maurcio joga futebol se, e somente se, Talita toca violino.
b) Se Maurcio no joga futebol, ento Talita no toca violino.
c) Se Talita no toca violino, ento Maurcio no joga futebol.
d) Se Talita toca violino, ento Maurcio joga futebol.
e) Se Maurcio toca violino, ento Talita joga futebol.
p q ~p ~q
q p p q ~ ~
V V

V F

F V

F F

Se J Soares gordo ento motoqueiro

p q
~ q ~ p

Se J Soares no motoqueiro ento no gordo

- Implicao Material

A proposio condicional pq equivalente a disjuntiva q pv ~ . Observe que esta
equivalncia permite reescrever uma proposio condicional utilizando uma proposio
disjuntiva (ou ), e vice - versa. Desta forma dizer que Se Pedro pedreiro, ento Paulo
paulista , do ponto de vista lgico, o mesmo que dizer que Pedro no pedreiro ou Paulo
paulista

Verifique a equivalncia ) (~ q p q p v

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

V F

F V

F F

Exerccios Proposto: Escreva em linguagem simblica e verifique se so logicamente equivalentes
as proposies:
Se eu me chamo Snia, eu serei aprovada no concurso. e Eu serei aprovada no concurso, ou
no me chamo Snia.

As proposies condicionais merecem ateno pois tm suas particularidades. O quadro abaixo
resume as propriedades das condicionais vistas nos tpicos anteriores.

Contrapositiva ) ~ (~ p q q p
Implicao Material ) (~ q p q p v
Negao da Condicional ( ) ) ~ ( ~ q p q p .
Comutao NO q p
NO EQUIVALENTE a qp
Regra do conectivo falso quando o antecedente for verdadeiro e
a condio for falsa
Expresses equivalentes na linguagem
corrente (principais)
p condio suficiente para q
q condio necessria para p
Todo p q


1 LISTA

1 LISTA DE EXERCCIO

1) Considere as proposies p: Cludio fala ingls. e q: Cludio fala alemo. Forme sentenas,
na linguagem coloquial, que correspondam s proposies seguintes:
a) a) q p v b) q p . c) q ~ p. d) q ~ p ~ .
b) e) q p ~ . f) q ~ p g) q p h) p q

2) (CESPE) Suponha que
a) p: Hoje choveu.
b) q: Jos foi praia.
c) r: Maria foi ao comrcio.
Qual a representao das sentenas abaixo?
a) Se hoje no choveu ento Maria no foi ao comrcio e Jos no foi praia.
b) Hoje choveu e Jos foi praia.

3) Dadas as proposies p: A neve preta e q: A terra um satlite, certo afirmar que:
a) p verdadeira e q falsa
b) b)~p verdadeira e Se p, ento q verdadeira
c) p falsa e Se p, ento q falsa
d) d)p, q e Se p, ento q so falsas

4) Sejam as proposies p: Os meninos jogam e q: O co ladra. Em linguagem corrente a
proposio (p e ~q) fica:
a) Os meninos no jogam e o co ladra
b) b)Os meninos no jogam e o co no ladra
c) Os meninos jogam e o co no ladra
d) d)Os meninos jogam e o co ladra

5) Construir as tabelas-verdade de cada proposio abaixo:
a) q ~ p. b) q p ~ v c) ) q ~ p ( ~ ) q p ( v

6) Sabendo que os valores lgicos de p e q so respectivamente V e F, determinar o valor lgico
de cada uma das seguintes proposies:
a) a) q p ~ . b) q ~ pv c) q ~ p ~ . d) q p ~ e) ) q p (~ p v .

7) Determine o valor lgico das seguintes proposies:
a) 5 um nmero primo e Lula o presidente do Brasil.
b) No verdade que 5 um nmero primo ou Lula o presidente do Brasil.
c) 5 no um nmero primo ou Lula no o presidente do Brasil.
d) No verdade que 5 um nmero primo e Lula o presidente do Brasil.
e) 5 no um nmero primo e Lula no o presidente do Brasil.
f) 5 um nmero primo ou 5 no um nmero primo.
g) Lula o presidente do Brasil e Lula no o presidente do Brasil.
h) Se 5 um nmero primo, ento Lula o presidente do Brasil.
i) Se 5 no um nmero primo, ento Lula o presidente do Brasil.
j) Se 5 no um nmero primo, ento Lula no o presidente do Brasil.
k) Se 5 um nmero primo, ento Lula no o presidente do Brasil.

8) Em uma roda de amigos Jorge, Edson e Geraldo contam fatos sobre suas namoradas. Sabe-se
que Jorge e Edson mentiram e Geraldo falou a verdade. Determine o valor lgico das
proposies abaixo:
a) Se Geraldo mentiu ento Jorge falou a verdade
b) Edson falou a verdade e Geraldo mentiu
c) Se Edson mentiu ento Jorge falou a verdade
d) Jorge falou a verdade e Geraldo mentiu
e) Edson mentiu e Jorge falou a verdade

9) Por argumento entendemos uma srie de enunciados, dos quais um a concluso e os demais
so as premissas, que servem para provar ou pelo menos fornecer alguma evidncia para a
concluso.
Exemplo: Todos os homens so mortais. (premissa)
Scrates homem. (premissa)
Logo, Scrates mortal. (concluso)

Dados os argumentos identifique as premissas e a concluso. Represente-as simbolicamente,
conforme o exemplo resolvido abaixo

a) Se houvesse uma guerra , a humanidade seria destruda.
Haver uma guerra nuclear.
Portanto, a humanidade ser destruda por uma guerra nuclear.

Soluo:
p: Haver uma guerra
q: A humanidade ser destruda
Premissas 1)pq
2)p
Concluso 3)q

a) Se domingo, Miriam vai missa.
Miriam no foi missa.
Logo, no domingo.

b) Se 2 no primo, ento 3 no mpar.
Mas 2 primo.
Logo, 3 mpar.

c) Joo vai estudar ou no vai passar no concurso.
Joo passou no concurso.
Logo, Joo estudou.

d) Trabalho ou serei aprovado em Matemtica.
Trabalhei.
Logo, fui reprovado em Matemtica.

e) Se uma mulher feia, ela infeliz.
Se uma mulher infeliz, ela no casa.
Logo, mulheres feias no casam.


f) Se Newton ou Arquimedes ganha, ento Pitgoras e Gauss perdem. Ora, soube-se que

g) Se Beto briga com Glria, ento Glria vai ao cinema. Se Glria vai ao cinema, ento
Carla fica em casa. Se Carla fica em casa, ento Raul briga com Carla. Ora, Raul no
brigou com Carla. Logo ,Carla no ficou em casa e Beto no brigou com Glria.

10) Dadas as proposies p: A neve preta e q: A terra um satlite, certo afirmar que:
a) p verdadeira e q falsa
b) ~p verdadeira e Se p, ento q verdadeira
c) p falsa e Se p, ento q falsa
d) p, q e Se p, ento q so falsas

11) Sejam as proposies p: Os meninos jogam e q: O co ladra. Em linguagem corrente a
proposio (p e ~q) fica:
a) Os meninos no jogam e o co ladra
b) Os meninos no jogam e o co no ladra
c) Os meninos jogam e o co no ladra
d) Os meninos jogam e o co ladra

12) A negao da proposio p: Os preos sobem e Pedro no justo :
a) Os preos no sobem e Pedro no justo
b) Os preos sobem ou Pedro no justo
c) Os preos no sobem ou Pedro no justo
d) Os preos no sobem ou Pedro justo

13) A negao de 4 > x ou 2 < x :
a) 4 < x e 2 > x
b) 4 < x ou 2 > x
c) 4 s x e 2 > x
d) 4 s x ou 2 > x
e) Se 4 s x , ento 2 < x .


Aula 05

1.8. Partindo de premissas de uma dada situao, ser capaz de fazer dedues lgicas,
justificadas por meio da lgica da argumentao;
1.9. Dado um argumento dedutivo, ser capaz de classific-lo em vlido ou invlido e justificar
tal classificao por escrito;
Competncias:
- Fazer-se entender

Vencemos a primeira etapa! Comearemos hoje mais um mdulo. Finalmente chegamos ao
estudo dos argumentos. Todo o trabalho desenvolvido at aqui servir para o estudo do raciocnio
que desde o incio era nosso objeto de estudo, lembra?
A lgica analisa formalmente argumentos ou raciocnios a fim de determinar sua validade.
Para tanto contar com uma metodologia e regras especficas.
Vamos ao trabalho!

O que Argumento ?
Argumento um conjunto de proposies com uma estrutura lgica de maneira tal que
algumas delas acarretam ou tem como conseqncia outra proposio.
Isto , o conjunto de proposies p
1
, p
2
, p
3
, . . . , pn que tem como conseqncia outra
proposio q.
Chamaremos as proposies p
1
, p
2
, p
3
, . . . , p
n
de premissas do argumento, e a proposio q
de concluso do argumento. Assim:

Argumento uma srie de enunciados, dos quais um a concluso e os demais so as premissas

Para determinar quais as premissas e a concluso num argumento, podemos utilizar termos
indicadores de concluso e de premissas.
So indicadores de concluso: portanto, por conseguinte, assim, logo, desta forma,
resulta que, segue-se que, ...
So indicadores de premissas: visto que, pois, como, porque, desde que, dado que,

supondo que, em vista de,...
No argumento, Os partidrios do socialismo histrico no so partidrios de idias
neoliberais, pois os neoliberais defendem as privatizaes, e os socialistas histricos as negam
identificamos o indicador de premissas pois, as proposies os neoliberais defendem as
privatizaes e os socialistas histricos as negam so portanto premissas. E Os partidrios
do socialismo histrico no so partidrios de idias neoliberais a concluso.

Os partidrios do socialismo histrico no so partidrios de idias neoliberais,

pois os neoliberais defendem as privatizaes, e os socialistas histricos as negam

Observe o argumento:

Se algum carioca, ento brasileiro. Fernanda brasileira. Logo, Fernanda carioca.

2.2 Validade de um Argumento
Conforme citamos anteriormente uma proposio verdadeira ou falsa. No caso de um
argumento diremos que ele vlido ou no vlido.
Pensar que a validade de um argumento se d pela anlise da verdade de cada uma das
premissas um equvoco. Esse no o papel da lgica, e sim das diversas cincias; a lgica no
pretende saber se cada uma das premissas corresponde realidade ou no, ou se so verdadeiras ou
falsas. O que ela pretende analisar se o argumento est estruturalmente bem construdo, ou seja,
se a concluso deriva das premissas usadas.
A validade uma propriedade dos argumentos dedutivos que depende da forma (estrutura)
lgica das suas proposies (premissas e concluses) e no do contedo delas.
Observe os argumentos abaixo:
Todos os peixes tm asas. ( F )
Todos os pssaros so peixes. ( F )
Todos os pssaros tm asas. ( V )

P
1
P
2
Concluso

Indicador de concluso
P
1
P
2
Concluso

Indicador de
premissas

Todos os peixes tm asas. ( F )
Todos os ces so peixes. ( F )
Todos os ces tm asas. ( F )

Todos os argumentos acima so vlidos, pois se suas premissas fossem verdadeiras ento as
concluses tambm as seriam.
Um argumento vlido se, e somente se, sua concluso estiver suficientemente apoiada nas
premissas, ou ainda, na hiptese de todas as premissas serem verdadeiras, ento a concluso
necessariamente verdadeira. Caso contrrio, se as premissas no constiturem evidncia suficiente
e necessria para a concluso, ento trata-se de um argumento invlido. Exemplos:
Cabral era portugus. Logo, Cabral descobriu o Brasil. (invlido)
Todo presidente ancio. Todo octogenrio presidente. Logo, todo octogenrio ancio.
(vlido)
Todos os alemes so europeus. Todos os ingleses so europeus. Logo, todos os ingleses so
alemes. (invlido)
Assim, podemos perceber que no o contedo semntico, de que tratam as proposies, que
garante a validade de um argumento. Ao contrrio, dependendo do assunto, pode nos confundir em
virtude de envolvimento psicolgico. Por isso, para determinar a validade de um argumento,
devemos nos atentar para sua forma, ou seja, na maneira como se combinam os enunciados
constituintes. Exemplos:
Se algum carioca, ento brasileiro. Fernanda brasileira. Logo, Fernanda carioca.
Se Luiz cristo, ento monotesta. Luiz monotesta. Logo, Luiz cristo.
A maneira mais simples para deixar de lado o contedo e ater-se somente forma
mediante a adoo da simbolizao do argumento por meio de variveis.
Os dois argumentos acima, apesar de tratarem de contedos diferentes, esto na mesma
forma:
A
B .
B A .
2
1

Todo argumento vlido tem a seguinte regra:

Considerando as premissas verdadeiras, a concluso dever ser verdadeira

Assim para determinar a validade de um argumento devem-se considerar todas as premissas
verdadeiras e verificar a veracidade da concluso.

A seguir apresentaremos alguns formas de argumentos vlidos, importantes no estudo da
validade de argumentos mais elaborados.

Alguns Formas de argumentos Vlidas
Forma

q
p
q p
. 2
. 1

Se Jos for reprovado no concurso, ento ser demitido do servio. Jos foi reprovado no
concurso. Logo Jos ser demitido do servio.

Para verificar a validade do argumento

1) identifique as premissas e a concluso e o reescreva na forma lgica:

q
p
q p
. 2
. 1

2) considere as premissas 1. e 2. verdadeiras:
p
q p

3) Use as regras dos conectivos e determine os valores lgicos das proposies simples
(nesse caso p e q ) envolvidas no argumento:

p
q p

4) Considerando os valores das proposies verifique a concluso, Se verdadeira ento o
V
V
Observe que a proposio q deve ser verdadeira, pois caso contrrio a condicional pq
falso, isto impossvel, pois premissa.
V
V
V
V
p q pq
V ??? V

Premissa
(dado)
Premissa
(dado)
q deve ser
V

argumento vlido. Caso contrrio argumento invlido.
q
p
q p
. 2
. 1

Observao: Todo argumento que tem a forma descrita acima vlido.
Exerccio Proposto: Verifique a validade do argumento : Se BIPBIP BOP ento BOPBOP
BIP. Sabe-se que BIPBIP BOP. Logo BOPBOP BIP
Forma

p
q
q p
~
~ . 2
. 1

Analisaremos o argumento acima, seguindo os passos explicados no caso anterior.
1) identifique as premissas e a concluso e o reescreva na forma lgica:

p
q
q p
~
~ . 2
. 1

2) considere as premissas 1 e 2 verdadeiras:
q
q p
~

3) Use as regras dos conectivos e determine os valores lgicos das proposies simples
(nesse caso p e q ) envolvidas no argumento:
q
q p
~

4) Considerando os valores das proposies verifique a concluso;
V
V
V
Concluso Verdadeira
Argumento Vlido !!
V
V
F
V
F
V
Observe que a proposio p deve ser falsa pois caso contrrio a condicional
pq falsa, isto impossvel, pois premissa.
p q pq
??? F V

Premissa
(dado)
p deve ser
F

~q V (Premissa)
q F

Concluso: ~ p Verdadeira pois p falso
p
q
q p
~
~ . 2
. 1

Exerccio Proposto: Verifique a validade do argumento No aumentamos os meios de
pagamentos, pois se aumentamos os meios de pagamentos, h inflao. E, no h inflao.

Forma
p
q
q p
v
~ . 2
. 1

Considere as premissas 1 e 2 verdadeiras e use a regra da disjuno para determinar os valores
lgicos das proposies simples (nesse caso p e q ) envolvidas no argumento:

q
q p
~ . 2
. 1 v

Seguindo as setas temos:

Afirmao Justificativa
~q (V) Premissa
q (F) Negao
pvq (V) Premissa
p (V) Disjuno

Considerando os valores das proposies a concluso verdadeira logo o argumento vlido

p
q
q p
v
~ . 2
. 1

Exerccio Proposto: Verifique a validade do argumento Joo vai estudar ou no vai passar no
concurso. Joo passou no concurso. Logo, Joo estudou.

V
V
V
Concluso Verdadeira
Argumento Vlido!!
F
V
V
V
V
V
V
Concluso Verdadeira
Argumento Vlido!!
p q pvq
??? F V

Premissa
(dado)
p deve ser
V

~q V (Premissa)
q F

Utilizando a tcnica e as formas apresentadas acima podemos determinar a validade de
qualquer argumento dado. Observe a questo abaixo:

Se Vera viajou, nem Camile nem Carla foram ao casamento. Se Carla no foi ao casamento,
Vanderlia viajou. Se Vanderlia viajou, o navio afundou. Ora, o navio no afundou. Logo:
a) Vera no viajou e Carla no foi ao casamento.
b) Camile e Carla no foram ao casamento.
c) Carla no foi ao casamento e Vanderlia no viajou.
d) Carla no foi ao casamento ou Vanderlia viajou.
e) Vera e Vanderlia no viajaram.

Soluo: Note que o enunciado do exerccio apresenta as premissas, que so consideradas
verdadeiras, e pede a concluso. Assim devemos determinar os valores lgicos das proposies
simples envolvidas e procurar nas alternativas uma declarao verdadeira que ser a concluso do
argumento.

1.Se Vera viajou, nem Camile nem Carla foram ao casamento.

P ( ~q . ~r)
(F)

(F) (F)

2.Se Carla no foi ao casamento, Vanderlia viajou.

~r s

(F) (F)

3.Se Vanderlia viajou, o navio afundou.

s t
(F) (F)

4.Ora, o navio no afundou.

~t
(V)
Verificando a validade de cada uma das opes, conclumos Vera e Vanderlia no
viajaram a opo correta.
Vera e Vanderlia no viajaram

~ p . ~ s
(F) (F)

(V) (V)

(V)

Valores das proposies:

Prop. Valor Lgico
p F
q ???
r V
s F
t F


At o momento, estudamos um tipo de enunciado, em que havia sempre (pelo menos) uma
sentena apropriada para ser o ponto de partida da resoluo. Na seqncia, veremos questes um
pouco mais, digamos, interessantes: nelas, no haver nenhuma sentena em forma de
proposio simples ou de conjuno, de sorte que no estar previamente definido qual o ponto
de partida da resoluo. A anlise se aprofunda um pouco.
Aprenderemos esse tipo de resoluo resolvendo questes! Vamos l!

Para resolvermos esta tipo de questo, devemos:
1 Passo) consideraremos todas as premissas verdadeiras; (como nos casos anteriores)
2 Passo) atribuiremos um valor lgico (V ou F) para uma das proposies simples (isso
novidade!)
3 Passo) Finalmente, substituiremos este valor lgico (escolhido do 2 passo) nas premissas e
verificaremos se est correto, ou seja, se no vai ocorrer alguma contradio entre os resultados
obtidos.

Exerccios Propostos
01. (Fiscal do Trabalho 2003 ESAF) Se no durmo, bebo. Se estou furioso, durmo. Se durmo, no
estou furioso. Se no estou furioso, no bebo. Logo,
a) no durmo, estou furioso e no bebo
b) durmo, estou furioso e no bebo
c) no durmo, estou furioso e bebo
d) durmo, no estou furioso e no bebo
e) no durmo, no estou furioso e bebo

02. (MPU Administrativa 2004 ESAF) Se Fulano culpado, ento Beltrano culpado. Se Fulano
inocente, ento ou Beltrano culpado, ou Sicrano culpado, ou ambos, Beltrano e Sicrano, so
culpados. Se Sicrano inocente, ento Beltrano inocente.
Se Sicrano culpado, ento Fulano culpado. Logo,
a) Fulano inocente, e Beltrano inocente, e Sicrano inocente.
b) Fulano culpado, e Beltrano culpado, e Sicrano inocente.
c) Fulano culpado, e Beltrano inocente, e Sicrano inocente.
d) Fulano inocente, e Beltrano culpado, e Sicrano culpado.
e) Fulano culpado, e Beltrano culpado, e Sicrano culpado.



1.10. Ser capaz de representar proposies categricas dadas usando diagramas de conjuntos;
1.11. Ser capaz de negar proposies categricas dadas, por escrito ou oralmente;
1.12. Dado um argumento categrico, ser capaz de diagram-lo e classific-lo em vlido ou
invlido.
Competncias:
- Fazer-se entender

Iniciaremos nesta aula mais um tpico no estudo dos argumentos, trata-se do Silogismo
categrico. Para testar a validade de um silogismo utilizamos diagramas.
Um silogismo categrico composto de, no mnimo, trs proposies categricas Mas o
que uma proposio categrica? Antes de responder a esta pergunta necessrio apresentarmos o
conceito de Quantificadores.
Quantificadores
- Quantificador Universal
O quantificador universal dado pelas expresses para todo, qualquer que seja, simbolizadas
por
. Exemplos:
Todo homem mortal. (
Fulano, Fulano mortal.)

Todos os nmeros mpares no so mltiplos de 2.(
x mpar, x no mltiplo de 2)
Dada a sentena aberta p(x) em um conjunto A, o smbolo
, referido varivel x, representa

uma operao lgica que transforma a sentena aberta p(x) numa proposio, verdadeira ou falsa,
conforme p(x) exprime ou no uma condio universal no conjunto A. Portanto, num universo
finito, o quantificador universal equivale a conjunes sucessivas.
Exemplos:
- No universo finito
} , , { A 7 5 3 =
e sendo p(x) a sentena aberta x primo, temos que:
(
x , A xe
primo) equivalente a (3 primo
.
5 primo
.
7 primo)
-
x x , x > 2

-
R x , x x e > +1


- Quantificador Existencial
J o quantificador existencial dado pela expresso existe, simbolizada por
-
.
Exemplos: Existem pessoas que no so machistas. (
-
Fulano, Fulano no machista.)
Existe um nmero primo que par. (
x -
primo, tal que x par)
Dada a sentena aberta p(x) em um conjunto A, o smbolo
-
, referido varivel x,
representa uma operao lgica que transforma a sentena aberta p(x) numa proposio, verdadeira
ou falsa, conforme p(x) exprime ou no uma condio possvel no conjunto A. Portanto, num
universo finito, o quantificador existencial equivale a disjunes sucessivas.
Exemplos:
No universo finito
} , , { A 5 4 3 =
e sendo p(x) a sentena aberta x par, temos que:
(
x , A x e -
par) equivalente a (3 par
v
4 par
v
5 par)
-
, x -
x vive na Lua.
-
2
x x , x > -

Negao de proposies envolvendo Quantificadores
A negao transforma o quantificador universal em quantificador existencial (seguido de
negao) e vice-versa, ou seja,
)) x ( p ~ , A x ( )) x ( p , A x ( ~ e - e
e
)) x ( p ~ , A x ( )) x ( p , A x ( ~ e e -

Exemplos:
- A negao de Todo aluno da turma A bem comportado. Existe aluno da turma A que no
bem comportado. ou Nem todo aluno da turma A bem comportado.
- A negao de Existe pelo menos uma pessoa doente nessa sala. Ningum nessa sala est
doente. ou Qualquer que seja a pessoa nessa sala, ela no est doente.

Proposies categricas
Dizemos que um enunciado uma proposio categrica quando ele est caracterizado por
um quantificador seguido por uma classe de atributos, um elo e, finalmente, outra classe de
atributos. As proposies categricas envolvidas em um raciocnio imediato podem ser
classificadas quanto quantidade (Universal e Particular) e qualidade (Afirmativa ou Negativa).
Observe o quadro abaixo:
Qualidade
Afirmao Negao
Quantidade
Universal Todo co fiel Nenhum co fiel
Particular Algum co fiel Algum co no fiel


Portanto, as proposies categricas se dividem em quatro tipos: Universal Afirmativa,
Particular Afirmativa, Universal Negativa e Particular Negativa. Nelas, os termos esto
relacionados uns com outros por meio das expresses todo e algum, isto , pelos
quantificadores.
Podemos associar a um conjunto e a um termo proposies da forma Todo A B, que
afirmam que A subconjunto de B, ou seja, todos os elementos de A so tambm elementos do
conjunto B. J as proposies da forma Algum A B estabelecem que o conjunto A tem pelo
menos um elemento em comum com o conjunto B.
Note que os enunciados da forma Algum S no P contm a expresso no. O no
atua nos enunciados categricos de duas maneiras diferentes: aplicado sentena toda, tornando
proposies verdadeiras em falsas e vice-versa; e aplicado a um termo, modificando, dessa forma,
somente uma idia e no todo o juzo. Quando o no se aplica a um termo, ele expressa uma
complementao e no a negao. Veja o exemplo abaixo:

Quando se trabalha com proposies categricas til visualizar as relaes entre os
conjuntos. A maneira mais ntida de ser fazer isto atravs dos diagramas.
Diagramas
A regio interna do crculo representa o contedo do conjunto; a regio externa do crculo
representa o contedo do seu complemento. A regio determinada pela interseco dos dois
crculos representa os elementos que tm em comum.

Cada tipo de proposio representado por diagramas para os quais a proposio vlida.

1. Todo S P. (Universal Afirmativa)
Algumas rvores so carvalhos
Algumas rvores no so carvalhos
No o caso de que algumas rvores so carvalhos
O conjunto das rvores tem pelo
menos um elemento em comum
com o conjunto de carvalhos
Algumas rvores so carvalhos
verdadeira, contudo a proposio acima
falsa.
P
P
~ P

2. Algum S P. (Particular Afirmativa)

3. Nenhum S P. (Universal Negativa)

4. Algum S no P. (Particular Negativa)

Exemplo: Represente cada uma das seguintes proposies atravs de diagramas:
a) Alguns pintores so escultores.
b) Todos os oradores so cultos.
c) Nenhum atleta gordo.

Deduo imediata
Os argumentos dedutivos imediatos partem de uma proposio categrica para outra
proposio categrica sem intermedirios. Por exemplo: Todo co fiel. Portanto algum co
fiel.
S
P
P= S
Diagrama I Diagrama II
S
P P= S
P
S
Diagrama I Diagrama II Diagrama III Diagrama IV
S P
S P
S P
~P
Diagrama I
P
S
Diagrama II Diagrama III
P
~P ~P
S

Para analisar a validade de uma inferncia imediata construmos todos os diagramas possveis
para a premissa. Se ao fizermos isso tivermos, tambm, diagramado a concluso ento a forma
vlida.
Assim, para verificar a validade argumento Todo co fiel. Portanto, algum co fiel.,
primeiro construmos os diagramas possveis para a proposio Todo co fiel:

Depois verificamos se a concluso foi representada em todos os diagramas possveis para a
premissa. Os diagramas possveis para a proposio algum co fiel so:

Assim ao representarmos a premissa Todo co fiel diagramamos tambm a concluso
algum co fiel. . Logo o argumento Todo co fiel. Portanto, algum co fiel. vlido.

Exemplo: Os seguintes argumentos podem ser formalizados como inferncias que envolvem
um par de proposies. Formalize e teste a validade dos argumentos resultantes por meio de
diagramas.
a) Todo espio no vegetariano. Logo, algum vegetariano espio.
b) Todo espio vegetariano. Portanto algum vegetariano no espio.
c) Nenhum espio vegetariano. Assim algum espio no vegetariano.
d) Algum espio vegetariano. Portanto algum espio no vegetariano.
e) Todo vegetariano espio. Logo algum espio no vegetariano.

Silogismo e sua Validade

Silogismo um argumento no qual h duas premissas e uma concluso. Um silogismo
categrico composto de trs proposies categricas. Para testar a validade de um silogismo
C
F
C= F
Diagrama I Diagrama II
C
F
C= F
C
F
Diagrama I Diagrama II Diagrama III Diagrama IV
C
F

atravs de diagramas, desenhamos os crculos correspondentes s premissas, com suas intersees,
se a concluso tiver sido diagramada, o argumento vlido. Caso contrrio, ele invlido.
Exemplos:
1) Alguns quadrpedes so lees.
Todos os lees so carnvoros.
Portanto, alguns quadrpedes so carnvoros.

2) Todos os brasileiros so homens.
Todos os brasilienses so brasileiros.
Logo, todos os brasilienses so homens.

3) Todos os atletas bem treinados so dedicados ao seu esporte.
Nenhum atleta que dedicado ao seu esporte viciado em drogas.
Logo, nenhum atleta que viciado em drogas um atleta bem treinado.


2 LISTA

2 LISTA DE EXERCCIO
1)Dados os argumentos identifique as premissas e a concluso, e determine a sua validade
a) Se houvesse uma guerra , a humanidade seria destruda.
Haver uma guerra nuclear.
Portanto, a humanidade ser destruda por uma guerra nuclear.
b) Se domingo, Miriam vai missa.
Miriam no foi missa.
Logo, no domingo.
c) Se 2 no primo, ento 3 no mpar.
Mas 2 primo.
Logo, 3 mpar.
d) Joo vai estudar ou no vai passar no concurso.
Joo passou no concurso.
Logo, Joo estudou.
e) Se uma mulher feia, ela infeliz.
Se uma mulher infeliz, ela no casa.
Logo, mulheres feias no casam.
f) Sabe-se que Joo estar feliz condio necessria para Maria sorrir e condio
suficiente para Daniela abraar Paulo. Sabe-se, tambm, que Daniela abraar Paulo
condio necessria e suficiente para Sandra abraar Sergio. Assim, quando Sandra no
abraa Sergio, Joo no est feliz e Daniela abraa Paulo.
g) Se Newton ou Arquimedes ganha, ento Pitgoras e Gauss perdem. Ora, soube-se que
h) Se Beto briga com Glria, ento Glria vai ao cinema. Se Glria vai ao cinema, ento
Carla fica em casa. Se Carla fica em casa, ento Raul briga com Carla. Ora, Raul no
brigou com Carla. Logo ,Carla no ficou em casa e Beto no brigou com Glria.
i) (Tcnico Ministrio Pblico) Quando no vejo Carlos, no passeio ou fico deprimida.
Quando chove, no passeio e fico deprimida. Quando no faz calor e passeio, no vejo
Carlos. Quando no chove e estou deprimida, no passeio. Hoje, passeio. Portanto, hoje
vejo Carlos, e no estou deprimida, e chove, e faz calor.


2. (AFC/CGU 2003/2004 ESAF) Homero no honesto, ou Jlio justo. Homero honesto, ou
Jlio justo, ou Beto bondoso. Beto bondoso, ou Jlio no justo. Beto no bondoso, ou
Homero honesto. Logo,
a) Beto bondoso, Homero honesto, Jlio no justo.
b) Beto no bondoso, Homero honesto, Jlio no justo.
c)) Beto bondoso, Homero honesto, Jlio justo.
d) Beto no bondoso, Homero no honesto, Jlio no justo.
e) Beto no bondoso, Homero honesto, Jlio justo.

3. (Fiscal Trabalho 98 ESAF) Se Lus estuda Histria, ento Pedro estuda Matemtica. Se Helena
estuda Filosofia, ento Jorge estuda Medicina. Ora, Lus estuda Histria ou
Helena estuda Filosofia. Logo, segue-se necessariamente que:
a)) Pedro estuda Matemtica ou Jorge estuda Medicina
b) Pedro estuda Matemtica e Jorge estuda Medicina
c) Se Lus no estuda Histria, ento Jorge no estuda Medicina
d) Helena estuda Filosofia e Pedro estuda Matemtica
e) Pedro estuda Matemtica ou Helena no estuda Filosofia

4) (ICMS/SP) Todo A B e todo C no B, portanto:
a) algum A C.
b) nenhum A C.
c) nenhum A B.
d) algum B C.
e) nenhum B A.

5) (Fiscal do Trabalho) Sabe-se que existe pelo menos um A que B. Sabe-se, tambm, que todo
B C. Segue-se, portanto, necessariamente, que:
a) todo C B.
b) todo C A.
c) algum A C.
d) nada que no seja C A.
e) algum A no C.

6) (TTN) Se verdade que Alguns A so R e que Nenhum G R, ento necessariamente
verdadeiro que:

a)algum A no G
b)algum A G
c)nenhum A G
d)algum G A

7) Exerccio Proposto: Escreva em linguagem corrente a negao das proposies:
a) Todo nordestino trabalhador.
b) Existe galinha com pescoo pelado.
c) Todos os meus colegas so inteligentes.
d) Existem advogados que no so competentes.
e) Todos os pescadores so mentirosos.
f) Alguma msica erudita.
g) Existe ao menos um habitante no planeta Vnus.
h) Nenhum peixe vive fora dgua.

Gabarito

1) a) Vlido. b) Invlido. i) Vlido. c) Vlido. d) Vlido. e) Vlido. f) Invlido

2)C 3)A



Conceitos de Elementos de Deduo Lgica

Termos Indefinidos, Axiomas e Teoremas
Em geral, um resultado expresso na forma de uma implicao, a partir, de uma afirmao
verdadeira, no qual chama-se teorema, tal como "Se P ento Q", sendo P e Q sentenas quaisquer,
por exemplo: " Se chover ento o cho ficar molhado". Assim, teremos as sentenas P = chover e
Q = o cho ficar molhado.
Em um teorema da forma "Se P ento Q" devemos deduzir Q de P, utilizando "axiomas" e
"regras" de inferncia lgica. Em geral, deseja-se demonstrar teoremas cujo significado
importante para um determinado tema em particular, por exemplo: Algoritmos, lgebra booleana,
Teoria de Compiladores, Teoria dos Grafos, etc. Para deduzir a sentena Q a partir de P, faz-se
necessrio, utilizar uma seqncia lgica de passos que se iniciam em P e finalizam em Q; cada
passo da seqncia um axioma lgico ou um axioma especfico ou ainda um passo que pode ser
logicamente inferido a partir do(s ) passo(s) anterior(es). Geralmente, no fcil reconhecer qual
assunto especfico ser til para preparar uma seqncia de passos que levem logicamente da
sentena P sentena Q. Infelizmente, no existe uma frmula para construir demonstraes e
nem algoritmos gerais ou programas de computador para demonstrarem teoremas.
Um teorema da forma "Se P ento Q" ou verdadeiro ou falso, no podendo ser
verdadeiro e falso simultaneamente. Para mostrar que uma afirmao da forma "Se P ento Q"
falsa basta exibirmos um exemplo em que a sentena P seja verdadeira e a sentena Q seja falsa,
no qual denominaremos de contra-exemplo, a ttulo de ilustrao considere a afirmao "Todo
inteiro menor que 10 maior que 5", que pode ser expresso atravs do seguinte teorema "Se um
nmero inteiro menor que 10 ento ele menor que 5", um contra-exemplo para o teorema o
nmero inteiro 4, pois 4 menor que 10, porm no maior que 5. claro que existem outros
contra-exemplo para o teorema em questo, mas um nico contra-exemplo suficiente para negar
a afirmao.

Exemplo
1) Fornea contra-exemplos para as seguintes afirmaes:
a) Todos os animais que vivem nos oceanos so peixes;
R. Baleia.
b) Todo peixe possui escamas;
R. Tubaro

c) Os dados de entrada para um programa de computador so sempre fornecidas por meio do
teclado.
R. Caneta ptica.

Para demonstrar que um teorema verdadeiro, podemos utilizar alguns tipos de provas:
Direta, Indireta, por Contradio ou Induo matemtica.

Tipos de Prova
Direta
Uma maneira de demonstrar que um teorema (ou conjectura) da forma "P ento Q"
verdadeira utilizando-se da tcnica de demonstrao direta, que consiste em assumir a hiptese,
P, como uma premissa verdadeira e deduzir a tese Q, utilizando-se de inferncias lgicas e/ou
matemticas.

Exemplos:
1) Demonstre que: Se um nmero inteiro divisvel por 6 ento ele divisvel por 3.
Podemos escrever o teorema acima da seguinte forma:
n e IN tal que 6|n 3|n.
Hiptese: n e IN tal que 6|n Tese: 3|n
Demonstrao:
n e NI tal que 6|n - k e Z tal que n = k
1
. 6 n = k
1
(2 . 3) = (2 . k
1
) 3
n = k . 3, com k e Z 3|n
Observe que a demonstrao consistiu em assumir a hiptese verdadeira e deduzir a tese (com o
auxlio de uma seqncia lgica de fatos verdadeiros).

2) Demonstre que: A soma de inteiros pares par.
Contraposio
A demonstrao por contraposio uma variante da tcnica de, demonstrao direta, ela
consiste em demonstrar um teorema da forma "P ento Q", utilizando-se para isso o mtodo direto
ao seguinte teorema "no Q ento no P", equivalente ao teorema "P ento Q", muitas vezes os
smbolos "~" ou " ' " so utilizados para indicar a negao de uma sentena, por exemplo: no P
~P P'.

Exemplo

1) Demonstre por contraposio: Se o quadrado de um nmero mpar ento o nmero tambm o
.
Seja x um nmero par x = 2 . k
1
para algum inteiro k
1

x . x = x
2
= (2 . k
1
) . (2 . k
1
) = 2 (2 . k
1
2
)
x
2
= 2 . k para algum inteiro k
x
2
um nmero par

Reduo ao Absurdo (Contradio)
Alm das tcnicas de demonstrao direta e contraposio, podemos destacar a tcnica de
demonstrao por contradio (tambm conhecida como demonstrao indireta). Esta tcnica
consiste em: Dado um teorema da forma "P ento Q", assumir a hiptese, P, e a negao da tese,
~Q, verdadeiras e utilizando a tcnica de demonstrao direta nos deparamos com uma
contradio (ou absurdo).
Exemplo
Prove que: Se um nmero somado a ele prprio resulta no prprio nmero ento o nmero
zero.


3 LISTA

3 LISTA DE EXERCCIO

1) Prove ou d um contra-exemplo: A soma de quaisquer trs nmeros inteiros positivos
consecutivos par.
2) Prove ou d um contra-exemplo: O produto de quaisquer trs nmeros inteiros consecutivos
par.
3) Prove ou d um contra-exemplo: O produto de um nmero inteiro pelo seu quadrado par.
4) Prove ou d um contra-exemplo: A soma de um nmero inteiro com o seu cubo par.
5) Fornea uma demonstrao direta de que a soma de inteiros pares par.
6) Prove por contradio que a soma de inteiros pares par.
7) Prove que a soma de dois nmeros inteiros mpares par.
8) Prove que o produto de quaisquer dois nmeros inteiros consecutivos par.
9) Prove que para qualquer inteiro n, o nmero 3(n
2
+ 2n + 3) 2n
2
um quadrado perfeito.
10) Prove que a soma de um nmero inteiro e do seu quadrado par.
11) Prove que soma de quaisquer trs nmeros inteiros consecutivos divisvel por 3.


Pensamento Relacional Aula 08

2.1. Ser capaz de representar informaes dadas por meio de diagramas de Venn ou tabelas
cruzadas;
2.2. Ser capaz de interpretar informaes apresentadas em diagramas ou tabelas;
2.3. Ser capaz de operar com conjuntos em exerccios por escrito
2.4 Ser capaz de aplicar a teoria de conjuntos na soluo de problemas
.
Competncias:
- Fazer-se entender
- Analisar situaes e problemas inseridos num contexto

Teoria de Conjuntos

Definio
Um conjunto qualquer agrupamento de elementos, podendo esses, os elementos, ser da
mesma espcie ou no.
Em geral, utiliza-se uma letra maiscula do alfabeto, A, B, C, D, ..., para representar um
conjunto.
Exemplos
1) A Seleo Brasileira de Futebol um conjunto formado por, jogadores, tcnicos, mdicos,
massagista, preparador fsico, preparador de goleiro, etc.
2) A = {1, 3, a, c, d, Joaquim, , l, , , , , , +, +, v, +, V, +, }
3) B = {a, b, c}
A ordem em que os elementos se apresentam no conjunto, no influencia no mesmo, por
exemplo: {a, b, c} = {b, c, a} = {c, b, a}
Podemos caracterizar um conjunto atravs de duas maneiras, a primeira listando todos
os seus elementos e, a segunda definindo uma condio que identifique todos os elementos do
conjunto, por exemplo:
A = {a, b, c, d, e}, aqui foi listado todos os elementos do conjunto A.
B = {todos os alunos da sala}


Dentre os mais variados tipos de conjuntos existentes, destacam-se, os conjuntos que
possuem apenas um nico elemento e os que no possuem elemento algum, a estes chamamos de
conjuntos unitrio e vazio, respectivamente. Denotaremos o conjunto vazio por, C. Por exemplo:

Conjunto unitrio A = {a}
Conjunto vazio B = {conjunto de jacars que voam} = C

Quando utilizamos a linguagem de conjuntos em determinado assunto, importante
determinar o conjunto formado pela totalidade dos elementos que esto sendo considerados; esse
conjunto chamado conjunto universo para o assunto em questo. Para represent-lo, usaremos o
smbolo U.
Um conjunto finito aquele em que podemos determinar a quantidade de elementos. Do
contrrio, o conjunto dito infinito. Por exemplo,

Conjuntos Finitos:
dgitos decimais = { 0, 1, 2, ..., 9}
dgitos binrios = { 0, 1}

Conjuntos Infinitos:
nmeros naturais = { 0, 1, 2, ...}
nmeros naturais pares = { 0, 2, 4, 6, ...}

O nmero de elementos em um conjunto finito chamado de cardinalidade ou de nmero
cardinal do conjunto. Por exemplo, se A = { 1, 2, 2, 5} tem-se card(A) = 3.

2.2. Relao de Pertinncia
Dizemos que um elemento, x, pertence a um conjunto A, se e somente se, este elemento,
x, for um membro (elemento) do conjunto A. Para indicarmos que um elemento pertence ou
no a um conjunto, A, utilizamos o smbolo e ou e, respectivamente, por exemplo: A = {a, b,
c, d}. Assim, a e A e h e A.

1.3.Relao de Incluso
Dizemos que um conjunto B est contido em um outro conjunto A se, e somente se, todo
elemento de B tambm elemento de A. Notao: B c A.

Exemplo
A = {conjunto de todos alunos da disciplina EA}
B = { conjunto de todos alunos, do sexo feminino, da disciplina EA}
Assim, B c A.
B c A (l-se, B est contido em A ou B um subconjunto de A)
B A (l-se, B contm A ou A um subconjunto de B)
Assim, B c A = A B.

Quando B c A, diz-se tambm que B parte de A, que est includo em A, ou contido em
A. A relao B c A chama-se Relao de Incluso.
Quando se escreve B c A no est includa a possibilidade de A = B. No caso em que B c
A e A = B, diz-se que B um subconjunto prprio de A, ou que B uma parte prpria de A, ou
ainda, que B est contido propriamente em A.
O conjunto vazio C subconjunto de qualquer conjunto A. Para demonstrar, suponha que
o conjunto vazio no esteja contido em A, isto , C . A. Logo, existe um elemento a tal que a e
C e a e A. Como no existe a e C, somos obrigados a admitir que C c A, seja qual for o
conjunto A.
Uma vez introduzido o sinal de incluso, a noo de igualdade entre conjuntos pode ser
expressa sob a forma: A = B A c B e B c A.
Exerccios:
1) Mostre que o conjunto vazio est contido em qualquer conjunto
2) Mostre que se A= {x/ x mltiplo de 4} e B={x/x par} ento .

1.4. Conjunto das Partes de um Conjunto
Seja um conjunto A, no vazio, denomina-se conjunto das partes do conjunto A, denotado
por (A), ao conjunto formado por todos os subconjuntos de A.
Na relao entre (A), e seus elementos, utilizamos os smbolos de pertinncia: e e e.
Assim se {a} elemento de (A), podemos escrever {a} e (A), {{a}} subconjunto de (A),
ou seja, {{a}} (A),.
Se o conjunto A tem n elementos, ento (A), tem 2
n
elementos.

Exemplo
A = {a, b, c}

P(A) = {C, {a}, {b}, {c}, {a, b}, {a, c}, {b, c}, {a, b, c}}

Conjuntos Numricos
- Conjunto dos nmeros naturais (IN)

Um subconjunto importante de IN o conjunto IN*:
IN*={1, 2, 3, 4, 5,...} o zero foi excludo do conjunto IN.
Podemos considerar o conjunto dos nmeros naturais ordenados sobre uma reta, como
mostra o grfico abaixo:

- Conjunto dos nmeros inteiros (Z)

O conjunto IN subconjunto de Z.
Temos tambm outros subconjuntos de Z:
Z* = Z-{0}
Z
+
= conjunto dos inteiros no negativos = {0,1,2,3,4,5,...}
Z_ = conjunto dos inteiros no positivos = {0,-1,-2,-3,-4,-5,...}

Observe que Z
+
= IN.
Podemos considerar os nmeros inteiros ordenados sobre uma reta, conforme mostra o
grfico abaixo:

- Conjunto dos nmeros racionais (Q)
IN ={0, 1, 2, 3, 4, 5,...}
Z={..., -3, -2, -1, 0, 1, 2, 3,...}

b
a
Os nmeros racionais so todos aqueles que podem ser escritos em forma de frao, com
denominador no nulo. Ou seja, o conjunto dos nmeros racionais a unio do conjunto dos
nmeros inteiros com as fraes positivas e negativas.
Assim, podemos escrever:

Exemplos:

interessante considerar a representao decimal de um nmero racional que se obtm
dividindo a por b.

Exemplos referentes s decimais exatas ou finitas:

Exemplos referentes s decimais peridicas ou infinitas:

Toda decimal exata ou peridica pode ser representada na forma de um nmero racional.

- Conjunto dos nmeros irracionais
Os nmeros irracionais so decimais no-exatos e no-peridicos, ou seja, os nmeros
que no podem ser escritos na forma de frao (diviso de dois inteiros). Como exemplo de
nmeros irracionais, temos a raiz quadrada de 2 e a raiz quadrada de 3:
racionais. nmeros so exemplo, por ,
2
3
, 1 ,
5
3
, 1 ,
4
5
2 : Ento , -
3
3
2
2
1
1
1 )
3
9
2
6
1
3
3 )
= = =
=
b
a
75 , 3
20
75
25 , 1
4
5
5 , 0
2
1
= = =
... 1666 , 1
6
7
... 42 8571428571 , 0
7
6
... 333 , 0
3
1
= = =
} 0 e , com , | { = e e = = b Z b Z a
b
a
x x Q


Um nmero irracional bastante conhecido o nmero t = 3,1415926535...

- Conjunto dos nmeros reais (IR)
Dados os conjuntos dos nmeros racionais (Q) e dos irracionais, definimos o conjunto dos
nmeros reais como:

Podemos associar os nmeros reais com os pontos de uma reta, observe a figura 1:

Figura 1.
O diagrama abaixo mostra a relao entre os conjuntos numricos:
Portanto, os nmeros naturais, inteiros, racionais e irracionais so todos nmeros reais.
Como subconjuntos importantes de IR temos:
IR * = IR -{0}
IR
+
= conjunto dos nmeros reais no negativos
IR _ = conjunto dos nmeros reais no positivos

Obs: entre dois nmeros inteiros, existem infinitos nmeros reais. Por exemplo:
- Entre os nmeros 1 e 2 existem infinitos nmeros reais:
1,01 ; 1,001 ; 1,0001 ; 1,1 ; 1,2 ; 1,5 ; 1,99 ; 1,999 ; 1,9999 ...
- Entre os nmeros 5 e 6 existem infinitos nmeros reais:
5,01 ; 5,02 ; 5,05 ; 5,1 ; 5,2 ; 5,5 ; 5,99 ; 5,999 ; 5,9999 ...
... 7320508 , 1 3
... 4142135 , 1 2
=
=
IR =Q {irracionais} = {x | x racional ou x irracional}
Reais
negativos
Reais
positivos

Um conjunto A dito enumervel (ou contvel) se existe uma correspondncia um para um
entre todos os elementos de A e os nmeros inteiros. Por exemplo:
- conjuntos finitos, IN, Z, Q
- IR - exemplo de conjunto no-enumervel. Basta mostrar que um subconjunto de IR no
enumervel. (Por exemplo, o intervalo [0, 1]. )

Exemplo:
Os conjuntos numricos cumprem as relaes de incluso, ou seja, IN c Z c Q c IR. Temos IN c Z,
o que traduz a afirmao: todo nmero natural um nmero inteiro. Todo nmero inteiro um
nmero racional e existem nmeros racionais que no so inteiros; isto , Z parte prpria de Q.

Operaes em Conjuntos
Podemos definir operaes binrias no conjunto (U), esta deve utilizar dois subconjuntos
de U para produzir um nico subconjunto de U. Definiremos duas operaes que tornam isso
possvel em (U), a unio e a interseo.

1.1.1 Unio
Dado um conjunto universo U, a unio de dois A e B pertencem a (U), denotada
por A B , um operao binria definida por
{ } B x A x x B A e v e = /
1.1.2 Interseo
Dado um conjunto universo U, a interseo de dois A e B pertencem a (U),
denotada por A B , um operao binria definida por
{ } B x A x x B A e . e = /

Podemos usar diagramas para visualizar as operaes unio e interseo

A B A B


Por exemplo, seja U o conjunto de todos os estudantes do IFTM. Ento os
elementos de (U) so conjuntos de estudantes. Seja A o conjunto de estudantes de
Licenciatura em computao e seja B o conjunto de estudantes de Logstica. Ambos, A e B
pertencem a (U). Um novo conjunto de estudantes pode ser definido, consistindo em
todos que estudam Computao ou Logstica, este conjunto pode ser obtido a partir de uma
operao binria em (U), esta operao a Unio. Podemos ainda definir outro conjunto,
consistindo em todos que estudam Computao e Logstica, este conjunto pode ser obtido
definindo uma operao binria em (U), esta operao a Interseo.

Complementar
Para um conjunto A pertencem a (U), o complemento de A, A uma operao
unria definida por
{ } A x U x x A e . e = /

Problema prtico:
Sejam } 9 , 8 ..., , 3 , 2 , 1 { = U , } 4 , 3 , 2 , 1 { = A , } 8 , 6 , 4 , 2 { = B , } 6 , 5 , 4 , 3 { = C . Encontre:
a) B A b) C A
c) B B d) C B A ) (
e) ) ( C B A f) A
g) B A h) C B A ) (
i) ) ( B A j) B A

Problema prtico:

Escreva uma expresso com conjuntos para o resultado de uma busca na rede sobre pginas
que falam a respeito de carros usados que sejam da marca Mercedez Benz ou Volkswagem
e no sejam caminhes.

A
A

Diferena
Uma outra operao binria em um conjunto A e B pertencentes A (U)
diferena entre conjuntos; { } B x A x x B A e . e = /

A ltima operao usando elementos de (U) o produto cartesiano.

Produto Cartesiano
Seja A e B subconjuntos de U. O produto cartesiano de A e B, denotado por B A ,
definido por
( ) } / , { B x A x y x B A e . e =
O produto cartesiano no uma operao binria em (U). Os elementos
resultantes no pertencem a U, mas so pares ordenados de elementos de U. Muitas vezes
temos interesse em cartesianos de um conjunto consigo mesmo, usamos uma abreviao
dada por
2
A A A = .

Problema prtico:
Seja A = {1,2} e B={3,4}. Encontre:
a) B A
b) A B
c) A
2

d) A
3

Identidades Envolvendo conjuntos
Existem muitas igualdades de conjunto envolvendo as operaes, que independem dos
conjuntos utilizados. Essas igualdades so chamadas identidades. Provar identidades
envolvendo conjuntos resume-se em demonstrar a igualdade destes conjuntos. Para isso
devemos mostrar a incluso em ambas as direes.

A B

Propriedades da Unio
Elemento Neutro: A C = C A = A
Prova:
Devemos mostrar que A C cA e Ac A C.
Seja x e (A C).

x e (A C)
x e A v x e C Definio de unio
x e A Elemento neutro
Logo, A C = A Definio igualdade

Analogamente, seja x e (C A).
x e (C A)
x e C v x e A Definio de unio
x e A v x e C Comutatividade
x e A Elemento neutro
Logo, C A = A Definio igualdade

Idempotncia: A A = A
Prova:
Seja x e (A A).

x e (A A)
x e A v x e A Definio de unio
x e A Idempotncia do conectivo v
Logo, A A = A Definio igualdade

Comutatividade: A B = B A
Prova:
Caso 1: Seja x e A B.
x e A B
x e A v x e B Definio de unio
x e B v x e A Comutatividade do conectivo v
x e (B A) Definio de unio
Logo , A B. _ (B A) Definio de incluso

Caso 2: Seja x e B A.

Portanto, pela definio de igualdade de conjuntos, podemos concluir que A B = B A.

Associatividade: A (B C) = (A B) C
Prova:
Caso 1: Seja x e A (B C).

x e A (B C)
x e A v x e (B C) (definio de unio)
x e A v (x e B v x e C) (definio de unio)
(x e A v x e B) v x e C (associatividade do conectivo v)
x e (A B) v x e C (definio de unio)
x e (A B) C (definio de unio)
Logo, A (B C) _ (A B) C. (definio de incluso)

Caso 2: Seja x e (A B) C.

x e (A B) C
x e (A B) v x e C (definio de unio)
(x e A v x e B) v x e C (definio de unio)
x e A v (x e B v x e C) (associatividade do conectivo v)
x e A v x e (B C) (definio de unio)
x e A (B C) (definio de unio)
Logo, (A B) C _ A (B C). (definio de incluso)

Portanto, pela definio de igualdade de conjuntos, podemos concluir que A (B C) =
(A B) C.

Propriedades da Interseo

Elemento Neutro:
A U = U A = A
Idempotncia:
A A = A
Comutatividade:
A B = B A
Associatividade:
x e B A
x e B v x e A definio de unio)
x e A v x e B (comutatividade do conectivo v)
x e A B definio de unio)
Logo, (B A) _ (A B).

A (B C) = (A B) C

Problema prtico: Prove as propriedades acima. As provas so anlogas operao de
unio

Propriedades que envolvem Unio e Interseo

Distributividade da Interseo sobre a Unio:
A (B C) = (A B) (A C)
Prova
e ) ( C B A x
e . e ) ( C B x A x Definio interseco
e v e . e ) ( C x B x A x Definio unio
e . e v e . e ) ( ) ( C x A x B x A x Distributiva do conectivo . sobre v
e v e ) ( ) ( C A x B A x Definio interseo
) ( ) ( C A B A x e Definio unio
Logo, A (B C) = (A B) (A C) Definio de igualdade

Distributividade da Unio sobre a Interseo: A (B C) = (A B) (A C)

Problema prtico : Prove a distributividade da Unio sobre a Interseo.

Propriedades de DeMorgan
_____ __ __ _________
(A B) = A B A B = ( A B )
~(A B) = ~A ~B A B = ~(~A ~B)

Problema prtico : Prove a propriedades de DeMorgan.


4 LISTA

4 LISTA DE EXERCCIO

Exerccios Propostos
1) Descreva cada um dos conjuntos a seguir, listando seus elementos:
a) {x | x e N e x
2
< 25} b) {x | x e N e x par e 2 < x < 11}
c) {x | x um dos trs primeiros presidentes do Brasil} d) {x | x e R e x
2
= -1}
2) Seja A = {x | x e R e x
2
4x + 3 < 0} e B = {x | x e R e 0 < x < 6}. Prove que
A c B.
3) Determine A se P(A) = {C, {x}, {y}, {x , y}}.
4) Dados A = {0 , 1 , 2 , 3}, B = {1 , 2 , 3} e C = {2 , 3 , 4 , 5}, determine:
a) A B b) A C c) B C
d) (A B) C e) (A C) (B C) f) A - C
g)
B
A
C h)
C) (B
A
C

5) Diga qual proposio verdadeira e qual falsa:
a) A C = C b) A - C = A c) C - A = C
d) (A A) A = A e) (A A) A = A f) (A A) C = C
6) Numa escola de 630 alunos, 350 estudam Matemtica, 210 estudam Fsica e 90 estudam as
duas matrias (Matemtica e Fsica). Determine:
a) quantos alunos estudam apenas Matemtica?
b) quantos alunos estudam apenas Fsica?
c) quantos alunos no estudam nenhuma das duas matrias?
7) Numa pesquisa, verificou-se que, das pessoas consultadas, 100 liam o jornal A, 150 liam o
Jornal B, 20 liam os dois jornais (A e B) e 110 no liam jornal algum. Quantas pessoa foram
consultadas?
8) Numa pesquisa de mercado, verificou-se que 2000 pessoas usam os produtos A ou B. O
produto B usado por 800 pessoas e 320 pessoas usam os dois tipos de produtos ao mesmo
tempo. Quantas pessoas usam o produto A?
9) Sabe-se que o sangue das pessoas pode ser classificado em quatro tipos quanto a antgenos.
Em uma pesquisa efetuada num grupo de 120 pacientes de um hospital, constatou-se que 40
deles tem o antgeno A, 35 tm o antgeno B e 14 tm o antgeno AB. Nestas condies, pede-
se o nmero de pacientes cujo sangue tm o antgeno O.

10) O departamento de seleo de pessoal de uma indstria automobilstica aplicou um teste em
44 candidatos. Uma das perguntas foi: voc j trabalhou no (a) setor de montagem; (b) setor
de pintura; (c) setor de eletricidade? Concluiu-se que todos os candidatos tm experincia em
pelo menos um dos setores e que: 28 trabalham em montagem; 4 s em montagem; 1 s em
eletricidade; 21 montagem e pintura; 16 pintura e eletricidade; 13 montagem e eletricidade.
a)Quantos trabalharam nos trs?
b)Quantos trabalharam em pintura?
c)Quantos trabalharam em eletricidade?
11) Numa cidade so consumidos trs produtos A, B e C. Feito um levantamento do mercado a
respeito do consumo desses produtos obteve-se o seguinte resultado: A: 150; B: 200; C: 250;
A e B: 70; A e C: 90; B e C: 80; A e B e C: 60; nenhum dos produtos: 180.
a) Quantas pessoas consomem s o produto A?
b) Quantas pessoas consomem A ou B ou C?
c) Quantas pessoas consomem A ou B?
d) Quantas pessoas consomem somente o produto C?
e) Quantas pessoas foram consultadas?
12) Se A e B so conjuntos quaisquer, prove que: (A B) c A e (A B) c B.
13) Se A e B so conjuntos quaisquer, prove que: A c (A B) e B c (A B).
14) Se A e B so conjuntos quaisquer, prove que: P(A) P(B) = P(A B).

Apostila Matematica Discreta

Caricato da

Informazioni sul documento

Copyright

Formati disponibili

Condividi questo documento

Condividi o incorpora il documento

Opzioni di condivisione

Hai trovato utile questo documento?

Questo contenuto è inappropriato?

Copyright:

Formati disponibili

Apostila Matematica Discreta

Caricato da

Copyright:

Formati disponibili

2014/01

Curso de Licenciatura em computao

Fulano, Fulano mortal.)

, referido varivel x, representa

Potrebbero piacerti anche