Calculo Numerico

CLCULO NUMRICO
__________________________________________________Sumrio
Aula 1 Teoria dos conjuntos

Aula 2 Proposies e conectivos
Aula 3 Operaes logicas sobre proposies I
Aula 4 Operaes logicas sobre proposies II
Aula 5 Clculo dos predicados I
Aula 6 Clculo dos predicados II
Aula 7 Mtodos de demonstrao
_____________________________________________Plano de Curso
EMENTA
Noes Preliminares. Clculo Proposicional. Clculo dos Predicados.
Mtodos de Demonstrao.
OBJETIVOS
Resolver problemas envolvendo a teoria dos conjuntos
Reconhecer uma proposio.
Resolver operaes com os conectivos utilizando a tabela verdade.
Representar o em forma de tabela-verdade o resultado das
proposies.
Identificar os tipos de argumentos.
CONTEDO PROGRAMTICO
Noes de conjunto
Proposies
Estudo dos conectivos
Tabela verdade
Estudo das proposies
Estudo da Tautologia, Contradio e Contingncia
Sentenas abertas
Mtodos dedutivos
Argumentos
BIBLIOGRAFIA BSICA
CASTRUCCI, B. Introduo lgica matemtica. So Paulo: Livraria
Nobel, 1974. v. 1.
DAGHLIAN, J. Lgica e lgebra de Boole. So Paulo: Atlas, 1990.
NOLT, J. Rohatyn, D. Lgica. So Paulo: McGraw-Hill, 1991.
BIBLIOGRAFIA COMPLEMENTAR
CYRINO, H. ARANTES, F. Lgica matemtica. Campinas: Papirus,
1984.
MENDELSON, E. lgebra booleana e circuitos de chaveamento. So
Paulo: Mcgraw Hill, 1977. v. 3.
______________________________________________Apresentao
Caro aluno,
Este caderno foi produzido com o intuito de prepar-lo no s para a

disciplina Clculo Numrico e tambm para desafios em concursos pblicos,
nos quais, a cada dia, podemos observar a necessidade de entendermos a
lgica.
Neste caderno, voc ter a oportunidade de aprender que uma
proposio uma frase que pode ser valorada como verdadeira ou falsa,
dependendo do seu valor lgico. Vamos tambm aprender sobre os conectivos
que so elo entre duas ou mais proposies, alm de tambm poder utilizar as
regras desse conectivos para construir uma tabela chamada de tabela-verdade,
que serve para indicar se uma sentena vai ser verdade ou uma falsidade e
nunca as duas coisas ao mesmo tempo.
Assim,
dentro
das
teorias
explicadas
neste
caderno,
veremos
explicaes e demonstraes de regras que sero muito teis na aplicao

dentro lgebra III que ser uma disciplina estudada por vocs posteriormente.
Ento, um grande abrao. Espero que aproveitem bem este caderno.
____________________________________________________Aula 01
Teoria dos conjuntos
Objetivo
Esperamos que, ao final desta aula, voc seja capaz de:
conhecer os smbolos relacionados aos conjuntos;
resolver problemas aplicados aos conjuntos.
Pr-requisito
Para iniciar o estudo sobre a Teoria dos Conjuntos, o aluno dever estar
familiarizado com a linguagem de operaes estudadas no Conjunto dos
Nmeros que j foi estudado em Fundamentos da Matemtica I e IV. Nesta
aula, esse conhecimento vai auxiliar tanto no entendimento terico, quanto
prtico para a resoluo de exerccios propostos.
Introduo
A idia de conjunto muito abstrata, porm com uma grande utilidade
na Matemtica. A Teoria dos Conjuntos teve seu aparecimento um pouco tardio
dentro da Matemtica, surgindo apenas no sculo XIX com George Boole
(1815 1864) e Georg Cantor (1845 1918)
Simbologia
1.1 Conceitos primitivos

1.1.1 Conjuntos
Entende-se por conjunto todo agrupamento bem definido de coisas,
objetos, pessoas, etc.
Exemplos
Conjunto das vogais do nosso alfabeto
Conjuntos dos nmeros racionais
Conjunto dos alunos de uma escola
1.1.2 Elementos de um conjunto
Os elementos de um conjunto so todos os objetos que o compem.

Exemplos
Dentro do conjunto das vogais temos: a, e, i, o, u.
Dentro do conjunto dos alunos de uma escola temos: Joo, Antnio,
Lucas.
1.1.3 Representao de conjunto
Os conjuntos podem ser representados por duas maneiras diferentes:
atravs de uma linha poligonal fechada (diagramas) ou entre chaves.
Os conjuntos so indicados por letras maisculas do nosso alfabeto,
enquanto os elementos so representados por letras minsculas.
Exemplos
Conjunto das vogais do nosso alfabeto
Conjuntos das cores da bandeira do Brasil

{verde, amarelo, azul, branco}
Que a ordem dos elementos altera a representao, mas no

altera o conjunto?
1.1.4 Relao de pertinncia
A relao de pertinncia representada pelos smbolos (l-se
pertence) ou (l-se no pertence), designados para representar se um
elemento faz ou no parte de um conjunto.
Exemplos
Seja o conjunto A = { 0, 1, 2, 3, 4, 5, 6, 7, 8, 9}, o conjunto B = {a, e, i, o,
u} e o conjunto C = { verde, azul, branco, preto, vermelho} logo:
a)5 3 A b) Azul C c) a B
d) 3 B Verde B a A
1.1.5 Subconjunto
dito que um conjunto A est contido em um conjunto B, ou que A
subconjunto-de B, se e somente se, todos os elementos de A pertencerem a B.
Indicamos por: A B.
Como A est contido em B, ento podemos dizer que B contm A, e
indicamos por: B A.
1.1.6 Tipos de conjuntos

