Lgica Proposicional

Profa. Flvia Cristina Bernardini

PURO UFF

Representao de conhecimento
O que conhecimento?
O que representar?

Representao mental de bola

Representao mental de solidariedade

Smbolo como CENTRO da representao

PURO UFF

Desafios para representao de

conhecimento
O que representar?
Quem interpretar a representao?
Humano
Computador

Que linguagem de representao utilizar?

PURO UFF

Representao de conhecimento

Lgica
Proposicional
1 Ordem

Redes semnticas
Frames
Regras de produo

PURO UFF

Lgica matemtica
Lgica matemtica
cincia do raciocnio e
da demonstrao (sculo XIX)
George Boole
matemtico ingls (1815 1864)
lgebra Booleana
utiliza smbolos e operaes
algbricas para representar proposies e suas
inter-relaes.

PURO UFF

Lgica matemtica
As idias de Boole
Base da Lgica
Simblica
Aplicao
computao e eletrnica.

Sentenas declarativas
proposies

Pr-requisitos:
Princpio do terceiro excludo: uma proposio
s pode ser verdadeira ou falsa, no havendo
outra alternativa.
Princpio da no contradio: uma proposio
no pode ser ao mesmo tempo verdadeira e
falsa.
PURO UFF

Conceitos bsicos
Proposio
enunciado verbal, susceptvel
de ser verdadeiro ou falso.
Exemplos de proposies:

A terra azul.
Recife a cidade do frevo.
Glria Perez escreveu a novela Amrica.
2+2=5
Ana arquiteta ou engenheira.

Uma proposio s pode ter um valor

lgico: verdadeiro ou falso
PURO UFF

Conceitos bsicos
Proposio
Simples: menor gro de significado
Flvia a professora de IA da turma atual do PURO da
UFF (V)
Fluminense o atual campeo carioca (F)

Composta: constituda de proposies simples

interligadas por conectivos lgicos
O Curioso Caso de Benjamim Button no ganhou o
Oscar de melhor filme
O Curioso Caso de Benjamim Button levou o Oscar de
melhores efeitos visuais e de melhor figurino
Se chover hoje,vou ao cinema
PURO UFF

Conceitos bsicos
Conectivos:

NO (negao)
E (conjuno)
OU (disjuno)
SE-ENTO (condicional)
SE, E SOMENTE SE (bi-condicional)

PURO UFF

A linguagem proposicional
Alfabeto
Variveis proposicionais: nomes que
representam proposies simples.
Conectivos lgicos:

: No
V : OU
:E
: Se..Ento
: Se, e somente Se

Smbolos auxiliares: ( )

PURO UFF

10

A Linguagem proposicional
Sentenas
Toda proposio uma sentena
Se uma sentena, ento tambm
Se e so sentenas, ento so:

^ tambm
V

Exemplos:
(chuva
usar_capa)^(sol
usar_capa)
PURO UFF

11

Semntica
Semntica das sentenas dada pela funo ,
chamada funo de atribuio de valores lgicos:
:Variveis proposicionais (V, F)

Exemplos
Sejam as proposies simples:
P: A Terra gira em torno do sol.
Q: Salvador a capital da Bahia.
R: 3,2 um nmero inteiro.

Temos ento:
(P) = V
(Q) = V
(R) = F
PURO UFF

12

Semntica
Como cada proposio verdadeira(v)ou
falsa (f), dadas n variveis proposicionais,
existem 2n possibilidades para .
Exemplo para n=3

PURO UFF

F
13

Semntica
O valor lgico de uma sentena dado pela
funo , definida abaixo:
Para toda varivel proposicional P, (P)= (P) .

Se uma sentena, ento ( P)=

(P)= , onde:
V=F
F=V

Ou seja, ( ) definido pela

tabela verdade:
V
F
PURO UFF

F
V
14

Semntica
Se e so sentenas, ento
( ^ ) = ( ) ^ ( )
Onde
tabela verdade

P^Q PvQ

P
Q

PQ

V
V
F
F

V
F
V
F

F
F
V
V

V
F
F
F

V
F
V
V

V
F
F
V

V
V
V
F

PURO UFF

15

Semntica
Supresso de parntesis:
A ordem de precedncia :

^
v

Para conectivos idnticos, faz-se associao esquerda.

