Centro Federal de Educao Tecnolgica da Paraba Gerncia de Ensino Superior Curso Superior de Tecnologia em DSI

Clculo Proposicional
u O que a lgica?

Introduo Lgica
Clculo Proposicional lgebras de Boole
Frederico Costa Guedes Pereira Copyright 2003

"Lgica a anlise de mtodos de raciocnio" "Lgica: conhecimento das formas gerais e regras do pensamento correto e verdadeiro, independentemente dos contedos pensados; regras para demonstrao cientfica verdadeira; regras para pensamentos no cientficos; regras sobre o modo de expor o conhecimento; regras para verificao da verdade ou falsidade de um pensamento, etc."
Fred (c) 2003 L&A

Clculo Proposicional
u O que a lgica?

Clculo Proposicional
u O que a lgica proposicional?

Histria: Aristteles j estudava uma forma de "modelar" o raciocnio humano. Subdivises da lgica:

Fred (c) 2003

Subdiviso mais simples da lgica simblica Interessa-se por sentenas declarativas que podem ser verdadeiras (V) ou falsas (F), mas no ambas. Uma sentena declarativa chamada de proposio Possui uma linguagem declarativa (sintaxe) e uma interpretao ou significado para as expresses formadas com esta linguagem (semntica)

Proposicional Simblica de Predicados Nebulosa ou Fuzzy Material Matemtica etc.

L&A

Fred (c) 2003

L&A

Clculo Proposicional
u Exemplos de proposies:

Clculo Proposicional
u Exemplos de proposies mais complexas: A noite est chuvosa ou eu estou doente Todo Homem mortal e Scrates homem implica que Scrates mortal Todo tringulo equiltero issceles

A: "Todo homem mortal" B: "Fred o professor de lgica" C: "Papai Noel existe" D: "1 + 2 = 3" E: "A terra quadrada"
As proposies podem ser combinadas de vrias formas para produzir proposies mais complexas linguagem
Fred (c) 2003 L&A

A B A F G
A B
6

Fred (c) 2003

L&A

Clculo Proposicional
u Vamos

Clculo Proposicional
u Muito ricas:

definir uma linguagem formal para representar proposies mais complexas u Por que uma linguagem formal? u Problemas com as linguagens naturais (portugus):
Muito ricas no podem ser definidas formalmente Ambguas uma sentena pode ter +1 interpretao No concisas conceitos e declaraes geralmente necessitam de muitas palavras para serem definidos nestas linguagens
Fred (c) 2003 L&A

Sintaxe muito complexa e diversificada Grias, estrangeirismos, etc.

u Ambguas:

"A manga no est boa."

A fruta no est pronta para ser apreciada OU a parte da camisa no ficou adequada. u No concisas:

Descreva em portugus:
7
Fred (c) 2003 L&A

x2 - 1 x2 sen(x 3)
8

Sintaxe
u Definio: Alfabeto

Sintaxe
u Definio: Forma

sentencial

Conjunto de smbolos da linguagem da LP O alfabeto da lgica proposicional consiste de: (1) Conjunto de letras sentenciais: A,B,..,A1,A2 ,...,B1,B2,... (2) Conjunto de conectivos lgicos : , , , , (3) Smbolos de pontuao: (,) (4) Smbolos de verdade: V,F

Expresses da LP construdas a partir do alfabeto Uma forma sentencial tal que: (1) Qualquer letra sentencial uma forma sentencial. (2) Se A e B so formas sentenciais, ento (A), (A B), (A B), (A B), (A B) tambm so formas sentenciais. (3) Apenas expresses obtidas por meio de (1) e (2) acima so formas sentenciais.
9
Fred (c) 2003 L&A

Fred (c) 2003

L&A

10

Sintaxe
u Exemplos de Formas Sentenciais corretas:

Semntica
uA

((A V B) (C)) ((A B) (A (B A))) ((A B) V (A5 (B 1)))

u Exemplos de Formas Sentenciais incorretas:

interpretao de uma proposio qualquer tambm chamada de seu valor-verdade: u Exemplos:

A: "Papai Noel existe" B: "A terra redonda" C: "1 + 2 = 3" D: "Lgica difcil" I[A] = F I[B] = V I[C] = V I[D] = F

AB (A B) ( (B1))
Fred (c) 2003 L&A