Os conjuntos podem ser classificados de acordo com a quantidade de
elementos que possuem.
Conjunto Universo
o conjunto em que aceitamos existir de acordo com um certo assunto
ou tema matemtico. O conjunto universo representado pela letra U.
Exemplo: {maro, maio} o conjunto dos meses do ano que comeam
com a letra m. Assim o conjunto universo representado por U = { x / x ms
do ano}.
Conjunto Finito
Um conjunto classificado como finito quando possui uma quantidade
limitada de elementos.
Exemplos: {0, 1, 2, 3, 4, 5, 6, 7}; {a, b, c, d, e, f, g}
Conjunto Infinito
Um conjunto classificado como infinito quando possui uma quantidade
ilimitada de elementos.
Exemplos
{0, 2, 4, 6, 8, . . . } . { x . |N / x par}
{0, 1, 2, 3, 4, 5, 6, 7, } . { x / x natural }
Conjunto Unitrio
um conjunto formado apenas por um nico elemento.
Exemplo
Conjunto dos nmeros pares que so primos e positivos.
B={2}
Conjunto Vazio
Um conjunto chamado de vazio quando no possui nenhum elemento.
Exemplo: Conjunto formado por pessoas que possuem estatura superior
a 5 metros
A = ou A = { }
Ateno, um conjunto vazio no pode ser representado por { }, pois o
mesmo no indica vazio e sim a existncia de um elemento no seu interior.
Subconjunto
Um subconjunto definido como parte de um conjunto, ou seja, um
conjunto A subconjunto de B se todo elemento de A pertencer a B.
Exemplo
A = { 2, 4, 6 } e B = { 1, 2, 3, 4, 5, 6, 7, 8, 9}
Representando em forma de diagramas temos:
Logo podemos observar que A= {2, 4, 6} subconjunto do conjunto

B = { 1, 2, 3, 4, 5, 6, 7, 8, 9}.
Complementar
Seja um conjunto A em um universo U, chamado de complementar de
A o conjunto dos elementos de U que no esto em A, o qual ser indicado por
CA.
Logo podemos definir que CA = { x U / x A}

Exemplo
Sejam os conjuntos A = { 1, 3, 4} e B = { 1, 2, 3, 4, 5} determine CBA.
Para resolver esse exemplo, devemos pensar que CBA
= B - A, ou seja, os elementos que fazem parte do conjunto B, mas no
fazem parte de A.
Logo temos:
CBA = {2, 4, 5}
1.1.7 Operaes com conjuntos
Unio de conjuntos
Sejam dois conjuntos A e B, chamamos de unio de A com B (A U B ) o
conjunto formado por todos os elementos desses dois conjuntos.
Exemplo
Sejam dois conjuntos A = {1, 2, 3, 4, 5} e B = {4, 5, 6, 7, 8, 9} determinar
atravs de diagramas A U B (L-se A unio B).
Como podemos observar, atravs das representaes nos diagramas, o

conjunto que representa a unio do conjunto A com B : A U B = { 1, 2,
3, 4, 5, 6, 7, 8, 9}
Interseco de conjuntos
Sejam dois conjuntos A e B, chamamos de interseco de A com B (A
B), os elementos comuns aos dois conjuntos, ou seja, os elementos que esto
no conjunto A e que repetem-se no conjunto B.
Exemplo
Sejam dois conjuntos A = {1, 2, 3, 4, 5} e B = {4, 5, 6, 7, 8, 9} determinar
atravs de diagramas A B (L-se A interseco B).
Assim observamos que os elementos repetidos so apenas o 4 e o 5, em forma

de conjunto temos:
A B = { 4, 5}
Conjuntos Disjuntos
So chamados de conjuntos disjuntos os conjuntos que no possuem
nenhum elemento em comum, ou seja, a interseco entre os conjuntos
vazia.
Exemplo
Como podemos observar, o conjunto A e o conjunto B no possuem

nenhum elemento em comum, sendo assim so chamados de conjuntos
disjuntos.
Cardinal de um conjunto
10
A cardinalidade de um conjunto finito a quantidade de elementos que

compem esse conjunto.
Exemplo
Determine: # {a, e, i, o, u}
Como cardinal de um conjunto representa a quantidade de elementos de
um conjunto, logo nesse exemplo # = 5.
Como voc pde observar, nosso tema inicial, teoria dos conjuntos, de
grande importncia para o futuro professor de matemtica. Por isso, sempre
que achar necessrio, retome os conceitos aqui discutidos. Alis, bom rever a
teoria antes de realizar as atividades
Sntese de Aula
Nesta aula, vimos que um conjunto formado por elementos e tambm
observamos que a quantidade desses elementos que vai definir o tipo de
conjunto. Por exemplo: o conjunto que possui apenas um elemento
classificado como conjunto unitrio e o conjunto que no possui nenhum
elemento chamado de conjunto vazio. Assim, vimos tambm que possvel
haver operao entre conjuntos atravs dos sinais de operao, unio,
interseco e complementar.
Na prxima aula
Agora que voc j est habituado com a linguagem de conjuntos, ficar
mais fcil pra entender o conceito de raciocnio lgico e sua linguagem, ento
at a prxima aula.
11
____________________________________________________Aula 02
Proposies e conectivos
Objetivo
conhecer os smbolos que representam os conectivos;
interpretar frases, sabendo quando so proposies.
Pr-requisito
Como pr-requisitos para esta aula, devemos conhecer os smbolos
estudados na aula anterior e tambm sua interpretao.
Introduo
Um dos contedos importantes para o professor de matemtica o
conhecimento de proposies e conectivos. Nesta aula, retomaremos os
smbolos vistos na aula anterior e aprenderemos sua interpretao.
2.1 Proposies
Define-se como proposio um conjunto de smbolos ou palavras que
mostra um pensamento, que tenha uma idia ou sentido completo.
Assim as proposies transmitem idias, ou seja, confirmam fatos que
formamos com a respeito de determinadas coisas.
Exemplos:
p: Palmas a capital do Tocantins
q: > 6
r: Pandora um satlite de Saturno
As proposies podem ser classificadas em simples ou compostas.
Proposio simples: uma proposio que no tem outra como parte
integrante. Geralmente as proposies simples so representadas por letras
minsculas do nosso alfabeto.
Proposio composta: aquela formada pela ligao de duas ou mais
proposies. Geralmente as proposies compostas so representadas por
letras maisculas do nosso alfabeto, por exemplo:
P: Paulo alto ou Jlio magro
2.2 Valores lgicos das proposies
Chamamos de valor lgico de uma proposio a verdade caso a
proposio for verdadeira (usaremos o smbolo V) e a falsidade se a
proposio for falsa (usaremos o smbolo F).
12
Exemplo:
a) O chumbo mais pesado que a gua.
b) A Terra gira em torno da Lua.
Assim temos que o valor lgico da proposio (a) a verdade (V),
enquanto que o valor lgico da proposio (b) a falsidade (F).
2.3 Princpios
A lgica matemtica baseia-se em dois princpios bsicos: o princpio da
no contradio e o princpio do terceiro excludo.
2.3.1 Princpio da no contradio
Uma idia ou proposio no pode ser ao mesmo tempo verdadeira ou
falsa. Por exemplo: quando afirmamos que o carro verde, de forma alguma
essa afirmao poder ser ao mesmo tempo verdadeira e falsa, logo o carro
verde ou no verde.
2.3.2 Princpio do terceiro excludo
Uma proposio verdadeira ou falsa e nunca um meio termo. Por
exemplo: o clima esta agradvel, para lgica o clima s pode estar quente ou
frio e nunca um meio termo.
2.4 Conectivos
Os conectivos so palavras usadas para formar novas proposies a
partir de outras.
Exemplos:
P: O nmero 3 impar e o nove um quadrado perfeito
Q: Se vou viajar de nibus ento no viajo de carro
R: Ou ele passa de ano ou vai morar na fazenda
Veja os principais conectivos que vamos estudar em nosso curso:
2.5 Tabela verdade
13
De acordo com o princpio do terceiro excludo, qualquer proposio

