Lgica

Clculo Proposicional
Introduo




Lgica - Definio

Formalizao de alguma linguagem

 Sintaxe
Especificao precisa das expresses legais
Semntica
Significado das expresses


Deduo
Prov regras que preservam a semntica
2




Clculo Proposicional - CP

Clculo Proposicional Lgica Proposicional



Apenas enunciados declarativos so

permitidos


Excludas sentenas exclamativas,

imperativas e interrogativas




Termo


usado para designar objetos

Exemplos:
 Paula


Um filme de terror


Tringulo retngulo
4




Proposio

uma sentena declarativa que pode assumir

os valores verdade (v) ou falso (f)
Exemplos:
 Todo homem mortal
 Meu carro um fusca
 Est chovendo
5




Proposio Atmica

Sentena que no contm conectivos

(e, ou, se...ento, ...)
Todo homem mortal.
Meu carro um fusca.
Est chovendo.




Proposio Composta

Sentena que contm um ou mais

conectivos (e, ou, se...ento, ...)
Se Maria estuda ento far bons exames.
Ele come e dorme.
Pedro dana ou canta.




Proposio - Cuidado!

A expresso:
A distncia entre Paraty e Ubatuba
no uma sentena pois no possui valor
verdade verdadeiro (v) ou falso (f).




Conceitos Adicionais

Proposio atmica tomo

Proposies atmicas so designadas por
letras latinas minsculas (p, q, r, ...)
Literal um tomo ou a negao de um
tomo
Conectivos ou Juntores: permitem a
construo de proposies compostas




Conectivos

Conectivos ou Juntores:
 e

 ou

 no

 condicional

 bicondicional

10




Conectivo: e ()

A partir de duas proposies, obtm-se uma

terceira denominada conjuno:
 Exemplo:
(p) Maria estuda o problema.
(q) Jos vai pescar.


Conjuno de (p) e (q): p q

Maria estuda o problema e Jos vai pescar.
11




Conectivo: ou ()

A partir de duas proposies, obtm-se uma

terceira denominada disjuno:
 Exemplo:
(p) Maria estuda o problema.
(q) Jos vai pescar.


Disjuno de (p) e (q): p q

Maria estuda o problema ou Jos vai pescar.
12




Conectivo: no ()

Nega o valor-verdade de uma proposio



Exemplo:
(p) Maria estuda o problema.


Negao de (p): p
no (Maria estuda o problema).

13




Conectivo: condicional ()

Conectivo condicional lido como se...ento

A partir de duas proposies, obtm-se uma
terceira denominada condicional ou
implicao
Proposio esquerda de denomina-se
premissa ou antecedente
Proposio direita de denomina-se
concluso ou conseqente
14




Conectivo: condicional ()

Exemplo:
(p) Eu como muito.
(q) Eu engordo.


Condicional de (p) e (q): p q

Se eu como muito ento eu engordo.

15




Conectivo: bicondicional ()

Conectivo bicondicional lido como se e

somente se


A partir de duas proposies, obtm-se uma

terceira denominada bicondicional

16




Conectivo: bicondicional ()

Exemplo:
(p) Um tringulo retngulo
(q) Um tringulo tem um ngulo reto.


Bicondicional de (p) e (q): p q

Um tringulo retngulo se e somente se tem
um ngulo reto.

17




Semntica dos Conectivos



pq pq p pq pq

v
18




Frmulas Bem Formadas (wff)

Frmulas construdas atravs da

combinaao vlida de smbolos
Frmulas Bem Formadas = Well Formed
Formula = wff
Para representar wff so usadas
metavariveis proposicionais representadas
pelas letras , , , etc
Cada expresso envolvendo , , , etc
chamada de forma sentencial
19




Definio wff

1. um tomo uma wff

2. se e so wff, ento so tambm wff:
wff
l-se

no

ou

se ento

se e somente se
3. As nicas wff so definidas por (1) e (2).
20




Prioridade dos Conectivos (1 de 2)

21




Prioridade dos Conectivos (1 de 2)

maior prioridade

menor prioridade

22




