Na Lgica consideramos apenas afirmaes sobre as quais se

possa decidir se so verdadeiras ou falsas - a que chamamos

proposies.

Noes bsicas de Lgica

Consideremos uma linguagem, com certos smbolos.

O valor lgico de uma proposio

Chamamos expresso a uma sequncias de smbolos.

uma expresso com significado

Uma expresso pode ser

expresso sem significado

designar um objecto
Uma exp. com significado pode

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.

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

Ana Matos - AMI 07/08 (verso de 17 de Outubro 07)

Lgica 2

Clculo Proposicional

a conjuno de p e q representa-se por p q e l-se p e q.

Podemos obter novas proposies a partir doutras, por meio das

operaes lgicas:
p q verdadeira caso p e q sejam ambas verdadeiras
negao, conjuno, disjuno, implicao e equivalncia,
associadas aos smbolos

e falsa se pelo menos uma delas for falsa.

, , , ,
A sua tabela de verdade

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:

p q pq
V V

V F

F V

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

a negao de p representa-se por p e l-se no p.

iniciais for verdadeira e falsa se ambas so falsas.

p verdadeira se e s se p falsa
A sua tabela de verdade
A sua tabela de verdade

Ana Matos - AMI 07/08 (verso de 17 de Outubro 07)

p p

p q pq
V V

V F

F V

F F

Lgica 3

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

Nota: Podemos definir outras operaes lgicas.

O smbolo l-se ou exclusivo e representa a disjuno
exclusiva:

p uma condio suficiente para q

a sua tabela de verdade

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

V V

V F

V F

F V

F F

F V

F F

Usam-se parntesis para indicar a ordem pela qual se realizam as

operaes lgicas, sobrepondo-se seguinte convenco de
prioridade das operaes:

p q verdadeira quando p e q tm o mesmo valor lgico

e falsa caso contrrio.

Ana Matos - AMI 07/08 (verso de 17 de Outubro 07)

V V

p q pq

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.

A sua tabela de verdade

p q p q

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.

p q pq
V V

V F

F V

F F

V
Lgica 5

Ana Matos - AMI 07/08 (verso de 17 de Outubro 07)

Lgica 6

Propriedades das operaes lgicas

Propriedades da implicao

Sejam p, q e r proposies.

So tautologias:

Propriedades da negao
Ver sebenta

A conjuno e a disjuno:

p q p q;
p q q p
(uma implicao e sua contra-recproca tm o mesmo valor
de verdade);

Propriedades da conjuno e da disjuno

p q p q;

p q q r p r.

so comutativas;
so associativas;

Propriedades da equivalncia

tm elemento neutro;

Ver sebenta

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

Ana Matos - AMI 07/08 (verso de 17 de Outubro 07)

Lgica 8

Temos:

Expresses com variveis

Para estudar uma certa teoria temos que:

- o Universo (o "mundo" em que estamos a trabalhar);

1 - definir uma linguagem adequada (que inclui os smbolos

fundamentais da teoria);

- o domnio de uma expresso valores (desse universo) por

que podemos substituir as variveis que nela ocorrem;

2 - considerar um universo conjunto em que os smbolos

fundamentais so interpretados;

- o conjunto soluo da expresso proposicional valores do

seu domnio que a transformam numa proposio verdadeira.

3 - interpretar nesse universo os smbolos fundamentais da

teoria.

Num Universo, uma expresso proposicional pode ser:

possvel

Em geral necessitamos de:

impossvel

variveis smbolos (ou agrupamento de smbolos) que podem

ser substitudo por elementos do universo.

universal

obtendo-se assim
expresses com significado
expresses com variveis

ou

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.

expresses sem significado

Clculo proposicional com variveis

As expresses (com variveis) com significado, dividem-se em:

expresses designatrias originam designaes quando

se substituem as variveis por valores concretos.

As operaes lgicas associadas a , , , e permitem

obter novas condies a partir de condies mais simples.

expresses proposicionais (condies ou propriedades)

originam proposies (verdadeiras ou falsas) quando se
substituem as variveis por valores concretos.

Num certo Universo, duas condies dizem-se:

Ana Matos - AMI 07/08 (verso de 17 de Outubro 07)

Lgica 9

incompatveis, se a sua conjuno uma cond. impossvel;

compatveis, caso contrrio.

Ana Matos - AMI 07/08 (verso de 17 de Outubro 07)

Lgica 10

Quantificador de existncia e unicidade

quantificao universal

Vamos definir trs novas operaes quantificao existencial

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

quantificao de existncia

a condio px tem uma nica soluo.

e unicidade

Notao: x D, px, x D, px, 1 x D, px

indicam que a varivel x varia em D (subconjunto do universo).

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,

Conveno: o quantificador abrange a mais pequena expresso

proposicional que o segue.

Quantificao mltipla

x, px verdadeira sse a condio px universal.

A troca de ordem de dois quantificadores consecutivos

do mesmo tipo transforma uma condio (ou proposio)
numa equivalente.

Quantificador existencial

x, px uma proposio, que se l existe pelo menos um

x tal que px.

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.

Num certo universo,

Segundas leis de De Morgan

Sendo p uma condio tem-se:
x, px verdadeira sse a condio px possvel.

Ana Matos - AMI 07/08 (verso de 17 de Outubro 07)

Lgica 11

x, p x, p;
x, p x, p.

Ana Matos - AMI 07/08 (verso de 17 de Outubro 07)

Lgica 12