simples ser verdadeira ou falsa e logo ter seu valor lgico V ou F. Logo,
esses valores devero estar organizados em forma de tabela. Assim se
tratando de uma proposio composta cujas proposies simples so p e q, as
nicas atribuies possveis de valores lgicos a p e a q so:
Observamos que os valores lgicos V e F se alternam de dois em dois

para a primeira posio q de um em um para a segunda posio q.
Vejamos agora a construo da tabela verdade com trs proposies
simples p, q e r.
14
Baseando na situao explicada anteriormente, quando temos trs

proposies logo para p termos quatro verdades e quatro falsidades, para q
duas verdades e duas falsidades e para r uma verdade e uma falsidade.
Para sabermos a quantidade de linhas da tabela basta fazer 2 n ,

onde n = nmero de posies, entendeu?
Veja como fcil: se a tiver duas proposies simples ento a nossa
tabela vai ter quatro linhas, ou seja, 22 = 4, duas verdades e duas falsidades
pra p e uma verdade e uma falsidade pra q. Caso tiver trs proposies como
no exemplo anterior bastaria fazer 23 = 8, logo para p = 4 verdades e 4
falsidades, q = duas verdades e duas falsidades e para r = uma verdade e uma
falsidade.
Sntese da aula
Nesta aula, voc aprendeu um pouco da introduo sobre Clculo
numrico, sua simbologia e seus significados.
Na prxima aula
15
Veremos cada conectivo, suas aplicaes e seus resultados com a ajuda

da tabela verdade.
16
____________________________________________________Aula 03
Operaes lgicas sobre proposies I
Objetivo
aplicar a teoria aprendida na aula anterior em exerccios e
demonstraes prticas;
resolver problemas propostos em forma de smbolos e sinais.
Pr-requisito
Como pr-requisito para esta aula, devemos conhecer os smbolos
estudados na aula anterior como tambm interpretao de frases, a resoluo
de exerccios propostos e o entendimento da tabela verdade.
Introduo
Quando raciocinamos, realizamos certo nmero de operaes sobre as
proposies, denominadas operaes lgicas. Essas operaes dependem da
regra de um clculo, chamado de clculo proposicional.
3.1 Negao ( )
A negao de uma proposio p representada por no p.
Tabela verdade da negao ( )
Exemplo:
a) p: Martins no vai praia
Negao (p): Martins no vai praia
b) q: O Sol no amarelo
Negao (q): O sol amarelo
A negao da afirmao uma afirmao!
17
Entretanto existem tambm duas outras formas de mostrar a negao de

uma proposio. Veja nos exemplos a seguir.
p: Todos os nmeros racionais podem ser escritos na forma de frao.
Negao (p): Nem todos os nmeros racionais podem ser escritos na
forma de frao.
q: Nenhum nmero par primo.
Negao (q): Algum nmero par primo.
3.2 Conjuno ( )
A conjuno de duas proposies p e q so representadas
simbolicamente por p q. Assim o valor lgico ser verdade se as proposies
p e q forem verdadeiras e falsa para os demais casos, observe a demonstrao
utilizando diagramas.
1 situao em que V V = V.
Se fizermos questo sobre a posio do nmero um de acordo com o

conjunto, observe as seqncias possveis.
O nmero 1 pertence a p, logo temos uma verdade (V).
O nmero 1 pertence a q, logo temos uma verdade (V).
Ento, o nmero um pertence a p e q, o que resulta em uma verdade
(V).
VV=V
2 situao em que V F = F.
18
O nmero 1 pertence a p, logo temos uma verdade (V)

O nmero 1 pertence a q, isso falso (F)
Ento, o nmero 1 pertence a p e q, o que resulta em uma falsidade (F),
logo:
VF=F
3 situao em que F V = F.
O nmero 1 pertence a p, isso falso (F)

O numero 1 pertence a q, logo temos uma verdade (V)
logo:
FV=F
4 situao em que F F = F.
19

logo:
FF=F
Humm...
Ento na conjuno, s ser verdadeira se ambas forem verdadeiras, e os
demais casos sero falsos.
Ento, escrevendo os valores na tabela verdade temos:
Exemplos:
a) Cantor criou a teoria dos conjuntos e um nmero racional
p: Cantor criou a teoria dos conjuntos ( V )
q: um nmero racional ( F )
pq=VF=F
b) Paris fica na Austrlia e 5 + 3 = 9
p: Paris fica na Frana ( F )
q: 5 + 3 = 9 ( F )
20
pq=FF=F
3.3 Disjuno ( )
A
disjuno
de
duas
proposies
so
representadas
simbolicamente por p q. Assim o valor lgico ser falso se as proposies p e

q forem falsas e verdadeira para os demais casos, observe a demonstrao
utilizando diagramas.
1 situao em que V V = F.

O nmero 1 pertence a q, logo temos uma verdade (V)
Ento, o nmero 1 pertence a p ou a q, o que resulta em uma verdade
(V), logo:
VV=V
2 situao em que V F = V.

