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 eno
q tm
o mesmo
valor lgico e escreve-se: p
Uma proposio
pode
ser simultaneamente
q
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:
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

Tabela de verdade

equivalncia p q entre duas proposies p e q

uma nova proposio que verdadeira apenas no
caso de peq terem ambas o mesmo valor lgico.

Negao
Consideremos, por exemplo, a
proposio:
A Maria gosta de bolos.
e a proposio:
A Maria no gosta de bolos.

Tabela de verdade

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

Tabela de verdade

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
Tabela de verdade
proposio:
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:
Se a Maria acordar cedo,
ento vai praia.
Esta proposio a composta
das proposies:
A Maria acorda cedo.
A Maria vai praia.
A

Tabela de verdade

implicaop 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

linhas)

22

Nas duas primeiras colunas, colocamos as

combinaes possveis para os valores lgicos das
proposies
operandas
e q . a cada operao,
Para
preencher
a coluna prelativa
utilizamos o conhecimento da tabela de verdade
dessa operao e os valores lgicos de p e q
Neste
exemplo,
a identidade
constantes
em cada
linha. dos valores lgicos
apresentados nas 3 e 4 colunas demonstra que a

Exemplo

( Nmero de proposies operandas : 3 2 3

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

 Condies e conjuntos
3.
. 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 DeMorgan

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)