Exemplo:
P v Q ^ R v S
T v U
denota
((P v ((Q ^ R) v S))
(T v U))

PURO UFF

16

Definies
Sentena
Verdadeira ou Falsa

Interpretao
V ou F

Modelo (sentena satisfazvel)

Um contexto onde ( ) = V

PURO UFF

17

Definies
Sentena vlida
Sentena verdadeira para todas as
interpretaes

Sentena contraditria (insatisfazvel)

Sentena falsa para todas as interpretaes

Contingncia
Nem contradio nem vlida

PURO UFF

18

Definies
satisfaz : ()=V

|==
tautologia, se e somente se, |== para
todo
contradio, se e somente se, no existe
tal que |==
satisfazvel, se e somente se, existe tal
que
|==
insatisfazvel, se e somente se, uma
Contradio
PURO UFF

19

Consequncia lgica
Uma sentena consequncia lgica de uma sentena
( |== ) se, e somente se ()=V sempre que ()=V .
Em outras palavras: |== , se, e somente se |== para
todo tal que |== .
Seja um conjunto de sentenas
A={1, 2,...n} e
uma sentena .

Ento, A |== se e somente se 1, 2,...n |==

Exemplos:

(Modus Ponens)
(Modus Tollens)

PURO UFF

20

Teorema
|== se e somente se
uma tautologia
Regra do Silogismo Hipottico
(P ^ P)
Q tautologia. Logo,
(P ^ P) |== Q
de uma contradio se deduz qualquer sentena

Duas sentenas e so logicamente e

equivalentes ( |==| ) se, e somente se:
|== e |==|
Exemplo:
( P v Q) |==| P ^ Q

PURO UFF

verificvel pela tabela verdade

21

Propriedades da conseqncia lgica

Reflexividade:
|==

Transitividade:
Se |== e |== ento |==

PURO UFF

22

Propriedades da equivalncia lgica

Reflexividade:
|==|

Transitividade:
Se |==| e |==| ento |==|

Simetria:
Se |==| e |==|

PURO UFF

23

Dedutibilidade
Um argumento uma afirmao de que
uma dada sentena (a concluso)
consequncia de outras sentenas {1,...,
n,n 1} (as premissas).
Notao:
1
.
.

Para dizer que

uma consequncia de
{1,..., n}

PURO UFF

24

Dedutibilidade

Um argumento pode ser vlido(correto,

legtimo) ou no vlido (incorreto,
ilegtimo).
Dizemos ainda que um argumento no
vlido um sofisma.

PURO UFF

25

Dedutibilidade
Um argumento :
1
.
.

vlido se, e somente se

{1,..., n} |==
e, portanto, se e somente se
(1 ^...^ n)

PURO UFF
tautologia.

26

Dedutibilidade

Uma regra de inferncia um argumento

vlido utilizado em dedues.

PURO UFF

27

Exemplos de regras de inferncias

Adio (AD)

v v
Simplificao (Simp)

^ ^

PURO UFF

28

Exemplos de regras de inferncias

Conjuno (Conj)

^ ^
Absoro (Abs)

( ^ )
PURO UFF

29

Exemplos de regras de inferncias

Modus Ponens (MP)

Modus Tollens (MT)

PURO UFF

30

Exemplos de regras de inferncias

Silogismo Disjuntivo (SD)

Silogismo Hipottico (SH)

PURO UFF

31

Exemplos de regras de inferncias

Dilema Construtivo (DC)

v
v

PURO UFF

32

PURO UFF

33

Exemplo
{ P ^ Q, P V Q
S} |- P ^ S
1-P

^Q

Premissa

2-PVQ
S

Premissa

3-P

Simp 1

4-PVQ

Adio 3

5-S

MP 2,4

6-P

^S

Conj 3,5

Logo,
{ P ^ Q, P V R
S} |== P ^ S
PURO UFF

34

Dedutibilidade
Como as regras de inferncias so argumentos
vlidos, temos que:
se A |- ento A |==
Problema: Existe um conjunto de regras de
inferncia tal que:
se A |== ento |-
Observe que para toda tautologia ,
{} |==
Logo, alm das regras de inferncia, precisamos de
axiomas a partir dos quais as tautologias possam
ser deduzidas: os chamados Axiomas Lgicos
PURO UFF

