Noes bsicas de Lgica

Consideremos uma linguagem, com certos smbolos.

Chamamos expresso a uma sequncias de smbolos.
Uma expresso pode ser
uma expresso com significado

expresso sem significado

designar um objecto
Uma exp. com significado pode

traduzir uma afirmao

Termo ou designao uma expresso com significado que
designa um objecto.
Exemplo:
1. Em portugus, Ana e gato so termos ou designaes;
Setbal uma cidade uma afirmao.
2. Na linguagem dos reais, 0 e 3 2 5 so termos ou
designaes e 3 5 2 uma afirmao.
Nota: As aspas permitem distinguir a designao do ente
designado; quando no h risco de confuso, dispensamos o seu
uso.
Ana Matos - AMI 07/08 (verso de 17 de Outubro 07) Lgica 1
Na Lgica consideramos apenas afirmaes sobre as quais se
possa decidir se so verdadeiras ou falsas - a que chamamos
proposies.
O valor lgico de uma proposio

verdade falso
se a prop. for verdadeira se a prop. for falsa

denota-se por V ou 1 denota-se por F ou 0
Toda a proposio tem um, e um s, dos valores V ou F.
Duas proposies dizem-se equivalentes quando tm o mesmo
valor lgico.
Ana Matos - AMI 07/08 (verso de 17 de Outubro 07) Lgica 2
Clculo Proposicional
Podemos obter novas proposies a partir doutras, por meio das
operaes lgicas:
negao, conjuno, disjuno, implicao e equivalncia,
associadas aos smbolos , , , ,
chamados conectivos lgicos.
No Clculo Proposicional estudam-se estas operaes e as suas
propriedades.
A tabela de verdade de uma operao lgica (ou de uma
proposio) d-nos o valor de verdade da nova proposio, em
funo do valor de verdade das proposies de que foi obtida.
Sejam p e q proposies:
a negao de p representa-se por p e l-se no p.
p verdadeira se e s se p falsa
A sua tabela de verdade
p p
V F
F V
Ana Matos - AMI 07/08 (verso de 17 de Outubro 07) Lgica 3
a conjuno de p e q representa-se por p q e l-se p e q.
p q verdadeira caso p e q sejam ambas verdadeiras
e falsa se pelo menos uma delas for falsa.
A sua tabela de verdade
p q p q
V V V
V F F
F V F
F F F
a disjuno p e q representa-se por p q e l-se p ou q.
p q verdadeira se pelo menos uma das proposies
iniciais for verdadeira e falsa se ambas so falsas.
A sua tabela de verdade
p q p q
V V V
V F V
F V V
F F F
Ana Matos - AMI 07/08 (verso de 17 de Outubro 07) Lgica 4
a implicao de p por q representa-se por p q e l-se
p implica q ou se p ento q.
- p o antecedente e q o consequente
- p uma condio suficiente para q
- q uma condio necessria para p.
O nico caso em que a implicao falsa quando
o antecedente verdadeiro e o consequente falso.
A sua tabela de verdade
p q p q
V V V
V F F
F V V
F F V
a equivalncia entre p e q representa-se por p q e l-se
p equivale a q ou p se e s se q.
p q verdadeira quando p e q tm o mesmo valor lgico
e falsa caso contrrio.
A sua tabela de verdade
p q p q
V V V
V F F
F V F
F F V
Ana Matos - AMI 07/08 (verso de 17 de Outubro 07) Lgica 5
Nota: Podemos definir outras operaes lgicas.
O smbolo

l-se ou exclusivo e representa a disjuno

exclusiva:
a sua tabela de verdade
p q p