11

Fred (c) 2003

L&A

12

Semntica
u A semntica d

Tabelas-verdade
significado a uma forma sentencial
u Tabela-verdade: forma como os valores-verdade

Apenas dois significados: verdadeiro (V) ou falso (F) Pode-se definir a semntica ou interpretao como uma funo I que tem como domnio as formas sentenciais da lgica e como contradomnio o conjunto {V,F}: I[A] {V,F}
u O valor-verdade de uma forma sentencial

de uma proposio composta so dispostos u Por definio, cada conectivo lgico (, , , , ) possui uma tabela verdade prpria:
Negao ( ):
A V F
13
Fred (c) 2003

determinado pelo valor verdade de suas partes

L&A

A F V
L&A

Fred (c) 2003

14

Tabelas-verdade
Conjuno ():
A V F V F B V V F F (A B) V F F F

Tabelas-verdade
Disjuno ():
A V F V F B V V F F (A B) V V V F

(A B) verdadeiro apenas quando A verdadeiro e B tambm verdadeiro

Fred (c) 2003 L&A

(A B) verdadeiro quando A ou B verdadeiro, ou ambos so verdadeiros

15
Fred (c) 2003 L&A

16

Tabelas-verdade
Condicional ou implicao ():
A V F V F B V V F F (A B) V V F V

Tabelas-verdade
u Outras formas de se ler o conectivo ()

A proposio (A B): "B se A" "B desde que A" "A uma condio suficiente para B" "B uma condio necessria para A"

Por definio: A B falso quando o antecedente verdadeiro e implica num conseqente falso
Fred (c) 2003 L&A

17

Fred (c) 2003

L&A

18

Tabelas-verdade
u Exemplo:

Tabelas-verdade
Bicondicional ou equivalncia ():
A V F V F B V V F F (A B) V F F V

"Se um tringulo eqiltero, ento ele issceles"

A: Um tringulo equiltero B: Um tringulo issceles (A B)

Para um tringulo ser issceles (B) suficiente que ele seja equiltero (A): A condio suficiente para B necessrio que um tringulo equiltero (A) seja issceles (B): B condio necessria para A
Fred (c) 2003 L&A

A condio necessria e suficiente para B, e vice-versa.

19 20

Fred (c) 2003

L&A

Tabelas-verdade
u Exerccio

Tabelas-verdade
u Formas sentenciais determinam funes

Traduza as seguintes sentenas compostas para formas sentenciais: Se Cristo homem e todo homem mortal ento Cristo mortal Ou Jos est aqui ou Maria no est, ou Joo est Ou o fogo foi produzido propositadamente ou ele foi produzido por combusto expontnea Ele vencer a menos que cometa uma falha
Fred (c) 2003 L&A

chamadas de funes-verdade u Os valores assumidos so dispostos numa tabelaverdade u A cada atribuio de valores s letras sentenciais de uma forma sentencial corresponde um valorverdade da forma sentencial

21

Fred (c) 2003

L&A

22

Tabelas-verdade
u Exemplo:

Omisso de parnteses
u Convenes adotadas:

Tabela verdade de (((A) B) C)

u Exerccios:

Escreva as tabelas verdade das seguintes formas sentenciais: (A B) ((A) (B)) ((A B) C) (A (B (C)))
Fred (c) 2003 L&A

omitido o par de parnteses mais externo: ((A B) C) o mesmo que (A B) C Precedncia: os conectivos so aplicados utilizando-se a seguinte ordem de precedncia: , , , , Formas sentenciais com um mesmo conectivo binrio utilizam a associao esquerda

23

Fred (c) 2003

L&A

24

Omisso de parnteses
u Exemplo:

Omisso de parnteses
u Exerccios

(((A (B)) C) B) ((A (B)) C) B (A (B)) C B A (B) C B A B C B

Retire os parnteses das expresses abaixo: ((A (B C)) ((P) (Q (R))) (((A B)) C) ((A B) ((C B) D))) ((((P Q) R) P) S) (A (B (C D)))
25
Fred (c) 2003 L&A

Fred (c) 2003

L&A

26

Tautologias e contradies
u Uma forma sentencial que

Tautologias e contradies
u Exemplos de tautologias:

sempre verdadeira recebe o nome de tautologia