(V), logo:
VF=V
3 situao em que F V = V.
21

(V), logo:
FV=V
4 situao em que F F = F.

logo:
FF=F
Ento escrevendo os valores na tabela verdade temos:
22
Hummmmm!
Ento na disjuno s ser falsa se ambas forem falsa, e os demais casos
sero verdadeiros
Exemplos
a) Doze um nmero par ou o Corinthians campeo da Taa
Guanabara
p: doze um nmero par ( V )
q: Corinthians campeo da Taa Guanabara ( F )
pq=VF=V
b) = 3,14 ou 3 > 2
p: = 3,14 ( F )
q: 3 > 2 ( V )
pq=FV=V
Assim terminamos a primeira parte do estudo sobre os conectivos e
seus valores na tabela verdade. Em resumo, temos que para a negao basta
dizer o contrrio do que foi dito, e no esquecer que a negao da negao
uma afirmao: tambm na conjuno basta saber que o valor lgico ser
verdadeiro se ambas proposies forem verdadeiras e os demais resultados
sero falsos. Na disjuno, ocorre justamente o contrrio da conjuno, ou
seja, o valor lgico ser falso se ambas proposies forem falsas e as demais
sero verdadeiras, assim encerramos o estudo desses trs conectivos.
Sntese da aula
Nesta aula voc aprendeu como construir a tabela verdade de trs
conectivos e ainda a utilizar a tabela verdade para encontrar o valor lgico de
cada proposio.
Na prxima aula
Muito bem, aqui encerramos mais uma aula sobre os trs conectivos que
so a negao, a conjuno e a disjuno. Na prxima aula, vamos dar
continuidade sobre estudo de mais os outros trs conectivos. At a prxima
aula pessoal.
23
____________________________________________________Aula 04
Operaes lgicas sobre proposies II
Objetivo
aplicar a teoria aprendida na aula anterior em exerccios e
demonstraes prticas;
Pr-requisito
Como pr-requisito para esta aula, voc dever lembrar dos conceitos
estudados nas aulas anteriores e conhecer os smbolos estudados at agora.
Voc tambm dever interpretar frases que esto em forma simblica ou
na linguagem escrita, bem como a resoluo de exerccios propostos e o
entendimento da tabela verdade.
Introduo
Nesta aula, vamos estudar mais trs conectivos chamados condicional,
bicondicional e a disjuno exclusiva. Cada um desses conectivos tem uma
tabela verdade a ser demonstrada e uma regra nova a ser aprendida. Ento
vamos l e bons estudos.
4.1 Condicional ()
A proposio condicional representada por se, ento e tem seu valor
lgico representado na tabela verdade a seguir.

Assim, se 1 pertence a p ento 1 pertence a q, o que resulta em uma
verdade (V), logo:
VV=V
24

O nmero 1 no pertence a q, isso falso (F)
Assim, se 1 pertence a p, ento 1 no pertence a q, o resultado ser
falso (F), pois como sabemos, p subconjunto de q logo todo elemento de p
tambm elemento de q.
VF=F
3 situao em que F V = V.

Assim, se o nmero 1 pertence a p, ento 1 pertence a q, pois todo
elemento de p tambm elemento de q mas nem todo elemento de q pertence
a p, assim o resultado ser verdade (V), logo:
FV=V
4 situao em que F F = V.
25

Assim, se o nmero 1 pertence a p, ento 1 pertence a q, o resultado
ser verdade (V), pois ao ver o diagrama observamos que o nmero 1 no faz
parte nem de p nem de q, logo:
FF=V
Ento, escrevendo os valores na tabela verdade, temos:
Legal, agora entendi tudo na proposio condicional se p for

verdade e q for falso o resultado falso e os demais casos so verdade.
Exemplo
Se Braslia capital do Brasil, ento 2 nmero primo.
p: Braslia capital do Brasil ( V )
q: 2 nmero primo ( V )
Logo V V = V
4.2 Bicondicional ()
Chama-se proposio bicondicional a ligao entre duas proposies
por meio do conectivo se, e somente se.
Aqui devemos lembrar que na proposio bicondicional os conjuntos so
iguais.
26
O nmero 1 pertence a p, isso verdade (V)

O nmero 1 pertence a q, isso verdade (V)
Assim, se 1 pertence a p, se somente se 1 pertencer a q, o que ser
verdade (V), pois o nmero 1 faz parte tanto de p quanto de q, logo:
VV=V

O nmero 1 no pertence a q, isso falso (F)
Assim, o nmero 1 pertence a p, se somente se 1 pertencer a q, o que
ser falso (F), pois o nmero 1 faz parte tanto de p quanto de q, logo:
V F = F
27

O nmero 1 pertence a q, verdade (estamos afirmando) (V)
Assim, o nmero 1 pertence a p, se somente se 1 pertence a q, o que
ser falso (F), pois o nmero 1 faz parte tanto de p quanto de q, logo:
FV=F

Assim, o nmero 1 pertence a p, se somente se 1 pertence a q, o que
ser verdade (V), pois o nmero 1 no faz parte neste caso de nenhum dos
conjuntos, logo:
F F = V
timo mais uma regra para minha coleo, aqui eu percebi que
quando p=q o valor verdade e quanto p for diferente de q falso.
4.3 Disjuno exclusiva ()
Aqui nos deparamos com uma situao de duplo significado, veja o
exemplo para melhor compreenso.
28
P: Mauro fsico ou engenheiro

Q: Lucas goiano ou mineiro
Nos dois exemplos, vimos que o conectivo ou foi utilizado com dois
sentidos, veja s.
Para o primeiro caso, Mauro fsico ou engenheiro, algo possvel, ou
seja, verdadeiro, pois mauro pode ser fsico e engenheiro; no seguindo caso,
Lucas goiano ou mineiro, fica impossvel disso ser verdade, pois se Lucas
goiano impossvel ele ser mineiro.
No primeiro caso, dizemos que o ou foi inclusivo e, no segundo caso,
vimos que o ou foi exclusivo, tendo como opo apenas uma nica
possibilidade.
Agora que voc j entendeu o significado da disjuno exclusiva, vamos
demonstrar a tabela verdade deste conectivo.
1 situao em que V V = F.

