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 armao passvel de assumir valor lgico verdadeiro ou falso;

Elementos de Logica Matematica p. 3/2

Proposies

Uma proposio uma armao 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 armao 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 quanticador (quanticador universal) ou (quanticador 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); x y(y > x) (nenhuma das variveis livre); y(y > x) (x livre, y no-livre);

Elementos de Logica Matematica p. 9/2

Variveis Livres
Exemplos:

x > 0 (x varivel livre); x y(y > x) (nenhuma das variveis livre); (0 < |x a| < |x2 a2 | < ) y(y > x) (x livre, y no-livre);

Elementos de Logica Matematica p. 9/2

Variveis Livres
Exemplos:

x > 0 (x varivel livre); x y(y > x) (nenhuma das variveis livre); (0 < |x a| < |x2 a2 | < ) (x e a so livres, e so no-livres). y(y > x) (x livre, y no-livre);

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; quantica-se as variveis livres de P , usando-se os quanticadores ou .

Elementos de Logica Matematica p. 11/2

O Quanticador 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 Quanticador Existencial ()
Sejam x uma varivel cujo universo um dado conjunto U, e P (x) uma sentena aberta. Considere a proposio: x P (x) Por denio, 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 Quanticador 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 Quanticador Universal ()
Sejam x uma varivel cujo universo um dado conjunto U, e P (x) uma sentena aberta. Considere a proposio: x P (x) Por denio, 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 x y(x > y)

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) (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 signica 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 signica 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 x 2 x2 x2 4 0 x 2.

4, mas

Elementos de Logica Matematica p. 19/2

Exemplos

Em U = R, 0 x 2 x2 x2 4 0 x 2.

4, mas

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. Verique que so verdadeiras:

Elementos de Logica Matematica p. 21/2

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

(P Q) (P ) (Q)

Elementos de Logica Matematica p. 21/2

Como dizer no
Sejam, P, Q proposies. Verique 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. Verique 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. Verique 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. Verique 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. Verique 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); justique. 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 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); justique. 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: verique 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