Elementos de Lgica Matemtica

Uma Breve Iniciao

Glaucio Terra
glaucio@ime.usp.br

Departamento de Matematica
IME - USP

Elementos de Logica Matematica p. 1/2

 Vamos aprender a falar aramaico?


> 0 > 0 x(0 < |x| < |x2 | < )

Elementos de Logica Matematica p. 2/2

 Proposies
Uma proposio uma afirmao passvel
de assumir valor lgico verdadeiro ou falso;

Elementos de Logica Matematica p. 3/2

 Proposies
Uma proposio uma afirmao passvel
de assumir valor lgico verdadeiro ou falso;
Toda proposio verdadeira ou falsa
(princpio do terceiro excludo);

Elementos de Logica Matematica p. 3/2

 Proposies
Uma proposio uma afirmao passvel
de assumir valor lgico verdadeiro ou falso;
Toda proposio verdadeira ou falsa
(princpio do terceiro excludo);
Uma proposio no pode ser verdadeira E
falsa (princpio da no-contradio).

Elementos de Logica Matematica p. 3/2

 Exemplos de Proposies
2 > 1 (V);

Elementos de Logica Matematica p. 4/2

 Exemplos de Proposies
2 > 1 (V);
5 = 1 (F).

Elementos de Logica Matematica p. 4/2

 Conectivos Lgicos
Proposies podem ser conectadas atravs dos
seguintes conectivos:

Elementos de Logica Matematica p. 5/2

 Conectivos Lgicos
Proposies podem ser conectadas atravs dos
seguintes conectivos:
ou ! (negao);

Elementos de Logica Matematica p. 5/2

 Conectivos Lgicos
Proposies podem ser conectadas atravs dos
seguintes conectivos:
ou ! (negao);
(conectivo e);

Elementos de Logica Matematica p. 5/2

 Conectivos Lgicos
Proposies podem ser conectadas atravs dos
seguintes conectivos:
ou ! (negao);
(conectivo e);
(conectivo ou);

Elementos de Logica Matematica p. 5/2

 Conectivos Lgicos
Proposies podem ser conectadas atravs dos
seguintes conectivos:
ou ! (negao);
(conectivo e);
(conectivo ou);
(conectivo implica);

Elementos de Logica Matematica p. 5/2

 Conectivos Lgicos
Proposies podem ser conectadas atravs dos
seguintes conectivos:
ou ! (negao);
(conectivo e);
(conectivo ou);
(conectivo implica);
(conectivo se, e somente se).

Elementos de Logica Matematica p. 5/2

 Conectivos Lgicos
Sejam P e Q proposies.

Elementos de Logica Matematica p. 6/2

 Conectivos Lgicos
Sejam P e Q proposies.
P verdadeira se P for falsa, e
vice-versa;

Elementos de Logica Matematica p. 6/2

 Conectivos Lgicos
Sejam P e Q proposies.
P verdadeira se P for falsa, e
vice-versa;
P e Q verdadeira se ambas forem
verdadeiras, e falsa caso contrrio;

Elementos de Logica Matematica p. 6/2

 Conectivos Lgicos
Sejam P e Q proposies.
P verdadeira se P for falsa, e
vice-versa;
P e Q verdadeira se ambas forem
verdadeiras, e falsa caso contrrio;
P ou Q verdadeira se pelo menos uma
delas for verdadeira, e falsa caso contrrio.

Elementos de Logica Matematica p. 6/2

 Conectivos Lgicos
PQ a mesma coisa que (P) ou Q; ou
seja, falsa se o lado esquerdo for
verdadeiro e o lado direito falso, e verdadeira
em qualquer outro caso; exemplos:

Elementos de Logica Matematica p. 7/2

 Conectivos Lgicos
PQ a mesma coisa que (P) ou Q; ou
seja, falsa se o lado esquerdo for
verdadeiro e o lado direito falso, e verdadeira
em qualquer outro caso; exemplos:
2 > 1 3 > 1 (V);

Elementos de Logica Matematica p. 7/2

 Conectivos Lgicos
