ERU 403 ECONOMIA MATEMTICA I 1 AULA

LGICA Preocupa-se com a anlise de sistemas de

enunciados lgicos.

Definio. Um enunciado uma proposio que

verdadeira ou falsa.

Exemplos:
a) H 200 estudantes matriculados neste semestre em
ERU 403 (falso).
b) 2 + 3 = 5 (verdadeiro).
Exemplos de proposies que no so enunciados:
a) Ele um jogador de futebol.
b) x + 1 = 0.
Note que nestes dois exemplos, a proposio pode ser
verdadeira ou falsa, dependendo do que seja ele ou
do valor que x pode assumir.

Definio. Dado um enunciado p, a negao de p o

enunciado p falso. Notao: p.

Exemplo:
p: H 200 estudantes matriculados em ERU 403
neste semestre.
q: 2(3) = 6

As correspondentes negaes podem ser formuladas

como:
p: O nmero de estudantes matriculados em ERU
403 neste semestre no igual a 200.
q: 2(3) 6.
 ERU 403 ECONOMIA MATEMTICA I 1 AULA

Dado um enunciado qualquer p, pode-se construir a

seguinte tabela de valores lgicos:

p p
V F
F V
onde: V = Verdadeiro; F = Falso.

Os enunciados podem ser combinados de diferentes

maneiras para se obter novos enunciados.

Definio. Dados os enunciados p e q, a conjuno de

p e q o enunciado p verdadeiro e q verdadeiro.
Notao: p q (l-se: p e q).

Definio. Dados os enunciados p e q, a disjuno de p

e q o enunciado p verdadeiro ou q verdadeiro.
Notao: p q (l-se: p ou q).

OBS.: O enunciado p q verdadeiro se pelo menos

um dos dois enunciados p, q verdadeiro.

Tabela de valores lgicos para negao, conjuno e

disjuno.
p q p q p q p q (p q) (p q)
V V F F V V F F
V F F V F V V F
F V V F F V V F
F F V V F F V V
 ERU 403 ECONOMIA MATEMTICA I 1 AULA

Definio. Dados dois enunciados p e q, a implicao

p implica q o enunciado se p verdadeiro, ento q
verdadeiro. Notao: p q (l-se p implica q).

Definio. Dados dois enunciados p e q, a equivalncia

de p e q o enunciado p verdadeiro se e somente se
q verdadeiro. Notao: p q (l-se p se e somente
se q).

OBS.: Note que p q equivalente a (p q) (q

p).

Tabela de valores lgicos para implicao e

equivalncia.
p q pq qp p q q p p q
V V V V V V V
V F F V F F V
F V V F F V F
F F V V V V V

Interpretao de valores lgicos para implicao;

Exemplo: Se fizer sol hoje, ento Joo ir praia.

p significa: fez sol hoje
q significa: Joo ir praia.
1) p (verdadeiro): Fez sol hoje
q (verdadeiro): Ele foi praia
2) p (verdadeiro): Fez sol hoje
q (falso): Ele no foi praia
 ERU 403 ECONOMIA MATEMTICA I 1 AULA

3) p (falso): No fez sol hoje

q (verdadeiro): Ele foi praia
4) p (falso): No fez sol hoje
q (falso): Ele no foi praia

No caso 1, conclui-se que Joo disse a verdade; o

enunciado , portanto, verdadeiro. No caso 2, conclui-
se que Joo mentiu; o enunciado , portanto, falso. No
caso 3, no se pode concluir que Joo mentiu; assume-
se que o enunciado verdadeiro. Finalmente, no caso
4, no se pode concluir que Joo tenha mentido;
assume-se tambm que o enunciado verdadeiro.

Exerccio: Indique a negao para cada um dos

seguintes enunciados:
a) a b (a b) = (a = b).
b) a b (a b) = (a < b).
c) a A ( a A) = (a A).

MTODOS DE DEMONSTRAO DE TEOREMAS

Todo teorema matemtico pode ser expresso como um

enunciado do tipo: se ... ento .... Os dois principais
mtodos de demonstrao de teoremas deste tipo so:
mtodo direto e demonstrao por contradio.

Seja o seguinte enunciado: p q. No mtodo direto,

assume-se que p verdadeiro e mostra-se que q deve
ser, necessariamente, verdadeiro.
 ERU 403 ECONOMIA MATEMTICA I 1 AULA

Exemplo: Demonstrar que: Se x qualquer inteiro

positivo par e y qualquer inteiro positivo par, ento xy
um inteiro positivo par.

Para utilizar o mtodo direto: a) Assume-se como

verdadeiro que x e y so inteiros positivos pares; b)
Define-se o que um inteiro positivo par; e c) Mostra-se
que xy um inteiro positivo par.

Qual a definio-chave para um inteiro positivo par?

Um inteiro positivo par qualquer inteiro que pode ser
expresso na forma 2n para algum inteiro positivo n.

Demonstrao: Se x e y so inteiros positivos pares,

ento x = 2n e y = 2m para os inteiros positivos n e m.
Isto implica que: xy = (2n)(2m), ou ainda, xy = 2(2nm),
o que implica que xy um inteiro positivo par.

Demonstrao por contradio: Um enunciado do tipo

p q falso ou verdadeiro. Se no falso, ento ele
deve ser verdadeiro. A demonstrao por contradio
baseada na equivalncia: [p q] [p (q)], ou seja,
assume-se que p verdadeiro e q falso e mostra-se
que isso leva a uma contradio.

Exemplo: Se x e y so quaisquer nmeros reais, tais

que: x + y 1/2, ento x ou y .
Demonstrao: a) Assume-se que x + y
verdadeiro e que x ou y falso; e b) Mostra-se
que isso leva a uma contradio.
 ERU 403 ECONOMIA MATEMTICA I 1 AULA

Se x ou y falso, significa que (x ou y

) verdadeiro, isto , que (x > e y > )
verdadeiro. Mas se (x > e y > ) verdadeiro,
significa que x + y > 1. Isso uma contradio ao
enunciado x + y .

Demonstrao de teoremas do tipo se e somente se.

Note que: (p q) [(p q) (q p)] uma

tautologia, um enunciado que sempre verdadeiro. Para
provar um teorema deste tipo, devem-se provar dois
teoremas do tipo: se ... ento ....