APPE5ENTAC DA D5CPINA

NCCE5 DE ICGCA
AMl
LSTSeLubal-DMAT
6 de OuLubro de 2010
AMl (LSTSeLubal-DMAT} LlAO 1 6 de OuLubro de 2010 1 , 32
ApresenLao da disciplina
Programa:
Lgica maLemaLica,
Funes reais de variavel real,
Calculo diferencial,
PrimiLivas e calculo inLegral.
Aulas Terico-PraLicas |22H| e aulas praLicas |12H|.
AMl (LSTSeLubal-DMAT} LlAO 1 6 de OuLubro de 2010 2 , 32
Bibliograa
Bibliograa base:
5ebenta modu|ar ediLada pelo DeparLamenLo de MaLemaLica
(disponveis em verso elecLrnica na pagina da disciplina e Moodle}.
Ron Larson, RoberL P. HosLeLler, Bruce H. Ldwards, Calculo - Volume
l - 8
o
edio, McCraw Hill, 2006.
Camos Ferreira, J., lnLroduo a Analise MaLemaLica, Fundao
CalousLe Culbenkian, 1981.
LxisLem ouLros elemenLos de apoio disponibilizados na webpage.
AMl (LSTSeLubal-DMAT} LlAO 1 6 de OuLubro de 2010 6 , 32
Proposies e valores lgicos
Lxpresses com signicado
_
Termos ou designaes: maLemaLica, 5, cc.
Proposies ou armaes: 5 1, 5 1, cc.

As proposies podem ser verdadeiras |V ou 1| ou falsas |F ou 0|,
Duas proposies com o mesmo valor lgico dizem-se equivalenLes.
AMl (LSTSeLubal-DMAT} LlAO 1 6 de OuLubro de 2010 8 , 32
Operaes lgicas sobre proposies
Operaes lgicas
_

_
negao ~
conjuno .
disjuno .
implicao =
equivalencia =
No CJ|cu|c P:cpc|c|cno| faz-se o esLudo desLas operaes e
respecLivas propriedades.
AMl (LSTSeLubal-DMAT} LlAO 1 6 de OuLubro de 2010 9 , 32
Tabelas de verdade
Negao:
p ~ p
V F
F V
Obs: "~ p" le-se "no p".
Conjuno:
p q p .q
V V V
V F F
F V F
F F F
Disjuno:
p q p .q
V V V
V F V
F V V
F F F

AMl (LSTSeLubal-DMAT} LlAO 1 6 de OuLubro de 2010 10 , 32

Tabelas de verdade
lmplicao:
p q p = q
V V V
V F F
F V V
F F V
Obs: p represenLe o oncccJcnc e q
o ccncqucnc.
Lquivalencia:
p q p = q
V V V
V F F
F V F
F F V
.
AMl (LSTSeLubal-DMAT} LlAO 1 6 de OuLubro de 2010 11 , 32
Regras operaLrias
Quando, numa proposio, surgem mais do que uma operao lgica,
usam-se parenLesis para indicar a ordem pela qual se realizam essas
operaes.
Convenciona-se a seguinLe ordem de prioridade das operaes:
1
primeiro a negao,
2
depois a conjuno e disjuno,
3
por ulLimo a implicao e a equivalencia.
Lxemplo: ~ p .q = ~ p . ~ q pode escrever-se
simplesmenLe ~ p .q =~ p. ~ q.
AMl (LSTSeLubal-DMAT} LlAO 1 6 de OuLubro de 2010 12 , 32
Propriedades
Negao: Qualquer que seja a proposio p as seguinLes proposies
so verdadeiras:
1
~ ~ p = p,
2
p . ~ p = , sendo uma proposio falsa,
3
p . ~ p = v, sendo v uma proposio verdadeira.
Conjuno e disjuno: ccnuo|v|JoJc, occ|o|v|JoJc,
J|:||u|v|JoJc, c|cnc|o Jc c|cncnc ncu:c e o|c:vcnc.
Primeiras Leis de Morgan: quaisquer que sejam as proposies p e
q, as seguinLes proposies so verdadeiras:
1
~ p .q = ~ p. ~ q
2
~ p .q = ~ p. ~ q
AMl (LSTSeLubal-DMAT} LlAO 1 6 de OuLubro de 2010 13 , 32
Propriedades
lm|icao: Quaisquer que sejam as proposies p q e : , so
verdadeiras as seguinLes proposies:
1
p = q =~ p .q,
2
~ p = q = p. ~ q,
3
p = q = ~ q =~ p (uma implicao e sua contra-recroca
Lem o mesmo valor de verdade},
4
p = q . q = : = p = : .
AMl (LSTSeLubal-DMAT} LlAO 1 6 de OuLubro de 2010 14 , 32
Propriedades
Equiva|ncia: Quaisquer que sejam as proposies p e q, so
verdadeiras as seguinLes proposies:
1
p = q = q = p (a equivalencia e comuLaLiva},
2
p = q = p = q . q = p
3
p = q = ~ p =~ q
AMl (LSTSeLubal-DMAT} LlAO 1 6 de OuLubro de 2010 15 , 32
TauLologias
Tauto|ogia: Uma proposio diz-se uma tauto|ogia se o seu valor
lgico for V.
ConsLiLuem exemplos de ouc|cg|o:
1
p = p .q
2
p .q = p
AMl (LSTSeLubal-DMAT} LlAO 1 6 de OuLubro de 2010 16 , 32
Lxerccio 1
Sendo o, | e c proposies simples, deLermine as Labelas de verdade
das proposies composLas, indicando se so LauLologias:
a} o .| . ~ o .| = |,
b} o .c . ~ o .| . | .c = | .c.
AMl (LSTSeLubal-DMAT} LlAO 1 6 de OuLubro de 2010 11 , 32
ResposLa 1a
L uma LauLologia pois
o .| . ~ o .| = |
V
V
V
V
Lendo em conLa que
o | ~ o o .| ~ o .| o .| . ~ o .|
V V F V F V
V F F F F F
F V V F V V
F F V F F F