Assim, ou 1 pertence a p ou 1 pertence a q, ser falso (F), pois o
nmero 1 pertence aos dois conjuntos ao mesmo tempo, logo:
VV=F
2 situao em que V F = V.
29

Assim, ou 1 pertence a p ou 1 pertence a q, ser verdadeiro (V), pois o
nmero 1 pertence ao conjunto p, logo:
VF=F

Assim, ou 1 pertence a p ou 1 pertence a q, ser verdadeiro (V), pois o
nmero 1 pertence ao conjunto q, logo:
FV=V
30

Assim, ou 1 pertence a p ou 1 pertence a q, ser falso (F), pois o
nmero 1 no pertence a nenhum dos dois conjuntos, logo:
FF=V
Uauuuu!
Essa regra muito parecida com a bicondicional, s que ao contrrio, quando
p=q o resultado e falso e vice versa.
Agora que j conhecemos todos os conectivos que vo ser utilizados no
nosso curso, faremos uma tabela com as regras de negao que ser muito
importante para darmos continuidade nas aulas sequentes.
4.4 Regras de negao
31
Exemplos
Negue as proposies abaixo:
a) Mrcio fez matemtica e professor
p: Mrcio fez matemtica
q: professor
(p q)
Negando a proposio temos (p q) = p q, logo:
Mrcio no fez matemtica ou no professor
b) Se Beto sair de casa, ento Rafael vai visit-lo
p: Beto sai de casa
q: Rafael vai visit-lo
pq
Negando a proposio temos (p q) = p q, logo:
Beto sai de casa e Rafael no vai visit-lo.
Como podemos observar, a tabela da negao nos auxilia muito e ser
de grande utilidade nas demais atividades que veremos nas aulas posteriores.
Na prxima aula
Muito bem, aqui encerramos mais uma aula sobre os trs conectivos que
restavam. Na prxima aula, veremos sobre o clculo dos predicados, no qual
estudaremos sobre tautologia e contradio e seus respectivos valores na
tabela verdade. At a prxima aula.
32
____________________________________________________Aula 05
Clculo dos predicados I
Objetivo
interpretar os conectivos;
resolver a tabela verdade de cada proposio e a verificao de cada
proposio.
Pr-requisito
Como pr-requisito para esta aula, voc dever lembrar os conceitos
Voc tambm dever interpretar frases que esto em forma simblica ou
na linguagem escrita, bem como a resoluo de exerccios propostos e o
Introduo
Nesta aula, vamos estudar sobre o calculo dos predicados que uma
forma de representarmos um conhecimento comum que estabelece nomes de
relaes e propriedades. Assim, em um argumento do clculo dos predicados,
a discusso de um predicado com um termo estabelecer uma unidade
significativa mnima.
5.1 Tautologias, contradies e contingncia
5.1.1 Tautologia
Define-se como tautologia toda proposio composta com o resultado da
ltima coluna de sua tabela-verdade o valor verdadeiro ( V ).
As tautologias tambm so chamadas de proposies tautolgicas ou
proposies logicamente verdadeiras.
Exemplos
1. Provar que a proposio ( p p ) uma tautologia.
Para provar que essa proposio que est na linguagem simblica
uma tautologia, devemos montar sua tabela verdade, e verificar se na ltima
coluna todos os valores so verdadeiros.
33
2. Verificar se a proposio ser ou no ser eis a questo uma

tautologia.
Para resolver esse exerccio, vamos primeiramente saber quais so as
proposies.
p: ser
p: no ser
O restante da frase, eis a questo, no uma proposio
Como podemos ver, o resultado da ltima coluna foi totalmente

verdadeiro, provando assim que a frase uma tautologia.
5.1.2 Contradio
Define-se como contradio toda proposio composta com o resultado
da ltima coluna de sua tabela-verdade o valor falso ( F ).
Logo podemos pensar que a negao de uma tautologia ser sempre
uma contradio.
Exemplo
1. Verifique se a proposio [ p ( p q ) uma contradio.
Como fizemos no exemplo da tautologia, vamos tambm fazer a tabela
verdade para fazer a verificao.
5.1.3 Contingncia
Define-se como toda proposio composta em que na ltima coluna da
tabela-verdade aparecem as letras V e F pelo menos uma vez cada.
Em outras palavras, contingncia toda proposio composta que no
tautologia e nem contradio.
Exemplo
34
Verifique se a proposio p q p uma contingncia.
5.2 Implicao lgica

Dizemos que uma proposio composta P(p, q, r, s, . . . ) implica uma
proposio Q(p, q, r, s, . . . ), se Q verdadeiro ( V ) todas as vezes que P
verdadeiro (V). Representamos a implicao lgica pelo smbolo ()
P (p, q, r, s, . . .) Q (p, q, r, s, . . .)
Exemplo
pqpq
Observando a tabela-verdade, podemos concluir que se trata de uma

implicao lgica.
5.3 Propriedades da implicao lgica
5.3.1 Propriedade reflexiva
P (p, q, r, s, . . .) P (p, q, r, s, . . .)
5.3.2 Propriedade transitiva
Se P (p, q, r, s, . . .) Q (p, q, r, s, . . .) e Q (p, q, r, s, . . .)
R (p, q, r, s, . . .), ento P (p, q, r, s, . . .) R (p, q, r, s, . . .).
Exemplo
p: Lucas pai do meu primo (V)
q: Lucas meu tio (V)
p q: Lucas pai do meu primo implica que Lucas meu tio
Outra forma de verificar a implicao lgica por meio do seguinte
teorema:
35
A proposio P(p, q, r, s, . . . ) implica a proposio Q (p, q, r, s, . . . ), P

(p, q, r, s, . . .) Q (p, q, r, s, . . .) se, e somente se a condicional P (p, q, r, s, .
. .) Q (p, q, r, s, . . .) for uma tautologia.
Exemplo
Certifique-se de que, utilizando o teorema, as proposies so
implicaes lgicas.
a)
ppq
De acordo com o teorema, ns percebemos que uma implicao

lgica, pois a condicional uma tautologia.
b)
(p q) q p
Como podemos observar pelo teorema, no uma implicao, pois a