A uma tautologia se e somente se a coluna sob A na tabela-verdade contm apenas V

u Uma forma sentencial que

nome de contradio

sempre falsa recebe o

(A A) (A B) A A A
u Exemplos de contradies:

A uma contradio se e somente se a coluna sob A na tabela-verdade contm apenas F

Fred (c) 2003 L&A

A A (A B) A (A A) (A A)
27
Fred (c) 2003 L&A

28

Tautologias e contradies
u Teorema

Tautologias e contradies
u Exemplo:

Se A e A B so tautologias, ento B tambm uma tautologia.

u Teorema

A B B A uma tautologia Trocando A por (A B) e B por A, temos: (A B) A A (A B) que tambm uma tautologia!

Se A uma tautologia contendo as letras sentenciais A1,A 2,...,An e B derivada de A atravs da substituio das letras sentenciais A1,A2,...,A n pelas formas sentenciais A1, A2,...,A n, respectivamente, ento B uma tautologia.
Fred (c) 2003 L&A

29

Fred (c) 2003

L&A

30

Tautologias e contradies
u possvel transformar uma forma sentencial que

Implicaes e equivalncias lgicas

u Se uma forma sentencial A

no tautologia em uma tautologia.

A B no tautologia, mas

substituindo-se A por A B, temos: (A B) B, que tautologia.

u Contradies no podem ser transformadas em

B uma tautologia, diz-se que A implica logicamente em B. u Se A B uma tautologia, diz-se que A e B so logicamente equivalentes. u Exemplos:
A B A tautologia, ent o A uma conseqncia lgica de A B A B e A B so logicamente equivalentes, pois (A B)(A B) uma tautologia.
31
Fred (c) 2003 L&A

tautologias

Fred (c) 2003

L&A

32

Implicaes e equivalncias lgicas

u Teorema

Implicaes e equivalncias lgicas

u Exemplo:

3 (da Substituio)

Se dentro de uma forma sentencial C, substitui-se uma ou mais ocorrncias de uma forma A por outra B, obtendo uma forma sentencial resultante C1, tem se que (A B) (C C1 ) uma tautologia. Em outras palavras, se A logicamente equivalente a B ento C tambm ser logicamente equivalente a C1 .
Fred (c) 2003 L&A

Seja C a forma sentencial A B C, Como A B (A) logicamente equivalente a B A (B), C logicamente equivalente a B A C.

Tanto faz usar A B C como B A C numa forma sentencial mais complexa.

33

Fred (c) 2003

L&A

34

Implicaes e equivalncias lgicas

u Leis do clculo proposicional: Lei da dupla nega o A e A Leis de idempotncia AAeA A A eA Leis de comutatividade A Be BA A Be BA
Fred (c) 2003 L&A

Implicaes e equivalncias lgicas

u Leis do clculo proposicional: Lei de associatividade A (B C) e (A B) C A (B C) e (A B) C Leis de De Morgan (A B) e A B (A B) e A B Leis distributivas A (B C) e A B A C A (B C) e (A B) (A C)
35
Fred (c) 2003 L&A

36

Implicaes e equivalncias lgicas

u Leis do clculo proposicional: Lei de absoro A (A B) e A A (A B) e A Leis de redundncia (A B) B e A B (A B) B e A B Leis contrapositivas A B e B A
Fred (c) 2003 L&A

Implicaes e equivalncias lgicas

u Leis do clculo proposicional: Lei de elimina o de condicionais A B e A B Lei de elimina o de bicondicionais A B e (A B) (A B) Se n representa uma tautologia e o uma contradio, ento
A A A A
37
Fred (c) 2003

n n o o

e e e e

A n o A
L&A

38

Implicaes e equivalncias lgicas

u Exemplo:

Bibliografia
u Oliveira, Ulysses. Lgica Aplicada Computao

Aplique o Teorema 3 e encontre uma forma sentencial C1 logicamente equivalentes forma C abaixo: (A B A) B Prove que elas so logicamente equivalentes construindo uma tabela-verdade para C C1

Notas-de-aula 5, 6 e 7. u Souza, Joo Nunes. Lgica para Cincia da Computao. Editora Campus. Caps.1, 2 e 3.

Fred (c) 2003

L&A

39

Fred (c) 2003

L&A

40