Você está na página 1de 19

www.dicasdeconcurso.

com
Lgica senrencial e de primeira ordem
A lgica divide-se em lgica senrencial e lgica de predicados. A lgica senrencial esruda argumenros que
no
dependem da esrrurura inrerna das senrenas. For exemplo:
(1)
Se Deus exisre, enro a felicidade ererna possvel.
Deus exisre.
Logo, a felicidade ererna possvel.
A validade do argumenro (1) depende do modo pelo qual as senrenas so conecradas, mas no depende da
esrrurura inrerna das senrenas. A forma lgica de (1) deixa isso claro:
(1a)
Se A, enro B.
A.
Logo, B.
Diferenremenre, a lgica de predicados esruda argumenros cuja validade depende da esrrurura inrerna das
senrenas. For exemplo:
(2)
Todos os cariocas so Lrasileiros.
Alguns cariocas so flamenguisras.
Logo, alguns Lrasileiros so flamenguisras.
A forma lgica de (2) a seguinre:
(2a)
Todo A B.
Algum A C.
Logo, algum B
A primeira premissa do argumenro (2) diz que o conjunro dos indivduos que so cariocas esr conrido no
conjunro dos Lrasileiros. A segunda, diz que 'denrro' do conjunro dos cariocas, h alguns indivduos que so
flamenguisras. E fcil concluir enro que exisrem alguns Lrasileiros que so flamenguisras, pois esses
flamenguisras que so cariocas sero ramLm Lrasileiros. Essa concluso se segue das premissas.
Nore, enrreranro, que as senrenas 'rodos os cariocas so Lrasileiros' e 'alguns cariocas so flamenguisras'
rm uma
esrrurura diferenre da senrena 'se Deus exisre, a felicidade ererna possvel'. Esra lrima formada a parrir
de
duas ourras senrenas 'Deus exisre' e 'a felicidade ererna possvel', conecradas pelo operador lgico
se...enro. J
para analisar o argumenro (2) precisamos analisar a esrrurura inrerna das senrenas, e no apenas o modo
pelo
qual senrenas so conecradas umas s ourras. O que caracreriza a lgica de predicados o uso dos
quanrificadores
rodo, algum e nenhum. E por esse morivo que a validade de um argumenro como o (2) depende da esrrurura
inrerna das senrenas. A diferena enrre a lgica senrencial e a lgica de predicados ficar mais clara no
decorrer
desra e da prxima unidade.
Usualmenre o esrudo da lgica comea pela lgica senrencial, e seguiremos esse caminho aqui.
2. Senrenas armicas e moleculares
Considere-se a senrena
(1) Lula Lrasileiro.
A senrena (1) composra por um nome prprio, 'Lula', e um predicado, '... Lrasileiro'. Em lgica, para
evirar o
uso de '...', usamos uma varivel para marcar o(s) lugar(es) em que podemos complerar um predicado. Aqui,
expresses do ripo x Lrasileiro designam predicados. Considere agora a senrena (2) Xuxa me de Sasha.
A senrena (2) pode ser analisada de rrs maneiras diferenres, que correspondem a rrs predicados
diferenres que
podem ser formados a parrir de (2):
(2a) x me de Sasha,
(2L) Xuxa me de x,
(2c) x me de y.
Do ponro de visra lgico, em (2c) remos o que chamado de um predicado Linrio, isro , um predicado
que,
diferenremenre de x Lrasileiro, deve complerado por dois nomes prprios para formar uma senrena.
As senrenas (1) e (2) acima so denominadas senrenas armicas. Uma senrena armica uma senrena
formada
por um predicado com um ou mais espaos vazios, sendo rodos os espaos vazios complerados por nomes
prprios. Senrenas armicas no conrm nenhum dos operadores lgicos e, ou, se...enro erc., nem os
quanrificadores rodo, nenhum, algum erc.
Senrenas moleculares so senrenas formadas com o auxlio dos operadores senrenciais. Exemplos de
senrenas
moleculares so
(3) Lula Lrasileiro e Zidane francs,
(4) Se voc LeLer, no dirija,
(5) Joo vai praia ou vai ao cluLe.
3. A inrerprerao vero-funcional dos operadores senrenciais
Os operadores senrenciais que esrudaremos aqui so as parrculas do porrugus no, ou, e, se...enro, se, e
somenre
se. A lgica senrencial inrerprera esses operadores como funes de verdade ou vero-funcionalmenre. Isso
significa que eles operam apenas com os valores de verdade dos seus operandos, ou em ourras palavras, o
valor de
verdade de uma senrena formada com um dos operadores dererminado somenre pelos valores de verdade
das
senrenas que a consriruem. Os operadores senrenciais se comporram de uma maneira anloga s funes
maremricas. Esras receLem nmeros como argumenros e produzem nmeros como valores. Os operadores
senrenciais so funes porque receLem valores de verdade como argumenros e produzem valores de
verdade. Considere-se a
seguinre funo maremrica:
(4) y = x + 1.
Dizemos que y = f(x), isro , 'y funo de x', o que significa que o valor de y depende do valor arriLudo a
x.
Quando x = 1, y = 2,
x = 2, y = 3,
x = 3, y = 4,
e assim por dianre. Analogamenre a uma funo maremrica, uma funo de verdade receLe valores de
verdade
como argumenros e produz valores de verdade como valores.
As chamadas raLelas de verdade mosrram como os operadores da lgica senrencial funcionam. No lado
esquerdo
da raLela de verdade remos as senrenas a parrir das quais a senrena composra foi formada no caso da
negao,
uma nica senrena. O valor produzido pela funo de verdade esr na coluna da direira. As lerras V e F
represenram os valores de verdade verdadeiro e falso.
A lgica de primeira ordem (LFO), conhecida ramLm como clculo de predicados de primeira ordem
(CFFO), um sisrema lgico que esrende a lgica proposicional (lgica senrencial) e que esrendida pela
lgica de segunda ordem.
As senrenas armicas da lgica de primeira ordem rm o formaro F (r1,., rn) (um predicado com um ou
mais argumenros") ao invs de serem smLolos senrenciais sem esrrururas.
O ingredienre novo da lgica de primeira ordem no enconrrado na lgica proposicional a quanrificao:
dada uma senrena qualquer, as novas consrrues e -- leia para rodo x, " e para algum x,
", respecrivamenreso inrroduzidas. significa que verdadeiro para rodo valor de x e
significa que h pelo menos um x ral que verdadeiro. Os valores das variveis so rirados de um
universo de discurso pr-dererminado.Um refinamenro da lgica de primeira ordem permire variveis de
diferenres ripos, para rrarar de diferenres classes de oLjeros.
A lgica de primeira ordem rem poder expressivo suficienre para formalizar praricamenre roda a
maremrica. Uma reoria de primeira ordem consisre em um conjunro de axiomas (geralmenre finiros ou
recursivamenre enumervel) e de senrenas dedurveis a parrir deles. A reoria dos conjunros de Zermelo-
Fraenkel um exemplo de uma reoria de primeira ordem, e aceira-se geralmenre que roda a maremrica
clssica possa ser formalizada nela. H ourras reorias que so normalmenre formalizadas na lgica de
primeira ordem de maneira independenre(emLora elas admiram a implemenrao na reoria dos conjunros)
rais como a arirmrica de Feano.
Um clculo de predicados consisre em:
D regras de formao (definies recursivas para dar origem a frmulas bem-formadas ou FBFs).
D regras de transformao (regras de inferncia para derivar teoremas).
D axiomas.
Os axiomas considerados aqui so os axiomas lgicos que fazem parre do clculo de predicados. Alm disso,
os axiomas no-lgicos so adicionados em reorias de primeira ordem especficas: esres no so considerados
como verdades da lgica, mas como verdades da reoria parricular soL considerao.
Quando o conjunro dos axiomas infiniro, requer-se que haja um algorirmo que possa decidir para uma
frmula Lem-formada dada, se ela um axioma ou no. Deve ramLm haver um algorirmo que possa
decidir se uma aplicao dada de uma regra de inferncia esr correra ou no.
E imporranre norar que o clculo de predicados pode ser formalizado de muiras maneiras equivalenres, no
h nada cannico soLre os axiomas e as regras de inferncia proposros aqui, mas roda a formalizao dar
origem aos mesmos reoremas da lgica (e deduzir os mesmos reoremas a parrir de um conjunro qualquer de
axiomas no-lgicos).
O alfaLero de 1 ordem, , rem a seguinre consriruio:
, onde
1. X = {x,y,z,x1,x2,...,y1,y2,...,z1,z2,...} um conjunto enumervel de variveis;
2. C = {a,b,c,a1,a2,...,b1,b2,...,c1,c2,...} um conjunto de smbolos chamados de constantes;
3. F = {F1,F2,...} um conjunto de smbolos ditos sinais funcionais;
4. R = {R1,R2,...} um conjunto de smbolos ditos sinais relacionais ou predicativos;
5. o conjunto de smbolos ditos sinais lgicos;
6. P = {(,),,} o conjunto de smbolos de pontuao.
As consranres, sinais funcionais e sinais predicarivos consriruem a coleo de sinais diros smLolos no
lgicos.
H diversas variaes menores lisradas aLaixo:
D O conjunto de smbolos primitivos (operadores e quantificadores) varia freqentemente. Alguns
smbolos primitivos podem ser omitidos, substituindo-os com abreviaturas adequadas; por exemplo (P
Q) uma abreviatura para (P Q) (Q P). No sentido contrrio, possvel incluir outros
operadores como smbolos primitivos, como as constantes de verdade para verdadeiro e o para
falso (estes so operadores do aridade 0). O nmero mnimo dos smbolos primitivos necessrios
um, mas se ns nos restringirmos aos operadores listados acima, seria necessrio trs; por exemplo, o ,
o , e o bastariam.
D Alguns livros mais velhos usam a notao para , ~ para , & para , e uma
riqueza de notaes para os quantificadores; por exemplo, x pode ser escrito como (x).
D A igualdade s vezes considerada como parte da lgica de primeira ordem; Neste caso, o smbolo da
igualdade ser includo no alfabeto, e comportar-se- sintaticamente como um predicado binrio. Assim
a LPO ser chamada de lgica de primeira ordem com igualdade.
D As constantes so na verdade funes de aridade 0, assim seria possvel e conveniente omitir constantes
e usar as funes que tenham qualquer aridade. Mas comum usar o termo funo somente para
funes de aridade 1.
D Na definio acima, as relaes devem ter pelo menos aridade 1. possvel permitir relaes de aridade
0; estas seriam consideradas variveis proposicionais.
D H muitas convenes diferentes sobre onde pr parnteses; por exemplo, se pode escrever x ou
( x). s vezes se usa dois pontos ou ponto final ao invs dos parnteses para criar frmulas no
ambguas. Uma conveno interessante, mas incomum, a notao polonesa, onde se omite todos os
parnteses, e escreve-se o , , e assim por diante na frente de seus argumentos. A notao polonesa
compacta e elegante, mas rara e de leitura complexa.
D Uma observao tcnica que se houver um smbolo de funo de aridade 2 que representa um par
ordenado (ou smbolos de predicados de aridade 2 que representam as relaes de projeo de um par
ordenado) ento se pode dispensar inteiramente as funes ou predicados de aridade > 2. Naturalmente o
par ou as projees necessitam satisfazer aos axiomas naturais.
Os conjunros das consranres, das funes, e das relaes compem a assinarura e so geralmenre
considerados para dar forma a uma linguagem, enquanro as variveis, os operadores lgicos, e os
quanrificadores so geralmenre considerados para perrencer lgica. Uma esrrurura d o significado
semnrico de cada smLolo da assinarura. For exemplo, a linguagem da reoria dos grupos consisre de uma
consranre (elemenro da idenridade), de uma funo de aridade 1 (inverso), de uma funo de aridade 2
(produro), e de uma relao de aridade 2 (igualdade), que seria omirida pelos aurores que incluem a
igualdade na lgica suLjacenre.
Regras de formao
As regras de formao definem os rermos, frmulas, e as variveis livres como segue. O conjunro dos rermos
definido recursivamenre pelas seguinres regras:
1. Qualquer constante um termo (sem variveis livres).
2. Qualquer varivel um termo (cuja nica varivel livre ela mesma).
3. Toda expresso f (t1,, tn) de n 1 argumentos (onde cada argumento ti um termo e f um smbolo
de funo de aridade n) um termo. Suas variveis livres so as variveis livres de cada um dos termos
ti.
4. Clusula de fechamento: Nada mais um termo.
O conjunro das frmulas Lem-formadas (chamadas geralmenre FBFs ou apenas frmulas) definido
recursivamenre pelas seguinres regras:
1. Predicados simples e complexos: se P for uma relao de aridade n 1 e os ai so os termos ento P (a1,
,an) bem formada. Suas variveis livres so as variveis livres de quaisquer termos ai. Se a
igualdade for considerada parte da lgica, ento (a1 = a2) bem formada. Tais frmulas so ditas
atmicas.
2. Clusula indutiva I: Se for uma FBF, ento uma FBF. Suas variveis livres so as variveis livres
de .
3. Clusula indutiva II: Se e so FBFs, ento ( ), ( ), ( ), ( ) so FBFs. Suas
variveis livres so as variveis livres de e de .
4. Clusula indutiva III: Se for uma FBF e x for um varivel, ento x e x so FBFs, cujas
variveis livres so as variveis livres de com exceo de x. Ocorrncias de x so ditas ligadas ou
mudas (por oposio a livre) em x e x.
5. Clusula de fechamento: Nada mais uma FBF.
Na prrica, se F for uma relao de aridade 2, ns escrevemos frequenremenre a F L" em vez de F a L", por
exemplo, ns escrevemos 1 2 em vez de (1 2). Similarmenre se f for uma funo de aridade 2, ns
escrevemos s vezes a f L" em vez de f (a L)", por exemplo, ns escrevemos 1 + 2 em vez de + (1 2). E
ramLm comum omirir alguns parnreses se isro no conduzir amLigidade. s vezes ril dizer que F
(x) vale para exaramenre um x", o que cosruma ser denorado por !xF(x). Isro ramLm pode ser expresso
por x (F (x) y (F (y) (x = y))).
Exemplos: A linguagem dos grupos aLelianos ordenados rem uma consranre 0, uma funo unria , uma
funo Linria +, e uma relao Linria . Assim:
D 0, x, y so termos atmicos
D + (x, y), + (x, + (y, (z))) so termos, escritos geralmente como x + y, x + (y + (z))
D = (+ (x, y), 0), (+ (x, + (y, (z))), + (x, y)) so frmulas atmicas, escritas geralmente como x + y = 0,
x + y - z x + y,
D ( x y (+ (x, y), z)) ( x = (+ (x, y), 0)) uma frmula, escrita geralmente como ( x y (x + y
z)) ( x (x + y = 0)).
Substituio
Se r um rermo e (x) uma frmula que conrm possivelmenre x como uma varivel livre, enro (r) se
definido como o resulrado da suLsriruio de rodas as insrncias livres de x por r, desde que nenhuma
varivel livre de r se rorne ligada nesre processo. Se alguma varivel livre de r se rornar ligada, enro para
suLsriruir r por x primeiramenre necessrio mudar os nomes das variveis ligadas de para algo diferenre
das variveis livres de r. Fara ver porque esra condio necessria, considere a frmula (x) dada por y
yx (x mximal"). Se r for um rermo sem y como varivel livre, enro (r) diz apenas que r maximal.
Enrreranro se r y, a frmula (y) y yy que no diz que y mximal.O proLlema de que a varivel
livre y de r (=y) se rransformou em ligada quando ns suLsrirumos y por x em (x). Assim, para consrruir
(y) ns devemos primeiramenre mudar a varivel ligada y de para qualquer ourra coisa, por exemplo a
varivel z, de modo que o (y) seja enro z z y. Esquecer desra condio uma causa norria de erros.
Igualdade
H diversas convenes diferenres para se usar a igualdade (ou a idenridade) na lgica de primeira ordem.
Esra seo resume as principais. Todas as convenes resulram mais ou menos no mesmo com mais ou
menos a mesma quanridade de rraLalho, e diferem principalmenre na rerminologia.
D A conveno mais comum para a igualdade incluir o smbolo da igualdade como um smbolo lgico
primitivo, e adicionar os axiomas da igualdade aos axiomas da lgica de primeira ordem. Os axiomas de
igualdade so
x = x
x = y F(...,x,...) = F(...,y,...) para qualquer funo F
x = y (F(...,x,...) F(...,y,...)) para qualquer relao F (incluindo a prpria igualdade)
D A prxima conveno mais comum incluir o smbolo da igualdade como uma das relaes de uma
teoria, e adicionar os axiomas da igualdade aos axiomas da teoria. Na prtica isto quase idntico da
conveno precedente, exceto no exemplo incomum de teorias com nenhuma noo de igualdade. Os
axiomas so os mesmos, e a nica diferena se eles sero chamados de axiomas lgicos ou de axiomas
de taoria.
D Nas teorias sem funes e com um nmero finito de relaes, possvel definir a igualdade em termos
de relaes, definindo os dois termos s e t como iguais se qualquer relao continuar inalterada ao se
substituir s por t em qualquer argumento. Por exemplo, em teoria dos conjuntos com uma relao ,
ns definiramos s = t como uma abreviatura para x (s x t x) x (x s x t). Esta
definio de igualdade satisfaz automaticamente os axiomas da igualdade.
D Em algumas teorias possvel dar definies de igualdade ad hoc. Por exemplo, em uma teoria de
ordens parciais com uma relao ns poderamos definir s = t como uma abreviatura para s t t
s.
Regras de Inferncia
A regra de inferncia modus ponens a nica necessria para a lgica proposicional de acordo com a
formalizao proposra aqui. Ela diz que se e so amLos demonsrrados, enro pode-se deduzir . A
regra de inferncia chamada Generalizao Universal caracrersrica da lgica de primeira ordem:
se , enro
onde se supe que um reorema j demonsrrado da lgica de primeira ordem. OLserve que a
Generalizao anloga regra da necessirao da lgica modal, que :
se , enro .
Axiomas e Regras
Os cinco axiomas lgicos mais as duas regras de inferncia seguinres caracrerizam a lgica de primeira
ordem:
Axiomas:
D (A1)
D (A2)
D (A3)
D (A4) , onde x no livre em
D (A5) , onde t livre para x em .
Regras de Inferncia:
D Modus Ponens:

D Generalizao Universal:

Esres axiomas so na realidade esquemas de axiomas. Cada lerra grega pode ser uniformemenre suLsriruda,
em cada um dos axiomas acima, por uma FBF qualquer, e uma expresso do ripo r: = x] denora o resulrado
da suLsriruio de x por r na frmula .
Clculo de Predicados
O clculo de predicado uma exrenso da lgica proposicional que define quais senrenas da lgica de
primeira ordem so demonsrrveis. E um sisrema formal usado para descrever as reorias maremricas. Se o
clculo proposicional for definido por um conjunro adequado de axiomas e a nica regra de inferncia
modus ponens (isro pode ser feiro de muiras maneiras diferenres, uma delas j ilusrrada na seo anrerior),
enro o clculo de predicados pode ser definido adicionando-se alguns axiomas e uma regra de inferncia
'generalizao universal' (como, por exemplo, na seo anrerior). Mais precisamenre, como axiomas para o
clculo de predicado, reremos:
D Os axiomas circunstanciais do clculo proposicional (A1, A2 e A3 na seo anterior);
D Os axiomas dos quantificadores (A4 e A5);
D Os axiomas para a igualdade propostos em seo anterior, se a igualdade for considerada como um
conceito lgico.
Uma senrena ser definida como demonsrrvel na lgica de primeira ordem se puder ser oLrida comeando
com os axiomas do clculo de predicados e aplicando-se reperidamenre as regras de inferncia 'modus
ponens' e 'generalizao universal'. Se ns rivermos uma reoria T (um conjunro de senrenas, s vezes
chamadas axiomas) enro uma senrena se define como demonsrrvel na reoria T se a L ...
demonsrrvel na lgica de primeira ordem (relao de consequncia formal), para algum conjunro finiro de
axiomas a, L,... da reoria T. Um proLlema aparenre com esra definio de demonsrraLilidade" que ela
parece um ranro ad hoc: ns romamos uma coleo aparenremenre alearria de axiomas e de regras de
inferncia, e no Lvio que no renhamos acidenralmenre deixado de fora algum axioma ou regra
fundamenral. O reorema da complerude de Gdel nos assegura de que esre no realmenre um proLlema: o
reorema diz que roda senrena verdadeira em rodos os modelos demonsrrvel na lgica de primeira
ordem. Em parricular, roda definio razovel de 'demonsrrvel' na lgica de primeira ordem deve ser
equivalenre definio acima (emLora seja possvel que os comprimenros das derivaes difira Lasranre
para diferenres definies de demonsrraLilidade). H muiras maneiras diferenres (mas equivalenres) de
definir provaLilidade. A definio acima um exemplo rpico do clculo no esrilo de HilLerr, que rem
muiros axiomas diferenres, mas poucas regras de inferncia. As definies de demonsrraLilidade para a
lgica de primeira ordem nos esrilos de Genrzen (deduo narural e clculo de sequenres) so Laseadas em
poucos ou nenhum axiomas, mas muiras regras de inferncia.
Algumas equivalncias