condicional no uma tautologia.
5.4 Equivalncia lgica
dita equivalncia lgica quando duas proposies compostas P (p, q,
r, s, . . .) e Q (p, q, r, s, . . .) possuem a mesma tabela-verdade, ou seja, tabelas
verdade idnticas.
Representamos uma equivalncia lgica por:
P (p, q, r, s, . . .) Q (p, q, r, s, . . .) ou P (p, q, r, s, . . .) Q (p, q, r, s, . .
.).
5.5 Propriedades da equivalncia lgica
5.5.1 Propriedade reflexiva
P (p, q, r, s, . . .) P (p, q, r, s, . . .)
5.5.2 Propriedade simtrica
36
P (p, q, r, s, . . .) Q (p, q, r, s, . .), ento Q (p, q, r, s, . . .) P (p, q, r,

s, . .)
5.5.3 Propriedade transitiva
Se P (p, q, r, s, . . .) Q (p, q, r, s, . .) e Q (p, q, r, s, . .) R (p, q, r, s, .
. .),
logo P(p, q, r, s, . .) R (p, q, r, s, . . .).
Exemplo
Certifique-se de que, utilizando o teorema, as proposies so
equivalncias lgicas.
a)
pqpq
Assim observamos que as tabelas-verdade so idnticas logo a

proposies so logicamente equivalentes.
b)
p (p q) p
Assim observamos que as tabelas-verdade so idnticas, logo as

proposies so logicamente equivalentes.
Sntese da aula
Nesta aula, aprendemos que uma proposio para ser tautolgica
dever ter a sua coluna resposta verdadeira, e tambm aprendemos que a
contradio o contrrio da tautologia, ou seja, sua coluna resposta dever ser
toda falsa.
Estudamos tambm sobre as implicaes lgicas em que no
desenvolvimento de uma tabela-verdade no ocorrer em nenhuma linha p ser
verdade e q ser falsa, e tambm aprendemos que duas proposies compostas
37
sero logicamente equivalentes quando tiverem tabelas-verdade idnticas.

verdade e q ser falsa, e tambm aprendemos que duas proposies compostas
sero logicamente equivalentes quando tiverem tabelas-verdade idnticas.
Na prxima aula
Muito bem, aqui encerramos esta aula sobre clculo dos predicados I.
Para a prxima aula, veremos a continuao sobre o clculo dos
predicados, os quantificadores e suas operaes. At a prxima aula.
38
___________________________________________________Aula 06
Clculo dos predicados II
Objetivo
entender cada problema escrito na forma de sentenas;
encontrar o conjunto verdade de cada sentena.
Pr-requisito
Como pr-requisito para esta aula, voc dever retomar os conceitos
Voc tambm dever interpretar frases que esto em forma simblica ou na
linguagem escrita, bem como a resoluo de exerccios propostos e o
Introduo
Nesta aula, vamos estudar sobre o clculo dos predicados que uma
forma de representarmos um conhecimento comum que estabelece nomes de
relaes e propriedades. Assim, em um argumento do clculo dos predicados,
a discusso de um predicado.
6.1 Sentenas abertas com uma varivel
Chamamos de sentena aberta com uma varivel em um conjunto A,
uma expresso p(x) tal que p(a) falsa (F) ou verdade (V) para todo a A.
Assim, uma sentena aberta com uma varivel em A tambm
chamada de funo proposicional com uma varivel em A.
Exemplos
Sejam as sentenas abertas em |N = {1, 2, 3, 4, 5, . . .n, . . . } as
seguintes expresses.
a) x + 1 > 7
b) 2x2 10x + 12 = 0
c) x divisor de 8
d) x primo
e) x mltiplo de 2
6.2 Conjunto-verdade de uma sentena aberta com uma varivel
O conjunto verdade de uma sentena aberta em um conjunto A, o
conjunto de todos os elementos a A tais que p(a) uma proposio
39
verdadeira
(V)
ser
representado
por
Vp,
assim
representando
simbolicamente temos:
Vp = {x | x A p(x) V}
Exemplos
1) De acordo com a sentena aberta x + 1 > 7 nos |N seu conjunto
verdade ser:
Vp = { x | x |N x + 1 > 7} = { 7, 8, 9, 10, . . . } |N.
2) Seja a sentena aberta x + 6 < 5 em |N, ter seu conjunto verdade:
Vp = { x | x |N x + 6 < 5 } = |N
3) O conjunto-verdade da sentena aberta x2- 3x > 0 em Z (conjunto dos
inteiros) :
Vp = { x | x |N x2 - 3x > 0 } = Z { 0, 1, 2, 3}
6.2.1 Casos de sentenas abertas
De acordo com os exemplos anteriores, p(x) uma sentena aberta em
um conjunto A em que trs casos podem ocorrer, veja:
1 caso O conjunto verdade Vp coincide com o conjunto universo A
da varivel x. Neste caso dizemos que p(x) significa uma condio universal no
conjunto A.
2 caso O conjunto verdade Vp um subconjunto prprio do universo
A da varivel x, assim neste caso dizemos que p(x) significa uma condio
possvel no conjunto A.
3 caso O conjunto verdade Vp vazio (Vp = ), logo p(x) significa
uma condio impossvel no conjunto A.
6.3 Sentenas abertas com duas variveis
Sejam dois conjuntos A e B, chamamos de sentena aberta com duas
variveis em A x B, uma expresso p(x, y) tal que p(a,b) falsa (F) ou
verdadeira (V) para todo par ordenado (a,b) A x B.
O conjunto A x B recebe o nome de conjunto-universo das variveis x e
y, e qualquer elemento (a, b) de A x B chamado de par de valores das
variveis x e y.
Assim, quando o par ordenado (a,b) A x B tal que uma proposio
verdadeira (V),dizemos que (a,b) satisfaz p(x,y).
Exemplos
40
De acordo com os conjuntos A = {1, 2, 3} e B = {5, 6}, so sentenas