PQ a mesma coisa que (P) ou Q; ou
seja, falsa se o lado esquerdo for
verdadeiro e o lado direito falso, e verdadeira
em qualquer outro caso; exemplos:
2 > 1 3 > 1 (V);
2 > 1 1 > 3 (F);

Elementos de Logica Matematica p. 7/2

 Conectivos Lgicos
PQ a mesma coisa que (P) ou Q; ou
seja, falsa se o lado esquerdo for
verdadeiro e o lado direito falso, e verdadeira
em qualquer outro caso; exemplos:
2 > 1 3 > 1 (V);
2 > 1 1 > 3 (F);
5 = 2 0 = 1 (V);

Elementos de Logica Matematica p. 7/2

 Conectivos Lgicos
PQ a mesma coisa que (P) ou Q; ou
seja, falsa se o lado esquerdo for
verdadeiro e o lado direito falso, e verdadeira
em qualquer outro caso; exemplos:
2 > 1 3 > 1 (V);
2 > 1 1 > 3 (F);
5 = 2 0 = 1 (V);
P Q a mesma coisa que PQ e
QP, ou seja, verdadeira se ambas forem
verdadeiras ou ambas forem falsas.
Elementos de Logica Matematica p. 7/2
 Variveis Livres
Seja P uma expresso na qual ocorre uma ou
mais variveis x, y, z, . . . . Dizemos que uma
dada ocorrncia de uma varivel x na expresso
P livre se x no est no escopo de algum
quantificador (quantificador universal) ou
(quantificador existencial).

Elementos de Logica Matematica p. 8/2

 Variveis Livres
Exemplos:

Elementos de Logica Matematica p. 9/2

 Variveis Livres
Exemplos:
x>0

Elementos de Logica Matematica p. 9/2

 Variveis Livres
Exemplos:
x > 0 (x varivel livre);

Elementos de Logica Matematica p. 9/2

 Variveis Livres
Exemplos:
x > 0 (x varivel livre);
y(y > x)

Elementos de Logica Matematica p. 9/2

 Variveis Livres
Exemplos:
x > 0 (x varivel livre);
y(y > x) (x livre, y no-livre);

Elementos de Logica Matematica p. 9/2

 Variveis Livres
Exemplos:
x > 0 (x varivel livre);
y(y > x) (x livre, y no-livre);


x y(y > x)

Elementos de Logica Matematica p. 9/2

 Variveis Livres
Exemplos:
x > 0 (x varivel livre);
y(y > x) (x livre, y no-livre);


x y(y > x) (nenhuma das variveis
livre);

Elementos de Logica Matematica p. 9/2

 Variveis Livres
Exemplos:
x > 0 (x varivel livre);
y(y > x) (x livre, y no-livre);


x y(y > x) (nenhuma das variveis
livre);


(0 < |x a| < |x2 a2 | < )

Elementos de Logica Matematica p. 9/2

 Variveis Livres
Exemplos:
x > 0 (x varivel livre);
y(y > x) (x livre, y no-livre);


x y(y > x) (nenhuma das variveis
livre);


(0 < |x a| < |x2 a2 | < )
(x e a so livres, e so no-livres).

Elementos de Logica Matematica p. 9/2

 Sentenas abertas
Uma expresso proposicional ou sentena
aberta uma expresso P na qual ocorre uma
ou mais variveis x, y, z, . . . , sendo pela menos
uma ocorrncia livre.

Elementos de Logica Matematica p. 10/2

 Sentenas abertas
Uma expresso proposicional ou sentena
aberta uma expresso P na qual ocorre uma
ou mais variveis x, y, z, . . . , sendo pela menos
uma ocorrncia livre.
Usaremos daqui em diante a notao
P (x1 , . . . , xn ) para designar uma sentena aberta
na qual as variveis livres so x1 , . . . , xn .

Elementos de Logica Matematica p. 10/2

 Expresses Proposicionais e
Proposies
Podemos construir proposies (i.e. sentenas
que podem assumir valor lgico verdadeiro ou
falso) a partir de uma dada sentena aberta P ,
de duas maneiras:

Elementos de Logica Matematica p. 11/2

 Expresses Proposicionais e
Proposies
Podemos construir proposies (i.e. sentenas
que podem assumir valor lgico verdadeiro ou
falso) a partir de uma dada sentena aberta P ,
de duas maneiras:
atribui-se valores s variveis livres de P , i.e.
substitui-se as variveis livres de P por
elementos de um dado conjunto, o universo
das variveis;

Elementos de Logica Matematica p. 11/2

 Expresses Proposicionais e
Proposies
Podemos construir proposies (i.e. sentenas
que podem assumir valor lgico verdadeiro ou
falso) a partir de uma dada sentena aberta P ,
de duas maneiras:
atribui-se valores s variveis livres de P , i.e.
substitui-se as variveis livres de P por
elementos de um dado conjunto, o universo
das variveis;
quantifica-se as variveis livres de P ,
usando-se os quantificadores ou .

Elementos de Logica Matematica p. 11/2

 O Quantificador Existencial ()
Sejam x uma varivel cujo universo um dado
conjunto U, e P (x) uma sentena aberta.
Considere a proposio:


x P (x)

Elementos de Logica Matematica p. 12/2

 O Quantificador Existencial ()
Sejam x uma varivel cujo universo um dado
conjunto U, e P (x) uma sentena aberta.
Considere a proposio:


x P (x)

Por definio, a proposio acima verdadeira

se existir algum elemento do conjunto U tal que
a substituio da varivel livre x de P (x) por este
elemento resulte numa proposio
verdadeira.
Caso contrrio, diz-se que x P (x) uma
proposio falsa.
Elementos de Logica Matematica p. 12/2
 Exemplos
Nos exemplos a seguir, x e y so variveis reais
(i.e. cujo universo o conjunto R dos nmeros
reais).

Elementos de Logica Matematica p. 13/2

 Exemplos
Nos exemplos a seguir, x e y so variveis reais
(i.e. cujo universo o conjunto R dos nmeros
reais).
x(x > 0)

Elementos de Logica Matematica p. 13/2

 Exemplos
Nos exemplos a seguir, x e y so variveis reais
(i.e. cujo universo o conjunto R dos nmeros
reais).
x(x > 0) (V);

Elementos de Logica Matematica p. 13/2

 Exemplos
Nos exemplos a seguir, x e y so variveis reais
(i.e. cujo universo o conjunto R dos nmeros
reais).
x(x > 0) (V);
x(x2 < 0)

Elementos de Logica Matematica p. 13/2

 Exemplos
Nos exemplos a seguir, x e y so variveis reais
(i.e. cujo universo o conjunto R dos nmeros
reais).
x(x > 0) (V);
x(x2 < 0) (F);

Elementos de Logica Matematica p. 13/2

 Exemplos
Nos exemplos a seguir, x e y so variveis reais
(i.e. cujo universo o conjunto R dos nmeros
reais).
x(x > 0) (V);
x(x2 < 0) (F);


x y(y + 1 < x)

Elementos de Logica Matematica p. 13/2

 Exemplos
Nos exemplos a seguir, x e y so variveis reais
(i.e. cujo universo o conjunto R dos nmeros
reais).
x(x > 0) (V);
x(x2 < 0) (F);


x y(y + 1 < x) (V).

Elementos de Logica Matematica p. 13/2

 O Quantificador Universal ()
Sejam x uma varivel cujo universo um dado
conjunto U, e P (x) uma sentena aberta.
Considere a proposio:


x P (x)

Elementos de Logica Matematica p. 14/2

 O Quantificador Universal ()
Sejam x uma varivel cujo universo um dado
conjunto U, e P (x) uma sentena aberta.
Considere a proposio:


x P (x)

Por definio, a proposio acima verdadeira

se a substituio da varivel livre x de P (x) por
qualquer elemento do conjunto universo U
resultar numa proposio verdadeira.

Caso
contrrio, diz-se que x P (x) uma proposio
falsa.
Elementos de Logica Matematica p. 14/2
 Exemplos
