Operaes lgicas

Operao lgica
Conjuno
Disjuno
Disjuno exclusiva
Negao
Condicionalizao
Bicondicionalizao

Conectivo

Smbolo
e
ou
no
Se...ento...
Se e s se...

Com excepo da negao que unria, todas as operaes lgicas so binrias

porque tm de utilizar duas asseres para formar uma nova assero.
Para determinar o valor lgico duma assero construda a partir da coneco de
outras, utilizamos tabelas de verdade.
Conjuno
P Q PQ
V V
V
V F
F
F V
F
F F
F

Condicionalizao
P Q
PQ
V V
V
V F
F
F V
V
F F
V

Disjuno
P Q PQ
V V
V
V F
V
F V
V
F F
F

Bicondicionalizao
P
Q
PQ
V
V
V
V
F
F
F
V
F
F
F
V

Disjuno exclusiva
P
Q
PQ
V
V
F
V
F
V
F
V
V
F
F
F

Negao
P
~P
V
F
F
V

Assero elementar ou atmica Assero que no se pode obter de outras asseres

recorrendo a construes que possam ser traduzidas pelos conectivos: , , ~, , .

Equivalncias lgicas
Leis Comutativas
PQ l.e. a QP.
PQ l.e a QP.
Leis Associativas
P(QR) l.e. a (PQ)R.
P(QR) l.e. a (PQ)R.
Leis de idempotncia
PP l.e. a P.
PP l.e. a P.
Leis distributivas esquerda
P(QR) l.e. a (PQ)(PR).
P(QR) l.e. a (PQ)(PR).
Leis de De Morgan
~(PQ) l.e. a ~P~Q.
~(PQ) l.e. a ~P~Q.
Lei da dupla negao
~ ~P l.e. a P
Lei condicional
PQ l.e. a ~PQ
Lei do contra-recproco
PQ l.e. a ~Q~P.

Tautologias e contradies
Tautologia Formula que na coluna final da sua tabela tem apenas o valor lgico
verdadeiro.
Contradio Formula que na coluna final da sua tabela tem apenas o valor lgico
falso.

P (tautologia) l.e a P;
P (tautologia) uma tautologia;
~(tautologia) uma contradio;
P tautologia uma tautologia;
P (contradio) uma contradio;
P (contradio) l.e P;
~(contradio) uma tautologia;
(contradio) P uma tautologia.

Argumentos
Qualquer sequncia finita P1, ... Pn, Q de asseres (com n 1).
P1 ... Pn so as premissas do argumento.
Q a concluso.
Na passagem das premissas para a concluso l-se: logo, portanto,
consequentemente...
Como se representa?
P1
...
Pn .
Q
Forma de argumento vlido ou regra de inferncia
Quando a concluso for verdadeira sempre que as premissas forem verdadeiras.
Forma de argumento invlido ou falacioso.
Quando no uma forma de argumento vlido.
Modus:
Ponens: modo que afirma
AB
A .
B
Tollens: modo que nega
AB
~B
.

~A

Propriedades sobre substituio em regras de inferncia

Ex:

Se numa regra de inferncia, substituirmos todas as ocorrncias de uma

(qualquer) letra por uma mesma frmula, obtemos ainda uma regra de
inferncia:
PQ
P
.
Q

Substituindo, por exemplo, Q por QR, obtemos a regra de inferncia:

PQR
P
.
QR

Se numa regra de inferncia, substituirmos uma frmula por outra logicamente

equivalente, obtemos ainda uma regra de inferncia.

