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 Negao Conjuno Disjuno Implicao Equivalncia

~p pq p pq pq
p q (l-se (l-se p e (l-se p (l-se p (l-se p
no p) q) ou q) implica q) equivalente a q)
V V F V V V V
V F F F V F F
F V V F V V F
F F V F F V 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 Haver nuvens

(condio suficiente) (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 a(x) b(x) a(x) b(x) a(x) b(x)

Conjunto-soluo A B AB 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 a(x) b(x) a(x) a(x) b(x)

Conjunto-soluo A B A =A\B

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 A B 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