Nos exemplos a seguir, todas as variveis so
reais.

Elementos de Logica Matematica p. 15/2

 Exemplos
Nos exemplos a seguir, todas as variveis so
reais.
x(x > 0)

Elementos de Logica Matematica p. 15/2

 Exemplos
Nos exemplos a seguir, todas as variveis so
reais.
x(x > 0) (F);

Elementos de Logica Matematica p. 15/2

 Exemplos
Nos exemplos a seguir, todas as variveis so
reais.
x(x > 0) (F);
x(x2 > 0)

Elementos de Logica Matematica p. 15/2

 Exemplos
Nos exemplos a seguir, todas as variveis so
reais.
x(x > 0) (F);
x(x2 > 0) (V);

Elementos de Logica Matematica p. 15/2

 Exemplos
Nos exemplos a seguir, todas as variveis so
reais.
x(x > 0) (F);
x(x2 > 0) (V);


x y(x > y)

Elementos de Logica Matematica p. 15/2

 Exemplos
Nos exemplos a seguir, todas as variveis so
reais.
x(x > 0) (F);
x(x2 > 0) (V);


x y(x > y) (F);

Elementos de Logica Matematica p. 15/2

 Exemplos
Nos exemplos a seguir, todas as variveis so
reais.
x(x > 0) (F);
x(x2 > 0) (V);


x y(x > y) (F);


x y(x > y)

Elementos de Logica Matematica p. 15/2

 Exemplos
Nos exemplos a seguir, todas as variveis so
reais.
x(x > 0) (F);
x(x2 > 0) (V);


x y(x > y) (F);


x y(x > y) (V);

Elementos de Logica Matematica p. 15/2

 Exemplos
Nos exemplos a seguir, todas as variveis so
reais.
x(x > 0) (F);
x(x2 > 0) (V);


x y(x > y) (F);


x y(x > y) (V);


y x(x > y)

Elementos de Logica Matematica p. 15/2

 Exemplos
Nos exemplos a seguir, todas as variveis so
reais.
x(x > 0) (F);
x(x2 > 0) (V);


x y(x > y) (F);


x y(x > y) (V);


y x(x > y) (F).

Elementos de Logica Matematica p. 15/2

 Implicaes Lgicas
Sejam P (x1 , . . . , xn ) e Q(x1 , . . . , xn ) sentenas
abertas e U um conjunto.

Elementos de Logica Matematica p. 16/2

 Implicaes Lgicas
Sejam P (x1 , . . . , xn ) e Q(x1 , . . . , xn ) sentenas
abertas e U um conjunto.
Diz-se que P implica logicamente Q, no
universo U, e escreve-se P Q, se a
seguinte proposio for verdadeira,
tomando-se U como universo das variveis
x1 , . . . , xn :


x1 xn (P (x1 , . . . , xn ) Q(x1 , . . . , xn )) .

Elementos de Logica Matematica p. 16/2

 Implicaes Lgicas
Noutras palavras, isto significa que quaisquer
valores de x1 , . . . , xn no universo U que
tornam P verdadeira tambm tornam Q
verdadeira.

Elementos de Logica Matematica p. 17/2

 Implicaes Lgicas
Noutras palavras, isto significa que quaisquer
valores de x1 , . . . , xn no universo U que
tornam P verdadeira tambm tornam Q
verdadeira.
Diz-se que P logicamente equivalente a Q,
e escreve-se P Q, se P Q e Q P .

Elementos de Logica Matematica p. 17/2

 Exemplos
Seja U o conjunto dos tringulos do plano.
Ento:
T retngulo o quadrado de um dos lados
de T a soma dos quadrados dos outros
dois.

Elementos de Logica Matematica p. 18/2

 Exemplos
Seja U o conjunto dos tringulos do plano.
Ento:
T retngulo o quadrado de um dos lados
de T a soma dos quadrados dos outros
dois.
Com efeito, no universo U, a seguinte
proposio verdadeira:
T (T retngulo o quadrado de um dos
lados de T a soma dos quadrados dos
outros dois).

