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 proposio no pode ser simultaneamente verdadeira e falsa,

Princpio da no contradio

Uma proposio verdadeira ou a sua negao verdadeira,

Princpio do terceiro excludo
 Equivalncia
Consideremos, por exemplo, a
proposio:
Tabela de verdade
A Maria vai praia se e s se acordar
cedo.
Esta proposio a composta das
proposies:
A Maria vai praia.
A Maria acorda cedo.

A equivalncia p q entre duas proposies p e q uma nova

proposio que verdadeira apenas no caso de p e q terem
ambas o mesmo valor lgico.
 Negao

Consideremos, por exemplo, a

Tabela de verdade
proposio:
A Maria gosta de bolos.
e a proposio:
A Maria no gosta de bolos.

A segunda proposio nega o que afirma

a primeira.

A negao de uma proposio uma outra proposio que

verdadeira se a primeira proposio for falsa e falsa se a primeira
for verdadeira.
 Conjuno
Consideremos, por exemplo, a
proposio:
Tabela de verdade
A Maria gosta de bolos e o Manuel
gosta de sandes.
que resulta da ligao das proposies:
A Maria gosta de bolos.
O Manuel gosta de sandes.
pela palavra e.

A conjuno p q de duas proposies p e q uma proposio

que verdadeira se, e s se, p e q forem ambas verdadeiras.
 Disjuno
Consideremos, por exemplo, a
proposio:
Tabela de verdade
A Maria gosta de bolos ou a Maria
gosta de sandes.
que resulta da ligao das proposies:
A Maria gosta de bolos.
A Maria gosta de sandes.
pela palavra ou.

A disjuno p V q de duas proposies p e q uma proposio

que falsa se, e s se, p e q forem ambas falsas.
 Implicao
Consideremos, por exemplo, a
proposio:
Tabela de verdade
Se a Maria acordar cedo, ento vai
praia.
Esta proposio a composta das
proposies:
A Maria acorda cedo.
A Maria vai praia.

A implicao p q entre duas proposies p e q uma nova

proposio que falsa se, e s se, o antecedente p
verdadeiro e o consequente q falso.
 2. Operaes lgicas sobre proposies (Quadro Resumo)

. 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.
 Tabelas de verdade
Para demonstrar propriedades das operaes com proposies ,
podem usar-se diferentes tcnicas tais como: tabelas de verdade,
argumentos que envolvam apenas as definies das operaes, ou
ainda, recorrendo a propriedades j verificadas.

Como construir tabelas de verdade?

As tabelas devero ter tantas linhas quantas as necessrias
para contemplar todas as possibilidades de sequncia de
valores lgicos para as proposies operandas
( portanto 2n linhas, sendo n o nmero de proposies
operandas).
Exemplo
( Nmero de proposies operandas: 2 22
linhas)

Nas duas primeiras colunas, colocamos as combinaes possveis

para os valores lgicos das proposies operandas p e q .
Para preencher a coluna relativa a cada operao, utilizamos o
conhecimento da tabela de verdade dessa operao e os valores
lgicos de p e q constantes em cada linha.
Neste exemplo, a identidade dos valores lgicos apresentados
nas 3 e 4 colunas demonstra que a disjuno comutativa.
Exemplo
( Nmero de proposies operandas : 3 23 linhas)

A identidade dos valores lgicos apresentados nas 6 e 7

colunas demonstra a equivalncia:
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): ( ) ( )

. Implicao transitiva: ,

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.
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:

() () ()

() () ()
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)
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)

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.

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)

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