Tema 1 Lgica e Teoria dos Conjuntos

1. Proposies e valores lgicos

. Um termo ou designao uma expresso que nomeia ou designa um ente.
. Uma proposio toda a expresso p susceptvel de ser verdadeira ou falsa.
. O universo dos valores lgicos {V, F} correspondente a verdade ou falsidade.
. Duas proposies p e q dizem-se equivalentes quando e apenas quando p e q tm o
mesmo valor lgico e escreve-se: p q
. Uma tautologia uma proposio que verdadeira, independentemente dos valores
lgicos das proposies elementares que a constituem.
. Uma contradio uma proposio que falsa, independentemente dos valores
lgicos das proposies elementares que a constituem.
2. Operaes lgicas sobre proposies
Proposies
p

V
V
F
F

V
F
V
F

Negao
~p
(l-se
no p)
F
F
V
V

Conjuno
pq
(l-se p e
q)
V
F
F
F

Disjuno
p
(l-se p
ou q)
V
V
V
F

Implicao
pq
(l-se p
implica q)
V
F
V
V

Equivalncia
pq
(l-se p
equivalente a q)
V
F
F
V

Propriedades das operaes lgicas

Princpio de no contradio
Uma proposio no pode ser simultaneamente verdadeira e falsa. Dada uma
proposio p, uma proposio falsa.
Lei da dupla negao
Dada uma proposio p, ( )
Princpio do terceiro excludo
Uma proposio verdadeira ou a sua negao verdadeira. Dada uma proposio
p, uma proposio verdadeira

Pgina 1 de 7

Propriedades da conjuno e disjuno.

Dadas as proposies p, q e r:
. propriedade comutativa:
. propriedade associativa : ( ) ( ) ( ) ( )
. propriedade distributiva da conjuno em relao disjuno:
( ) ( ) ( )
. propriedade distributiva da disjuno em relao conjuno:
( ) ( ) ( )
. elemento neutro da conjuno:
. elemento neutro da disjuno:
. elemento absorvente da conjuno:
. elemento absorvente da disjuno:
. idempotncia da conjuno:
. idempotncia da disjuno:
. Primeiras Leis de De Morgan:
( ) ~

( )

Propriedades da implicao.
Dadas as proposies p, q e r:
. Relao da implicao com a disjuno: ( )
. Negao da implicao: ( )
. Princpio da dupla implicao: ( ) ( ) ( )
. Implicao contrarrecproca (Lei da converso): ( ) ( )

Observao:
Em qualquer sequncia de operaes lgicas, a menos que se utilizem parnteses,
devem respeitar-se as seguintes prioridades: primeiro negao, seguindo-se as
conjunes e as disjunes pela ordem que aparecem e, por fim, implicaes e
equivalncias pela ordem que aparecem.

Pgina 2 de 7

Nota:
Dada a implicao , diz-se que:
. a implicao recproca
. ~ ~ a implicao contrria
. ~ ~ a implicao contrarrecproca

3. Condies e conjuntos
. Uma expresso designatria uma expresso p(x) envolvendo uma varivel x tal
que, substituindo x por um objeto a, se obtm uma designao p(a).
. Uma expresso proposicional ou condio uma expresso p(x) envolvendo uma
varivel x, tal que, substituindo x por um objeto a, se obtm uma proposio p(a).
. Domnio o conjunto de valores que uma varivel de uma expresso designatria ou
de uma condio toma.
. Quantificador universal: (l-se para todo/todos)
A proposio , () verdadeira quando e apenas quando se obtm uma proposio
verdadeira para todos os valores de x.
. Quantificador existencial: (l-se existe pelo menos um)
Dada uma condio p(x), a proposio : () verdadeira quando e apenas quando
se obtm uma proposio verdadeira para pelo menos um valor de x.
Classificao de condies
A condio p(x) universal se e s se a proposio , () verdadeira.
A condio p(x) possvel se e s se : () verdadeira.
Se uma condio no possvel, ento diz-se impossvel.
Propriedades
Sejam c(x) uma condio qualquer, u(x) uma condio universal e i(x) uma condio
impossvel:
() () ()
() () ()
() () ()
() () ()

Pgina 3 de 7

Segundas Leis de De Morgan

Para uma condio c(x):
[ , ()] ~ ()
[ ()] , ~ ()