AMl (LSTSeLubal-DMAT} LlAO 1 6 de OuLubro de 2010 18 , 32

ResposLa 1b
o .c . ~ o .| . | .c
. .
J
= | .c
. .
c
no e LauLologia pois:
o | c o .c ~ o .| | .c J c J = c
V V V V V V V V V
V F V V F V F F V
F V V V V V V V V
F F V V V V V F F
V V F V V V V F F
V F F V F F F F V
F V F F V V F F V
F F F F V F F F V

AMl (LSTSeLubal-DMAT} LlAO 1 6 de OuLubro de 2010 19 , 32

Lxpresses com variaveis
Lxpresses com variaveis
_
expresses designaLrias:
_
, cc.
expresses proposicionais ou condio:
_
_ 4, cc.
OBS: As
cp:cc Jc|gnoc:|o Lransformam-se em Jc|gnoc quando a
variavel ou variaveis so concreLizadas no respecLivo Universo. As
cp:cc p:cpc|c|cno| Lransformam-se em p:cpc|c quando a
variavel ou variaveis so concreLizadas no respecLivo Universo.
Num cerLo Universo, uma expresso proposicional diz-se universa| se,
ao subsLiLurmos as suas variaveis por quaisquer valores do domnio,
obLemos sempre proposies verdadeiras, diz-se imossve| se
obLivermos sempre proposies falsas. Lxpresses proposicionais que
no sejam nem universais nem impossveis dizem-se ossveis.
AMl (LSTSeLubal-DMAT} LlAO 1 6 de OuLubro de 2010 20 , 32
Calculo proposicional com variaveis
Operaes lgicas
_

_
negao ~
conjuno .
disjuno .
implicao =
equivalencia =
: permiLem obLer novas
expresses proposicionais.
QuanLicadores: universa|, existencia| e de existncia e unicidade
que se represenLadam pelos smbolos \ e
1
, respecLivamenLe.
AMl (LSTSeLubal-DMAT} LlAO 1 6 de OuLubro de 2010 21 , 32
QuanLicadores
Universa|: sendo p uma expresso proposicional na variavel ,
\, p e uma proposio, que se le qualquer que seja , p .
Existencia|: sendo p uma expresso proposicional na variavel ,
, p e uma proposio, que se le exisLe pelo menos um Lal
que p .
Existncia e unicidade: sendo p uma expresso proposicional na
variavel ,
1
, p e uma proposio, que se le exisLe um e um s
Lal que p .
AMl (LSTSeLubal-DMAT} LlAO 1 6 de OuLubro de 2010 22 , 32
QuanLicao parcial e mulLipla
Uma expresso proposicional pode envolver a uLilizao de diferenLes
variaveis, por exemplo:
\
2
y 0