Variveis
Conjunto Coleco de objectos.
Dados um conjunto X e um objecto a, escrevemos aX para significar que um
objecto da coleco X e l-se:
a pertence a X;
a elemento de X.
Escrevemos aX para significar que a no objecto de X.
Podemos fazer declaraes:
Sobre objectos concretos apenas;
Sobre objectos que, partida, no so determinados.
s expresses com variveis que se transformam em asseres, ao substituirmos
as variveis por objectos concretos, chamamos condio.
Ex:
Q(x,y): y2+5 < x3
Q(1,3): 32+5<13 14<1 (assero falsa)
Q(3,1): 12+5<33 6<27 (assero verdadeira)
Condio No tem valor lgico.
Assero Tem valor lgico (verdadeiro ou falso)
preciso fixar o domnio da varivel logo no incio excepto se for bvio pelo
contexto.
Ex:
Condio x2+5 < x3
Qual o domnio? Pode ser , pode ser , pode ser o conjunto {1,3,8}...
necessrio dizer qual o domnio.
Consideremos uma condio P(x) com uma nica varivel, x, num curto domnio.
Dizemos que no domnio considerado:
P(x) uma condio universal se todo o objecto do domnio satisfizer a condio
P(x);
P(x) uma condio possvel se existir pelo menos um objecto do domnio que
satisfaa P(x);
P(x) uma condio impossvel se nenhum elemento do domnio satisfizer P(x).
Em geral, uma condio (que pode envolver mais que uma varivel) diz-se
universal, possvel e impossvel de acordo com o referido acima.

Quantificadores
Dada uma condio P(x) numa nica varivel, x, num determinado domnio,
podemos afirmar duas novas asseres:
x:P(x)
Significado: Qualquer que seja o x, P(x).
Valor lgico: verdadeira se a condio P(x) for universal no
domnio dado e falsa no caso contrrio.

x: P(x)
Significado: Existe pelo menos um objecto do domnio que
satisfaz P(x).
Valor lgico: verdadeira se P(x) for possvel e falsa se P(x) for
impossvel.

Nome dos smbolos

Quantificador universal
Quantificador existencial
Em asseres do tipo x: P(x) e x: P(x) a letra x usada para expressar uma
ideia. Por exemplo: x (x > 2x) significa todo o nmero inteiro maior que o seu
dobro.
Nesta traduo no referimos a letra x. Mas na leitura da condio x > 2x
fazemos intervir o x: x maior que o seu dobro.
No faz sentido substituir em x (x > 2x) x por um objecto do domnio, mas
podemos faz-lo na condio x > 2x.
Dizemos que nas asseres do tipo x: P(x) e x: P(x) a varivel x muda ou
aparente e que em condies onde x ocorra e possa ser substitudo por objectos do
domnio, x livre. Na assero x (x > 2x), a varivel x muda, mas na condio
x>2x a varivel x livre.
Daqui em diante, relativamente a uma assero P, quando usamos expresses do
tipo logo P ou como P, queremos dizer que P verdadeira.
Dada uma condio P(x) numa varivel x, num certo domnio A, ao
escrevermos: Em A, P(x), queremos dizer que a condio P(x) universal em A, isto
, que a assero xA, P(x) verdadeira.

Negao de expresses com quantificadores

Tomemos a assero:
No existem nmeros reais que somados com 1 sejam iguais ao seu
cubo ~P(x): x + 1 = x3
A assero dada pode ser traduzida simbolicamente por ~x, P(x). Podemos
expressar a mesma ideia por Todo o n real somado com 1 diferente do seu cubo.
Simbolicamente: x(x+1x3).
Existe um e um s = Existe um nico = Existe exactamente um.

Representamos simbolicamente estas expresses por !

Ou
.

Por exemplo, se P(x) for uma condio numa varivel x, num certo domnio, !
x P(x) verdadeiro se existir um nico elemento do domnio que satisfaz P(x) e falsa
no caso contrrio. Isto , se no existir nenhum elemento do domnio que satisfaa P(x)
ou existirem, pelo menos, dois elementos do domnio que satisfaam P(x).
Como traduzir Existe um e s um para linguagem simblica recorrendo a e
e sem ! ?
x P(x) yz (P(y)P(z) y = z)
1 premissa prova a existncia. Existe pelo menos, um objecto do domnio que
satisfaz P(x).
2 premissaProva a unicidade. No mximo um elemento do domnio satisfaz
P(x).