Classificao de condies num conjunto U

. Dada uma condio p(x) e um conjunto U, , () , () .
Se a proposio , () for verdadeira, p(x) designa-se por condio universal
em U.
. Dada uma condio p(x) e um conjunto U, : () () .
Se a proposio : () for verdadeira, p(x) designa-se por condio possvel
em U e, caso contrrio, por condio impossvel em U.
Negao de uma condio
A negao de uma condio universal uma condio impossvel.
A negao de uma condio impossvel uma condio universal.
Dada uma condio p(x) e um conjunto U:
[ , ()] : ~ ()
[ : ()] , ~ ()
Negao de uma implicao:
Dadas as condies p(x) e q(x): ~( , () ()) () ()

Conceito de condio suficiente e condio necessria

Estar a chover
(condio suficiente)

Haver nuvens
(condio necessria)

Pgina 4 de 7

Conjuntos e condies
. Igualdade de conjuntos: Dados dois conjuntos A e B diz-se A = B se e somente se
, .
. Dada uma condio p(x) e um conjunto U, { ()} {: ()}
designa-se por conjunto-soluo de p(x) em U.
. Reunio (ou unio) de conjuntos: Dados os conjuntos A e B, o conjunto-reunio
(ou unio) de A e B representa-se por = { }.
. Interseo de conjuntos: Dados os conjuntos A e B, o conjunto-interseo de A e B
representa-se por = { }.

Condio
Conjunto-soluo

a(x)
A

b(x)
B

a(x) b(x)
AB

a(x) b(x)
AB

. Incluso de conjuntos: Dados os conjuntos A e B, diz-se que A est contido em B

quando e representa-se por . Neste caso, A um subconjunto
de B ou uma parte de B.
. Diferena entre conjuntos: Dados os conjuntos A e B designa-se por diferena
entre A e B o conjunto { } e representa-se por A\B.
Se B , ento A\B = onde se designa por complementar de B em A
Condio
Conjunto-soluo

a(x)
A

b(x)
B

a(x) b(x)
A =A\B

a(x)

Princpio da dupla incluso: Dados os conjuntos A e B, diz-se que A = B se e somente

se e .
Condio

a(x)

b(x)

a(x) b(x)

b(x) a(x)

a(x) b(x)

Conjunto-soluo

AB

BA

A=B

Demonstrao de equivalncias por dupla incluso

Dadas as condies p(x) e q(x),
, () () , (() () () ())
Exemplo:
Queremos mostrar que: , 2 > 4 > 2 < 2, que equivalente
mostrar que ( 2 > 4 > 2 < 2) e ( > 2 < 2 2 > 4)
Pgina 5 de 7

1. parte:
2 4 > 0 ( 2)( + 2) > 0 ( 2 > 0 + 2 > 0) ( 2 < 0 + 2 < 0)
( > 2 > 2 ) ( < 2 < 2) > 2 < 2
2. parte:

> 2 < 2 | | > 2 2 > 4

Da dupla implicao resulta a equivalncia.

. Relaes entre operaes lgicas com condies e operaes com os conjuntos

que definem:
=

=
Primeiras Leis de De Morgan:
=

Negao de uma implicao universal

Dadas as condies p(x) e q(x) a negao da proposio , () ()
equivalente proposio () (), isto , a proposio , () ()
falsa se, e somente se, existir a tal que p(a) verdadeira e q(a) falsa.
Exemplo:
A proposio Qualquer nmero primo impar falsa pois a sua negao
equivalente Existe um nmero primo que no mpar, que verdadeira.
De facto, existe um nmero que primo e no mpar, o nmero 2.

Demonstrao por contrarrecproco

Dadas as condies p(x) e q(x), a proposio , () () equivalente a
, () ().
Exemplo:
Queremos mostrar que a proposio , 2 < 1 < 1
Vamos utilizar o contrarrecproco, isto , , ~( < 1) ~( 2 < 1)

Pgina 6 de 7

Ou seja, , 1 2 1
Seja 1,
Se = 1 ento 2 = 1
Se > 1 ento 2 > 1, pois x > 1 e x > 0 > 1 , ou seja, 2 >
Como x > 1, por transitividade, vem 2 > 1

FIM

Pgina 7 de 7