Algebra

Linear e Geometria Analtica

Engenharia Electrotecnica
Escola Superior de Tecnologia de Viseu
www.estv.ipv.pt/PaginasPessoais/lucas
lucas@mat.estv.ipv.pt

2007/2008

Algebra
Linear e Geometria Analtica

Basicas

Cap. 2 - Nocoes
de Logica
Matematica
e Teoria de Conjuntos
e Valores Logicos

2.1 Proposicoes
Logicas

2.2 Operacoes
Logicas

2.3 Propriedades das Operacoes

com Conjuntos
2.4 Conjuntos e Operacoes
2.5 Produto Cartesiano

Cap. 2 Nocoes Basicas de Logica Matematica e Teoria de

Conjuntos

e Valores Logicos

2.1 Proposicoes

e uma expressao
a respeito da qual faz sentido dizer se e
Proposicao
verdadeira ou falsa.
tem um e um so valor logico,

Cada proposicao
de entre dois
disponveis,
verdadeiro (V) ou falso (F)

Exemplos

Viseu e uma cidade

Viseu e bonita

sentimento de alguem)
que neste momento
Amanha vou ao cinema E uma proposicao,
se pode dizer o seu valor logico,

nao
mas pode-se dize-lo
amanha

(ESTV)

verdadeira
Proposicao
e proposicao
(expressao
de um
Nao

Algebra
Linear e Geometria Analtica

Cap. 2 Nocoes Basicas de Logica Matematica e Teoria de

Conjuntos

2007/2008

3 / 19

e Valores Logicos

2.1 Proposicoes

os seguintes princpios:
A logica
que vamos estudar pressupoe

Princpios Logicos:

contradicao

Princpio da nao
nao
pode ser verdadeira e falsa ao mesmo
Uma proposicao
tempo

Princpio do terceiro excludo

e verdadeira ou falsa
Uma proposicao

(ESTV)

Algebra
Linear e Geometria Analtica

2007/2008

4 / 19

Cap. 2 Nocoes Basicas de Logica Matematica e Teoria de

Conjuntos

Logicas

2.2 Operacoes

elementares e utilizando as operacoes

logicas,

A partir de proposicoes

(compostas).
obtem-se
novas proposicoes

Logicas

Operacoes

Negacao

Conjuncao

Disjuncao

Implicacao

pq
pq
pq

Equivalencia

pq

Exclusiva
Disjuncao

p q

(ESTV)

e verdade que p
nao
p
nao
peq
p ou q
q
se p entao
p so se q
p e cond. suciente para que q

q e cond. necessaria
para que p
p equivalente a q
p se e so se (sse) q
ou p ou q

Algebra
Linear e Geometria Analtica

Cap. 2 Nocoes Basicas de Logica Matematica e Teoria de

Conjuntos

p
antecedente

2007/2008

5 / 19

Logicas

2.2 Operacoes

q
consequente

Exemplos

estiver cansado vou a` aula teorica

Se estiver bom tempo e nao

de

Algebra
Linear.
mpares mas nao
sao
primos.
9 ou 15 sao
sucente ter 9.5 para passar a Algebra

E
Linear.
necessaria

Estudar e condicao
para a epoca
de exames.
tiver erros.
Um programa de computador funciona se e so se nao

(ESTV)

Algebra
Linear e Geometria Analtica

2007/2008

6 / 19

Cap. 2 Nocoes Basicas de Logica Matematica e Teoria de

Conjuntos

Logicas

2.2 Operacoes

Tabelas de Verdade das Operacoes

Logicas:

Uma tabela de verdade faz corresponder aos possveis valores logicos

o correspondente valor logico

das proposicoes
da expressao
p
V
F

p
V
V
F
F

p
F
V

q
V
F
V
F
(ESTV)

pq
V
F
V
V

p
V
V
F
F

q
V
F
V
F

pq
V
F
F
F

p
V
V
F
F

q
V
F
V
F

pq
V
V
V
F

p
V
V
F
F

q
V
F
V
F

pq
V
F
F
V

p
V
V
F
F

q
V
F
V
F

p q
F
V
V
F

Algebra
Linear e Geometria Analtica

Cap. 2 Nocoes Basicas de Logica Matematica e Teoria de

Conjuntos

2007/2008

7 / 19

Logicas

2.3 Propriedades das Operacoes

da Conjuncao
e da Disjuncao:

Propriedades da Negacao,
ppV
ppF
pF p
pV p
pV V
pF F
pp p
pp p
( p) p
pq qp
pq qp
(p q) r p (q r )
(p q) r p (q r )
p (q r ) (p q) (p r )
p (q r ) (p q) (p r )
(p q) p q
(p q) p q

(ESTV)

Lei do terceiro excluido

Lei da contradicao
Leis da identidade

Leis da absorcao

Leis da idempotencia

Lei da dupla negacao

Leis da comutatividade
Leis da associatividade
Leis da distributividade
Leis de De Morgan

Algebra
Linear e Geometria Analtica

2007/2008

8 / 19

Cap. 2 Nocoes Basicas de Logica Matematica e Teoria de

Conjuntos

Logicas

2.3 Propriedades das Operacoes

e da Equivalencia:

Propriedades da Implicacao
p q pq
(p q) p q
pqqp
p q (p q) (q p)
(p q) (p q) (q p)

da implicacao

Relacao

com a disjuncao
da implicacao

Negacao

Lei da conversao

Equivalencia
como conjuncao

de implicacoes
da equivalencia

Negacao

Algebra
Linear e Geometria Analtica

(ESTV)

Cap. 2 Nocoes Basicas de Logica Matematica e Teoria de

Conjuntos

2007/2008

9 / 19

Logicas

2.3 Propriedades das Operacoes

E possvel demonstrar todas estas propriedades recorrendo a tabelas

de verdade.

da implicacao
com a disjuncao)

Exemplo (Prova da relacao

p q pq
p
V
V
F
F

q
V
F
V
F

pq
V
F
V
V

p
F
F
V
V

pq
V
F
V
V

Exerccio

de implicacoes

Provar a equivalencia
como conjuncao
p q (p q) (q p)

(ESTV)

Algebra
Linear e Geometria Analtica

2007/2008

10 / 19

Cap. 2 Nocoes Basicas de Logica Matematica e Teoria de

Conjuntos

com Conjuntos
2.4 Conjuntos e Operacoes

Axiomas

dois conjuntos sao

iguais se, e so se, tem

Axioma da Extensao:
os mesmos elementos.
a cada conjunto A e a cada condicao

Axioma da Especicacao:

S(x) corresponde um conjunto B cujos elementos sao

exactamente os elementos de A para os quais S(x) acontece.
Escreve-se:
B = {x : x A e S(x)} ou B = {x A : S(x)}.

Exemplo
A = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10}

B = {x A : 2x < 9}.

Algebra
Linear e Geometria Analtica

(ESTV)

Cap. 2 Nocoes Basicas de Logica Matematica e Teoria de

Conjuntos

2007/2008

11 / 19

com Conjuntos
2.4 Conjuntos e Operacoes

A B x (x A x B)
A = B (A B e B A)
Conjunto Vazio
Conjunto Universal

, {}
E

entre Conjuntos
Operacoes

Interseccao

Reuniao

Complementacao
Diferenca

(ESTV)

.c

x
x
x
x

AB x Ax B
AB x Ax B
Ac (x A)
A B x A B c x A (x B)

Algebra
Linear e Geometria Analtica

2007/2008

12 / 19

Cap. 2 Nocoes Basicas de Logica Matematica e Teoria de

Conjuntos

com Conjuntos
2.4 Conjuntos e Operacoes

Exemplo (1)
superiores a 10}
E = {numeros
inteiros positivos nao

excede 9}
A = {x N : x e multiplo
de 3 e x nao

B = {numeros
inteiros positivos inferiores a 6}

E = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10}
A = {3, 6, 9}
B = {1, 2, 3, 4, 5}

Ac = {1, 2, 4, 5, 7, 8, 10}

A B = {3}

A B = {1, 2, 3, 4, 5, 6, 9}

A B = {6, 9}

Algebra
Linear e Geometria Analtica

(ESTV)

Cap. 2 Nocoes Basicas de Logica Matematica e Teoria de

Conjuntos

2007/2008

13 / 19

com Conjuntos
2.4 Conjuntos e Operacoes

Exemplo (2)
A = {a, b} e B = {a}

A B = {a}

AB =A

A B = {b}

B A = {}

entre Conjuntos e Operacoes

Logicas

Relacao
Identidade

Inclusao

Interseccao

Reuniao

Complementacao
(ESTV)

Equivalencia

Implicacao

Conjuncao

Disjuncao

Negacao

Algebra
Linear e Geometria Analtica

2007/2008

14 / 19

Cap. 2 Nocoes Basicas de Logica Matematica e Teoria de

Conjuntos

com Conjuntos
2.4 Conjuntos e Operacoes

Propriedades dos Conjuntos

A Ac = E
A Ac =
A = A; A E = A
A E = E; A =
A A = A; A A = A
(Ac )c = A
A B = B A; A B = B A
(A B) C = A (B C)
(A B) C = A (B C)
A (B C) = (A B) (A C)
A (B C) = (A B) (A C)
(A B)c = Ac B c
(A B)c = Ac B c

(ESTV)

Lei da complementacao

Lei da exclusao
Leis da identidade

Leis da absorcao

Leis da idempotencia

Lei da dupla complementacao

Leis da comutatividade
Leis da associatividade
Leis da distributividade
Leis de De Morgan

Algebra
Linear e Geometria Analtica

Cap. 2 Nocoes Basicas de Logica Matematica e Teoria de

Conjuntos

2007/2008

15 / 19

com Conjuntos
2.4 Conjuntos e Operacoes

Exerccio
Mostrar que:

(A B) (A C) = A (B C);

A (Ac B) = A B.

Conjuntos Disjuntos

Dois conjuntos A e B dizem-se disjuntos se A B = .

Dados conjuntos Ai , i I, dizem-se disjuntos dois a dois se para

quaisquer i, j I, com i = j se tem Ai Aj = .

Exemplo
disjuntos dois a dois.
{2, 3, 4}, {5, 6, 7}, {8, 9, 10} sao

(ESTV)

Algebra
Linear e Geometria Analtica

2007/2008

16 / 19

Cap. 2 Nocoes Basicas de Logica Matematica e Teoria de

Conjuntos

com Conjuntos
2.4 Conjuntos e Operacoes

Cardinal de um Conjunto
O cardinal de um conjunto e igual ao numero
de elementos do

conjunto.
#A, card(A) ou | A |
Notacao:

Exemplo
A = {1, 3, 5, 6, 5, 8, 1, 2}
card(A) = 6

card(A B) = card(A)+ card(B) card(A B);

Se A1 , A2 , . . . , An forem disjuntos dois a dois

card(A1 A2 . . . An ) = card(A1 )+ card(A2 ) + . . . + card(An ).

(ESTV)

Algebra
Linear e Geometria Analtica

Cap. 2 Nocoes Basicas de Logica Matematica e Teoria de

Conjuntos

2007/2008

17 / 19

2.5 Produto Cartesiano

Produto Cartesiano

O produto cartesiano de A por B, designa-se por A B e e dado

por:
A B = {(a, b) : a A b B}

O produto cartesiano de n conjuntos e denido da forma:

A1 A2 . . .An = {(a1 , a2 , . . . , an ) : a1 A1 a2 A2 . . .an An }

An = A A . . . A

conjuntos nitos entao:

Se A1 , A2 , . . . , An sao
card(A1 A2 . . . An ) = card(A1 ) card(A2 ) . . . card(An )
(ESTV)

Algebra
Linear e Geometria Analtica

2007/2008

18 / 19

Cap. 2 Nocoes Basicas de Logica Matematica e Teoria de

Conjuntos

2.5 Produto Cartesiano

Exemplo
A = {a, b} e B = {1, 2, 3}
A B = {(a, 1), (b, 1), (a, 2), (b, 2), (a, 3), (b, 3)}

Conjunto Potencia
Seja A um conjunto.

O conjunto potencia
de A ou o conjunto das partes de A designa-se
por P(A) ou 2A , e e o conjunto formado por todos os subconjuntos de
A.
card(2A ) = 2card(A)
Se A e nito entao

Exemplo
A = {a, b, c}
(ESTV)

2A = {, {a}, {b}, {c}, {a, b}, {a, c}, {c, b}, {a, b, c}}

Algebra
Linear e Geometria Analtica

2007/2008

19 / 19