q
V V F
V F V
F V V
F F F
Usam-se parntesis para indicar a ordem pela qual se realizam as
operaes lgicas, sobrepondo-se seguinte convenco de
prioridade das operaes:
primeiro a negao;
depois a conjuno e disjuno;
por ltimo a implicao e a equivalncia.
Uma proposio diz-se uma tautologia se o seu valor lgico for
sempre V.
Ana Matos - AMI 07/08 (verso de 17 de Outubro 07) Lgica 6
Propriedades das operaes lgicas
Sejam p, q e r proposies.
Propriedades da negao
Ver sebenta
Propriedades da conjuno e da disjuno
A conjuno e a disjuno:
so comutativas;
so associativas;
tm elemento neutro;
tm elemento absorvente.
A conjuno distributiva relativamente disjuno
p q r p q p r.
A disjuno distributiva relativamente conjuno
p q r p q p r.
Primeiras Leis de De Morgan
So tautologias:
p q p q;
p q p q.
Ana Matos - AMI 07/08 (verso de 17 de Outubro 07) Lgica 7
Propriedades da implicao
So tautologias:
p q p q;
p q p q;
p q q p
(uma implicao e sua contra-recproca tm o mesmo valor
de verdade);
p q q r p r.
Propriedades da equivalncia
Ver sebenta
Ana Matos - AMI 07/08 (verso de 17 de Outubro 07) Lgica 8
Expresses com variveis
Para estudar uma certa teoria temos que:
1 - definir uma linguagem adequada (que inclui os smbolos
fundamentais da teoria);
2 - considerar um universo conjunto em que os smbolos
fundamentais so interpretados;
3 - interpretar nesse universo os smbolos fundamentais da
teoria.
Em geral necessitamos de:
variveis smbolos (ou agrupamento de smbolos) que podem
ser substitudo por elementos do universo.
obtendo-se assim
expresses com variveis
expresses com significado

expresses sem significado

As expresses (com variveis) com significado, dividem-se em:
expresses designatrias originam designaes quando
se substituem as variveis por valores concretos.
expresses proposicionais (condies ou propriedades)
originam proposies (verdadeiras ou falsas) quando se
substituem as variveis por valores concretos.
Ana Matos - AMI 07/08 (verso de 17 de Outubro 07) Lgica 9
Temos:
- o Universo (o "mundo" em que estamos a trabalhar);
- o domnio de uma expresso valores (desse universo) por
que podemos substituir as variveis que nela ocorrem;
- o conjunto soluo da expresso proposicional valores do
seu domnio que a transformam numa proposio verdadeira.
Num Universo, uma expresso proposicional pode ser:
possvel ou impossvel

universal no universal
possvel se existem valores que substitudos nas variveis a
transformam numa proposio verdadeira e impossvel caso
contrrio.
universal se, ao substiturmos as suas variveis por
quaisquer valores dos respectivos domnios, obtemos sempre
proposies verdadeiras.
Clculo proposicional com variveis
As operaes lgicas associadas a , , , e permitem
obter novas condies a partir de condies mais simples.
Num certo Universo, duas condies dizem-se:
incompatveis, se a sua conjuno uma cond. impossvel;
compatveis, caso contrrio.
Ana Matos - AMI 07/08 (verso de 17 de Outubro 07) Lgica 10
Vamos definir trs novas operaes
quantificao universal

quantificao existencial

quantificao de existncia
e unicidade
Seja px uma expresso proposicional na varivel x.
Quantificador universal
x, px uma proposio, que se l qualquer que seja x,
px.
Num certo universo,
x, px verdadeira sse a condio px universal.
Quantificador existencial
x, px uma proposio, que se l existe pelo menos um
x tal que px.
Num certo universo,
x, px verdadeira sse a condio px possvel.
Ana Matos - AMI 07/08 (verso de 17 de Outubro 07) Lgica 11
Quantificador de existncia e unicidade
1

1
x, px uma proposio, que se l existe um e um s x
tal que px.
Num certo universo,

1
x, px verdadeira sse
a condio px tem uma nica soluo.
Notao: x D, px, x D, px,
1
x D, px
indicam que a varivel x varia em D (subconjunto do universo).
Conveno: o quantificador abrange a mais pequena expresso
proposicional que o segue.
Quantificao mltipla
A troca de ordem de dois quantificadores consecutivos
do mesmo tipo transforma uma condio (ou proposio)
numa equivalente.
Pelo contrrio, a troca de ordem de quantificadores
que no so do mesmo tipo, origina condies (ou
proposies) que, em geral, no so equivalentes s iniciais.
Segundas leis de De Morgan
Sendo p uma condio tem-se:
x, p x, p;
x, p x, p.
Ana Matos - AMI 07/08 (verso de 17 de Outubro 07) Lgica 12