Escolar Documentos
Profissional Documentos
Cultura Documentos
MATEMTICA DISCRETA
GRADUAO
ANLISE E DESENVOLVIMENTO
DE SISTEMAS
SISTEMAS PARA INTERNET
MARING-PR
2013
C397
CENTRO UNIVERSITRIO DE MARING. Ncleo de Educao
a Distncia:
Matemtica Discreta / Ivnna Gurniski Carniel. Maring - Pr.,
2013.
137 p.
Curso de Graduao Anlise e Desenvolvimento de Siste
mas - Sistemas para Internet EaD.
As imagens utilizadas neste livro foram obtidas a partir dos sites PHOTOS.COM e SHUTTERSTOCK.COM.
Av. Guedner, 1610 - Jd. Aclimao - (44) 3027-6360 - CEP 87050-390 - Maring - Paran - www.cesumar.br
NEAD - Ncleo de Educao a Distncia - bloco 4- (44) 3027-6363 - ead@cesumar.br - www.ead.cesumar.br
MATEMTICA DISCRETA
Professora Esp. Ivnna Gurniski Carniel
APRESENTAO DO REITOR
Viver e trabalhar em uma sociedade global um grande desafio para todos os cidados.
A busca por tecnologia, informao, conhecimento de qualidade, novas habilidades para
liderana e soluo de problemas com eficincia tornou-se uma questo de sobrevivncia no
mundo do trabalho.
Cada um de ns tem uma grande responsabilidade: as escolhas que fizermos por ns e pelos
nossos far grande diferena no futuro.
Com essa viso, o Centro Universitrio Cesumar assume o compromisso de democratizar o
conhecimento por meio de alta tecnologia e contribuir para o futuro dos brasileiros.
No cumprimento de sua misso promover a educao de qualidade nas diferentes reas
do conhecimento, formando profissionais cidados que contribuam para o desenvolvimento
de uma sociedade justa e solidria , o Centro Universitrio Cesumar busca a integrao
do ensino-pesquisa-extenso com as demandas institucionais e sociais; a realizao de uma
prtica acadmica que contribua para o desenvolvimento da conscincia social e poltica e,
por fim, a democratizao do conhecimento acadmico com a articulao e a integrao com
a sociedade.
Diante disso, o Centro Universitrio Cesumar almeja reconhecimento como uma instituio
universitria de referncia regional e nacional pela qualidade e compromisso do corpo docente; aquisio de competncias institucionais para o desenvolvimento de linhas de pesquisa; consolidao da extenso universitria; qualidade da oferta dos ensinos presencial e a
distncia; bem-estar e satisfao da comunidade interna; qualidade da gesto acadmica e
administrativa; compromisso social de incluso; processos de cooperao e parceria com o
mundo do trabalho, como tambm pelo compromisso e relacionamento permanente com os
egressos, incentivando a educao continuada.
Professor Wilson de Matos Silva
Reitor
MATEMTICA DISCRETA | Educao a Distncia
APRESENTAO
Livro: MATEMTICA DISCRETA
Professora Esp. Ivnna Gurniski Carniel
Caro(a) aluno(a)!
Este material foi elaborado de modo a colaborar com seu desenvolvimento intelectual e
profissional, evidenciando a importncia dessa disciplina para a rea da informtica. Apesar
do formalismo matemtico na apresentao de alguns conceitos, apresentamos exemplos
de aplicao na rea da informtica. Iremos introduzir os conceitos bsicos de matemtica
discreta, necessrios para uma compreenso rigorosa das disciplinas especficas da rea da
informtica. Sero abordados temas que vo da lgica lgebra.
A Matemtica Discreta a parte da Matemtica que trata de objetos e estruturas discretas
ou finitas (discreta significa que formada por elementos distintos desconexos entre si).
Geralmente, usada quando contamos objetos, quando estudamos relaes entre conjuntos
finitos e quando processos (algoritmos) envolvendo um nmero finito de passos so analisados.
A matemtica discreta tem grande importncia na rea da informtica, pois nos computadores
a informao armazenada e manipulada numa forma discreta.
Na Unidade I, abordaremos alguns tpicos da Teoria de Conjuntos que uma importante
ferramenta para a compreenso e entendimento de estruturas discretas, muito teis na
computao como um todo. Inicialmente, apresentaremos os principais conceitos sobre
conjuntos, em seguida, as principais operaes com conjuntos e finalizaremos com algumas
aplicaes dessa teoria na rea computacional.
Nas unidades II e III, discutiremos parte da Lgica Matemtica, extensivamente usada na rea
da informtica. Nas dcadas de 50 e 60, pesquisadores previram que, quando o conhecimento
humano pudesse ser expresso usando lgica com notao matemtica, seria possvel criar
uma mquina com a capacidade de pensar, ou seja, inteligncia artificial. A programao
lgica uma tentativa de fazer computadores usarem raciocnio lgico.
Na unidade II, trabalharemos com a lgica e o clculo proposicional, apresentando exemplos
de proposies, seus conectivos lgicos e tabelas verdade. Esta unidade muito importante
dentro da informtica, uma vez que sua utilizao est associada formulao dos algoritmos
MATEMTICA DISCRETA | Educao a Distncia
utilizados na computao.
J na unidade III, trataremos dos chamados argumentos lgicos, de sua validao ou invalidao
e tambm abordaremos os quantificadores. Essas duas ferramentas esto inseridas dentro
do clculo proposicional e exigem o conhecimento bsico nessa rea. Por isso o estudo da
unidade II bastante importante para o entendimento da unidade III.
Na Unidade IV abordaremos alguns tpicos de Anlise Combinatria. Veremos as principais
formas de se fazer contagens considerando os arranjos, permutaes e combinaes. Cada
uma dessas formas de contagem tem suas particularidades e aplicaes. O grande desafio
est em diferenciar qual o tipo de contagem refere-se determinada situao problema.
A Unidade V foi dedicada ao estudo de Matrizes e alguns conceitos acerca da lgebra
Booleana. A lgebra booleana uma rea da matemtica que trata de regras e elementos
de lgica. O nome uma homenagem ao matemtico ingls George Boole (1815-1864), que
desenvolveu uma anlise matemtica sobre a lgica.
Sabemos que existem muitas particularidades dentro deste material e que isso vai exigir do
aluno esforo e tempo para que haja assimilao do contedo como um todo. Com isso,
afirmamos: ser necessrio tambm muito empenho de sua parte para a realizao desse
intenso trabalho.
No decorrer de suas leituras procure interagir com os textos, fazer anotaes, responder s
atividades de autoestudo, anotar suas dvidas, ver as indicaes de leitura e realizar novas
pesquisas sobre os assuntos tratados, pois, com certeza, no ser possvel esgot-lo em
apenas um livro.
Bons estudos !!!
Professora Ivnna Gurniski Carniel
SUMRIO
UNIDADE I
TEORIA DE CONJUNTOS
CONCEITOS PRIMITIVOS.......................................................................................................13
OPERAES ENTRE CONJUNTOS......................................................................................20
CONJUNTOS NUMRICOS....................................................................................................30
UNIDADE II
INTRODUO LGICA PROPOSICIONAL
LGICA....................................................................................................................................42
OPERAES LGICAS SOBRE PROPOSIES.................................................................46
TABELAS-VERDADE...............................................................................................................52
EQUIVALNCIA LGICA.........................................................................................................56
UNIDADE III
CLCULO PROPOSICIONAL: ARGUMENTOS E QUANTIFICADORES
ARGUMENTOS........................................................................................................................68
QUANTIFICAO....................................................................................................................77
UNIDADE IV
ANLISE COMBINATRIA
PRINCPIOS DA CONTAGEM.................................................................................................89
ARRANJOS .............................................................................................................................96
PERMUTAES......................................................................................................................98
COMBINAES....................................................................................................................103
PRINCPIO DA CASA DOS POMBOS...................................................................................106
UNIDADE V
MATRIZES E LGEBRA BOOLEANA
TIPOS DE MATRIZES............................................................................................................ 114
OPERAES COM MATRIZES............................................................................................ 117
MATRIZ INVERSA..................................................................................................................122
LGEBRA BOOLEANA.........................................................................................................125
CONCLUSO.........................................................................................................................135
REFERNCIAS......................................................................................................................137
UNIDADE I
TEORIA DE CONJUNTOS
Professora Esp. Ivnna Gurniski Carniel
Objetivos de Aprendizagem
Conhecer alguns conceitos da Teoria de Conjuntos.
Representar e identificar, de forma coerente, os diferentes Conjuntos.
Identificar os elementos de um conjunto por meio de sua caracterstica.
Relacionar conjunto a conjunto.
Compreender as operaes entre conjuntos.
Propiciar estudo para o entendimento, interpretao e resoluo de situaes
problemas.
Plano de Estudo
A seguir, apresentam-se os tpicos que voc estudar nesta unidade:
Relao entre Elemento e Conjunto
Representao de um Conjunto
Conjunto Unitrio Conjunto Vazio Conjunto Universo
Relao entre Conjunto e Conjunto
Operaes entre conjuntos
Resoluo de Problemas
Conjuntos Numricos
INTRODUO
Nesta primeira unidade, voc estudar um tema muito importante para o mundo da matemtica:
a Teoria de Conjuntos. O estudo dos conjuntos foi iniciado por Georg Ferdinand Ludwig Philip
Cantor e Richard Dedekind em 1870. Trata-se de um contedo cercado de histria e que
contribuir com sua formao acadmica.
Pesquisas contemporneas em teoria de conjuntos incluem diversas colees de temas, na
rea da computao podemos citar: banco de dados, circuitos integrados, inteligncia artificial
e sistemas distribudos.
Fonte: SHUTTERSTOCK.COM
CONCEITOS PRIMITIVOS
13
ser necessrio entender se dado problema admite soluo, quantas so essas solues,
se a soluo aceitvel, ou ainda qual a probabilidade de algo acontecer, alm de outras
abordagens.
H alguns conceitos matemticos que no podemos definir. Entre eles esto os conceitos
de conjunto, elemento e relao de pertinncia, que, por serem os primeiros de uma cadeia
de definies, so chamados conceitos primitivos. Embora o conceito de conjunto no seja
possvel definir, podemos apelar para a noo intuitiva a que a palavra nos proporciona que
a de uma coleo qualquer de objetos.
Por exemplo:
Conjunto dos estados da regio Sudeste:
Conjunto dos nmeros primos:
B= {2,3,5,7,11,13,}
Cada um dos objetos que compem um conjunto denominado elemento.
Por exemplo:
O conjunto M dos Meses do Ano composto pelos elementos janeiro, fevereiro, maro, abril,
maio, junho, julho, agosto, setembro, outubro, novembro e dezembro e pode ser escrito como:
M = {janeiro, fevereiro, maro, abril, maio, junho, julho, agosto, setembro, outubro, novembro,
dezembro}
Observao: usamos reticncias (...) em conjunto quando esse infinito.
O conjunto Z dos Nmeros Inteiros composto pelos elementos positivos 1, 2, 3, 4, 5, 6, 7,
8... , pelos elementos negativos -1, -2, -3, -4, -5, -6, -7, -8... , e pelo elemento nulo 0 (zero) e
pode ser escrito como:
14
Z = {... -8, -7, -6, -5, -4, -3, -2, -1, 0, 1, 2, 3, 4, 5, 6, 7, 8...}
Relao entre Elemento e Conjunto
Para indicar que determinado objeto a elemento de um dado conjunto B, utilizamos o smbolo
e os relacionamos como a (l-se: a pertence ao conjunto B).
Para indicar que determinado objeto a no elemento de um dado conjunto B, utilizamos o
smbolo e os relacionamos como a (l-se: a no pertence ao conjunto B).
Por exemplo:
2Be9B
Representaes de um Conjunto
H trs formas de representar um conjunto: por Extenso, por Compreenso e por Diagrama.
Representao por Extenso
Listamos todos os elementos, escrevendo-os entre chaves e separando-os por vrgulas (exceto
quando usamos nmeros decimais, nesse caso usamos ponto e vrgula para separ-los).
Representao por Compreenso
O conjunto ser representado por meio de uma propriedade que caracteriza os seus elementos,
em algumas situaes, impossvel escrever tal caracterstica. Nesses casos, optamos por
15
Considere o conjunto : conjunto dos dias da semana. E vamos representar esse conjunto
das trs maneiras explicitadas anteriormente.
Compreenso:
S= {x | x dia da semana}
Extenso:
S = {domingo,segunda-feira,tera-feira,quarta-feira,quinta-feira,sexta-feira,sbado}
Diagrama:
16
H = {Terra}
Conjunto Vazio
o conjunto que no possui elementos e cuja notao . Ele tambm pode ser representado
por { }.
Por exemplo:
D= {xx um nmero natural mpar menor do que 1} = , pois no h nmero natural mpar
menor do que 1.
Conjunto Universo
o conjunto formado por todos os elementos com os quais estamos trabalhando em um
determinado assunto.
17
18
Resultados Importantes
Se A B e B A A = B
Lembre-se de que 20=1; 21=2; 22=4; 23=8. possvel conjecturar ento que, se A tem n
19
20
Por exemplo:
Sejam os conjuntos:
A = {Terra, Vnus, Marte}
B = {Terra, Netuno, Saturno, Mercrio, Vnus}
A B = {Terra, Vnus}
se A B A B = A.
se A B A B = B.
21
22
23
Sejam os conjuntos:
U = {segunda-feira, tera-feira, quarta-feira, quinta-feira, sexta-feira}
S = {domingo, segunda-feira, tera-feira, quarta-feira, quinta-feira, sexta-feira, sbado}
US={}
S U= {domingo, sbado}
24
Resoluo:
Como todo aluno leitor de pelo menos um dos jornais, o total 100%. Mas, se voc
somar as parciais 80% e 60% o resultado 140%. Os 40% excedentes representam os
valores que foram contados duas vezes: foram contados como leitores de X e depois
como leitores de Y. Assim, 40% leem ambos os jornais. (Alternativa C)
2) (INFO) - Aps um jantar, foram servidas as sobremesas X e Y. Sabe-se que das 10
pessoas presentes, 5 comeram a sobremesa X, 7 comeram a sobremesa Y e 3 comeram
as duas. Quantas no comeram nenhuma das sobremesas?
a) 1
b) 2
c) 3
d) 4
e) 0
Resoluo:
Acompanhe o diagrama enquanto l a resoluo:
Para resolver este tipo de problema voc precisa organizar os conjuntos citados X e Y
25
contando com uma possvel interseco. Na sequncia, posicionamos o valor correspondente interseco dos conjuntos (3 comeram as duas).
A seguir, completamos os conjuntos X e Y: X j tem 3 elementos e precisa de mais 2 para
completar 5; Y j tem 3 elementos e precisa de mais 4 para completar 7. Desta forma,
o diagrama teria: 2 que comeram s X; 4 que comeram s Y e 3 que comeram as duas
sobremesas (X e Y). Somando essas quantidades encontramos 9, que representam as
9 pessoas que comeram alguma coisa (seja s X, s Y ou ambas). Falta 1 pessoa para
completar as 10 citadas, esta no comeu sobremesa alguma. (Alternativa A)
3) Um grupo de estudantes resolveu fazer uma pesquisa sobre preferncias dos alunos
quanto ao cardpio do Restaurante Universitrio. Nove alunos optaram somente por carne de frango, 3 somente por peixe, 7 por carne bovina e frango, 9 por peixe e carne bovina
e 4 pelos trs tipos de carne. Considerando que 20 alunos manifestaram-se vegetarianos,
36 no optaram por carne bovina e 42 no optaram por peixe. Quantos alunos foram
entrevistados?
Resoluo:
Denotemos por P, o conjunto dos alunos que optaram por peixe; por F, os alunos que
optaram por frango e por B, os que optaram por carne bovina.
Esse tipo de exerccio deve ser analisado a partir da interseco dos conjuntos. Ento
comearemos pela interseco dos trs: 4 pessoas optaram pelos trs tipos de carne.
Portanto na interseco dos trs conjuntos temos 4 elementos.
O diagrama fica assim:
26
Seguindo, ns temos: 9 pessoas optaram por carne bovina e peixe. Note que isso implica
que na interseco do conjunto B com o conjunto P deve ter 9 elementos. No entanto, j
temos 4 contados pelo raciocnio anterior. Logo, o diagrama fica assim:
De maneira anloga procedemos com a afirmao: 7 optaram por carne bovina e frango
e da obtemos a seguinte representao:
A afirmao: nove alunos optarem somente por carne de frango nos conduz
representao:
27
De maneira anloga procedemos com a afirmao: 3 alunos optaram somente por peixe
e da obtemos a representao.
28
Conclumos que essas 4 pessoas devem estar na interseco do conjunto F com o conjunto P. E assim obtemos a representao em diagrama:
Pela anlise do diagrama temos 9+3=12 pessoas que no optaram por peixe. Mas
devemos nos lembrar de que h 20 vegetarianos que tambm no optaram por peixe.
Logo, 20+12=32.
Como o total de pessoas que no optaram por peixes 42, fazemos: 42-32=10. Essas 10
pessoas completam o diagrama correspondendo s pessoas que s optaram por carne
bovina. Assim o diagrama fica:
29
Voc pode encontrar no Youtube uma srie de vdeos produzidos pela BBC de Londres: A Histria da
Matemtica (The storyofmaths). Este foi escolhido como Melhor Documentrio produzido no ano pela
estao BBC. Apresentado pelo pesquisador e professor da Universidade de Oxford, Marcus du Sautoy, o fi lme volta histria da matemtica da Grcia e de Atenas e explica o quo importante ela ainda
para ns nos dias de hoje. O Documentrio dividido em 4 captulos. Captulo 1 - A Linguagem do
Universo; Captulo 2 - O Gnio do Oriente; Captulo 3 - As Fronteiras do Espao; Captulo 4 - Rumo ao
Infi nito e Mais Alm. Devido ao limite de 10 minutos por vdeo postado no Youtube, cada captulo est
dividido em 5 ou 6 partes. Voc encontra os links na sequncia em: <http://www.estudarcomputacao.
com/2010/06/historia-da-matematica-serie-da-bbc-em.html>. Procure-os! Valer a pena!
CONJUNTOS NUMRICOS
A seguir, apresentamos conjuntos numricos especiais, nomeadamente: conjunto dos
nmeros naturais ( N ), conjunto dos nmeros inteiros ( Z ), conjunto dos nmeros racionais
( Q ), conjuntos dos nmeros irracionais ( R - Q ) e conjunto dos nmeros reais ( R ).
Conjunto dos Nmeros Naturais ( N )
Os nmeros que surgiram naturalmente, pela necessidade de contar, representam o Conjunto
dos Nmeros Naturais:
N = {0, 1, 2, 3, 4, 5, 6...}
Conjunto dos Nmeros Inteiros ( Z )
Os nmeros naturais acompanhados de seus opostos (negativos) compem o Conjunto dos
Nmeros Inteiros:
30
Z = {...4, 3, 2, 1, 0, 1, 2, 3, 4...}
o que nos permite escrever N Z .
Conjuntos dos Nmeros Racionais ( Q )
So racionais todos os nmeros que podem ser escritos em forma de frao, com numerador
e denominador inteiros.
Usamos a letra Q para os racionais, pois relacionamos Racionais Razo, Razo
Frao, Frao Diviso e Diviso a Quociente.
Q = {a/b; a ,b e Z b 0}
Note que no conseguiramos escrever todos os nmeros racionais, uma vez que todos os
nmeros inteiros poderiam ocupar o lugar de a e b. O que podemos fazer citar alguns
exemplos: {1/2, 1/3, 1/4, ..., 2/2, 2/3, 2/4, ...., 3/2, 3/3, 3/4, ...}.
Note que 1/2 = 0,5 que, alm de ser um decimal exato, ainda pode ser escrito em forma de
frao e, portanto, racional.
Note ainda que 2/2 = 1 que, alm de ser inteiro, tambm pode ser escrito em forma de frao
e, portanto, racional.
Note tambm que 1/3 = 0,33333333... que, alm de ser uma dzima peridica, ainda pode ser
escrito em forma de frao e, portanto, racional. Conclumos que N Z Q . O diagrama
abaixo pode ser favorvel para a memorizao, caso voc tenha dificuldades em entender:
31
Na representao anterior:
A parte cinza corresponde aos nmeros naturais {0, 1, 2, 3, 4, 5, ...}. A parte listrada corresponde
aos nmeros inteiros negativos {..., 5, 4, 3, 2, 1}. A parte branca corresponde s fraes
cujo quociente no um nmero inteiro {1/2, 1/3, 13/28...}.
Conjunto dos Nmeros Irracionais ( R - Q )
Como o prprio nome sugere, nmero irracional todo nmero no racional, ou seja, um
nmero que no pode ser escrito na forma a/b com a ,b e b 0. Alguns exemplos de
nmeros irracionais so: 2, 7, etc. Quando escrito na forma decimal, um nmero irracional
apresenta infinitas casas decimais no peridicas.
Observe:
a) 2 = 1,414213
b) b) =3,141592
Conjunto dos Nmeros Reais ( R )
O conjunto dos nmeros reais ( R ) a reunio do conjunto dos nmeros racionais com o
conjunto dos nmeros irracionais. Isto ,
R = { x | x racional ou x irracional}
Desse modo, todos os tipos de nmeros estudados at aqui so reais, ou seja, os conjuntos
32
CONSIDERAES FINAIS
Um conjunto uma coleo no ordenada de objetos. O conceito objetos foi introduzido por
George Cantor, em 1895, com o propsito de um tratamento intuitivo na constituio de um
conjunto. Portanto, objetos no conjunto so chamados de elementos, ou membros, do conjunto.
Nesta unidade, vimos os principais conceitos relacionados a conjuntos, bem como nas suas
aplicaes, demonstraes e operaes, alm disso, apresentamos os conjuntos numricos
especiais.
Saber utilizar os conjuntos e as suas principais operaes fundamental para o entendimento
da teoria das probabilidades e tambm da lgica matemtica.
ATIVIDADE DE AUTOESTUDO
Em uma dada cidade foi feito um levantamento com 1000 pessoas sobre o uso de diferentes
tipos de computadores: notebooks, computadores de mesa e notebooks e obteve-se os
seguintes resultados:
Tipo
Computador (C)
Notebook (NO)
Netbook (NE)
Computador e Notebook
Computador e Netbook
Notebook e Netbook
Computador, Notebook e Netbook
Responda:
1. Demonstre o diagrama de Venn para a situao exposta.
2. Qual o nmero de pessoas que usa somente um tipo de computador?
3. Qual o nmero de pessoas que usa exatamente dois desses tipos de computadores?
4. Qual o nmero de pessoas que usa pelo menos um tipo de computador?
5. Qual o nmero de pessoas que no usa os tipos de computadores citados?
6. Descreva com palavras os conjuntos a seguir e represente-os por extenso:
MATEMTICA DISCRETA | Educao a Distncia
33
a) B = {x x N , x > 12}
b) C = {x x N , 5 < x < 10}
c) D = {x x N , x < 0}
34
k) ( ) A
l) ( ) {1} A
m) ( ) {1} A
n) ( ) {1, 3} A
o) ( ) {1, {3}} A
p) ( ) {0, 1, 2} A
q) ( ) {1, } A
r) ( ) {{3}, } A
s) ( ) {1, 2, 3} A
t) ( ) {0, 1, 2, {3}} = A
u) ( ) {1, 2, 3} A
v) ( ) A
x) ( ) { } A
Repostas das atividades
1) 1000
PC
Not.
Net.
340
35
2) 550
3) 100
4) 660
5) 340
C = {6, 7, 8, 9}
D=
7.
A = { 1, 2, 3} B = { 1, 3, 4, 5} C = { 2, 3}
D = { 1, 2}
a) A B = {1, 2, 3, 4, 5}
b) A B = {1,3}
c) B D = {1, 2, 3, 4, 5}
d) A (B C) = { 1, 2, 3}
8.
a) V
b) F
c) V
d) V
e) F
36
f) V
g) F
h) V
i) F
j) F
k) V
l)V
m) F
n) F
o) V
p) V
q) V
r) V
s) F
t) F
u) F
v) F
x) V
37
UNIDADE II
INTRODUO
O termo lgica deriva-se do vocbulo grego logos, que significa ideia, palavra, razo ou
regularidade. A Lgica como cincia estuda o conjunto de regras que regem o processo de
pensar e raciocinar. A lgica matemtica pode ser descrita como uma linguagem simblica e
uma maneira de transformar lgica em lgebra, caracterizando-se por ter linguagem artificial,
simblica, para representar o pensamento.
A computao nos auxilia na resoluo de milhares de tipos de problemas. A forma como um
computador resolve problemas se baseia na execuo de um algoritmo previamente pensado
por algum ser humano. Como o computador limitado fisicamente, faz sentido prever que um
computador leva mais tempo para resolver problemas mais difceis.
A medida de dificuldade de um problema est diretamente relacionada com a complexidade
do algoritmo que o resolve. Encontrar melhores algoritmos para resoluo de certos problemas
sempre foi uma tarefa primordial para o desenvolvimento da Teoria da Computao, e a lgica
est intimamente ligada criao e desenvolvimento destes algoritmos mais robustos.
O impacto da lgica nos bancos de dados um dos melhores exemplos da efetividade da
mesma sobre a cincia da computao. H trs motivos principais para sua utilizao:
1) A lgica possui variveis sintticas de fcil utilizao.
2) Pode ser implementada usando relaes algbricas, o que representa uma vantagem
crucial quando tratamos de uma grande quantidade de dados.
3) Suas buscas podem demorar tempos constantes para qualquer tamanho do banco de
dados se houver paralelismo suficiente.
A linguagem consistindo nesta notao simblica juntamente com as regras a serem
empregadas chama-se clculo proposicional. O termo significa sistema para executar
41
clculos com proposies, no havendo assim relao com o clculo diferencial e integral da
matemtica.
Fonte: SHUTTERSTOCK.COM
LGICA
Podemos definir lgica como o estudo dos princpios e mtodos usados para distinguir o
raciocnio correto do incorreto. Isso se torna importante dentro da computao, uma vez que
essa uma rea em que se usam expresses lgicas rotineiramente como:
Se p ento q
Se p e q, ento q ou p
necessrio saber em quais casos temos expresses verdadeiras e em quais casos temos
expresses falsas, o que chamamos de valor lgico das expresses.
Proposio
Uma FRASE e o elemento de comunicao que relaciona palavras entre si de modo a
estabelecer uma mensagem com sentido completo:
42
Exclamativa: Parabns!!!
Uma PROPOSIO uma frase declarativa a qual pode ser atribudo, sem ambiguidade, um
dos valores lgicos: Verdadeiro (V) ou Falso (F).
As proposies transmitem pensamentos, isto , afirmam fatos ou exprimem juzos que
formamos a respeito de determinados entes.
Exemplos de proposies:
Braslia a capital do Brasil uma sentena declarativa expressa de forma afirmativa. Podemos atribuir um valor lgico: a sentena verdadeira. Assim, seu valor
lgico V.
Boa noite!
Princpio da Identidade: uma proposio Verdadeira Verdadeira e uma proposio Falsa Falsa.
2.
Princpio do Terceiro Excludo: uma proposio ou verdadeira ou falsa, no existindo uma terceira possibilidade.
3.
43
Exerccio
Determine quais das frases so proposies.
a) Resolva esta questo.
b) Boa sorte!
c) Julia bonita.
d) 6 x 3 = 34.
e) O quilmetro tem 100 metros.
f) Talvez hoje chova.
g) Aqueles carros so caros.
Classificao das proposies
Quanto s proposies, as mesmas podem ser simples ou compostas. A definio ou mesmo a
utilizao dessas proposies depende do problema que estar em observao. importante
sabermos quando, ento, temos uma proposio simples ou uma proposio composta para
que possamos trabalhar com o problema em questo.
Proposio simples: so proposies que no podem ser decompostas em proposies mais simples.
Exemplos:
44
Observe que esta uma proposio composta com as subproposies: Animais so peludos
e aves tm penas.
no (negao)
e (conjuno)
ou (disjuno)
se ento (condicional)
Observe que a propriedade fundamental da proposio composta a utilizao de um conectivo separando-as em subproposies.
45
46
pq
falsa.
Observe que existem quatro linhas correspondentes s quatro possveis combinaes de V ou
F para as subproposies p e q.
Note que, como dito acima, p q s ser verdade quando as duas subproposies so
verdadeiras.
Exemplos de proposies com conectivo e:
(i) Londres fica na Inglaterra e 3 + 4 = 7
(ii) Londres fica na Inglaterra e 3 + 4 = 8
(iii) Londres fica na Alemanha e 3 + 4 = 7
(iv) Londres fica na Alemanha e 3 + 4 = 8
Apenas a declarao (i) verdadeira, o resto das proposies so falsas, uma vez que nas
outras proposies pelo menos uma das subproposies falsa.
Disjuno
Uma disjuno existe quando duas proposies podem ser combinadas pela palavra ou para
formar uma proposio composta chamada disjuno das proposies originais. denotada
por:
p q (l-se p ou q)
Assim, o valor lgico de p q depende apenas de um dos valores lgicos de p e de q.
Essa proposio composta ser verdadeira se pelo menos uma componente for verdadeira.
Caso contrrio, falsa.
47
pq
Na segunda linha dizemos que: se p verdade e q falso, ento p q uma proposio verdadeira.
48
Observe que apenas a ltima declarao iv falsa, o resto das proposies verdadeiro, uma
vez que nas outras proposies pelo menos uma das subproposies verdadeira.
Negao
Uma negao existe quando dada uma proposio p, outra proposio denominada negao de
p pode ser formada escrevendo no ocorre que ou falso que. Da mesma forma, podemos
dizer que a negao de uma proposio construda a partir da introduo da palavra no
ou no o caso que. denotada por:
p ou ~p (l-se no p)
Assim, o valor lgico de p depende apenas do valor lgico de p.
O valor lgico de p pode ser definido pela tabela abaixo. Observe:
p
Como dito acima, que p ser verdade quando p for falsa e vice-versa. Assim, o valor lgico
da negao sempre o oposto ao valor lgico de p.
Exemplos:
(i) Londres fica na Inglaterra.
(ii) No ocorre que Londres fique na Inglaterra.
(iii) Londres no fica na Inglaterra.
(iv) 3 + 4 = 7.
(v) No ocorre que 3 + 4 = 7.
(vi) 3 + 4 no 7.
MATEMTICA DISCRETA | Educao a Distncia
49
Observe que ii e iii so negaes de i; como i verdadeira, ento ii e iii so falsas; da mesma
forma v e vi so negaes de iv, ento se iv verdade, ento v e vi so falsas.
A notao lgica para os conectivos e ou e no no tem forma nica. Podemos encontrar algumas
formas diferentes na literatura:
p .q ou pq para p q
p + q para p q
p ou ~p para p
Condicionais e Bicondicionais
As proposies em matemtica podem estar na forma de alguma condio imposta, podendo
ser lida na forma se p ento q. Essas declaraes so chamadas de condicionais e podem
ser denotadas por:
p q
Essa declarao pode ser lida p implica q.
Exemplo:
Se voc me tocar, eu gritarei.
Voc me tocar o antecedente e eu gritarei o consequente.
50
Veja que a palavra ento foi omitida e, de fato, a mesma pode ser omitida. A ordem inversa
dos condicionais tambm pode ser expressa, por exemplo: Eu gritarei se voc me tocar. Esta
uma simples variante gramatical da sentena anterior e seus antecedentes e consequentes
so os mesmos.
Dadas duas proposies p e q, o conectivo lgico se, e somente se estabelece uma
relao bicondicional, traduzindo uma ideia de antecedncia e consequncia que se satisfazem
mutuamente. Ou, em outras palavras:
Como a das componentes no altera o significado, a sentena pode ser reescrita como:
Os valores lgicos dessas declaraes podem ser vistos nas tabelas a seguir:
p
pq
51
pq
Prioridade
TABELAS-VERDADE
A propriedade principal de uma proposio o fato de seu valor lgico depender dos valores
lgicos de suas variveis. Uma maneira de demonstrar essa relao por meio das tabelasverdade.
52
pq
(p q)
pq
53
pq
pq
pq
(p q) (p q)
Seja p a sentena faz frio e q a sentena o tempo est nublado. Podemos transcrever a
sentena lgica para a sentena verbal. Veja as proposies dadas:
a) p: faz frio
b) q: o tempo no est nublado
c) p q: faz frio e o tempo est nublado
d) p q: faz frio ou o tempo est nublado
e) p q: no faz frio e o tempo no est nublado
Da mesma maneira, podemos traduzir as sentenas verbais em sentenas lgicas.
Exemplo:
a) No faz frio: p
b) o tempo est nublado: q
c) faz frio e o tempo no est nublado: p q
54
Exerccios:
1) Construa a tabela-verdade para a proposio (p q) (p q).
2) Construa a tabela-verdade para a proposio (p q) (p q).
3) Sabendo que p: Joo l revista, e q: Julia l jornal, descreva as sentenas verbais em
sentenas lgicas:
a) Joo no l revista.
b) Julia l jornal ou Joo l revista.
c) Joo no l revista e Julia no l jornal.
4) Utilizando as notaes acima, descreva as sentenas lgicas em sentenas verbais:
a) p
b) q p
c) p q
Tautologia e Contradio
Quando construmos tabelas-verdade, as proposies na ltima coluna, ou proposio
desejada, aparecem com valores lgicos verdadeiros ou falsos. Algumas proposies
contm apenas valores verdadeiros na ltima coluna sendo assim verdade para quaisquer
valores lgicos. Essas proposies so chamadas de tautologias. De forma semelhante,
outras proposies aparecem em sua ltima coluna com apenas valores falsos, ou seja,
falsa para quaisquer valores lgicos das suas variveis. Essas proposies so chamadas de
contradies.
Exemplos:
Assim, verificamos que essa proposio p p apresenta-se como uma tautologia.,
p
pq
55
pq
A negao de uma tautologia uma contradio, j que esta sempre falsa. De forma semelhante, a
negao de uma contradio uma tautologia, uma vez que sempre verdadeira.
Exerccio:
Verifique se a proposio [(a b) (a b)] uma tautologia ou uma contradio.
ab
ab
(a b)
[(a b) (a b)]
56
FONTE: SHUTTERSTOCK.COM
EQUIVALNCIA LGICA
[(a b) (a b)]
Dadas as proposies compostas P e Q, diz-se que ocorre uma equivalncia lgica entre P e
Q quando suas tabelas verdade forem idnticas. Denotamos por: P Q.
Equivalncias lgicas notveis
Referncias
p, q, r proposies
- tautologia
- contradio
Dupla negao
(p) p
Leis idempotentes
ppp
ppp
Leis Comutativas
pqqp
pqqp
Leis Associativas
p (q r) (p q) r
p (q r) (p q) r
Leis Distributivas
p (q r) (p q) (p r)
p (q r) (p q) (p r)
Leis de De Morgan
(p q) p q
(p q) p q
Leis de Identidade
pp
p
pp
p
Leis Complementares
p p
p p
Condicional
p q (p q) (p q)
p q q p (Contrapositiva)
(p q) p q
Bicondicional
p q (p q) (q p)
(p q) p q p q
57
De acordo com Notare (2003, p.11), podemos citar algumas aplicaes na Computao:
Os conectivos lgicos E (AND), OU (OR) e NO (NOT), respectivamente , e , esto
disponveis em muitas linguagens de programao. Eles agem sobre combinaes e
expresses verdadeiras e falsas para produzir um valor lgico final. Tais valores lgicos
permitem a deciso do fluxo de controle em programas de computador. Assim, em uma
ramificao condicional de um programa, se o valor lgico da expresso condicional
for verdadeiro, o programa executar um trecho do seu cdigo; se o valor lgico
da expresso condicional for falso, ele executar outro trecho do seu cdigo. Se a
expresso condicional for substituda por outra expresso equivalente mais simples,
o valor lgico no ser afetado, assim como o fluxo de controle do programa, mas o
novo cdigo ser mais fcil de ser entendido e poder ser executado mais rapidamente.
CONSIDERAES FINAIS
Os efeitos e aplicaes da lgica sobre a computao se estendem sobre as mais diversas reas
da mesma, dos mais altos nveis, como inteligncia artificial, aos mais baixos, como na produo
dos circuitos integrados. Assim, fornece no somente uma base slida para a fundamentao do
ramo, mas tambm uma poderosa ferramenta para o desenvolvimento do mesmo.
O principal ponto observado que a lgica proposicional tem sua prpria linguagem tcnica
e um instrumento poderoso para a anlise e a deduo dos argumentos. A utilizao de
uma simbologia matemtica ajuda a expor, com maior clareza, as estruturas lgicas das
proposies e dos argumentos, que podem no ficar suficientemente claras se expressas na
linguagem natural.
Outra vantagem da utilizao de uma linguagem simblica para a Lgica a possibilidade
58
ATIVIDADES DE AUTOESTUDO
1.Considere p como O Rio de Janeiro bonito e q como O Rio de Janeiro violento. Expresse
as proposies fazendo uso da notao lgica proposicional.
a) O Rio de Janeiro no bonito.
b) O Rio de Janeiro bonito ou violento.
c) No o caso que o Rio de Janeiro violento.
d) Se o Rio de Janeiro bonito, ento violento.
e) O Rio de Janeiro bonito se e somente se violento.
2.Construa as tabelas-verdade das expresses:
a) a (a b)
b) [(a b) (a b)]
c) a (a b)
d) b (a b)
3.Formalize as seguintes frases:
a) A eutansia permitida por lei se for praticada na Holanda.
b) A eutansia deve ser permitida se, e s se, for aplicada a doentes terminais.
c) Se Picasso espanhol e est vivo, ento no pintor.
d) Picasso espanhol e, se est vivo, ento no pintor.
e) Picasso espanhol, mas no est vivo.
f) No acontece depressa e bem.
MATEMTICA DISCRETA | Educao a Distncia
59
60
ab
a (a b)
b) [(a b) (a b)]
a
ab
ab
(a b)
(a b) (a b)
[(a b) (a b)]
c) a (a b)
a
ab
a (a b)
d) b (a b)
a
ab
b ( a b)
3.
a) P: A eutansia permitida por lei.
Q: A eutansia permitida na Holanda.
QP
MATEMTICA DISCRETA | Educao a Distncia
61
e) P: Picasso espanhol.
Q: Picasso est vivo.
P ~Q
f) P: Acontece depressa.
Q: Acontece bem.
~(PQ)
62
5. p (p q)
p
p q
p (p q )
63
UNIDADE III
INTRODUO
Em lgica proposicional, um argumento um conjunto de uma ou mais sentenas declarativas.
Podemos ainda dizer que os argumentos exigem premissas, acompanhadas de outra frase
declarativa conhecida como concluso. Os argumentos traduzem verdades ou no em relao
s premissas e a sua consequente declarao como exposto.
Os argumentos podem ser divididos em dedutivo, em que se afirma que a verdade de uma
concluso uma consequncia lgica das premissas que a antecedem; e indutivo que
afirma que a verdade da concluso apenas apoiada pelas premissas. Em funo disso as
frases que apresentam um argumento so referidas como sendo verdadeiras ou falsas e, em
consequncia, so vlidas ou so invlidas.
J os quantificadores so elementos de linguagem que servem para quantificar observaes
e experincias traduzindo-as para nmeros por meio de contagem e mensurao. Alguns
exemplos de quantificadores na linguagem natural so: para todo, para algum, muitos, poucos,
bastante e nenhum. Nas linguagens formais, a quantificao um construtor de frmulas que
produz novas frmulas.
Frege (1848-1925) introduziu a funo proposicional e junto dela o uso de quantificadores
criando um sistema capaz de transformar em raciocnios dedutivos todas as demonstraes
matemticas.
Assim, podemos dizer que a lgica matemtica, e junto dela o clculo proposicional, exige uma
notao nas construes de cada frase, sendo sua escrita ideogrfica e ainda sendo as ideias
representadas por sinais.
Tanto os argumentos quanto os quantificadores so ferramentas do clculo proposicional e
com aplicaes importantes dentro da informtica. Nesta unidade, veremos os principais tipos
de argumentos e de quantificadores e suas aplicaes principais.
67
Fonte: SHUTTERSTOCK.COM
ARGUMENTOS
O objetivo de um argumento justificar uma afirmao que se faz, ou dar as razes para certa
concluso obtida.
Exemplo:
68
Voc me traiu, pois disse que ia estudar e meu irmo lhe viu na boate.
69
Podem ser:
Vlidos: quando suas premissas, se verdadeiras, fornecem provas convincentes para
a concluso. Isto , se as premissas forem verdadeiras, impossvel que a concluso
seja falsa.
Invlidos: no se verifica a caracterstica anterior.
Exemplos de argumentos dedutivos:
Ela toca piano ou violo.
Ela toca piano.
Logo, ela no toca violo.
Argumento Invlido
Todo homem mortal.
Scrates um homem.
Logo, Scrates mortal.
Argumento Vlido
Argumentos Indutivos
Os Argumentos Indutivos no pretendem que suas premissas forneam provas cabais
da veracidade da concluso, mas apenas que forneam indicaes dessa veracidade
(possibilidade, probabilidade).
Seguem do Raciocnio Indutivo, isto , obtm concluses baseadas em observaes/
experincias. Enquanto que um Raciocnio Dedutivo exige uma prova formal sobre a validade
do argumento.
Os termos vlidos e invlidos no se aplicam para os argumentos indutivos. Eles so
avaliados de acordo com a maior ou a menor probabilidade com que suas concluses sejam
estabelecidas.
70
Exemplo:
Joguei uma pedra no lago, e ela afundou.
Joguei outra pedra no lago e ela tambm afundou.
Joguei mais uma pedra no lago, e ela tambm afundou.
Logo, se eu jogar uma outra pedra no lago, ela vai afundar.
A Lgica Formal Clssica s estuda Argumentos Dedutivos, verificando se so ou no vlidos.
Exemplos:
Toda baleia um mamfero. ( v )
Todo mamfero tem pulmes. ( v )
Logo, toda baleia tem pulmes.
(v)
71
falsa.
Um argumento dedutivo no qual todas as premissas so verdadeiras dito Argumento
Correto, evidentemente sua concluso tambm verdadeira.
Definio: um argumento de premissas P1, P2, P3 Pn e de concluso Q indica-se por:
P1, P2, P3 Pn | Q
E se l de uma das seguintes maneiras:
De acordo com o que foi discutido, um argumento uma srie de sentenas (premissas) que
podem ser simbolizadas por P1, P2,..., Pn seguidas de uma concluso Q.
Notao: P1 P2 ..., Pn Q.
Um argumento P1 P2 ..., Pn Q diz-se um argumento vlido se, e somente se, a concluso
Q verdadeira todas as vezes que as premissas P1 P2 ..., Pn so TODAS verdadeiras.
Portanto, todo argumento vlido goza da seguinte propriedade: A verdade das premissas
incompatvel com a falsidade da concluso.
Um argumento no vlido chamado de sofisma ou falcia.
Desse modo, todo argumento tem um valor lgico, digamos V se vlido (correto, legtimo) ou
F se um sofisma (incorreto, ilegtimo).
72
No sou famoso.
Faa:
A: ser artista
F: ser famoso
Formalizao
{A F, F} A
Veja a tabela-verdade:
73
Logo, o argumento vlido, uma vez que sua tabela-verdade uma tautologia.
Veja outro exemplo, segundo Pereira (2012):
Sou famoso.
Formalizao
{A F, F} A
Veja a tabela-verdade:
Logo, o argumento no vlido, uma vez que sua tabela-verdade no uma tautologia.
Um princpio fundamental dos argumentos a lei:
Se p implica em q e se q implica em r. Ento, p implica em r.
p q, q r p r (LEI DO SILOGISMO)
Este fato pode ser demonstrado pela tabela-verdade mostrando que a seguinte proposio
uma tautologia.
[(pq) (q r) ] (pr)
74
Exemplo:
A) Todas as mulheres so mortais.
B) Clarice mulher.
C) Logo, Clarice mortal.
A afirmao C denota a concluso do argumento e as afirmaes, A e B denotam as
premissas. Afirmamos que o argumento: A, B C vlida, pois o argumento est na forma:
p q, q r p r, sabendo que:
p = as mulheres so mortais
q = Clarice mulher
r = Clarice mortal
Assim, dizemos ento que este argumento vlido.
A validade de um argumento no depende dos valores lgicos, dos contedos das declaraes,
mas sim da forma particular do argumento. Dizemos que um argumento um conjunto de
enunciados, mas no um conjunto qualquer de enunciados.
75
76
Fonte: SHUTTERSTOCK.COM
QUANTIFICAO
77
78
Exemplo:
Sejam A = N (conjunto dos nmeros naturais) e p(x) = x + 3 > 10. Podemos expressar:
{x: x N, x + 3 > 10} = {8, 9, 10......}
O exemplo mostra que p(x) uma funo proposicional que pode ser traduzida em para todo,
ou para algum e existe...assim, utilizamos algum tipo de quantificador para traduzi-la.
Outro exemplo:
Sejam A = Z (conjunto dos nmeros inteiros) e p(x) = x + 5 < 4. Podemos expressar:
{x: x Z, x + 5 < 4} = {-2, -3, -4...... }
Quantificao existencial
Um quantificador existencial uma propriedade ou relao para pelo menos um elemento do
domnio. O operador lgico usado para denotar a quantificao existencial. E l-se existe,
existe algum, para pelo menos um, para algum. Assim, a expresso:
x x > 0
E deve ser lida como existe um x tal que x maior do que zero.
Exemplo:
Seja uma funo proposicional definida em um conjunto, A escreva a expresso:
x A p(x)
L-se: existe um x que pertence a A tal que p(x) uma declarao verdadeira. Poderamos
ainda ler: para algum x, p(x).
79
Exerccios:
Ache os conjuntos verdade e escreva como se l as expresses abaixo:
a) x N x + 4 < 8
b) x N x - 4 > 5
Quantificao Universal
A quantificao universal uma formalizao da noo de que algumas coisas so verdadeiras
para todas as coisas, ou para todas as coisas relevantes. O resultado uma afirmao
universalmente quantificada. Em smbolos lgicos, o quantificador universal A o smbolo
usado para denotar o universo de quantificao, informalmente lido como para todo, para
qualquer ou para cada. Assim, a expresso:
x , x > 0
E deve ser lida como para qualquer x tal que x maior do que zero.
Porm, nesse caso a expresso ir depender do domnio de x.
Exerccios:
Ache os conjuntos verdade e escreva como se l para as expresses abaixo:
a) x N, x + 4 > 3
b) x N, x - 4 > 9
Negao
Podemos dizer que uma funo proposicional quantificada uma sentena. Ento, como
sentenas, funes quantificadas podem ser negadas. A notao lgica e matemtica, usada
80
81
Fonte: SHUTTERSTOCK.COM
CONSIDERAES FINAIS
A Lgica como cincia estuda o conjunto de regras que regem o processo de pensar e raciocinar.
Para trabalharmos com lgica proposicional, esperamos ter deixado claro ao estudante que a
utilizao de uma simbologia matemtica essencial expor as proposies e os argumentos.
Outra vantagem da utilizao de uma linguagem simblica para a Lgica a possibilidade
de utilizao de recursos computacionais no tratamento de enunciados e argumentos; os
computadores digitais se mostram bastante adequados manipulao de smbolos, enquanto
apresentam extrema dificuldade no tratamento de linguagem natural.
Nesta unidade, estudamos os argumentos e os quantificadores. Chamamos de argumentos
sentenas declarativas que contenham premissas e uma concluso, sendo que podemos
classificar os argumentos em vlidos e invlidos. Vrios passos envolvidos na formulao e
validade dos argumentos esto envolvidos no material. importante assim, verificarmos o que
caracteriza e o que valida ou no um argumento.
Da mesma forma, quando vamos expressar as sentenas, vimos na unidade anterior que
82
podemos utilizar a linguagem lgica para tal funo, fazendo uso dos chamados conectivos
lgicos. Entretanto, nem sempre esses conectivos so suficientes para a expresso de todas
as declaraes, assim podemos lanar mo dos quantificadores. Esses, por sua vez, so
elementos de linguagem que quantificam os indivduos dentro de certo domnio, os quais so
chamados de quantificadores universais ou quantificadores existenciais.
Ainda dentro desse contexto, verificamos tambm que podemos fazer a negao de sentenas,
utilizando quantificadores, bem como trabalhar com variveis em conjunto utilizando esses
elementos.
Em todos os casos, observamos que a ideia fundamental desta unidade foi mostrar que
possvel traduzir uma sentena verbal em linguagem matemtica, utilizando para isso alguns
elementos lgicos.
O importante conhecer esses elementos e saber utiliz-los de maneira adequada, bem como
saber validar ou invalidar uma declarao utilizando para isso linguagem lgica.
ATIVIDADES DE AUTOESTUDO
1. Complete com a concluso lgica os seguintes argumentos:
a) Cada um republicano, ou democrata, ou tolo.
b) O porta-voz da Casa Branca no republicano.
c) O porta-voz da Casa Branca no tolo.
d) Logo o __________________________.
2.
a) Se houver uma guerra nuclear, a civilizao ser destruda.
b) Haver uma guerra nuclear.
c) Portanto, a __________________________
3.
83
84
Est nevando.
Argumento vlido
5. Formalize as seguintes frases:
a) O Rio de Janeiro grande e barulhento.
GB
b) O Rio de Janeiro grande e Petrpolis pequena.
RG PP
c) Deus bom, mas o diabo no.
DE DI
d) Se a Terra um planeta, ento Vnus e Jpiter tambm so.
T (VJ)
85
86
UNIDADE IV
ANLISE COMBINATRIA
Professora Esp. Ivnna Gurniski Carniel
Objetivos de Aprendizagem
Conhecer alguns conceitos da anlise combinatria.
Entender os principais tipos de contagens.
Saber aplicar a tcnica de contagem adequada nas diversas situaes prticas.
Plano de Estudo
A seguir, apresentam-se os tpicos que voc estudar nesta unidade:
Princpio da soma
Princpio do produto
Notao fatorial
Coeficientes Binomiais
Arranjos simples
Permutaes
Combinaes
Princpio da casa dos pombos
INTRODUO
Contagem um estudo a respeito do nmero de possibilidades de eventos que podem ocorrer.
Eventos podem ser definidos como qualquer ocorrncia ou algum fato presente no nosso dia
a dia, seja ele relacionado vida profissional ou pessoal.
Em algumas situaes problemas envolvendo contagens podemos utilizar os princpios
fundamentais da contagem. Porm, em outras situaes precisamos utilizar tcnicas um pouco
mais complexas como combinaes e arranjos. Em anlise combinatria estamos envolvidos
diretamente com problemas de contagem.
As ferramentas da anlise combinatria so objetos de importncia e interesse entre pessoas
que disputam jogos de azar e que tm interesse em saber as chances de vitria nas partidas
que disputam, tendo tambm importncia nos estudos de probabilidade e estatstica.
Podemos dizer que problemas de contagem fazem parte do nosso dia a dia. Desde muito cedo
aprendemos a contar e relacionar problemas envolvendo combinaes. importante observar
que h uma gama de situaes diferentes entre si ao envolver contagem e eles podem ter
semelhanas em vrios pontos.
Dessa forma, importante conhecermos essas diversas situaes, inclusive as situaes
prticas e que esto diretamente aplicadas em nosso meio de trabalho para que possamos
tomar corretamente as devidas decises.
PRINCPIOS DA CONTAGEM
O princpio da contagem ou da anlise combinatria trata do nmero de combinaes lgicas
de algum evento sem, entretanto, precisarmos identificar detalhadamente todos os casos.
Existem dois princpios bsicos relacionados contagem: princpio da soma e princpio do
produto.
89
Princpio da soma:
Suponha que um evento A possa ocorrer de m maneiras e um evento B possa ocorrer de
n maneiras e ainda suponha que os eventos no possam ocorrer simultaneamente. Assim,
dizemos que A e B podem ocorrer de m + n maneiras.
Exemplos:
Suponha 2 analistas de sistemas do sexo masculino e 5 do sexo feminino. Uma empresa pode
escolher um analista de 2 + 5 maneiras.
Outro exemplo:
Voc tem dinheiro para ir ao parque de diverses e brincar em apenas um dos 10 brinquedos
disponveis ou ir ao cinema e assistir apenas um filme dos 4 disponveis. Dessa forma, de
quantas maneiras diferentes voc pode se divertir?
Se voc tem dinheiro apenas para uma diverso ela tem de optar ou por brincar em um dos
brinquedos do parque ou assistir a um filme do cinema. Assim, voc tem 10 opes para ir ao
parque e 4 opes para ir ao cinema.
Dessa forma, h 10 + 4 maneiras de se divertir.
90
Princpio do produto
Suponha que um evento A possa ocorrer de m maneiras e, de maneira independente, um
evento B possa ocorrer de n maneiras. As combinaes A e B podem ocorrer ento de m.n
maneiras. Pode acontecer de o evento A ter A1 maneiras seguido de A 2, A3...An maneiras de
ocorrer. O mesmo podendo ocorrer com o evento B.
Exemplos:
1) Suponha 3 pares de sapatos e 10 pares de meias. De quantas maneiras podero ser as
combinaes utilizando um par de meias e um de sapatos?
Pelo princpio fundamental da contagem temos que multiplicar 3, que o nmero de elementos
91
92
Como podemos ver pela figura, o motorista pode escolher entre trs estradas para se deslocar
de A para B e depois deve escolher uma entre as duas estradas para deslocar-se de B para
C. Essa diferente da situao do exemplo anterior. Aqui, para que o motorista v da cidade A
para a cidade C, tem que passar, necessariamente, pela cidade B. Assim, tem de realizar duas
aes para deslocar-se de A para C.
Primeiro deve escolher uma estrada de A para B e, em seguida, outra que liga B a C. Assim,
ele ter 2 x 3 = 6 diferentes caminhos uma vez que, como observado pela figura abaixo, ele
pode ter diferentes combinaes entre os caminhos de A para B e de B para C. Observe:
Fonte: <http://pessoal.utfpr.edu.br/heidemann/arquivos/ApostilaAnaliseCombinatoria.pdf>
MATEMTICA DISCRETA | Educao a Distncia
93
importante entender que da cidade A para a cidade B, h trs opes para o motorista, no
entanto, ele optar apenas por uma delas. Aps a escolha surge uma pergunta: qual estrada
usar para ir de B para C? Para cada escolha de A para B, temos duas opes de escolha de
B para C. Com essas duas sucessivas escolhas, vemos que nosso motorista tem seis opes
para fazer a viagem, ou seja, multiplicamos o nmero de opes de A para B pelo nmero de
opes de B para C.
Exerccios
1. Com os 10 algarismos que dispomos {0,1,2,3,4,5,6,7,8,9} responda s perguntas:
a) Quantos nmeros de cinco algarismos podem-se formar?
b) Quantos nmeros de cinco algarismos podem-se formar comeando com 1,2 e 3 em
qualquer ordem?
2. Voc vai a um restaurante e deve escolher um entre trs tipos de arroz, uma entre seis tipos
de salada e um entre trs tipos de carne. De quantos modos diferentes pode-se elaborar sua
refeio?
3. Em uma agncia de namoro, existem 50 homens e 70 mulheres cadastradas procura de
um par. Qual a quantidades de pares que podem ser formados?
Notao fatorial
O fatorial de um nmero n, em que n natural, dado pelo produto de todos os nmeros
naturais no nulos menores ou iguais a n. Notao: n! (l-se n fatorial).
Observe os exemplos abaixo:
n! = 1 . 2 . 3 . 4............ . n
Assim,
94
1! = 1
2! = 2 . 1 = 2
3! = 3 . 2 . 1 = 6
4! = 4 . 3 . 2 . 1 = 24
n! = n . (n -1)!
importante definirmos aqui que 0! = 1 e que qualquer nmero elevado a 0, exceto o prprio
0, tambm igual a 1.
Exerccios:
Calcular o fatorial dos seguintes nmeros:
a) 10!
b) 30!
c) 8!
4!
d) 10!
5!
Voc pode fazer uso de uma calculadora cientfi ca para calcular qualquer fatorial. Basta procurar a
notao especfi ca !.
95
Coeficientes Binomiais
Os coeficientes binomiais nada mais so do que combinaes que podemos fazer com n
elementos tomados r a r desses elementos. Esses coeficientes so usados para verificarmos
a quantidade de combinaes que podemos ter em certo conjunto.
Assim, podemos dizer que um coeficiente binomial dado por ` r j em que n e r so nmeros
ARRANJOS
Arranjos so agrupamentos sem repeties, em que um grupo se torna diferente do outro pela
ordem ou pela natureza dos elementos componentes.
Arranjos Simples
Seja A um conjunto com n elementos e k um natural menor ou igual a n.Os arranjos simples
k a k dos n elementos de A so os agrupamentos de k elementos distintos cada, que diferem
entre si ou pela natureza ou pela ordem de seus elementos.
Exemplo:
Considere grupo de 5 pessoas, devemos dispor trs delas em fila, de quantos modos podemos
96
10 # 9 # 8 # 7 # 6 # 5!
10!
=
= 10 x 9 x 8 x 7 x 6 = 30240.
5!
(10 - 5) !
Para generalizar, se desejarmos dispor k elementos em fila escolhidos dentre de n elementos,
com k n, podemos realizar esse fazendo:
An,k =
n!
(n - k ) !
97
Exerccios
1. Quantos arranjos podemos obter de um conjunto de 20 elementos organizados de 4
em 4?
2. Quantos arranjos podemos obter de um conjunto de 10 elementos organizados de 3
em 3?
PERMUTAES
As permutaes so definidas como um caso particular de arranjo.
Permutaes simples
Seja A um conjunto com n elementos. Os arranjos simples n a n, dos n elementos de A, so
chamados permutaes simples de n elementos.
Observe que, de acordo com a definio, todas as permutaes tm os mesmos elementos:
so os n elementos de A. Assim sendo: duas permutaes diferem entre si apenas pela ordem
de seus elementos.
Clculo do nmero de permutaes simples: Pn = n!
Exemplos:
1) Quantas permutaes simples podem ser feitas com os algarismos 123?
Pelo princpio multiplicativo, temos:
3 x 2 x 1 = 6 nmeros
123, 132, 213, 231, 312, 321
Isso porque no houve repetio de algarismos.
98
99
3 x 2 x 1 = 6 diferentes anagramas:
OMO
OMO
OOM
OOM
MOO
MOO
Mas, na verdade, a diferenciao dos Os artificial. Ela no existe. Por exemplo, nos
anagramas OOM e OOM so dois, mas sem a diferenciao dos Os tornam-se idnticos.
Observe: OOM e OOM. O mesmo acontece com OMO e OMO; MOO e MOO. Na verdade, ao
trocarmos os Os de posio no formamos um novo anagrama. Assim, ao invs de 6 temos
3 anagramas com a palavra OMO, pois contamos cada anagrama duas vezes que o nmero
de permutaes com os Os, isto , 2!
Podemos dizer que, ao fazermos a permutao, os Os geraram um novo anagrama, havendo
apenas uma duplicao do resultado e, para acharmos a resposta correta, temos que dividir o
resultado 6 por 2, uma vez que temos o O em duplicata. Observe:
Indicaremos esse resultado por P 3 , que quer dizer: permutao de 3 elementos com um deles
2
101
resultado verdadeiro, contar coisas iguais como se fossem diferentes e posteriormente corrigir
o resultado obtido indevidamente para se chegar resposta correta. Em OMO contamos
anagramas iguais como se fossem diferentes. Como contamos cada um dos anagramas duas
vezes, duplicamos a resposta.
Quantos anagramas podemos formar com as letras da palavra ANAGRAMA?
Observe que a letra A aparece 4 vezes. Assim, podemos formar:
P 38,3,2 =
8!
3! 3! 2!
P n nn n =
1, 2, 3...
n!
n1 ! n2 ! n3 ! ...
Exerccios:
Construa os anagramas das seguintes palavras:
a) ARARA
b) MARINGA
c) CALIFORNIA
d) UNIDADE
e) JACA
f) ESCOLA
COMBINAES
Fonte: SHUTTERSTOCK.COM
Combinao simples
Combinao utilizada quando desejamos formar grupos em que a ordem dos elementos
103
MARIA / JOO
MARIA / JOS
JOO / JOS
O importante saber que na combinao no estamos interessados em formar sequncias,
mas sim grupos.
Veja outro exemplo:
A partir de um grupo de 5 pessoas, Joo, Maria, Jos, Ana e Pedro, desejamos formar um
subgrupo com trs dessas pessoas. De quantas formas podemos formar esse subgrupo?
Para responder a essa pergunta, devemos usar o princpio da anlise combinatria, cuja
frmula ser:
C n,r =
Exerccios:
1. Dentre 10 livros distintos que esto em oferta em uma livraria, deseja-se escolher 5
para comprar. De quantos modos diferentes podemos escolher os 5 livros?
2. Na srie A do campeonato paranaense de futebol edio 2012, 12 times disputam a
competio. No primeiro turno, os 12 clubes participantes se enfrentam em jogos de ida
105
Fonte: <http://en.wikipedia.org/wiki/Pigeonhole_principle>
Matematicamente, isto quer dizer que se o nmero de elementos de um conjunto finito A
maior do que o nmero de elementos de outro conjunto B, ento uma funo de A em B no
pode ser injetora.
O princpio da casa dos pombos aplicvel em muitos problemas formais, incluindo aqueles
que envolvem um conjunto infinito. Embora seja uma evidncia extremamente elementar, o
princpio til para resolver problemas que, pelo menos primeira vista, no so imediatos.
Para aplic-lo, devemos identificar, na situao dada, quem faz o papel dos objetos e quem
faz o papel das gavetas.
Exemplos:
1) Quantas pessoas so necessrias para se ter certeza que haver pelo menos duas delas
fazendo aniversrio no mesmo ms?
Resposta: 13 pessoas. Pelo princpio da casa dos pombos se houver mais pessoas (13) do
que meses (12) certo que pelos menos duas pessoas tero nascido no mesmo ms.
2) Suponha que um saco de lavanderia tem meias brancas, pretas e azuis. necessrio pegar
quantas meias para se ter certeza de que pelos menos duas delas faro um par da mesma
cor?
Resposta: 4 meias. Pelo princpio da casa dos pombos se houver mais meias (4) do que cores
(3), certo que pelo menos duas meias tero a mesma cor.
CONSIDERAES FINAIS
Nesta unidade, vimos a importncia e as formas de utilizarmos ferramentas da anlise
combinatria diante dos problemas. Dentro das contagens, temos vrios tipos e formas de
realizarmos combinaes, arranjos, permutaes e suas variaes.
De forma geral, observamos que em todos eles fazemos uso do fatorial, que nos permite
simplificar expresses numricas extensas. A unidade iniciou-se mostrando os princpios das
contagens, verificando que s vezes esses princpios se baseiam em apenas somas diretas
dos fatores envolvidos e em outras no produto desses fatores, sendo essa multiplicao
derivada da interao entre os fatores. Quando fatores interagem devemos utilizar o princpio
do produto e quando no, utilizamos o da soma.
Os exerccios envolvendo contagens podem ser resolvidos de vrias formas, mas como
identificar a qual dos dois agrupamentos o exerccio est se referindo? Para isso, preciso que
coloquemos em prtica os critrios discutidos nesta unidade que ajudaro na identificao.
107
ATIVIDADES DE AUTOESTUDO
1. Quanto notao fatorial e coeficientes binomiais calcule:
a) 6!
2. Um restaurante oferece 5 tipos de molhos para massas e trs tipos de massas. Demonstre
quantos tipos diferentes de pratos podem ser servidos.
3. Existem 3 linhas de nibus entre duas cidades, Maring e Campo Mouro e 4 linhas de
nibus entre Campo Mouro e Foz do Iguau. De quantas maneiras um homem pode viajar de
nibus de Maring a Foz do Iguau passando por Campo Mouro?
4. Demonstre de quantas maneiras em uma prateleira podem ser organizados 4 livros de
matemtica, 3 de estatstica e 2 de informtica.
a) 6! = 720
5.
a) AMOR = 24 MANEIRAS
b) PATO = 24 MANEIRAS
MATEMTICA DISCRETA | Educao a Distncia
109
c) RADAR = 30 MANEIRAS
d) SUCESSO = 840 MANEIRAS
6.
8 x 7 x 6 x 5 = 1680
7.
Assim,
120 x 28 = 3360 maneiras
8.
UNIDADE V
INTRODUO
As matrizes so muito utilizadas na computao para representarmos translao, rotao,
escala de objetos em computao grfica etc. Alm disso, podemos ainda utiliz-las na
resoluo de sistemas de equaes lineares e no clculo da rea de um tringulo situado no
plano cartesiano, quando so conhecidas as coordenadas dos seus vrtices de uma forma
mais rpida e fcil, seja qual for a rea desejada.
Em programao de computadores, um vetor um modo particular mais simples
de armazenamentoe organizao dedadosem um computador que se trata de um tipo
particular de matriz. Elementos individuais so acessados por sua posio no vetor.
Em geral, trabalhamos com elementos (valores) nicos pertencentes a determinados conjuntos.
Porm, esta abordagem nem sempre adequada para solucionar determinados problemas,
principalmente quando precisamos lidar com muitos valores simultaneamente.
Imaginemos a criao de mil variveis para representar todas as notas dos alunos de uma
escola. E a manipulao desses valores, como se daria? Tal problema tratado dentro da
computao por meio da utilizao de variveis compostas. Tais variveis podem representar
um conjunto de valores ao mesmo tempo, o que possibilita manipular conjuntos ou colees
de dados. Essas estruturas, representadas por meio de matrizes, tm uma forma de acesso
que facilita a generalizao de operaes sobre os elementos individuais pertencentes aos
conjuntos.
Nesta unidade, veremos os principais tipos de matrizes, operaes envolvendo matrizes, o
conceito e o clculo da inversa de uma matriz e, alm disso, algumas noes sobre lgebra
booleana.
MATRIZES
Sejam m e n dois nmeros naturais no nulos. Chama-se matriz do tipo m x n (l-se m por n)
qualquer tabela de m . n nmeros dispostos em m linhas e n colunas.
113
As linhas de uma matriz so enumeradas de cima para baixo e as colunas da esquerda para a
direita, assim uma matriz A genrica, do tipo m x n, pode ser representada da seguinte forma:
Nesses casos, fica sempre subtendido que i assume todos os valores 1,2,3,..., m, enquanto j
assume os valores 1,2,3,..., n.
TIPOS DE MATRIZES
Matriz linha
Matriz de ordem 1 por n:
A = [a11 a12 ... an]1xn
Matriz coluna
Matriz de ordem n por 1:
Matriz nula
Matriz cujos elementos aij so todos nulos.
Exemplo:
Matriz quadrada
Matriz cujo nmero de linhas igual ao nmero de colunas:
Diagonal principal (DP) o conjunto de todos os elementos tais que aij tais que i = j.
Diagonal secundria (DS) o conjunto de todos os seus elementos aij tais que i+j = n+1.
Matriz diagonal
Matriz quadrada que tem os elementos aij quando i j.
Exemplos:
115
Matriz oposta
Igualdade de matrizes
Sejam A e B duas matrizes quaisquer do mesmo tipo m x n, dizemos que A e B so matrizes
iguais se, e somente se, cada elemento de A for igual ao elemento correspondente de B.
Exemplo:
Matriz transposta
Chama-se transposta de uma matriz A, indica-se por At, a matriz que se obtm transformando
ordenadamente cada linha de A em coluna.
Exemplo:
Matriz simtrica
Uma matriz quadrada A simtrica se At = A.
Exemplo:
Matriz antissimtrica
Uma matriz quadrada A antissimtrica se At = -A.
Exemplo:
, calcule A + B.
117
Propriedades:
Comutativa: A + B = B + A
Associativa: (A + B) + C = A + (B + C)
Subtrao de matrizes
A diferena A B de duas matrizes de ordem m por n uma matriz C = [cij] de mesma ordem,
tal que cij = aij - bij. Logo,
A - B = C ou A + (- B) = C
Exemplos:
Dadas as matrizes
, determine A - B.
importante observarmos que a adio e a subtrao de duas matrizes so operaes defi nidas
apenas entre matrizes de mesma ordem.
Propriedades:
1.A=A
. 0mxn = 0mxn
0 . A = 0mxn
(A + B) = . A + . B
( + ). A = . A = . A
. ( . A) = ( . ) A
Multiplicao de matrizes
Consideremos duas matrizes A e B. Para que a multiplicao de A por B esteja definida, o
nmero de colunas de A deve ser igual ao nmero de linhas de B.
Chamamos de produto de A por B e denotamos por A.B a matriz C que tem o nmero de linhas
de A e colunas de B.
Cada elemento da matriz C deve ser a soma dos produtos dos elementos de cada linha de A
por cada coluna de B.
119
Exemplo 1:
Exemplo 2:
Obter o produto A.B, para:
Observao: para que possa haver a multiplicao de duas matrizes, o nmero de colunas de
A tem que ser igual nmero de linhas de B, e o resultado, que neste caso a matriz c2X3,ter o
o nmero de linhas de A e o nmero de colunas de B.
Propriedades:
Associativa:(A . B). C = A. (B . C)
121
O produto de uma matriz quadrada A pela sua transposta At uma matriz simtrica.
MATRIZ INVERSA
Quando um nmero real inverso do outro, indicamos o inverso com um expoente - 1:
1
5
e a matriz
2+5 4+5
1 0
G= = G
=
1+3 2+3
0 1
7 9
1 0
= G! = G
4 5
0 1
(Portanto, no so inversas entre si as matrizes A e B)
Exemplo 2:
RR
VV
33 00 22
S 1S 1 00 - 2- 2W W
Dadas as Matrizes GG==>9>9 11 77H HeKK==S-S2- 2 11 - 3- 3W W so inversas entre si?
SS SS
WW
- 1- 1 00 33W W
11 00 11
TT
XX
Obs: So inversas se G.K = i3
R
V
3 0 2 S1 0 - 2 W 1 0 0
>9 1 7 H $ SS- 2 1 - 3 WW = >0 1 0 H
1 0 1 S- 1 0 3 W 0 0 1
T
X
R
V
(- 6) + 0 + 6 W 1 0 0
S 3 + 0 + ( - 2) 0 + 0 + 0
S9 + (- 2) + (- 7) 0 + 1 + 0 (- 18) + (- 3) + 21 W = >0 1 0 H
SS
W
1 + 0 + (- 1) 0 + 0 + 0
(- 2) + 0 + 3 W 0 0 1
T
X
1 0 0
1 0 0
>0 1 0 H = >0 1 0 H
0 0 1
0 0 1
G.K = I3
Exemplo 3:
2 1
n. Para calcularmos A-1, fazemos: A.A-1 = I2, em que
3 4
Consideremos a matriz A = d
x y
G. Ou seja,
A- 1 = =
z t
2 1 x y
1 0
= G$ = G = = G
3 4 z t
0 1
2x + z 2y + t
1 0
G= = G
=
3x + 4z 3y + 4t
0 1
MATEMTICA DISCRETA | Educao a Distncia
123
2x + z = 1
(- 4)
3x + 4z = 0
- 8x - 4z = - 4
'
3x + 4z = 0
- 5x = - 4 = 4 = 4
-5 5
2x + z = 1
4
2c m + z = 1
5
8
+z = 1
5
8
z = 15
3
z =5
'
2y + t = 0
(- 4)
3y + 4t = 1
- 8y - 4 = 0
)
3y + 4t = 1
- 5y = 1 = 1 = - 1
-5 5
2y + t = 0
1
2 c- m + t = 0
5
-2 +t = 0
5
2
t=
5
R
V
S4 -1 W
5 5
A- 1 = S 3 2 W
W
SS5 5 W
T
X
Segue outra maneira de calcular a matriz inversa:
a b
1 = d - bG
G e det A ! 0q4
, ento A 1 =
det A - c a
c d
Se A = =
Exemplo 4:
2 1
G, queremos obter A-1 .detA = 2.4 - 1.3 = 5 0.
3 4
Consideremos A = =
Ento,
1 = 4 - 1G
$
5 -3 2
R
V
4
1
S
- W
5 5W
-1
S
A = 3 2
W
SS5 5 W
T
X
A- 1 =
(A-1)-1 = A
(A-1)t = (At)-1
det(A-1) =
1
det A
LGEBRA BOOLEANA
A lgebra booleana oferece operaes e regras para se trabalhar com o conjunto discreto {0,1}.
Em um contexto prtico, chaves eletrnicas e ticas podem ser estudadas baseadas nesses
princpios, onde uma chave ligada, ativada, ou energizada pode assumir valor 1, e uma chave
desligada ou desativada assume valor 0.
A lgebra Booleana foi concebida em 1854 por George Boole (na obra The Laws of Throught),
no entanto, apenas em 1938 que Claude Shannon aplicou essa rea da matemtica no
contexto da eletrnica no projeto de circuitos.
125
Pode se realizar uma analogia com a lgica proposicional, conforme visto anteriormente.
Enquanto que na lgica proposicional assumimos as proposies como p,q,r,..., na lgebra
booleana vamos considerar entradas x,y,z,... Alm disso, se na lgica proposicional
considervamos que uma proposio era verdadeira (V) ou falsa (F), na lgebra booleana
uma entrada por estar ligada (1) ou desligada (0).
Dessa forma, as operaes na lgebra booleana sero:
Completo (Negao)
lgebra booleana
Lgica proposicional
Lgica proposicional
X+Y
pq
Lgica proposicional
X+Y
pq
Assim como na lgica proposicional, a lgebra booleana tambm traz algumas identidades
teis na simplificao de expresses (no caso, circuitos lgicos).
Propriedade
Duplo complemento ou dupla
negao
Lgica Proposicional
lgebra booleana
x=x
p (p)
x+x=x
ppp
x.x=x
ppp
x+0=x
pp
x.1=x
PtP
x+1=1
ptt
x.0=0
x+y=y+x
pqqp
xy = yx
pqqp
x + (y + z) = (x + y) + z
p (q r ) (p q ) r
x.(y . z) = (x . y). z
p (q r ) (p q ) r
x+(y . z) = (x + y).(x + z)
p (q r ) (p q ) (p r )
x.(y + z) = (x . y)+(x . z)
p (q r ) (p q ) (p r )
(xy) = x + y
(p q ) p q
(x + y) = x . y
(p q ) p q
Unidade
x+x=1
p p t
Zero
x.x=0
p p
Idempotentes
Elementos neutros
Dominao
Comutativas
Associativas
Distributivas
De Morgan
Matrizes Booleanas
So matrizes formadas apenas com elementos 0 e 1. Pode-se definir uma operao booleana
de multiplicao A x B para matrizes booleanas usando soma e multiplicao booleanas.
127
xy
xy
Exemplo:
1 0 0
1 1 0
1 0 1
G, calcule:
1) Seja A = >0 1 0 H, B = >1 1 1 H e C = =
1 1 1
0 0 1
0 0 1
1 1 0
A 0 B = >1 1 1 H
0 0 1
1 0 0
A / B = >0 1 0 H
0 0 1
AxB =
(1 / 1) 0 (1 / 1) 0 (0 / 0) (1 / 0) 0 (1 / 1) 0 (0 / 0) (1 / 0) 0 (1 / 1) 0 (0 / 1)
A # B = >(0 / 1) 0 (1 / 1) 0 (0 / 0) (0 / 0) 0 (1 / 1) 0 (0 / 0) (0 / 0) 0 (1 / 1) 0 (0 / 1) H
(0 / 1) 0 (0 / 1) 0 (1 / 0) (0 / 0) 0 (0 / 1) 0 (1 / 0) (0 / 0) 0 (0 / 1) 0 (1 / 1)
1 1 1
10100 00100 00100
A # B = >0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 H A # B = >1 1 1 H
00000 00000 00001
0 0 1
No possvel encontrar, por exemplo, BC, AC e AxC.
Exerccios
1 0 0
1 0 1
1 1 1
1
1) Para as matrizes booleanas A = >1 1 0H, B = >0 1 1H, C = >0 0 0 H e D = >1 H , calcule se
0 1 1
1 1 1
1 0 1
1
possvel:
a) AB
c) AxB
e) AC
g) CD
b) AB
d) BxA
f) AxD
h) AxC j) BC
i) BxC
1 1
1 1 0
G
=
, B = >0 0 H?
2) possvel calcular AxB quando A =
1 0 1
1 0
Para saber mais sobre lgebra booleana, ler Matemtica Discreta de Seymor Lipschutz e Marc
Lipson, cap. 15.
129
CONSIDERAES FINAIS
O estudo e utilizao das matrizes se apresentam como ferramentas matemticas poderosas
que podem ser utilizadas nos mais diversos campos do conhecimento.
Projetos relacionados a grandes empreendimentos e de desenvolvimento econmico esto
embasados em modelos representados por matrizes. Na informtica, a utilizao das
matrizes est aplicada no desenvolvimento de softwares e tambm sua utilizao marcante
na aquisio de informaes precisas sobre vrios tipos de sistemas, principalmente os
relacionados a sistemas climticos.
Sabe-se que vrios satlites operam em sistemas grandiosos matriciais, podendo ento
destacar a tamanha importncia dos sistemas matriciais nas diversas reas do conhecimento
e tambm em estudos relacionados produo de programas de computadores.
Nesta unidade, vimos os principais tipos e operaes com matrizes. Ainda assim, necessrio
o estudante entender que existem outras aplicaes como a resoluo de sistemas lineares
que so de importncia na rea de informtica e que interessante o aluno se dedicar e
estud-lo parte.
ATIVIDADES DE AUTOESTUDO
1) Sejam as matrizes
1 0
1 2 3
G , B = >2 1H, C =
A ==
2 1 4
3 2
R
V
R
V
2 -4 5W
S3 - 1 3 W
S
S4 1 5 W ,D = =3 - 2G , E = S0 1 4 W e F = =- 4 5G
SS
SS
W
W
2 4
2 3
2 1 3W
3 2 1W
T
X
T
X
2) Calcule se possvel:
a. (At) t
b. (C+ E)t
c. (2D + 3F)t
d. (-A)t
e. -At
2. Dadas as matrizes A = e
2 0
-1
o e B = f 2 2 p , ento a matriz -2AB igual a:
-1 3
3 1
-8 -2
-8 -2
-8 2
8 2
8 -2
o e) e
o b) e
o c) e
o d) e
o
a) e
- 14 -7
- 14 - 7
14 7
14 7
14 7
2
1
3. Se A e B so matrizes tais que A = >1 He B = >2 H, ento a matriz Y = At .B ser nula para
x
1
qual valor de x?
1
4. Dadas as matrizes A = f 3
6
JN
2
4 3O
K
3 4 5
- 4 p, B = e
oeC =K2 1 O
0 8 2
K - O
5
5 2
L
P
Determine:
a. A + C
b. A- Bt
c. (A - C)t + B
d. (Bt + C) - A
R
V
S1 - 2 W
4 5 -1
G.
5. Calcule A.B e B.A dadas as matrizes: A = S- 3 4 W e B = =
SS
WW
0 9 -3
0 5
T
X
2
2 x
o . Se A simtrica, ento qual o valor de x?
6. Seja A = e
2x - 1 0
7. Caso seja possvel, encontre os produtos de AB e BA.
0 1
1 -1
Ge B = =
G
2 3
5 2
a) A = =
1 -1
1 -1 5
Ge B = =
G
5 2
0 1 9
R V
S5 W
S2 W
c) A = 63 2 1 6 @ e B = S W
S0 W
S1 W
T X
b) A = =
131
J- N
K 2O
2 3 5
13
o, B = K y O e C = e o matrizes reais e A.B = C, calcule x + y.
8. Sendo A = e
10
4 5 x
K O
1
L P
9. Determine os valores de m, n, p e q de modo que:
m 2m n - n
7 8
G+ =
=
G= = G
p p
1 5
q 3p
RESPOSTAS DAS ATIVIDADES DE AUTOESTUDO
1. a) (A t) t = e
1 2 3
o
2 1 4
5 4 5
b) (C + E) = f - 5 2 3 p
8 9 4
t
- 6 10
o
11 17
J- - N
K 1 2O
t
d) (- A) = K- 2 - 1 O
K- - O
3 4
L
P
J- - N
K 1 2O
t
e) - A = K- 2 - 1 O
K- - O
3 4
L
P
c) (2D + 3F) t = e
2. e
3. x = -4
N
J
K- 3 5 O
4. a) A + C = K- 1 - 3 O
K
O
11 3
P
L
JN
K2 2 O
t
b.) A B = K- 7 - 12 O
K
O
11 3
L
P
8 -1
-1 3
JK2
T
d) (B + C) - A = K 9
K
6
L
c) (A - C) t = e
R
S4
5. A $ B = S- 12
SS
0
T
-4
o
9
N
1O
13 O
O
5
P
V
- 13 5 W
21 - 9 W
W
45 - 15 W
X
- 11 7
G
B .A = =
- 27 21
6. x = 1
5 2
-2 -2
7. a) A . B = =17 4G, B $ A = = 4 11 G
1 -2 -4
o, B $ A no possvel calcular.
5 - 3 43
J15 10 5 30 N
K
O
K 6 4 2 12 O
c) A $ B = [25], B $ A = K
0 0 0 0O
K
O
L3 2 1 6 P
b) A $ B = e
8. x = -2 e y = 4
9. m = 5, n = 2, p = 2 e q = -1
133
DANTE, Luis Roberto. Matemtica: Contextos e Aplicaes Volume nico. 3. edio. So Paulo:
tica, 2008. Trata-se de um livro completo, atual e perfeitamente sintonizado com as novas tendncias
para os conceitos e contedos do Ensino Mdio, priorizando a compreenso, a contextualizao e a
interdisciplinaridade. O livro inclui 300 questes dos ltimos vestibulares e dos ltimos exames do
Enem.
MATHSYS, um software matemtico feito com o Borland Delphi 6. E envolve as seguintes reas
matemticas: fraes, matrizes, matemtica fi nanceira, estatstica, geometria analtica, probabilidade,
anlise combinatria e binmio de Newton.
Um excelente software que serve de auxlio nas dvidas que surgem em meio ao desenvolvimento
de um exerccio.
Os clculos so simples e rpidos. Fcil de manipular grtis, e totalmente em portugus.
Voc encontra em: <http://matematica-na-veia.blogspot.com.br/2009/08/mathsys-um-super-software-matematico.html>.
CONCLUSO
Este material foi feito para contribuir com o seu processo de formao enquanto analista,
gestor, tcnico ou qualquer outra atribuio relacionada rea de informtica.
Observamos neste livro diferentes tipos de informaes. Essas informaes foram
demonstradas neste material para levar at voc conhecimento sobre tpicos da Matemtica
Discreta. Sabemos que na atualidade as informaes chegam at ns de forma bastante
rpida e no podemos deixar de pensar o quanto o aprendizado importante em qualquer
rea. Isso pode ser afirmado ao verificarmos que o mundo passa por transformaes que tm
nos levado a adotar estratgias para elevar a qualidade dos nossos trabalhos, uma vez que
essas transformaes geram consumidores cada vez mais exigentes. Essas transformaes,
principalmente na rea tecnolgica, esto fazendo com que tenhamos um mundo cada vez
mais competitivo, ressaltando ento a importncia de adquirirmos cada vez mais conhecimento.
Neste material, trabalhamos com tpicos da lgica lgebra, discutindo os pontos mais
importantes para seu desenvolvimento acadmico e profissional.
Lgica a cincia que coloca ordem nas operaes da razo, a fim de se atingir a verdade,
assim, este trabalho teve como objetivo mostrar a importncia de se estudar a Lgica
Matemtica desde os contedos iniciais buscando um melhor desenvolvimento do raciocnio
lgico-matemtico, bem como de suas estruturas de linguagem.
O estudo deste material se mostra importante uma vez que cotidianamente, dentro da
informtica, lidamos com julgamentos e construes lgicas. Alm disso, ter conhecimentos
de lgica proposicional colabora com o desenvolvimento do raciocnio mobilizado na resoluo
de problemas de algoritmos, por exemplo. A lgica tambm auxilia no desenvolvimento do
raciocnio, da ordem das ideias e dos juzos.
importante ter ficado a voc que a lgica matemtica, que tambm conhecida por
lgica formal proposicional, pode auxiliar no discurso da linguagem, assim como o discurso
da linguagem pode auxiliar no desenvolvimento lgico-matemtico. O raciocnio lgicomatemtico auxilia na compreenso e coerncia de textos, evitando assim os problemas de
ambiguidade na interpretao, pois as lnguas naturais so sistemas lgicos.
Sendo assim, o intuito ao prepararmos este livro foi o de demonstrar a voc aluno(a), a
MATEMTICA DISCRETA | Educao a Distncia
135
importncia de adentrar no paralelo entre linguagem e lgica matemtica. Para atingirmos tal
objetivo, vimos neste material cinco unidades.
As unidades I, II e III trataram respectivamente da teoria dos conjuntos e lgica proposicional
dentro dos contedos, escolhemos aqueles que de fato eram importantes para os futuros
analistas. Tratamos dos temas mais importantes na teoria dos conjuntos como operaes
com conjuntos e eventos relacionados a conjuntos. Vimos os principais pontos relacionados
lgica proposicional, abordando o que so e como montar as proposies e seus conectivos,
finalizando com os argumentos e os quantificadores lgicos.
Nas unidades IV e V, trabalhamos com alguns conceitos de anlise combinatria, matrizes e
lgebra booleana. Na parte da combinatria, trabalhamos com as principais formas de fazer as
contagens, mostrando as diferenas entre cada uma delas e, na parte das matrizes, o intuito
foi trabalhar as principais formas matriciais, bem como suas operaes.
importante reconhecermos que entrar nesta rea, compreender o assunto ou mesmo utilizar
as tcnicas aqui mostradas, seja para aprender a linguagem ou para discusses em outras
reas, requer disciplina e trabalho rduo.
Finalizamos assim este material, que foi elaborado para contribuir com o seu crescimento
profissional e pessoal. Esperamos que as informaes aqui apresentadas sejam teis para a
aplicao em sua vida profissional!
Professora Esp. Ivnna Gurniski Carniel
REFERNCIAS
FIGUEIREDO, L. M. Matemtica Discreta. 3. ed. Fundao Cecierj/Consrcio Cederj. Rio de
Janeiro, 2005.
FRANZIN, N. A. et al. Matemtica. O saber quantitativo. 2. ed. rev. e atualiz. Clichetec Ltda,
2007.
GERSON HENRIQUE. Anlise combinatria. Disponvel em: <http://pessoal.utfpr.edu.br/
heidemann/arquivos/ApostilaAnaliseCombinatoria.pdf>. Acesso em: maio 2012.
GERSTING, Judith L. Fundamentos matemticos para a cincia da computao/ um
tratamento moderno de matemtica discreta. 5. ed. Rio de Janeiro: Livros Tcnicos e
Cientficos, 2004.
GUELLI, Cid A.; DOLCE, O.; IEZZI, G. Algebra II: anlise combinatria, probabilidade,
matrizes, determinantes, sistemas lineares. So Paulo: Moderna, 2001.
LIPSCHUTZ, S; LIPSON, M. Teoria e problemas da matemtica discreta. 2. ed. Porto
Alegre: Bookman, 2004.
MORGADO, A. C. O. et al. Anlise combinatria e probabilidade. Coleo do Professor de
Matemtica. Sociedade Brasileira de Matemtica-SBM, 2001.
NOTARE, M. R. Matemtica Discreta. Universidade de Caxias do Sul. Apostila. RS, 2003.
PEREIRA, S. L. Lgica Proposicional. Disponvel em: <http://www.ime.usp.br/~slago/ia-2.
pdf>. Acesso em: jun. 2012.
SANTOS, R. J. lgebra linear e aplicaes. Belo Horizonte: UFMG, Departamento de
Matemtica, 2010.
SANTOS, N. M. Vetores e Matrizes. 4. ed. Rio de Janeiro: Editora Thomson, 2007.
137