abertas em A x B as seguintes expresses.
1) x menor que y (x < y)
2) x divisor de y ( x | y )
3) y o dobro de x( y = 2x )
4) mdc (x, y ) = 1
Aqui observamos que o par ordenado (3, 5) A x B, por exemplo,
satisfaz 1 e 2, pois 3 < 5 e o mdc (3, 5) = 1 e o par ordenado ( 3, 6) A x B por
exemplo, satisfaz 2 e 3, pois 3 | 6 e 6 = 2 . 3.
6.4 Conjunto-verdade de uma sentena aberta com duas variveis
Chamamos de conjunto-verdade de uma sentena aberta com duas
variveis o conjunto de todos os elementos (a, b) A x B, tais que p(a, b) seja
uma proposio verdadeira.
6.4.1 Representao simblica
Vp = { (x, y) A y B p (x, y)}
Ou podemos escrever de uma forma mais simples
Vp = { (x, y) A x B | p (x, y) }
Exemplos
1) De acordo com os conjuntos A = { 1, 2, 3, 4} e B = { 1, 3, 5}, determine
o conjunto-verdade da sentena aberta x < y em A x B.
Vp = { (x, y) | x A y B p x < y}
Vp = { (1; 3 ), (1; 5), (2; 4), (2; 5), (3; 5), (4; 5)} A x B
2) De acordo com os conjuntos A = { 2, 3, 4, 5} e B = { 3, 6, 7, 10},
determine o conjunto verdade da sentena aberta x divide y (x | y) em A x B.
Vp = { (x, y) | x A y B x | y }
Vp = { (2; 6 ), (2; 10), (3; 3), (3; 6), (5; 10)} A x B
6.5 Quantificadores
Veja as expresses a seguir:
a) x + 2 = 5
Essa expresso somente ser verdadeira se x for igual a 3.
b) x < 0 ser verdadeira se todos os valores atribudos a x forem
nmeros naturais com exceo do zero.
41
Essas
expresses
so
chamadas
de
sentenas
abertas,
no
consideradas proposies, pois seu valor lgico incerto, sendo que seu
resultado vai depender do valor dado s proposies. Assim, existem duas
outras maneiras de transformar estas sentenas em proposies. A primeira
ser atribuir valores s variveis x, ou utilizando os quantificadores.
6.6 Quantificador universal
Exemplo
a) ( x) (x + 2 = 5),
Temos que qualquer que seja o nmero x, temos que x + 2 = 5. Assim
vemos que o quantificador torna a sentena x + 2 = 5 uma proposio, porm
com valor lgico falso, pois existe apenas um resultado para x que torna a
sentena verdadeira e no qualquer valor.
b) ( x |N) (x + 5 > 3)
Para esse exemplo, temos qualquer valor de x pertencendo ao conjunto
dos nmeros naturais para a expresso x + 5 > 3 ter valor lgico verdadeiro,
pois para qualquer valor de x natural o resultado sempre vai ser maior que trs.
6.7 Quantificador existencial
Seja p(x) uma funo proposicional em um conjunto verdade quando Vp

no vazio, ento, um elemento de A satisfaz p(x) e assim podemos escrever
que existe pelo menos um elemento x de A.
( x A) p(x) ou x, p(x)
Exemplo
a) ( n |N) (n + 5 < 4)
Neste exemplo, podemos observar que no existe nenhum valor de n
que satisfaa a desigualdade logo Vp =
b) ( n |N) (n + 2 < 4)
Neste
exemplo,
observamos
que
existe
valor
desigualdade, assim Vp = {0, 1}.

6.8 Negao das proposies com quantificadores
que
satisfaz
42
Com toda certeza, um quantificador universal ou existencial poder ser

precedido de um smbolo de negao , por exemplo:
Todos os homens so mortais
Negando: No verdade que todos os homens so mortais
x h ( mortal)
[ ( x h) ( x mortal )] [ ( x h) ( x no mortal )]
6.8.1 Segundas regras de negao de De Morgan
De acordo com De Morgan, a negao transforma o quantificador
universal em quantificador existencial e vice-versa.
[( x A) (p(x))] ( x A) ( p(x))
Exemplo
a) A negao da proposio Todo o menino da turma C bem
comportado a proposio: Existe pelo menos um menino da turma C que
no bem comportado, ou seja, Nem todo menino da turma C bem
comportado.
b) ( x |N) ( x + 5 > 3)
[ x |N, x + 5 > 3] [ x |N, x
6.9 Contra-exemplos
x, p(x) falso
x, p(x) verdadeiro, isto , existe pelo menos um elemento x e A tal
que p(x) falso. Assim x0 dito contra-exemplo da proposio x, p(x).
Exemplos
De acordo com as proposies a seguir, encontre os contra-exemplos.
a) (x |R), |x| 0
falsa porque se x = o, |x| = 0, assim o elemento zero um
contraexemplo.
b) (x |R), (x2 > x)
falsa, porque, por exemplo, se x = 1/3, x2 = 1/9, e x2 x
Sntese da aula
Nesta aula, aprendemos sobre sentenas abertas com uma e duas
variveis, nas quais dependendo do valor de uma varivel x, as sentenas
podero ser valoradas como verdadeiras ou como falsas e nunca as duas ao
mesmo tempo.
43
Estudamos tambm sobre os quantificadores, universal e existencial, os

quais servem para transformar sentenas com valor lgico duvidoso em
sentenas com valores lgicos seguros.
Na prxima aula
Muito bem, aqui encerramos esta aula sobre clculo dos predicados II
Na prxima aula, veremos as demonstraes e os argumentos, que so
ferramentas importantes para encerrarmos o estudo sobre a lgica da clculo
numrico.
44
____________________________________________________Aula 07
Mtodos de demonstrao
Objetivo
utilizar o mtodo dedutivo para a demonstrao das proposies;
Pr-requisito
Como pr-requisito para esta aula, voc dever lembrar os conceitos
Voc tambm dever interpretar frases que esto em forma simblica ou na
linguagem escrita, bem como a resoluo de exerccios propostos e o
Introduo
Nesta aula vamos estudar sobre os mtodos de demonstrao e os
argumentos sobre a validade de um argumento.
7.1 Mtodo dedutivo
At agora, todas as implicaes e equivalncias foram demonstradas
atravs de tabelas-verdade; agora, vamos utilizar um mtodo mais eficiente
chamado mtodo dedutivo.
Exemplo
Demonstrao das implicaes.
(1) c p (1) p t
Onde p uma proposio qualquer e c e t so proposies que podem
ser
Valoradas
como
verdadeiras
(V)
ou
falsas
(F),
assim
temos
sucessivamente:
(1) c p c p t p t
(2) p t p t t
Observando a tabela-verdade de c p e p t exibem que essa
condies so tautolgicas:
7.2 Demonstraes
45
Para realizarmos as demonstraes pelo mtodo dedutivo, utilizaremos