Conjuntos
O que um conjunto? No definiremos. Tomamos a noo intuitiva de conjunto:
certas coleces de objectos.
Dados conjuntos A e B, temos AB se e s se A e B tiver exactamente os
mesmos elementos(principio da extensionalidade). Simbolicamente:
A B x(x A x B)
Como representar um conjunto? frequente usar-se {}. Nestes casos, no
interessa a ordem nem a repetio dos elementos.
{7,10,18}={18,10,7}={7,18,7,10}
Tambm podemos usar reticncias. Por exemplo:
{1,2...20} conjunto dos nmeros naturais maiores ou iguais a 20.
{1,3,5,7,9...} conjunto dos nmeros naturais mpares.
Os conjuntos esto representados em extenso.

Dada uma condio P(x), numa varivel x num curto domnio, digamos A, o
conjunto dos elementos do domnio que satisfazem a condio P(x) representado por
{x | P(x)} conjunto dos x tais que P(x)
Ou
{xA | P(x)}conjunto dos x pertencentes a A tais que P(x).
A este tipo de representao chamamos representao em compreenso.
Exemplo:
{x | x2<5} (compreenso) = {1,2} (extenso)
Se P(x) for uma condio impossvel num curto domnio, ento {x | P(x)} um
conjunto sem elemento.
Existe um nico conjunto que no tem elementos. chamado conjunto vazio e
representado por ou por {}.
Dada uma condio P(x) cujo domnio um certo conjunto A, se P(x) for
universal, ento {x | P(x)}=A .
Conjunto A e B
Dizemos que:
A um subconjunto de B;
A uma parte de B;
A est contido em B, ou
B contm A.
Se todos os elementos de A forem elementos de B escreve-se AB (A contido em
B) ou BA (B contem A). Simbolicamente AB x (xAxB).
Dizemos que:
A um subconjunto prprio de B;
A uma parte prpria de B;
A est propriamente contida em B;
B contm propriamente A.
Se AB e AB escrevemos AB (A no est contido em B) ou BA (B no
contm A).

Algumas operaes sobre conjuntos

Interseco de A com B, AB: conjunto formado pelos elementos comuns a A e B.
AB={x | xA xB}

Unio ou reunio de A com B, AB: conjunto formado pelos elementos que pertencem
a, pelo menos, um dos conjuntos A, B.
AB={x | xAxB}

Complemento de B em A, A-B ou A\B: conjuntos formados pelos elementos de A que

no pertencem a B;
A-B={x | xAxB}

Algumas propriedades sobre conjuntos

Sejam A, B e C conjuntos. Tem-se:
1. Se AB e BC, ento AC.
2. Leis comutativas
AB=BA, AB=BA
3. Leis associativas
A(BC)=(AB)C,
A(BC)=(AB)C.
4. Leis da idempotncia
AA=A, AA=A
5. Leis distributivas esquerda
A(BC)=(AB)(AC)
A(BC)=(AB)(AC)
6. ABA
AAB
ABB
BAB
7. Se CA e CB, ento CAB.
Se AC e BC, ento ABC.
8. Leis de De Morgan
A (BC) = (A B) (A C),
A (BC) = (A B) (A C).

Seja F um conjunto cujos elementos so conjuntos:

Unio ou reunio de F, F:
Conjunto constitudo pelo elemento que pertencem a, pelo menos, um
elemento de F. F={x | AF(xA)}
No caso de F ser no vazio, podemos definir interseco de F, F:
Conjunto constitudo pelos elementos que so comuns a todos os
elementos de F. F={x | AF(xA)}
Exemplo:
F={{1,2,3},{1,3,5,7},{1,3,9,27}
F={1,2,3}{1,3,5,7}{1,3,9,27}
={1,2,3,5,7,9,27}
F={1,2,3}{1,3,5,7}{1,3,9,27}
={1,3}
Dois conjuntos A e B dizem-se disjuntos se no tiverem elementos comuns, isto
, AB=.
Conjuntos A e BProduto cartesiano de A por B, A.B: A.B={(a,b)aAbB}
Dados mN, m>1, e conjuntos A1,..., An, o produto cartesiano de A1... An o
conjunto: A1xA2 x ... x An ={(a11,..., an) | a1A1...anNa}
={(a1, ..., an ) i{1,...,}, ai An}
Se A1=...=An=A, representamos A1x...xAn=Na

Mtodos de demonstrao
Um resultado deriva dos axiomas, definies e de outros resultados j
conhecidos usando a regra de inferncia.
Proposio Pressupostos a que chamamos hiptese.
Concluso a que chamamos tese.
Exemplo:
Hiptese: a e b so nmeros reais.
Tese: Se 0<a<1 e 0<b<1 ento ab<1
Como demonstrar um resultado deste tipo?
1. Identificar a hiptese e a tese;
2. Ver quais as hipteses lgicas da hiptese e da tese. Por exemplo, a tese pode ser
uma suplicao fundamental para escolher uma estratgia;
3. Assumimos a seguir que a hiptese verdadeira.

Estratgias de demonstrao
1 mtodo
Assumimos a hiptese
Objectivo: PQ
Assumimos P
:
Logo Q
Portanto PQ
Inicialmente H1 (hiptese)
Assumimos P
Depois, H2 : H1 e P

T1: PQ
T2: Q

2 mtodo(demonstrao por contra-recproco)

Vimos que PQ l.e ~Q~P
Inicialmente
Dados: Hip.
A seguir
Dados: Hip.
Depois
Dados: Hip: ~Q

Tese: PQ
Tese: ~Q~P
Tese: ~P

3 mtodo(Demonstrao por casos)

Dados da forma PQ. PQ verdadeira se e s se P vdd ou Q vdd. No
entanto, podemos no saber qual delas verdadeira nem simplesmente assumir que uma
delas verdadeira. Temos de considerar dois casos:
Caso 1: Assumimos P. Tendo em conta P e os restantes dados, provamos T;
Caso 2: Assumimos Q. Tendo em conta Q e os restantes dados provamos T.
Por vezes, para provar PQ, podemos assumir ~P e provar Q, ou assumir ~Q e
provar P.
Demonstrao por reduo ao absurdo
Supunhamos que queremos provar T. Se supusermos que ~T e da deduzirmos
uma assero falsa, podemos concluir T.
Inicialmente
Dados: ...
Depois
Dados: ...~T

Objectivo: T
Objectivo: Uma assero falsa, logo T.

Dado da forma x P(x)

Com este dado sabemos que todos os elementos do domnio satisfazem P(x).
Podemos, por isso, perante um elemento a do domnio, usar o facto de P(a) ser
verdadeira.
Por exemplo, se soubermos que nN, (n+1)3-1n2, podemos concluir que
(5+1)3-152.
Objectivo da forma x P(x)
Comeamos por considerar um elemento x do domnio arbitrrio(no concreto) e
provamos P(x).

Dado da forma x P(x)

Perante um dado desta forma, apenas sabemos que um elemento do domnio
satisfaz P(x), mas no sabemos qual.
No podemos, por isso, escolher um elemento particular que satisfaa P(x) se
no tivermos a certeza que satisfaz P(x).
Apenas podemos dar um nome a esse elemento: seja x0 um elemento que
satisfaz P(x)
Objectivo da forma !x P(x)
A frmula !x P(x) pode ser traduzida por, por exemplo:
1. x (P(x) y(P(y) y = x));
2. x P(x) yz (P(y) P(z)y = z)
1 e 2 conduzem-nos a estratgias diferentes.

Relaes e aplicaes
Aplicaes
Dados conjuntos A e B, chamamos aplicao de A em B a uma correspondncia
de A em B que a cada elemento de A associa um e s um elemento de B.
Se denotarmos por f uma aplicao de A em B escrevemos f: AB. Para cada
xA, representamos por f(x) o nico elemento de B que lhe est associado.
Adomnio de f;
Bconjunto de chegada de f.

Seja f: AB uma aplicao. Dizemos que f :

Injectiva se a quaisquer dois objectos diferentes fizer corresponder
elementos diferentes. Simbolicamente: x, y A (xy f(x) f(y);
Sobrejectiva se cada elemento de B for imagem de algum elemento de A.
Simbolicamente: yBx (y=f(x)).
Bijectiva se for simultaneamente injectiva e sobrejectiva.
Seja A um conjunto.
Aplicaes identidade em A, denotada por idA:
idA: AA definida por idA(x)=x, para todo o xA.
idA bijectiva.
Sejam f: AB uma aplicao e A A. Restrio de f a A, denotada por f|A.
f|A: AB definida por f|A(x)=f(x), para todo o xA.(s muda o domnio).

Dadas aplicaes f: AB e g: BC, podemos definir uma aplicao de A em C,

chamada composio de g com f e denotada por gof:
Gof (g aps f): AC definida por (gof)(x)=g(f(x)), xA.

Relaes
Seja A um conjunto, chamamos relao (binria) em A ou sobre A a qualquer
subconjunto de AxA(A2).
Seja A um conjunto:
2, logo uma relao binria em A, chamada relao vazia de A;

A2A2, logo A2 uma relao binria em A, chamada relao universal em A;

{(a,a) | aA}A2, logo {(a,a) | aA} uma relao binria em A, chamada

relao identidade em A e denotada por A

Seja uma relao binria num conjunto A. Dados x, y A, frequente escreverse:

xy, em vez de (x,y);

xy, em vez de (x,y) .

Dizemos que :
Reflexiva se x, (x,x) (xx);
Simtrica se x,y, (x,y) (y,x). (xyyx);
Transitiva se x,y,z (x,y) e (y,z) (x,z) . (xy e yz xz).

Dizemos que uma relao de equivalncia em A se for reflexiva, simtrica e

transitiva.
Quando temos uma relao binria num conjunto A definida por uma
condio P(x,y), isto x,y2 x,y habitual definir-se por: Seja a
relao binria em A definida em A definida por xy P(x,y).
Sejam A um conjunto e uma relao de equivalncia em A. Para cada aA,
chamamos classe de equivalncia de a (relativamente a ) ao subconjunto de A formado
pelos elementos que se relacionam com a atravs de e denotamo-la por a:
a xA | xa
Conjunto quociente de A por : conjunto formado pelas classes de equivalncia
dos elementos de A, denotado por A/:
A={[a]:aA}
B
Proposio
Seja A um conjunto e uma relao de equivalncia em A. Temos:
Para qualquer xA, x[x];
Para quaisquer x,yA as informaes seguintes so equivalntes:
o xy;
o [x]= [y];
o [x] [y]
Corolrio
Sejam A um conjunto e uma relao de equivalncia em A. Temos:
Para qualquer xA, [x]R;
Para qualquer x,yA, se [x][y], ento [x][y]=;

[A/R]=A
Proposio
Seja A um conjunto e R e S relaes de equivalncia em A. As afirmaes
seguintes so equivalentes:
R=S

Para qualquer xA, [x]R=[x]S

/R= A/S

Seja A um conjunto. Seja F um conjuntos cujos elementos so subconjuntos de

A, isto , FP(A).

Dizemos que F uma partio de A se:

Para qualquer xF, x;
Para quaisquer x,yF, se xy ento xy=;
F=A.
O corolrio anterior diz que, sendo R um relao de equivalncia num conjunto A, o
conjunto quociente A/R uma partio de A.
R
Relaes de equivalncia
Vamos ver que:
F
Partio de A

/R

Partio de A
R
Relao de equivalncia

Proposio
Sejam A um conjunto e F uma partio de A.
Seja R a relao binria em A definida por xRyxF(xXyX). Ento R
uma relao de equivalncia.
relao R definida na proposio anterior chamamos relao de equivalncia
em A determinada pela proposio F.
Exemplo:
A={1,2,3,4,5}
F={{1,2},{3,4,5}}
A relao de equivalncia em A determinada por F :
R=

(1,1),(1,2),(2,1),(2,2) (3,3),(4,4),(5,5),(3,4),(3,5),(4,3),(4,5)(5,3)
{1,2}
{3,4,5}

M={{1,2},{3},{4},{5}} uma partio de A.

A relao de equivalncia em A determinada por M :
S={(1,1),(1,2),(2,1),(2,2),(3,3),(4,4),(5,5)}

Proposio
Sejam A um conjunto e F uma partio de A. Seja R a relao de equivalncia
em A determinada por F. Temos:
Se XF e xX, ento [x]R=X;
A/R=F
Proposio

Sejam A um conjunto e F uma partio em A. Existe uma nica relao de

equivalncia R em A tal que A/R=F.
Seja A um conjunto:
Para qualquer relao de equivalncia de R em A, o conjunto quociente uma
partio de A a relao de equivalncia em A dominada pela partio A/R a
prpria relao R;
Toda a partio de A o conjunto quociente de A para alguma relao de
equivalncia em A (a relao de equivalncia determinada pela partio);
Sejam A um conjunto e R uma relao de equivalncia em A:
A A/R
uma aplicao cannica associada a R.
x [x]R
Dados conjuntos A e B, para definirmos uma aplicao de A para B temos que
associar a cada elemento de A um nico elemento de B.
Exemplos:
f: Q
x
g: Q
x
/y

Q
x2

f uma aplicao

Q
x (x,yZ, y0)

g no aplicao porque, por exemplo, 1/2=2/4 mas 12.

No faz sentido escrever g(1/2).

Conjunto A e relao de equivalncia R em A. Dada uma classe de A/R, digamos [a]R,

temos [a]R=[a]R para qualquer a[a]R.
preciso cuidado para definirmos uma aplicao cujo domnio A/R. Seja f:AB uma
aplicao correspondncia:
A
/R B
[a]R f(a)
Esta correspondncia uma aplicao se e s se a, aA([a]R=[a]Rf(a)=f(a)

Induo Matemtica
Mais um mtodo de demonstrao mtodo de induo.
Este mtodo serve para demonstrar resultados sobre nmeros naturais da forma
n,P(n). Baseia-se no principio seguinte:
Principio da Induo:
Seja P(n) uma condio na varivel n de domnio . Se:

P(1) verdadeira e n (P(n)P(n+1)) verdadeira, ento

n, P(n) verdadeira;

Se n (P(n)P(n+1)) verdadeira P(1)P(2), P(2)P(3)

De P(1) e P(1)P(2) serem verdadeiras, deduzimos que P(2)

verdadeira.
O princpio da induo generaliza-se a 0 do seguinte modo:
Dada uma condio P(n) na varivel n de domnio 0, se P(0) for verdadeira e
para cada n0 a implicao P(n)P(n+1) verdadeira, ento n0, P(n) tambm
verdadeira.
Dado um numero natural n0>1, para provarmos uma afirmao do tipo para
todo o natural nn0, P(n) podemos provar que:

P(n0) verdadeira;

Para cada nn0, a implicao P(n)P(n+1) verdadeira.

Recordar:
Factorial de n n! = nx(n-1)x(n-2).
Exemplo: 5! =5x4x3x2x1
Define-se 0! =1
A mesma ideia do principio de induo permite definir aplicaes com domnio
: dado um conjunto B, podemos definir uma aplicao f:B dizemos o que f(1) e,
para cada n, como definimos f(n+1) custa de f(n).Definies por recorrncia.