Prioridade dos Conectivos (2 de 2)

Exemplos:
significa

significa
significa


( )
( )
(( ()) )

A precedncia pode ser alterada pelo uso de

parnteses.
23




Item
 e
 ou
 no
 condicional
 bicondicional

Variaes de Notao
Adotada
pq
pq
p
pq
pq

Outras
p&q p.q p,q
p|q p+q p;q
~p p
pq pq qp
pq pq

24




Semntica do CP
Consiste na interpretao de suas
frmulas, ou seja, atribuio dos valoresverdade (v ou f) s formulas atmicas, por
exemplo:
(p v q) (p q)

Como a frmula possui 2 componentes

atmicos ela admite 22 interpretaes. Para
uma frmula de n componentes tem-se 2n
interpretaes .

25




Validade e Inconsistncia (1 de 5)

Se uma frmula tem valor v numa

interpretao I, ento verdadeira na
interpretao I.
Ex:
p
q
pq
I1.
v
v
v
I2.
v
f
f
I3.
f
v
f
I4.
f
f
f
(p q) verdadeira na interpretao I1


26




Validade e Inconsistncia (2 de 5)

Se uma frmula verdadeira segundo

alguma interpretao, ento satisfatvel
(ou consistente).
Ex:
p
q
pq
I1.
v
v
v
I2.
v
f
f
I3.
f
v
f
I4.
f
f
f
(p q) satisfatvel


27




Validade e Inconsistncia (3 de 5)

Uma frmula vlida (tautologia) quando

for verdadeira em todas suas interpretaes

Ex: p p

28




Validade e Inconsistncia (4 de 5)

Se uma frmula tem valor f numa

interpretao I, ento falsa na
interpretao I.
Ex:
p
q
pq
I1.
v
v
v
I2.
v
f
f
I3.
f
v
f
I4.
f
f
f
(p q) falsa nas interpretaes I2, I3 e I4.
29




Validade e Inconsistncia (5 de 5)

Uma frmula insatisfatvel (ou

inconsistente ou contradio) quando for
falsa segundo qualquer interpretao I.
Ex: p p
 Uma frmula invlida quando for falsa
segundo alguma interpretao I.
Ex: p q
 Frmulas que no so tautologias nem
contradies so chamadas contingentes.


30




Exerccios

Provar usando tabela verdade que:

1. (p p) inconsistente e portanto invlida.

2. (p p) valida e portanto consistente.
3. (p p) invlida, ainda que consistente.

31




Conseqncia Lgica (1 de 2)

Sejam , 1, 2, ..., n wff. Diz-se que

conseqncia lgica de 1, 2, ..., n se, e
somente se, para qualquer interpretao em
que 1, 2, ..., n forem simultaneamente
verdadeiras, tambm verdadeira.
Se conseqncia lgica de 1, 2, ... n,,
diz-se que segue-se logicamente de 1, 2,
... n,.
Notao: 1, 2, ..., n 
32




Conseqncia Lgica (2 de 2)

Teorema 2.7.1: conseqncia lgica de

1, 2, ..., n se e somente se:


1 2 ... n

uma tautologia

Teorema 2.7.2: conseqncia lgica de

1, 2, ..., n se e somente se:
1 2 ... n

uma contradio
33




Equivalncia Lgica

Uma frmula logicamente equivalente ()

a uma frmula quando for conseqncia
lgica de e for conseqncia lgica de :
se e somente se uma tautologia

34




Exerccio

Provar que (p q) equivalente a (p q)

p

pq pq (pq)(pq)

35




Argumento

Argumento uma sequncia 1, 2, ..., n

(n 1) de proposies, onde:
i (1 i n-1) so chamadas premissas e
n denomina-se concluso.


Notao:
1, 2, ..., n-1  n.
36




Argumento Vlido (1 de 2)

Um argumento 1, 2, ..., n-1  n vlido

se e somente se:
1 2 ... n-1 n for uma tautologia
ou equivalentemente,
1 2 ... n-1  n
37




Argumento Vlido (2 de 2)

Um argumento vlido pode ser lido como:

1, 2, ..., n-1 acarretam n ou
n decorre de 1, 2, ..., n-1 ou
n conseqncia lgica de 1, 2, ..., n-1


Para n=1, o argumento valido se e

somente se 1 for tautolgica
38




Princpio da Substituio (1 de 2)

Subfrmulas: dada a frmula



: (p q) r, ento
p q, p, q, r, so as subfrmulas de .
O princpio afirma que uma subfrmula de
uma frmula , ou toda a frmula , pode
ser substituda por uma frmula equivalente
e que a frmula resultante equivalente a .
39




Princpio da Substituio (2 de 2)

Exemplo: pelo princpio da substituio, a

frmula
: (p v q) (p v r)
equivalente a:
: (p q) (p r).
40




Propriedades (1 de 5)

Existem vrias propriedades da negao,

conjuno e disjuno.
Estas propriedades podem ser verificadas
como equivalncias lgicas.
Para demonstrar cada uma, basta utilizar as
tabelas-verdade, constatando a tautologia.

41




Propriedades (2 de 5)

Propriedades da Conjuno
associativa
comutativa
idempotente
propriedade
de v(erdade)
propriedade
de f(also)

( ) ( )

v
ff

42




Propriedades (3 de 5)


Propriedades da Disjuno
comutativa
associativa
idempotente
propriedade
de v(erdade)
propriedade
de f(also)

v v
v ( v ) ( v ) v
v
vv v
vf

43




Propriedades (4 de 5)


Distributivas


( ) ( ) ( )
( ) ( ) ( )

Negao


()

Absoro
( )
( )
44




Propriedades (5 de 5)


De Morgan


( )
( )

Equivalncia da Implicao

45

Frmulas Proposicionais Equivalentes




(1 de 2)


Nome da Regra
modus ponens
modus tollens
silogismo hipottico
(ou regra da cadeia)
silogismo disjuntivo
dilema construtivo
dilema destrutivo
simplificao
conjuno
adio
contraposio
exportao
importao

Regra
, |=
, |=
, |=
, |=
, , |=
, , |=
|=
, |=
|=
|=
( ) |= ( )
( ) |= ( )
46

Frmulas Proposicionais Equivalentes




(2 de 2)


Exemplo da forma de leitura modus ponens:

, 

caso
e
obrigatoriamente

seja verdade
seja verdade,
ser verdade.
47




Verificao de Validade de
Argumentos (1 de 2)

Sejam 1, 2, ..., n, frmulas do Clculo

Proposicional. Uma sequncia finita de
proposies C1, C2, ..., C uma prova ou
deduo de , a partir das premissas
1, 2, ..., n , se e somente se:

48




Verificao de Validade de
Argumentos (2 de 2)

cada C uma premissa j (1 j n), ou

C provm das frmulas precedentes, pelo uso
de um argumento vlido das regras de
inferncia, ou
C provm do uso do princpio de substituio
numa frmula anterior, ou
C

Diz-se ento que dedutvel de

1, 2, ..., n ou que um teorema.
49




Exemplo (1 de 3)


Se as uvas caem, ento a raposa as come.

Se a raposa as come, ento esto maduras.
As uvas esto verdes ou caem.
Logo,
A raposa come as uvas se e s se as uvas caem.

50




Exemplo (2 de 3)


Se as uvas caem, ento a raposa as come. (C1)

Se a raposa as come, ento esto maduras. (C2)
As uvas esto verdes ou caem. (C3)
Logo,
A raposa come as uvas se e s se as uvas caem.
p: as uvas caem

Premissas:

q: a raposa come as uvas

C 1: p q

r: as uvas esto maduras

C 2: q r

(r: as uvas esto verdes)

C3: r p
51




Exemplo (3 de 3)


Premissas:
C1: p q

Provar que:

C2: q r

p q, q r, r p |= p q

C3: r p
Deduz-se que:
C4: r p

(C3: equivalncia)

C5: q p

(C2 + C4: regra da cadeia)

C6: p q q p (C1 + C5: conjuno)

C7: p q

(C6: equivalncia)
52