LGICA PROPOSICIONAL

Prof. Cesar Tacla/UTFPR/Curitiba

Slides baseados no captulo 1 de

DA SILVA, F. S. C.; FINGER M. e de MELO A. C. V.. Lgica para Computao. Thomson
Pioneira Editora, 2006.
 Conceitos bsicos
PROPOSIO
Enunciado/sentena ao qual se pode atribuir um valor-verdade,
i.e. verdadeiro ou falso.
acreditar/desacreditar; concordar/discordar; afirmar/negar

Exemplos:
Chove em Curitiba agora.
Joo gosta de jogar futebol.
Tweety um pssaro.

Contraexemplos
Feche a porta! Sentena imperativa, no podemos dizer se F ou V
Que horas so? Sentena interrogativa, idem.
 Conceitos bsicos
Proposio: restries
Uma sentena se refere a uma s proposio
SEM AMBIGUIDADES DA LINGUAGEM NATURAL
Ex. todo homem ama uma mulher (todos amam a mesma
mulher?) ou
o homem viu a mulher com o binculo (que segura o binculo ou
por meio de um binculo?)

O contexto deve estar definido para atribuirmos valor-

verdade a uma proposio

No h proposies autorreferentes na lgica clssica

proposicional
Ex: esta sentena falsa // o que ocorre se ela for V?
 Conceitos bsicos
Construo de proposies complexas
Chove em Curitiba E uso guarda-chuva
Piu-piu um pssaro OU Piu-piu um mamfero
Se Piu-piu um pssaro ENTO Piu-piu tem asas
falso que Piu-piu um mamfero

E = conjuno
OU = disjuno
SE ENTO* = implicao
FALSO QUE = negao

*implicao no necessariamente uma relao causal

 LINGUAGEM PROPOSIONAL
SMBOLOS PROPOSICIONAIS E DE CONECTIVOS

Chove em Curitiba E uso guarda-chuva

pq

Tweety um pssaro OU Tweety um mamfero

rs

Se Tweety um pssaro ENTO Tweety tem asas

ru

falso que Tweety um mamfero E = = conjuno

u OU = = disjuno
SE-ENTO = = implicao
FALSO QUE = = negao
 Linguagem proposicional
LINGUAGEM
Alfabeto: smbolos da linguagem
Gramtica: para construir frmulas bem formadas
Semntica: significado das frmulas
 Linguagem Proposicional

Alfabeto composto por:

Um conjunto infinito e contvel de smbolos
proposicionais (ou tomos): P = {p, q, r, s , t, u, ...}
Conectivo unrio da negao:
Conectivos binrios:
Pontuao: ( )
 Linguagem proposicional
Prioridade dos operadores ou conectivos

NEG > E > OU > IMPLICAO

Exemplo

r p s q p ((((r) p) s) (q p))
 Linguagem Proposicional
SUBFRMULAS
Exemplos

p = {p}

p = {p, p}

p q = {p, q, p q}

p q r = {p, q, r, p, q, p q, p q r}
 Subfrmulas
CASOS
Bsico: A=p subf(A) = {p} para toda frmula atmica p A
A = B subf(A) = {B} subf(B)
A=B C subf(A) = {B C} subf(B) subf(C)
A=B C subf(A) = {B C} subf(B) subf(C)
A=BC subf(A) = {B C} subf(B) subf(C)
 EXPRESSO DE IDEIAS
Para computar com smbolos lgicos, temos que transformar fatos e
regras em proposies

Exemplos:
Pessoas podem ser crianas, adolescentes, adultas ou idosas
pqr s

Idosos so adultos:
st

Adultos e Empregados
tu

Crianas e adolescentes vo para escola

(p q) e
 SEMNTICA
Na lgica proposicional clssica consiste em atribuir
valores verdade s frmulas: verdadeiro ou falso.

V: P {0, 1} ou {F, V} ou {F, T} // 0 = FALSO

Em seguida, estende-se a valorao para todas as

frmulas da LP:
V: Llp {0, 1} ou {T, F} ou {V, F}
 SEMNTICA
V(A) = 1 sse V(A) = 0

V(AB) = 1 sse V(A) = 1 e V(B) = 1

V(AB) = 1 sse V(A) = 1 ou V(B) = 1

V(AB) = 1 sse V(A) = 0 ou V(B) = 1

Primeiro valora-se as subfrmulas e, ento, a frmula

 SEMNTICA
A B (A B) A B (A B)
0 0 0 0 0 0
0 1 0 0 1 1
1 0 0 1 0 1
1 1 1 1 1 1

A B (A B) A A
0 0 1 0 1
0 1 1 1 0
1 0 0
1 1 1
 SEMNTICA
Valorao de uma frmula complexa: inicia pela valorao das
subfrmulas mais internas

Exemplo:
(p q) r

Valorao dos tomos:

V(p) = 1 V(q) = 0 V(r) = 1

V((p)) = 0
V((q)) = 1
V((p q)) = 1
V((p q) r) = 1
 TABELAS-VERDADE
Mtodo exaustivo para verificar satisfazibilidade
das frmulas:
Construa uma tabela com uma coluna para cada
subfrmula de A, colocando os tomos nas colunas
mais a esquerda e a frmula A mais a direita (na
ltima coluna)
Para cada valorao possvel para os tomos de A,
inserir uma linha
Fazer a valorao para cada tomo e calcul-la para
cada subfrmula segundo as regras de valorao
 Consequncia Lgica
Para verificarmos se , basta verificar se
A B vlida.

Exerccio: com o mtodo dedutivo da tabela-

verdade verifique se

p q r p r
 Equivalncias notveis
Dupla Negao (DN) p p
Idempotente (IP) p p p ppp
Comutativa (COM) p q q p pqqp
Associativas (ASS) p (q r ) ( p q ) r p (q r ) ( p q ) r
Leis De Morgan (DM) (p q) p q (p q) p q
Leis Distributivas (DIS) p (q r ) (p q) (p r) p (q r ) (p q) (p r)
Contrapositiva da implicao
p q q p
ou da condicional (CP)
Reescrita da implicao ou
p q p q
condicional (COND)

Reescrita da Bicondicional (BI) p q (p q) (q p)

Identidade (ID) p 0 p p 0 0
p11 p1p
Complementares (COMPLE) p p 1 p p 0