35

Dedutibilidade
Em outras palavras, estamos procurando um
sistema dedutivo. Um sistema dedutivo dito ser
consistente se, e somente se
se A |- ento A |==
Um sistema dedutivo dito ser completo se, e
somente se
se A |- ento A |==
O problema se torna ento: Existe um sistema
dedutivo e completo para o clculo proposicional?

PURO UFF

36

Dedutibilidade
Existe um sistema dedutivo consistente e
completo :
Linguagem: Sentenas s com os
conectivos e V .
Esquema de axiomas:
(( v ) v )
( v ( v ))
(( v ) v (

v ) v ( v
PURO UFF

)))
37

Dedutibilidade
Regra de inferncia:
Modus Ponens (MP)

Seja um sistema dedutivo consistente e completo.

Ento um conjunto de sentenas A inconsistente
se, e somente se
A |- e A |-
para alguma sentena .
PURO UFF

38

Dedutibilidade

Problema grave: se A inconsistente, ento

A |- para qualquer .
Para mostrar que {a1, a2, ...an}
inconsistente:
Usar um sistema dedutivo, ou
Usando a tabela da verdade ou o mtodo da
refutao, provar que a1 ^ a2 ^ ... ^ an
uma contradio.
PURO UFF

39

Dedutibilidade
Outro mtodo para provar que A |==
demonstrao condicional, para provar que
{a1, a2, ...an} |==

basta mostrar que {a1, a2, ...an, } |-
Pois:
{a1, a2, ...an} |==
sss
1 ^ 2 ^ ... ^ n |==
sss
{} |== 1 ^ 2 ^ ... ^ n
(
)sss
{} |== 1 ^ 2 ^ ... ^ n ^ )
)sss

{a1, a2, ...an, } |==

PURO UFF

40

Dedutibilidade

Demonstrao indireta (ou por absurdo),

para provar que
{a1, a2, ...an} |== ,
basta provar que
{a1, a2, ...an } |- c,
onde c uma contradio.

PURO UFF

41

Dedutibilidade
Pois:
{a1, a2, ...an } |- c sss
1 ^ 2 ^ ... ^ n |==
c sss
... |== v c sss
... |== v c

PURO UFF

42

Exerccios
Representar as sentenas contidas usando
lgica proposicional:
Os seguros de vida, embora tenham crescido em
um percentual semelhante aos dos seguros de
sade, ainda tm um papel relativamente
pequeno no mercado.
Aparentemente, hbitos arraigados levam o
brasileiro a se preocupar menos com a sorte de
sua famlia, na falta de seu chefe, do que com o
automvel ou o padro de
vida aps a aposentadoria.
PURO UFF

43

Exerccios

Mostrar:
(P
Q) ^ P |== Q
P |== Q
P
(P
R) ^ (Q
R) |== (P v Q)
R

PURO UFF

44

Exerccios Extras
Utilize tabela verdade para demonstrar as seguintes
equivalncias (PARA CASA):
(
F) F
(F G) (
F G)
(F G) (
G F)
(F G) ((F G) (
F G))
(F G) ((
F G) (
G F))
(G G) G
((F G) H) (F (G H))
((F G) H) (F (G H))
(F (G H)) ((F G) (F H))
(F (G H)) ((F G) (F H))
(F G) (
F G)
(F G) (
F G)
PURO UFF

45

Exerccios Extras
Dadas as seguintes premissas:
1. Que o Antnio no vai Igreja e o Henrique no
vai Igreja falso.
2. Se a Alice no vai Igreja, ento o Henrique no
vai Igreja.
3. Se o Antnio vai Igreja ento o Henrique vai
Igreja
Prove que Alice vai Igreja.
PURO UFF

46

Exerccios Extras
Soluo:
A = Antonio vai Igreja
B = Henrique vai Igreja
C = Alice vai Igreja
1. (A B)
Premissa
2. C B
Premissa
3. A B
Premissa
4. B C
de 2
5. B C
de 4
6. A B
de 1
7. A B
de 6
8a.
9a.

A
B

Sil. Disj. 7
Sil. Disj. 7,8a

8b.
9b.

B
A

Sil. Disj. 7
Sil. Disj. 7,8b

10a.

MP 5,9a 

10b.

MP 3,9b  contradio

PURO UFF

47