2
y 0
\y
2
y 0
y
2
y 0
As variaveis quanLicadas designam-se por variveis mudas (ou
variveis aarentes}, as resLanLes designam-se por variveis |ivres.
AMl (LSTSeLubal-DMAT} LlAO 1 6 de OuLubro de 2010 23 , 32
Segundas Leis de Morgan
Segundas Leis de Morgan: Sendo p uma condio Lem-se:
1
~ \ p = ~ p
2
~ p = \ ~ p
AMl (LSTSeLubal-DMAT} LlAO 1 6 de OuLubro de 2010 24 , 32
Lxerccio 2
Diga qual o signicado das seguinLes expresses proposicionais e de
exemplos de funes reais de variavel real que as Lransformem em
proposies verdadeiras. Lm seguida negue essas expresses.
a} \
1

2
D

:
1

2
=
1

2

b} D

: ,
c} \y R
1
D

: y
AMl (LSTSeLubal-DMAT} LlAO 1 6 de OuLubro de 2010 25 , 32
ResposLa 2
a} \
1

2
D

:
1

2
=
1

2

Para Lodo o
1
e
2
no domnio de sempre que
1
e menor do que

2
enLo
1
e maior do que
2
.
Lxemplo: a funo y c

Negao:
1

2
D

:
1

2
.
1
_
2

b} D

: ,
LxisLe pelo menos um elemenLo perLencenLe ao domnio de Lal
que e diferenLe de
Lxemplo: a funo y c

Negao:\ D

:
AMl (LSTSeLubal-DMAT} LlAO 1 6 de OuLubro de 2010 26 , 32
ResposLa 2
c} \y R
1
D

: y
Para Lodo o numero real y exisLe um e um s perLencenLe ao
domnio da funo Lal que y e igual a .
Lxemplo: a funo y 2
Observemos que esLa proposio Lambem pode escrever-se como
\y R D

\z D

: y
.y z = z
Negao: y R \ D

z D

: y ,
.y z .z ,
AMl (LSTSeLubal-DMAT} LlAO 1 6 de OuLubro de 2010 21 , 32
Lxerccio 3
Traduza em linguagem simblica as seguinLes proposies e indique o
seu valor lgico. Lm seguida negue as proposies.
a} Para qualquer numero naLural, exisLe um numero real que o excede
em uma unidade,
b} LxisLe um numero real que excede qualquer numero naLural em
uma unidade.
AMl (LSTSeLubal-DMAT} LlAO 1 6 de OuLubro de 2010 28 , 32
ResposLa 3
a} Para qualquer numero naLural, exisLe um numero real que o excede
em uma unidade,
\ N y R : y 1 Proposio verdadeira.
Negao: N \y R : y , 1
b} LxisLe um numero real que excede qualquer numero naLural em
uma unidade.
R \y N : y 1 Proposio Falsa.
Negao:\ R y N : , y 1
AMl (LSTSeLubal-DMAT} LlAO 1 6 de OuLubro de 2010 29 , 32
ConceiLo de produLo carLesiano
Sejam agora A e B dois conjunLos quaisquer. Chama-se produLo
carLesiano de A e B, e designa-se pelo smbolo A B, o conjunLo de
Lodos os pares ordenados o | Lais que o A e | B.
SimbolicamenLe:
A B y : A .y B
Se, em parLicular, A B, o produLo carLesiano A B (ou A A}
chama-se quadrado carLesiano de A e designa-se usualmenLe por A
2
.
AMl (LSTSeLubal-DMAT} LlAO 1 6 de OuLubro de 2010 30 , 32
Lxerccio 4
lnLerpreLe geomeLricamenLe os seguinLes subconjunLos do plano
carLesiano:
a} RR
b} 4 5 1 3
c} R
2

_
y R
2
: 1 .y 1
_

AMl (LSTSeLubal-DMAT} LlAO 1 6 de OuLubro de 2010 31 , 32

ResposLa 4
a} RR Todo o plano.
b} 4 5 1 3 O recLangulo de verLices em 4 1 4 3, 5 1 e
5 3 e respecLivos ponLos inLeriores.
c} R
2

_
y R
2
: 1 .y 1
_
O plano sem os ponLos da
recLa verLical 1 e sem os ponLos da recLa horizonLal y 1
AMl (LSTSeLubal-DMAT} LlAO 1 6 de OuLubro de 2010 32 , 32