Elementos de Logica Matematica p. 18/2

 Exemplos
Em U = R, 0 6 x 6 2 x2 6 4, mas
x2 6 4 ; 0 6 x 6 2.

Elementos de Logica Matematica p. 19/2

 Exemplos
Em U = R, 0 6 x 6 2 x2 6 4, mas
x2 6 4 ; 0 6 x 6 2.
Um teorema um enunciado da forma
H T , onde H e T so sentenas
chamadas, respectivamente, de hiptese e
tese.

Elementos de Logica Matematica p. 19/2

Exerccios

Elementos de Logica Matematica p. 20/2

 Como dizer no
Sejam, P, Q proposies. Verifique que so
verdadeiras:

Elementos de Logica Matematica p. 21/2

 Como dizer no
Sejam, P, Q proposies. Verifique que so
verdadeiras:



(P Q) (P ) (Q)

Elementos de Logica Matematica p. 21/2

 Como dizer no
Sejam, P, Q proposies. Verifique que so
verdadeiras:



(P Q) (P ) (Q)



(P Q) (P ) (Q)

Elementos de Logica Matematica p. 21/2

 Como dizer no
Sejam, P, Q proposies. Verifique que so
verdadeiras:



(P Q) (P ) (Q)



(P Q) (P ) (Q)


P Q) (Q) (P )

Elementos de Logica Matematica p. 21/2

 Como dizer no
Sejam, P (x), Q(x) sentenas abertas, U o
universo de x. Verifique que so verdadeiras:

Elementos de Logica Matematica p. 22/2

 Como dizer no
Sejam, P (x), Q(x) sentenas abertas, U o
universo de x. Verifique que so verdadeiras:



(x(P (x))) x(P (x))

Elementos de Logica Matematica p. 22/2

 Como dizer no
Sejam, P (x), Q(x) sentenas abertas, U o
universo de x. Verifique que so verdadeiras:



(x(P (x))) x(P (x))



(x(P (x))) x(P (x)))

Elementos de Logica Matematica p. 22/2

Encontre a negao das seguintes proposies.
A seguir, decida se so verdadeiras ou falsas
(todas as variveis so reais); justifique.


1. x y(y > x) .


2. > 0 > 0 x(0 < |x| < |5x| < ) .

O BS .: usa-se
correntemente as abreviaes:

> 0 P () para > 0 P () ;



A P () para A P () ;



> 0 P () para > 0 P () , etc.

Elementos de Logica Matematica p. 23/2

Respostas:
1. Verdadeira; dado x R qualquer, tome

y = x + 2 > x. Negao: x y(y 6 x) .
2. Verdadeira; dado > 0 qualquer, tome
= /5.
 Negao:

> 0 > 0 x(0 < |x| < |5x| > ) .

Elementos de Logica Matematica p. 24/2

Encontre a negao das seguintes proposies.
A seguir, decida se so verdadeiras ou falsas
(todas as variveis so reais); justifique.


1. > 0 > 0 x(0 < |x| < |x2 | < ) .

2. > 0 > 0 x(0 < |x| < |x2 1| <


) .

Elementos de Logica Matematica p. 25/2

Respostas:
1. Verdadeira:
dado > 0 qualquer, tome
= . Negao: 


> 0 > 0 x(0 < |x| < |x2 | > ) .
2. Falsa (sugesto: verifique que a negao
verdadeira).
 Negao: 


> 0 > 0 x(0 < |x| < |x2 1| > ) .

Elementos de Logica Matematica p. 26/2

 Referncias
Jaime Ferreira de Campos, Elementos de Lgica
Matemtica e Teoria dos Conjuntos, in Lies de
Anlise Real, Instituto Superior Tcnico, Lisboa, 2001.
http://www.math.ist.utl.pt/ jmatos/ltc/ltc.pdf
Edgar de Alencar Filho, Iniciao Lgica
Matemtica, Nobel, So Paulo, 1986.

Elementos de Logica Matematica p. 27/2