as implicaes e as equivalncias estudadas nas aulas anteriores.
Exemplos
a) p q p q q
p q q (p q) p q q ( p q ) ( q q ) ( p
q) V
pqpq
b) (p q) p q
(p q) p q p (p q) ( p p) q V q
7.3 Argumento
Um argumento uma afirmao apresentada a partir de um conjunto de
proposies P1, P2, P3, P4, . . . , Pn, onde sero chamadas de premissas e
tero como consequncia uma outra proposio Q, chamada de concluso.
P1, P2, P3, P4, . . . , Pn Q
Um argumento pode ser classificado como vlido quando sua concluso
Q for verdadeira (V) ou no-vlido, quando sua concluso for falsa (F). O
argumento no-vlido tambm pode ser chamado de falcia (erro, engano) ou
sofisma.
Exemplo
a) p, p q q
7.3.1 Teorema
O argumento P1, P2, P3, P4, . . . , Pn Q vlido se, e se somente se,
a proposio (P1 P2 P3 P4 . . . Pn) Q tautologia.
Exemplo
a) Verifique se o argumento p q, q p
46
A coluna resposta uma tautologia, o que verifica o teorema.

b) Se 6 menor que 4, ento 6 no um nmero primo.
pq
q.....
q
p q, p p
Como no uma tautologia ento podemos classificar como uma falcia

(argumento no vlido).
Os argumentos vlidos so fundamentais para fazer dedues ou
demonstraes.
Observe a tabela a seguir.
47
Exemplos
Demonstrar os argumentos:
pq
a) Se o homem rico, ele infeliz
Se o homem infeliz, ele morre cedo
_______q__ ______________r_________
ricos morrem cedo
pr
Simbolicamente podemos representar:
pq,qrpr
Assim podemos demonstrar:
(1) p q premissa (hiptese)
(2) q r premissa (hiptese)
(3) p r silogismo hipottico de (1) e (2)
pq
b) Se Paulo estuda arduamente, ele passa nos exames
Paulo estuda arduamente
___________p_____________
Paulo passa nos exames
pq,p
Demonstrao
(1) p q premissa
(2) p premissa
(3) q Modus Ponens de 1 e 2
Sntese da aula
Nesta aula, aprendemos algumas regras de demonstraes e tambm
o argumento. Este, pode ser classificado em argumento vlido ou argumento
no vlido e por fim as inferncias.

Calculo Numerico

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Calculo Numerico

Uploaded by

Copyright:

Available Formats

CLCULO NUMRICO

Aula 1 Teoria dos conjuntos

Este caderno foi produzido com o intuito de prepar-lo no s para a

explicaes e demonstraes de regras que sero muito teis na aplicao

1.1 Conceitos primitivos

Os elementos de um conjunto so todos os objetos que o compem.

Conjuntos das cores da bandeira do Brasil

Que a ordem dos elementos altera a representao, mas no

1.1.6 Tipos de conjuntos

Logo podemos observar que A= {2, 4, 6} subconjunto do conjunto

Logo podemos definir que CA = { x U / x A}

Como podemos observar, atravs das representaes nos diagramas, o

Assim observamos que os elementos repetidos so apenas o 4 e o 5, em forma

Como podemos observar, o conjunto A e o conjunto B no possuem

A cardinalidade de um conjunto finito a quantidade de elementos que

2.5 Tabela verdade

De acordo com o princpio do terceiro excludo, qualquer proposio

Observamos que os valores lgicos V e F se alternam de dois em dois

Baseando na situao explicada anteriormente, quando temos trs

Para sabermos a quantidade de linhas da tabela basta fazer 2 n ,

Veremos cada conectivo, suas aplicaes e seus resultados com a ajuda

A negao da afirmao uma afirmao!

Entretanto existem tambm duas outras formas de mostrar a negao de

Se fizermos questo sobre a posio do nmero um de acordo com o

O nmero 1 pertence a p, logo temos uma verdade (V)

O nmero 1 pertence a p, isso falso (F)

O nmero 1 pertence a p, isso falso (F)

simbolicamente por p q. Assim o valor lgico ser falso se as proposies p e

O nmero 1 pertence a p, logo temos uma verdade (V)

O nmero 1 pertence a p, logo temos uma verdade (V)

O nmero 1 pertence a p, isso falso (F)

O nmero 1 pertence a p, isso falso (F)

O nmero 1 pertence a p, logo temos uma verdade (V)

O nmero 1 pertence a p, logo temos uma verdade (V)

O nmero 1 pertence a p, isso falso (F)

O nmero 1 pertence a p, isso falso (F)

O nmero 1 pertence a q, isso falso (F)

Legal, agora entendi tudo na proposio condicional se p for

O nmero 1 pertence a p, isso verdade (V)

O nmero 1 pertence a p, isso verdade (V)

O nmero 1 pertence a p, isso falso (F)

O nmero 1 pertence a p, isso falso (F)

P: Mauro fsico ou engenheiro

O nmero 1 pertence a p, isso verdade (V)

O nmero 1 pertence a p, isso verdade (V)

O nmero 1 pertence a p, isso falso (F)

O nmero 1 pertence a p, isso falso (F)

2. Verificar se a proposio ser ou no ser eis a questo uma

Como podemos ver, o resultado da ltima coluna foi totalmente

Verifique se a proposio p q p uma contingncia.

5.2 Implicao lgica

Observando a tabela-verdade, podemos concluir que se trata de uma

A proposio P(p, q, r, s, . . . ) implica a proposio Q (p, q, r, s, . . . ), P

De acordo com o teorema, ns percebemos que uma implicao

Como podemos observar pelo teorema, no uma implicao, pois a

P (p, q, r, s, . . .) Q (p, q, r, s, . .), ento Q (p, q, r, s, . . .) P (p, q, r,

Assim observamos que as tabelas-verdade so idnticas logo a

Assim observamos que as tabelas-verdade so idnticas, logo as

sero logicamente equivalentes quando tiverem tabelas-verdade idnticas.

De acordo com os conjuntos A = {1, 2, 3} e B = {5, 6}, so sentenas

Seja p(x) uma funo proposicional em um conjunto verdade quando Vp

desigualdade, assim Vp = {0, 1}.

Com toda certeza, um quantificador universal ou existencial poder ser