Algumas regras de inferncia




(se c for uma varivel, enro no deve ser quanrificada em F(x))
(x no deve aparecer livre em F(c))
Metateoremas da lgica de primeira ordem
Alguns merareoremas lgicos imporranres lisram-se aLaixo:
1. Ao contrrio da lgica proposicional, a lgica de primeira ordem indecidvel, desde que a linguagem
contenha ao menos um predicado de aridade ao menos 2, para alm da igualdade. Pode-se demonstrar
que h um procedimento de deciso para determinar se uma frmula arbitrria P vlida .
2. O problema da deciso para validade semidecidvel, ou seja, h uma mquina de Turing que quando
recebe uma sentena como entrada, parar se e somente se a sentena for vlida (satisfeita em todos os
modelos).
D Como o teorema da completude de Gdel mostra, para toda frmula vlida P, P demonstrvel.
Analogamente, assumindo a consistncia da lgica, toda frmula demonstrvel vlida.
D Para um conjunto finito ou semi-enumervel de axiomas, o conjunto das frmulas demonstrveis
pode ser explicitamente enumerado por uma mquina de Turing, donde segue o resultado de
semidecidibilidade.
3. A lgica de predicados mondica (i.e., a lgica de predicados somente com predicados de um
argumento) decidvel.
4. A classe de Bernays-Schnfinkel das frmulas de primeira ordem tambm decidvel.
Conragem: princpio adirivo e mulriplicarivo
Frincipio adirivo e mulriplicarivo:
Vamos resolver alguns exerccios como exemplo, e gradualmenre sero aLordados alguns exemplos mais
complexos.
Bom! Vamos comear com o principio adirivo.
FRINCFIO ADITIVO - DIVIDIR FARA SOMAR
Ex. 1 - Supondo que exisra cinemas, e rearros em sua cidade, e que renham enrrado em carraz 3 filmes e 2
peas de rearro diferenres para passarem no prximo sLado, e que voc renha dinheiro para assisrir a
apenas 1 evenro desres 5 que foram descriros anreriormenre. Quanros so os programas que voc pode fazer
nesre sLado!
Vejamos enro:
Vamos supor agora que cada programa cusre apenas 1 real, e que voc s renha um real. Como voc rem
dinheiro para apenas um evenro (programa), enro ou voc assisre ao filme 1 ou ao filme 2 ou ao filme 3 ou
pea de rearro 1 ou pea de rearro 2.
A idia presrar areno no conerivo ou" do proLlema. Ou escolhe F1, ou escolhe F2, ou escolhe F3, e
assim por dianre.
Desre modo esramos dividindo o proLlema em casos. E como j cirei anreriormenre aparecer a idia do
conerivo ou".
Caso eu escolher ver um filme, rerei 3 opes ou caso eu escolher ver uma pea de rearro, rerei 2 opes.
Como voc pode oLservar os elemenros de um conjunro no perrencem ourro, pois so disrinros, logo eles
so disjunros. (A inrerseco vazia)
Logo pelo principio adirivo.
Se A e B so dois conjunros disjunros (A B = o ) com respecrivamenre , f e r elemenros, enro A U B
possui f+r elemenros.
A=[ f|f um filme] = [F1,F2,F3], e
B= [ r|r uma pea de rearro] = [T1,T2]
Logo A U B = [ F1,F2,F3,T1,T2]
Assim ao rodo so 3+2 = 5 programas.
Vamos ver agora um exemplo com o principio mulriplicarivo.
FRINCFIO MULTIFLICATICO- DECISES EM SEQUNCIA
Ex. 2 Supondo que voc renha agora dois reais, e quer assisrir a um filme e uma pea de rearro, quanros
so os programas que poder fazer no sLado!
Bom! Repare que diferenre do primeiro exemplo, nesre voc rem que romar duas decises em sequncia.
1- deciso escolher um filme dos rrs em carraz.
2- deciso escolher uma pea de rearro das duas disponveis.
Vamos enumerar os casos possveis:
Aqui a idia presrar areno no conerivo e".
Filme 1 e Fea 1
Filme 1 e Fea 2
Filme 2 e Fea 1
Filme 2 e Fea 2
Filme 3 e Fea 1
Filme 3 e Fea 2
Logo voc vai escolher um filme dos rrs em carraz e" escolher uma pea de rearro das duas disponveis.
Logo pelo principio mulriplicarivo.
Se um evenro A pode ocorrer de m maneiras diferenres e, se para cada uma dessas m maneiras possveis de
A ocorrer, um ourro evenro B pode ocorrer de n maneiras diferenres, enro o n- de maneiras de ocorrer o
evenro A seguido do evenro B m.n
Logo voc rm rrs vezes duas opes para escolher enrre os programas.
Ou seja 6 possiLilidades.
Ex. 3 Vamos ver mais um exemplo com o Frincipio mulriplicarico.
Vamos supor que voc queira viajar esre fim de semana, e que esreja pensando em ir para uma praia
descansar. E no percurso ar chegar a praia voc rem que passar por uma ourra cidade.
Vamos denorar a sua cidade por A, a cidade que voc vai passar anres de chegar a praia por B, e a praia por
C.
Supondo que exisram 3 roras diferenres ar a cidade B e da cidade B ar a praia exisrem 2 roras diferenres.
De quanras maneiras possveis voc poder chegar a praia usando um desres caminhos!
Acompanhe o exemplo aLaixo.
De A para B remos 3 roras, logo 3 possiLilidades.Ou seja ao romar a primeira deciso voc rm 3 opes para
escolher.
De B para C remos 2 roras, logo 2 possiLilidades. Ou seja aps romar a deciso A, voc vai romar uma 2-
deciso B, onde voc rm 2 possiLilidades de escolha.
Logo pelo principio mulriplicarivo, remos 3 vezes 2 possiLilidades. Ou seja voc rem 6 possiLilidades
diferenres de ir ar a praia passando pela cidade B.
Ex. 4 Vamos misrurar as coisas um pouco.
Vejamos um exemplo onde podemos rraLalhar com os dois principios.
Supondo que voc renha que viajar, e renha as seguinres opes oLservadas na figura aLaixo. De quanras
maneiras possveis voc poder fazer a sua viagem escolhendo apenas um dos caminhos!
E agora Jos!!
OLserve que remos casos diferenres.
1- - De A para D passando por B.
2- - Ir de A para D direro.
3- - De A para D passando por C.
U! Se remos casos diferenres vamos fazer por adio. Ou melhor vamos rraLalhar com cada caso
separadamenre usando o Frincipio mulriplicarivo e logo aps vamos som-los.
1- - De A para D passando por B.
Tomamos a 1- deciso indo de A para B, na qual remos uma possiLilidade( 1 caminho apenas)
Em seguida romamos a 2- deciso indo de B para D, na qual remos ramLm uma possiLilidade (1 caminho
apenas)
Logo remos 1.1 = 1 possiLilidade de irmos de A ar D passando por B.
2- - Ir de A para D direro.
Aqui ficou fcil! Temos apenas uma deciso para romar e apenas duas possiLilidades de escolha. Logo 1.2 =2
possiLilidades de ir de A ar D direro.
3- - De A para D passando por C.
Do mesmo modo, remos duas possiLilidades de A para C e uma possiLilidade de C para D. O que d 2.1
possiLilidades. Ou seja remos 2 FossiLilidades Fara ir de A ar D passando por C.
Aplicando o Frincipio adirivo, remos 1+2+2 = 5 possiLilidades. Ou seja 5 maneiras possveis de viajar da
cidade A ar a cidade D.
Arranjo
Arranjos so agrupamenros que a ordem dos seus elemenros faz a diferena, por exemplo, os nmeros de
rrs algarismos formados pelos elemenros [1,2 e 3] so:
312, 321, 132, 123, 213, 231
Esse agrupamenro um arranjo, pois a ordem dos elemenros 1, 2 e 3 diferem. E considerado simples, pois
os elemenros no se reperem.
Fara que renhamos arranjos simples preciso rer um conjunro de elemenros disrinros com uma quanridade
qualquer de elemenros, sendo que os arranjos simples formados iro possuir n elemenros, sendo que essa
quanridade ser igual ou menor que a quanridade de elemenros do conjunro.
Veja o exemplo aLaixo:
Dado o conjunro B = [5,6,7], veja os possveis agrupamenros formados com 2 elemenros de B.
Enro, os agrupamenros formados com 2 elemenros do conjunro L so: 56,57,65,67,75,76. Esse agrupamenro
formado por arranjos simples pelos elemenros do conjunro B.
Nesse exemplo perceLemos que possvel formar 6 arranjos, essa quanridade pode ser represenrada da
seguinre forma: A3,2 (rrs elemenros disrinros formados de dois a dois). Urilizando o processo do princpio
fundamenral da conragem, calculamos a quanridade de elemenros:
A3,2 = 3 . 2 . 1 = 6
Se em um agrupamenro compararmos os arranjos simples formados perceLeremos que eles se diferem de
duas maneiras diferenres: pela ordem de seus elemenros ou pela narureza de seus elemenros. For exemplo:
Se compararmos os arranjos 56 e 65 do exemplo anrerior, perceLeremos que eles so diferenres pela ordem
dos seus elemenros.
Se compararmos os arranjos 75 e 76 do exemplo anrerior, perceLeremos que eles so diferenres pela
narureza de seus elemenros, pois so diferenres.
Considerando n a quanridade de elemenros de um conjunro qualquer e p um nmero narural menor ou
igual a n. p ser a classe ou a ordem do arranjo. Indicado da seguinre forma: A n , p
A frmula geral urilizada no clculo da quanridade de arranjos simples :
Exemplo 2:
Quanras palavras" (com senrido ou no) de 5 lerras disrinras podemos formar com as 20 primeiras lerras do
nosso alfaLero!
No necessrio monrar rodas os arranjos possveis para saLer a sua quanridade, Lasra aplicar a frmula
A n , p = n!
(n p)!
Sendo que o conjunro formado por 20 elemenros (n = 20) que sero unidos de 5 em 5 (p = 5). SuLsrirua a
frmula.
Forranro, a quanridade de arranjos formados com as 20 primeiras lerras
do nosso alfaLero unidas de 5 em 5 1860480.
Fermurao
Fodemos considerar a permurao simples como um caso parricular de arranjo, onde os elemenros formaro
agrupamenros que se diferenciaro somenre pela ordem. As permuraes simples dos elemenros F, Q e R
so: FQR, FRQ, QFR, QRF, RFQ, RQF. Fara dererminarmos o nmero de agrupamenros de uma
permurao simples urilizamos a seguinre expresso F = n!.
n! = n'(n-1)'(n-2)'(n-3)'....'3'2'1
For exemplo, 4! = 4'3'2'1 = 24
Exemplo 1
Quanros anagramas podemos formar com a palavra GATO!
Resoluo:
Fodemos variar as lerras de lugar e formar vrios anagramas, formulando um caso de permurao simples.
F = 4! = 24
Exemplo 2
De quanras maneiras disrinras podemos organizar as modelos Ana, Carla, Maria, Faula e Silvia para a
produo de um lLum de forografias promocionais!
Resoluo:
Nore que o princpio a ser urilizado na organizao das modelos ser o da permurao simples, pois
formaremos agrupamenros que se diferenciaro somenre pela ordem dos elemenros.
F = n!
F = 5!
F = 5'4'3'2'1
F = 120
Forranro, o nmero de posies possveis 120.
Exemplo 3
De quanras maneiras disrinras podemos colocar em fila indiana seis homens e seis mulheres:
a) em qualquer ordem
Resoluo
Fodemos organizar as 12 pessoas de forma disrinra, porranro urilizamos
12! = 12'11'10'9'8'7'6'5'4'3'2'1 = 479.001.600 possiLilidades
L) iniciando com homem e rerminando com mulher
Resoluo
Ao iniciarmos o agrupamenro com homem e rerminarmos com mulher reremos:
Seis homens alearoriamenre na primeira posio.
Seis mulheres alearoriamenre na lrima posio.
F = (6'6) ' 10!
F = 36'10!
F = 130.636.800 possiLilidades
ComLinao simples e com reperio
ComLinaes
Quando formamos agrupamenros com p elemenros, (pm) de forma que os p elemenros sejam disrinros
enrre s apenas pela espcie.
ComLinao simples: No ocorre a reperio de qualquer elemenro em cada grupo de p elemenros.
Frmula: C(m,p) = m!/(m-p)! p!]
Clculo para o exemplo: C(4,2)=4!/2!2!]=24/4=6
Exemplo: Seja C=[A,B,C,D], m=4 e p=2. As comLinaes simples desses 4 elemenros romados 2 a 2 so 6
grupos que no podem rer a reperio de qualquer elemenro nem podem aparecer na ordem rrocada. Todos
os agrupamenros esro no conjunro:
Cs=[AB,AC,AD,BC,BD,CD]
ComLinao com reperio: Todos os elemenros podem aparecer reperidos em cada grupo ar p vezes.
Frmula: Cr(m,p)=C(m+p-1,p)
Clculo para o exemplo: Cr(4,2)=C(4+2-1,2)=C(5,2)=5!/2!3!]=10
Exemplo: Seja C=[A,B,C,D], m=4 e p=2. As comLinaes com reperio desses 4 elemenros romados 2 a 2
so 10 grupos que rm rodas as reperies possveis de elemenros em grupos de 2 elemenros no podendo
aparecer o mesmo grupo com a ordem rrocada. De um modo geral nesre caso, rodos os agrupamenros com 2
elemenros formam um conjunro com 16 elemenros:
Cr=[AA,AB,AC,AD,BA,BB,BC,BD,CA,CB,CC,CD,DA,DB,DC,DD]
mas para oLrer as comLinaes com reperio, deveremos excluir desre conjunro os 6 grupos que j
apareceram anres, pois AB=BA, AC=CA, AD=DA, BC=CB, BD=DB e CD=DC, assim as comLinaes com
reperio dos elemenros de C romados 2 a 2, so:
Cr=[AA,AB,AC,AD,BB,BC,BD,CC,CD,DD]