Professional Documents
Culture Documents
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)
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
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
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
L&A
10
Sintaxe
u Exemplos de Formas Sentenciais corretas:
Semntica
uA
AB (A B) ( (B1))
Fred (c) 2003 L&A
11
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
A F V
L&A
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
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
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
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
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
L&A
22
Tabelas-verdade
u Exemplo:
Omisso de parnteses
u Convenes adotadas:
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
L&A
24
Omisso de parnteses
u Exemplo:
Omisso de parnteses
u Exerccios
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
L&A
26
Tautologias e contradies
u Uma forma sentencial que
Tautologias e contradies
u Exemplos de tautologias:
nome de contradio
(A A) (A B) A A A
u Exemplos de contradies:
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:
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
L&A
30
Tautologias e contradies
u possvel transformar uma forma sentencial que
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
L&A
32
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.
33
L&A
34
36
n n o o
e e e e
A n o A
L&A
38
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.
L&A
39
L&A
40