Sunteți pe pagina 1din 15

13/03/2014

1
Lgica Formal
Marcela Svia Picano Pessoa
Agenda
Introduo;
Lgica Formal;
Conectivos e Valores Lgicos;
Tautologias;
Conectivos Lgicos no Mundo Real
Um algoritmo;
Exerccios
13/03/2014
2
Introduo
Cenrio: voc jri em um processo criminal
Defesa (advogado):
Se me meu cliente fosse culpado, a faca estaria na gaveta. Ou a
faca no estava na gaveta ou Florindo viu a faca. Se a faca no
estava l no dia 10 de outubro, segue que Florindo no viu a
faca. Alm disso, se a faca estava l no dia 10 de outubro, ento
a faca estava na gaveta e o martelo estava no celeiro. Mas
todos sabemos que o martelo no estava no celeiro. Portanto,
senhoras e senhores do jri, meu cliente inocente.
Pergunta: O argumento do advogado est correto? Como
voc deveria votar?
Introduo
Cenrio: voc jri em um processo criminal
Defesa (advogado):
Se me meu cliente fosse culpado, a faca estaria na gaveta. Ou a
faca no estava na gaveta ou Florindo viu a faca. Se a faca no
estava l no dia 10 de outubro, segue que Florindo no viu a
faca. Alm disso, se a faca estava l no dia 10 de outubro, ento
a faca estava na gaveta e o martelo estava no celeiro. Mas
todos sabemos que o martelo no estava no celeiro. Portanto,
senhoras e senhores do jri, meu cliente inocente.
Pergunta: O argumento do advogado est correto? Como
voc deveria votar?
Vocs conseguem responder
de forma automtica?
Muito texto parece confundir
ou tornar difcil?
Podemos reescrever o argumento com
notao da LGICA FORMAL
13/03/2014
3
LGICA FORMAL
Lgica Formal
Retira o palavrrio que causa
confuso;
Permite que concentremos na
argumentao subjacente;
Fornece as bases para o mtodo
de pensar organizado e
cuidadoso que caracteriza
qualquer atividade racional;
Investigao criminal, experincia
cientfica, estudo sociolgico.
Tem aplicaes diretas na
Cincia da Computao
13/03/2014
4
Lgica Formal
A lgica formal pode representar as afirmaes que
fazemos em linguagem natural;
Pode representar fatos ou transmitir informaes;
PROPOSIES (ou declarao): uma sentena
que falsa ou verdadeira.
PROPOSIES
13/03/2014
5
Proposies
Considere as seguintes sentenas:
Dez menor do que sete.
Como est voc?
Ela muito talentosa.
Existe vida em outros planetas do universo.
Quais so proposies???
Proposies
Considere as seguintes sentenas:
Dez menor do que sete.
Como est voc?
Ela muito talentosa.
Existe vida em outros planetas do universo.
Quais so proposies???
13/03/2014
6
Exerccios
Quais das frases a seguir so proposies?
A lua feita de queijos verde.
Ele , certamente, um homem alto.
Dois um nmero primo.
O jogo vai acabar logo?
Os juros vo subir ano que vem.
Os juros vo descer ano que vem.
X
2
4 = 0.
CONECTIVOS E VALORES LGICOS
13/03/2014
7
Conectivos e Valores Lgicos
Ao falar ou escrever utilizamos CONECTIVOS
Por exemplo, o conectivo E para combinar frases
O VALOR LGICO de uma proposio composta depende
dos valores lgicos de seus componentes e dos conectivos
usados;
A: Elefantes so grades
B: Bolas de futebol so redondas
Usando o conectivo E
A e B = Elefantes so grandes E bolas de futebol so redondas
Conectivos e Valores Lgicos
Ao falar ou escrever utilizamos CONECTIVOS
Por exemplo, o conectivo E para combinar frases
O VALOR LGICO de uma proposio composta depende dos
valores lgicos de seus componentes e dos conectivos usados;
A: Elefantes so grades
B: Bolas de futebol so redondas
Usando o conectivo E ( ^ )
A e B = Elefantes so grandes E bolas de futebol so redondas
Se A e B so proposies verdadeiras, a proposio A^B deve
ser consideradas verdadeira
A e B so conhecidas como
LETRAS DE PROPOSIES
13/03/2014
8
Treinando
Se A verdadeira e B falsa, que o valor lgico voc
atribuiria a A ^ B?
Se A falsa e B verdadeira, que valor lgico voc
atribuiria a A ^ B?
Se A e B so falsas, que valor lgico voc atribuiria a A ^
B?
Expresso Conectivo E (^)
A expresso A ^ B chamada CONJUNO de A e B;
A e B so ELEMENTOS ou FATORES dessa
expresso;
A B A ^ B
V V V
V F F
F V F
F F F
13/03/2014
9
Expresso Conectivo OU (v)
Conectivo OU, denotado por v;
A expresso A v B chamada DISJUNO de A e B;
A e B so ELEMENTOS ou FATORES dessa
disjuno;
A B A v B
V V V
V F V
F V V
F F F
Expresso Conectivo CONDICIONAL (ou
implica)
Proposies podem ser combinadas na forma:
Se proposio 1(A) , ento proposio 2 (B)
A proposio composta :
A B (A implica em B)
Conectivo condicional (ou implica) significa que a verdade
de A implica, ou leva, verdade de B;
No condicional A B, A a proposio ANTECEDENTE
e B a CONSEQUENTE
13/03/2014
10
Expresso Conectivo CONDICIONAL (ou
implica)
Suponhamos que um amigo observe que
Se eu passar no teste de economia, ento vou ao cinema
sexta-feira
Se seu amigo no passar no teste independente se ele vai ao
cinema ou no
No se pode afirmar que a observao falsa.
Por conveno A B considerada verdadeira se A for
falsa independente do valor lgico de B
A B A B
V V V
V F F
F V V
F F V
Expresso Conectivo BICONDICIONAL (ou
equivalncia)
A expressao A B uma abreviatura de
(A B) ^ (B A)
A tabela-verdade deve ser construda por parte
Todos os conectivos vistos so BINRIOS pois juntam
duas expresses atravs de um conectivo lgico
A B A B B A (A B) ^(B A)
V V V V V
V F F V F
F V V F F
F F V V V
13/03/2014
11
Conectivo Unrio NEGAO
A A
V F
F V
Expresses Comuns em portugus
associados a diversos conectivos lgicos
Expresso em portugus Conectivo
Lgico
Expresso
Lgica
E; mas; tambm; alm disso Conjuno A ^ B
ou Disjuno A v B
Se A, ento B.
A implica B.
A, logo B.
A s se B; A somente se B.
B segue de A.
A uma condio suficiente para B; basta A para B
B uma condio necessria para A
Condicional A B
A se e somente se B
A condio necessria e suficiente para B
Bicondicional A B
No A
falsa que A...
No verdade que A
Negao A
13/03/2014
12
Antecedente e Consequente
A declarao:
O fogo uma condio necessria para a fumaa
Pode ser dita:
Se houver fumaa, ento haver fogo
Antecedente:
H fumaa
Consequente:
H fogo
Exerccio
Escreva o antecedente e o consequente de cada uma das
preposies a seguir (sugesto: coloque na forma se/seno):
1. Se a chuva continuar, ento o rio vai transbordar;
2. Uma condio suficiente para a falha de uma rede eltrica que a
chave central desligue;
3. Os abacates s esto maduros quando esto escuros e macios;
4. Uma boa dieta uma condio necessria para um gato ser saudvel.
PAREI AQUI
13/03/2014
13
Cuidado
A negao de uma proposio deve ser feita com cuidado,
especialmente no caso de uma proposio composta
Proposio Negao Negao Incorreta
Vai chover
amanh
falso que v chover amanh.
No vai chover amanh
Pedro alto e
magro
falso que Pedro seja alto e
magro.
Pedro no alto ou no
magro.
Pedro baixo ou gordo.
Pedro baixo e gordo.
Essa uma proposio muito forte.
Pedro no tem ambas as propriedades
(Ser alto e ser magro) mas ainda pode
ter uma delas.
O rio raso
ou est
poludo
falso que o rio seja raso ou
esteja poludo.
O rio no raso nem est
poludo.
O rio fundo e no est
poludo.
O rio no raso ou no est poludo.
Essa uma proposio muito fraca.
O rio no tem nenhuma das duas
propriedades, no deixa de ter apenas
uma delas
Exerccio
Quais das proposies a seguir representa A ?
A = Jlia gosta de manteiga mas detesta creme
1. Jlia detesta manteiga e creme.
2. Jlia no gosta de manteiga nem de creme.
3. Jlia no gosta de manteiga mas adora creme.
4. Jlia odeia manteiga ou gosta de creme.
13/03/2014
14
Frmula bem formulada - fbf
Podemos encadear letras de proposies, conectivos e
parnteses (ou colchetes) para formar novas expresses,
como:
(A B) ^ (B A)
Como em linguagens de programao algumas regras de
sintaxe devem ser obedecidas, por exemplo:
A))^ ^ BC No vlida
Uma cadeia que forma uma expresso vlida
denominada uma frmula bem formulada ou fbf.
Frmula bem formulada Ordem de
precedncia
Para reduzir o nmero de parnteses necessrios em
uma fbf estipulada uma ordem de aplicao dos
conectivos lgicos:
1. Para conectivos dentro de vrios parnteses, efetua-se
primeiro as expresses dentro dos parnteses mais internos
2.
3. ^ , v
4.
5.
13/03/2014
15
Frmula bem formulada Ordem de
precedncia
A expresso
A v B
Significa
A v (B)
E no
(A v B)
Em uma fbf com diversos conectivos, o ltimo a ser
aplicado o CONECTIVO PRINCIPAL.
Em A ^ (B C) o conectivo principal o ^
Exerccio
Faa a tabela verdade para a fbf
A v B (A v B)