Escolar Documentos
Profissional Documentos
Cultura Documentos
Apostila Da Disciplina de Lógica para Computação
Apostila Da Disciplina de Lógica para Computação
Unidade de Guaba
Curso de Engenharia em Sistemas Digitais
Apostila da Disciplina de
UERGS
Apostila 1
Sumrio
CAPTULO 1
1.1.
1.2.
1.3.
1.4.
1.5.
1.6.
1.7.
CAPTULO 2
2.1.
2.2.
2.3.
2.4.
2.5.
2.6.
LGICA PROPOSICIONAL.................................................................................1
CAPTULO 3
3.1.
SENTENAS ABERTAS COM UMA VARIVEL ............................................................................16
3.2.
CONJUNTO-VERDADE DE UMA SENTENA ABERTA .................................................................18
3.3.
SENTENAS COM N VARIVEIS E SEU CONJUNTO-VERDADE ....................................................19
3.4.
CONJUNO SOBRE SENTENAS ABERTAS ().........................................................................20
3.5.
DISJUNO SOBRE SENTENAS ABERTAS () ..........................................................................22
3.6.
NEGAO DE UMA SENTENA ABERTA (~) ..............................................................................24
3.7.
DEMAIS OPERADORES ..............................................................................................................26
3.7.1. O Operador Condicional () ............................................................................................27
3.7.2. O Operador Bicondicional () .........................................................................................27
3.8.
EQUIVALNCIAS TAUTOLGICAS .............................................................................................28
3.9.
EXERCCIOS SOBRE SENTENAS ABERTAS ...............................................................................28
CAPTULO 4
4.1.
4.2.
4.3.
4.4.
4.5.
4.6.
4.7.
4.8.
4.9.
CAPTULO 5
5.1.
5.2.
5.3.
5.4.
5.5.
5.6.
5.7.
5.8.
5.9.
QUANTIFICADORES ..........................................................................................30
A LGICA DE PREDICADOS............................................................................40
APNDICES.............................................................................................................................................51
APNDICE A - TABELAS VERDADE DOS OPERADORES LGICOS ............................................................51
APNDICE B - PROPRIEDADES DAS OPERAES .....................................................................................51
APNDICE C - REGRAS DE DEDUO DE EQUIVALNCIA E INFERNCIA ................................................52
ii
UERGS
Apostila 1
iii
UERGS
Apostila 1
Lista de Figuras
Figura 1 - Interseco de Conjuntos como Conjuno Lgica....................................... 21
Figura 2 - Um Exemplo de Interseco como Conjuno.............................................. 22
Figura 3 - Unio de Conjuntos como Disjuno Lgica ................................................ 23
Figura 4 - Um Exemplo de Unio como Disjuno ....................................................... 23
Figura 5 - Complementao de Conjuntos e Negao Lgica ....................................... 25
Figura 6 - Um Exemplo de Negao como Complementao ....................................... 25
Figura 7 - Quantificao Universal, Domnio e Conjunto Verdade ............................... 31
Figura 8 - Quantificao Existencial, Domnio e Conjunto Vazio................................. 33
Lista de Tabelas
Tabela 1 - Equivalncias da Disjuno () e da Conjuno ()....................................... 5
Tabela 2 - Equivalncias dos Demais Operadores ........................................................... 6
Tabela 3 - Regras de Equivalncia ................................................................................. 10
Tabela 4 - Regras de Inferncia...................................................................................... 10
Tabela 5 - Regras de Inferncia da Lgica de Predicados.............................................. 45
Tabela 6 - Tabelas-verdade das operaes lgicas binrias ........................................... 51
Tabela 7 - Tabela-verdade da operao lgica unria de negao: ................................ 51
Tabela 8 - Equivalncias da Disjuno () e da Conjuno ()..................................... 51
Tabela 9 - Equivalncias dos Demais Operadores ......................................................... 51
Tabela 10 - Regras de Equivalncia ............................................................................... 52
Tabela 11 - Regras de Inferncia.................................................................................... 52
Tabela 12 - Regras de Inferncia da Lgica de Predicados............................................ 53
iv
Captulo 1
Lgica Proposicional
Exerccio:
(1.2) Construa a tabela-verdade do operador .
Negao de uma Proposio
O smbolo ~ ou (apstrofo) ser usado para representar a negao, isto , se A
verdadeiro ento ~A ou A falso e vice-versa. Ou seja ~A a negao lgica de A.
Exerccio:
(1.3) Construa a tabela da negao lgica
A ltima linha da tabela acima define a regra: para n smbolos proposicionais simples
devem existir 2n linhas na tabela para representar as 2n combinaes de valores
verdade possveis.
Exemplo:
O operador de disjuno aplicado sobre duas proposies A B. A tabela-verdade
deste operador, usando V para indicar verdadeiro e F para indicar falso (que deveria ter
sido construda no exerccio 1.1.), igual a:
A
V
V
F
F
AB
V
V
V
F
B
V
F
V
F
AB
0
1
1
1
B
0
1
0
1
Note que quando se usa 0 e 1 a disposio dos valores verdadeiros e falsos muda. No
caso de se usar V e F geralmente se comea com a linha superior toda em V e as demais
linhas vo aos poucos sendo preenchidas com F at que na linha inferior todos os
valores so F. No caso de se usar 0 e 1 a disposio exatamente contrria. O reflexo
destas diferentes disposies aparece claramente na ltima coluna.
Exerccio:
(1.6) Agora construa tabelas-verdade para as seguintes frmulas:
(a) (AB) (BA)
(b) (A ~A) (B ~B)
4
1.5. Tautologias
Uma tautologia uma frmula que assume apenas o valor V, ou seja, que sempre
verdadeira. Uma tautologia intrinsecamente verdadeira pela sua prpria estrutura;
ela verdadeira independente de qualquer valor lgico atribudo as suas letras de
proposio.
Uma contradio o oposto de uma tautologia, ou seja, uma frmula que assume
apenas o valor F independente de qualquer combinao de valores verdade atribuda s
proposies lgicas simples que entram em sua composio.
No caso da lgica proposicional para demonstrar que uma frmula uma tautologia ou
uma contradio basta construir sua tabela-verdade.
O exerccio (1.6.d) (AB) (~B ~A) apresentado acimada um exemplo de
tautologia (basta conferir sua tabela-verdade).
(1.7) Descobrir quais das seguintes frmulas so tautologias, contradies ou frmulas
contingentes (frmulas simples que no so tautologias ou contradies).
(a) A B B A
(b) (A B) C A (B C)
(c) ~(A B) ~A ~B
(d) (A B) B ~((B A) A)
Disjuno ()
ABBA
Conjuno ()
ABBA
5
(A B) C A (B C)
A (BC) (AB) (AC)
A0A
A ~A 1
AAA
Associativa
Distributiva
Elemento Neutro
Complemento
Idempotncia
(A B) C A (B C)
A (BC) (AB) (AC)
A1A
A ~A 0
AAA
~(~A) A
(AB) ~A B
(AB) (~B ~A)
A(BC) (A B) C
Exerccio:
(1.8) Demonstrar, pelo uso da tabela-verdade, as equivalncias tautolgicas acima (no
precisa repetir as demonstraes para a equivalncia comutativa, associativa e
contraposio).
Leis de De Morgan
As equivalncias vistas anteriormente permitem efetuar vrios tipos de manipulaes ou
alteraes numa frmula sem que ela altere seu significado. Alm destas frmulas,
entretanto, seria interessante que houvesse maneiras de se converter proposies
conectadas pelo operador em proposies conectadas por . Estas equivalncias so
denominadas Leis de De Morgan em homenagem ao matemtico ingls do sc. XIX
Augustus De Morgan, que foi o primeiro a enunci-las.
DeMorgan:
Negao da Disjuno
~(A B) ~A ~B
Negao da Conjuno
~(A B) ~A ~B
C Acar doce.
Escreva as proposies a seguir em notao simblica:
(a) Rosas so vermelhas e violetas so azuis.
(b) Rosas so vermelhas, e ou bem violetas so azuis ou bem acar doce.
(c) Sempre que violetas so azuis, rosas so vermelhas e acar doce.
(d) Rosas so vermelhas apenas se violetas no forem azuis e se acar for
amargo.
(e) Rosas so vermelhas e, se acar for amargo, ento ou violetas no so azuis
ou acar doce.
(1.11) Considerando A, B e C com o mesmo significado visto acima, transcreva para o
portugus as seguintes frmulas:
(a) B ~C
(b) ~B (A C)
(c) (C ~A) B
(d) C (~A B)
(e) ~(B ~C) A
(1.12) Toda proposio composta equivalente a uma que use apenas os conetivos de
conjuno e negao. Para verificar isto necessrio encontrar frmulas equivalentes a
A B e A B usando apenas e ~. Estas frmulas poderiam substituir,
respectivamente, qualquer ocorrncia de A B e A B sem alterar o significado da
frmula original (no necessrio encontrar frmula equivalente para A B porque a
bi-implicao j foi definida em termos da implicao material). Agora encontre as
frmulas equivalentes a:
(a) A B
(b) A B
(1.13) O nmero de linhas numa tabela-verdade de uma frmula depende do nmero de
proposies simples (A, B, C, ...) que entram nesta frmula. Responda:
(a) A tabela-verdade de uma frmula com 10 proposies simples tm quantas
linhas?
(b) A tabela-verdade de uma frmula com 20 proposies simples tm quantas
linhas?
(1.14) Voc est viajando por um pas onde todo habitante ou fala sempre a verdade ou
um mentiroso que sempre mente. Voc encontra dois habitantes deste pas, Percival e
Levelim. Percival lhe diz Pelo menos um de ns mentiroso. Agora responda:
Percival mentiroso ou est dizendo a verdade? E Levelim? Explique sua resposta.
Captulo 2
Deduo na Lgica Proposicional
As definies vistas at agora nos permitiram criar uma linguagem formal para a Lgica
Proposicional tambm nos permitiram ver como se pode descobrir o valor-verdade de
expresses nestas linguagens atravs de tabelas-verdade. Porm isso no tudo que uma
linguagem lgica pode nos fornecer. Ainda necessrio definir como sero feitos
raciocnios ou argumentaes nesta linguagem. A lgica formal lida com um tipo
particular de argumento, denominado de argumento dedutivo, que nos permite deduzir
uma concluso Q, com base num conjunto de proposies P1 a Pn, onde Q e P1 a Pn
representam frmulas inteiras bem-formadas da lgica proposicional (e no apenas
proposies simples).
2.2. Demonstraes
Para testar se P1 P2 P3 ... Pn Q uma tautologia poderamos simplesmente
construir uma tabela-verdade. Porm, em vez disso, vamos usar um processo baseado na
aplicao de regras de deduo (ou regras de inferncia) que modificam frmulas de
modo a preservar seu valor lgico.
A idia bsica comear com as premissas P1, P2, ... Pn (supostamente verdadeiras) e
tentar aplicar regras de deduo at terminar com a concluso Q. Esta concluso teria
que ser, ento, verdadeira uma vez que que os valores lgicos so preservados sob as
regras de inferncia.
A sequncia de frmulas obtidas por este processo denominada de sequncia de
demonstrao ou apenas de demonstrao formal da concluso em funo de suas
premissas.
Dessa forma uma demonstrao formal da lgica proposicional teria a seguinte
estrutura:
P1
P2
...
Pn
F1
F2
...
Fm
Q
(hiptese 1)
(hiptese 2)
(hiptese n)
(frmula obtida aplicando-se uma regra de deduo sobre as frmulas anteriores)
(frmula obtida aplicando-se uma regra de deduo sobre as frmulas anteriores)
(frmula obtida aplicando-se uma regra de deduo sobre as frmulas anteriores)
(frmula obtida aplicando-se uma regra de deduo sobre as frmulas anteriores)
Equivale a
QP
QP
P (Q R)
P (Q R)
~P ~Q
~P ~Q
~P Q
~(~P)
~Q ~P
PP
P
(P Q) (P R)
(P Q) (P R)
As regras que so baseadas em implicaes que j se tenha demonstrado (por tabelaverdade p.ex.) serem tautolgicas, sero denominadas de Regras de Inferncia. A
tabela a seguir apresenta as principais regras de inferncia:
Tabela 4 - Regras de Inferncia
De
P, P Q
P Q, ~Q
P, Q
PQ
P
P Q, Q R
P Q, ~P
(P Q) R
P, ~P
Pode-se deduzir
Q
~P
PQ
P, Q
PQ
PR
Q
P (Q R)
Q
10
Importante:
Isto implica que uma regra de equivalncia pode ser aplicada tanto na construo de
seqncia de demonstrao formal de um argumento, quanto na prpria modificao
de um argumento, isto , como as frmulas de uma regra de equivalncia so
intercambiveis pode-se substituir uma subfrmula de um argumento por outra
equivalente sem alterar a validade lgica do mesmo.
Isto implica que no se pode usar este tipo de regra para alterar o argumento
original, apenas se pode utiliz-la na construo de uma sequncia de demonstrao.
Exemplos:
Supondo que A (B C) e A so duas hipteses de um argumento ento a seguinte
demonstrao vlida:
1.
2.
3.
A (B C)
A
BC
hip
hip
1, 2, mp
As frmulas das 2 primeiras linhas so inseridas por conta das hipteses, enquanto que
a frmula da linha 3 derivada das frmulas das linhas 1 e 2 pela regra modus ponens.
Usando a lgica proposicional provar que o argumento:
A (B C) ((A B) (D ~C)) B D
Primeiro as hipteses do argumento:
1.
2.
3.
4.
A
BC
(A B) (D ~C)
B
hip
hip
hip
hip
C
AB
D ~C
2, 4, mp
1, 4, conj
3, 6, mp
Pelo menos D j aparece numa expresso um pouco menos complexa. Observe que j
conseguimos isolar C, se tivessemos C D ento j poderiamos isolar D por modus
11
~C D
CD
7, com
8, cond
E agora, portanto:
10.
5, 9, mp
Dicas de Deduo
1. A regra de modus ponens provavelmente a regra de inferncia mais intuitiva.Tente
us-la muitas vezes.
2. Frmulas na forma ~(P Q) ou ~(P Q) dificilmente so teis numa sequncia de
demonstrao. Tente usar as leis de DeMorgan para convert-las, respectivamente,
em ~P ~Q ou ~P ~Q, separando os componentes individuais de cada frmula.
3. Frmulas na forma P Q dificilment so teis numa sequncia de demonstrao, j
que no implicam p nem Q. Tente usar a dupla negao para converter P Q em
~(~P) Q e depoiso usar a regra do condicional para obter ~P Q.
A (A B)
A
AB
hip
hip-md
1, 2, mp
12
4.
2, 3, mp
Provar que:
(~A B) (B C) (A C)
possvel demonstrar a validade deste argumento sem usar a Regra do Silogismo
Hipottico (sh), essencialmente demonstrando a prpria vlidade do silogismo
hipottico como parte da demonstrao (usando, entretanto, uma pequena ajuda da regra
do mtodo dedutivo):
1.
2.
3.
4.
5.
6.
~A B
BC
AB
A
B
C
hip
hip
1, cond
hip-md
3, 4, mp
2, 5, mp
~A B
BC
AB
AC
hip
hip
1, cond
2, 3, sh
JM
I ~M
J
~M I
hip
hip
hip
2, com
13
5.
6.
7.
MI
JI
I
4, cond
1, 5, sh
3, 6, mp
A (B C)
~B
~C
~B ~C
~(B C)
~A
~A
B
B (A C)
AC
~(~A) C
~A C
C
(2.3) Demonstre a validade dos seguintes argumentos formais (prove por deduo):
(a)
~A (B A) ~B
(b)
(A B) (A (B C)) (A C)
(c)
((C D) C) ((C D) D)
(d)
~A (A B) B
(e)
(A (B C)) (A ~D) B (D C)
(f)
(A B) (B (C D)) (A (B C)) (A D)
(g)
(A B) ~(A ~B)
Use a lgica proposicional para demonstrar a validade dos seguintes argumentos
verbais:
(2.4) Se segurana um problema, ento o controle da informao deve ser
aumentado. Se segurana no um problema, ento os negcios via Internet devem
aumentar. Portanto, se o controle da informao no for aumentado, os negcios na
Internet crescero. (sugesto: use S, C e N como smbolos proposicionais).
(2.5) Se o programa eficiente, executa rapidamente: ou o programa eficiente ou tem
algum bug. (sugesto: use E,R e B como smbolos proposicionais).
14
15
Captulo 3
A Lgica das Sentenas Abertas
16
(e) x2 - 5x + 6 = 0
(f) x divisor de 10
para os xN.
19
Exerccio:
(3.1) Determinar o conjunto-verdade em N (conjunto dos nmeros naturais) de cada
uma das sentenas abertas a seguir:
(a) 2x = 6
(c) x2 - 5x + 6 = 0
(e) x2 - 5x = 0
(b) x-1<4
(d) x2 - x + 2 = 0
(f) x - 5 N
Todas as pessoas
Todos os
mdicos
Todos os
professores
Todos os mdicos
e professores
21
VP
VP VQ
VQ
Q(x) = x2 - 4 = 0
Tem-se que:
VPQ = {xZ | P(x)} {xA | Q(x)}
= {xZ | x2 + x -2 = 0} {xA | x2 - 4 = 0}
= {-2, 1} {-2, 2}
= {-2}
22
que somente pode ser verdadeira (satisfeita) para as pessoas (os x) que so mdicas ou
pelas pessoas que so professoras ou pelas pessoas que tem ambas profisses (somente
no podem ser satisfeita pelas pessoas que no so nem mdicas nem professoras).
Da mesma forma que no caso da conjuno tambm seria teoricamente possvel montar
uma tabela listando todas as pessoas e verificando quem mdico e quem professor e,
portanto, descobrindo quem atende a uma das condies ou a ambas. Porm, por
generalidade, vamos partir direto para a interpretao grfica em termos da Teoria
Elementar dos Conjuntos, ou seja, vamos ver o diagrama de Venn que se aplica:
Todas as pessoas
Todos os
mdicos
Todos os
professores
Todas as pessoas que
so mdicos ou
professores ou ambos
VP
VQ
VP VQ
Q(x) = x2 - 4 = 0
Tem-se que:
VPQ = {xZ | P(x)} {xA | Q(x)}
= {xZ | x2 + x -2 = 0} {xA | x2 - 4 = 0}
= {-2, 1} {-2, 2}
= {-2, 1, 2}
Exerccio:
(3.2) Determinar o conjunto-verdade em A={1, 2, 3, ..., 9, 10} de cada uma das
seguintes sentenas abertas compostas:
(a) x < 7 x impar
(c) 3 | x x < 8
24
Todas as pessoas
Todos as pessoas
com menos de 21
anos
A
VP
A - VP
A - B = {xA | xB}
Uma formulao alternativa para a negao, pode ser dada considerando-se que o
conjunto-verdade de P(x) um subconjunto de A, isto , que VP A. Neste caso, a
negao de uma sentena pode ser interpretada como a complementao em A do
conjunto-verdade VP. Formalmente fica:
V~P = CA VP = CA {xA | P(x)}
onde a complementao em A de de um conjunto B A dada pe subtrao de B de A:
CA B = A - B
Exemplo:
Seja a seguinte sentena aberta em A={1, 2, 3, ..., 10}:
P(x) = x2 A
cujo conjunto-verdade VP :
VP = {1, 2, 3}
Sua negao fica:
~P(x) = ~( x2 A)
O conjunto-verdade desta expresso dado por:
V~P
= A - V~P
= {1, 2, 3, ..., 10} - {1, 2, 3}
= {4, 5, ..., 10}
Outra abordagem, mais simples e tambm mais genrica, assumir que as regras de
equivalncia da lgica proposicional tambm valem para as sentenas abertas
compostas. Neste caso pode-se usar as equivalncias para o condicional e
bicondicional para definir a semntica (o significado) destes operadores.
26
Q(x) = x | 45
P(x) = x | 6
Q(x) = x | 15
(a) x2 - 3x = 0 x2 = x
(c) x primo (x+5) A
(3.7) Sejam P(x), Q(x) e R(x) sentenas abertas em A. Exprimir o conjunto-verdade das
seguintes sentenas compostas em termos dos conjuntos-verdade de P(x), Q(x) e R(x):
(a) P(x) ( Q(x) ~R(x))
(b) ~(P(x) Q(x))
(c) ~P(x) ~Q(x)
(d) P(x) (~R(x) Q(x))
(e) (P(x) Q(x)) (Q(x) P(x))
29
Captulo 4 - Quantificadores
Captulo 4
Quantificadores
Todas estas oraes exprimem afirmaes que so verdadeiras para vrios elementos
do domnio e no apenas sobre um elemento. No caso da lgica de predicados somente
so considerados dois tipos de afirmaes sobre vrios elementos de um domnio:
Ele deve ser aplicado sobre uma sentena aberta P(x) definida para um conjunto A.
Agora vamos supor que VP seja o conjunto-verdade de P(x). Dessa forma quando VP for
igual a A (isto VP=A) ento todos os elementos de A iro satisfazer P(x), ou seja, para
todos os elementos de A, P(x) deve ser verdadeira. Isto pode ser expresso um pouco
mais formalmente como:
30
Captulo 4 - Quantificadores
VP
A
(xA) (P(x))
A = VP
Figura 7 - Quantificao Universal, Domnio e Conjunto Verdade
importante salientar que enquanto P(x) uma sentena aberta, a sentena quantificada
(xA) (P(x)) no mais uma sentena aberta. A quantificao fecha uma
sentena aberta, transformando-a numa proposio simples que pode ser verdadeira ou
falsa no domnio A, dependendo do conjunto-verdade VP ser ou no igual ao domnio
A.
Em outras palavras, dada uma sentena aberta P(x) num domno, o operador
representa uma operao lgica que tranforma a sentena aberta P(x) numa proposio
31
Captulo 4 - Quantificadores
Ele deve ser aplicado sobre uma sentena aberta P(x) definida para um conjunto A.
Agora vamos supor que VP seja o conjunto-verdade de P(x). Dessa forma quando VP
no for igual ao conjunto vazio (isto VP) ento com certeza existe algum
elemento de A que ir satisfazer P(x), ou seja, para algum elemento de A, P(x) deve ser
verdadeira. Isto pode ser expresso um pouco mais formalmente como:
Para algum xA, P(x) verdadeira, ou ainda
Existe pelo menos um xA, no qual P(x) verdadeira
Estas afirmaes semi-formais, so completamente simbolizadas por:
(xA) (P(x))
que, as vezes simplificado para:
(x) (P(x))
32
Captulo 4 - Quantificadores
A
VP
VP
Figura 8 - Quantificao Existencial, Domnio e Conjunto Vazio
Da mesma forma que no caso do quantificador universal, tambm no caso do
quantificados existencial tem-se que, embora P(x) seja uma sentena aberta, a sentena
quantificada (xA) (P(x)) no mais uma sentena aberta. A quantificao fecha
uma sentena aberta, transformando-a numa proposio simples que pode ser verdadeira
ou falsa no domnio A, dependendendo de VP ser ou no vazio.
Em outras palavras, dada uma sentena aberta P(x) num domno, o operador
representa uma operao lgica que tranforma a sentena aberta P(x) numa proposio
que verdadeira ou no dependendo de P(x) ser ou no uma condio possvel sobre o
domnio.
Em particular, quando o nmero de elementos do domnio A finito, com
A={a1,a2,...,an},
ento bvio que a proposio (xA) (P(x)) equivalente
disjuno das n proposies P(a1), P(a2), ..., P(an):
(xA) (P(x)) P(a1) P(a2) ... P(an)
Exemplos:
Afirmaes existenciais vlidas (verdadeiras):
(xH) (x pai), para H o conjunto de seres humanos.
(xN) (x+2 > 2x), para N o conjunto dos nmeros naturais
33
Captulo 4 - Quantificadores
34
Captulo 4 - Quantificadores
35
Captulo 4 - Quantificadores
(ii)
Da mesma forma negar a frmula (x)(P(x)) equivale a afirmar que para todos
os xA, a sentena P(x) deve ser falsa, ou ento que a sentena ~P(x) deve ser
verdadeira, o que nos leva a seguinte equivalncia:
~ (xA) (P(x)) (xA) ~ (P(x))
36
Captulo 4 - Quantificadores
Alm disso pela regra da negao dos quantificadores, o argumento acima pode ser
transformado em:
(xA) ~ (Q(x)) (xA)(P(x))
O que nos deixa com a necessidade de demonstrar a afirmao (xA) ~ (Q(x)) que
uma afirmao existencial. Na verdade basta achar um elemento que faa Q(x) se tornar
falsa, e portanto tornar ~Q(x) verdadeira, para garantir a veracidade da expresso
(xA) ~ (Q(x)).
Este elemento passa a ser, ento, o contra-exemplo da afirmao (xA)(Q(x)), ou
seja, o exemplo contrrio que faz (xA)(Q(x)) ficar falsa e, portanto, faz
~(xA)(Q(x)) ficar verdadeira.
Captulo 4 - Quantificadores
Para R o conjunto dos nmero reais e para |x| a funo mdulo de x, que calculada
como:
|x| = x, se x 0
|x| = -x, se x < 0
(4.2) Sendo A = {2, 3, ..., 8, 9} dar um contra-exemplo para as afirmaes:
(a) (xA) (x + 5 < 12)
(c) (xA) (x2 > 1)
(e) (xA) (0x = 0)
j = Joo
38
Captulo 4 - Quantificadores
V(x) = x vistoso
c = Ctia
H(x) = x um homem
M(x) = x uma mulher
B(x) = x bonita
d verses para o Portugus para as frmulas apresentadas abaixo:
(a) V(j) A(c,j)
(b) (x) (H(x) V(x))
(c) (x) (M(x) (y)(A(x,y) (H(y) V(y)) ) )
(d) (x) (H(x) V(x) A(x,c))
(e) (x) (M(x) B(x) (y)(A(x,y) (V(y) H(y)) ) )
(f) (x) (M(x) B(x) A(j,x) )
39
Captulo 5
A Lgica de Predicados
Todos os elementos que vimos at agora nos permitem construir uma nova linguagem
lgica bastante distinta dquela que foi vista anteriormente, isto , bastante distinta da
Lgica das Proposies ou Lgica Proposicional.
O que ns vimos at agora foram os elementos que nos permitem construir uma Lgica
sobre Predicados (ou uma Lgica sobre Sentenas Abertas, o que a mesma coisa, j
que estas sentenas so equivalentes aos predicados). Esta Lgica de Predicados
tambm denominada de Lgica de Primeira Ordem, porque permite falar sobre as
propriedades dos elementos pertencentes a um determinado domnio (ou conjunto). A
Lgica Proposicional seria uma lgica de ordem zero porque no permitiria falar
sobre elementos ou entidades, mas somente sobre frases fechadas (as proposies) que
podem ser verdadeiras ou no. Por outro lado, seriam possveis, embora no as
estudaremos, lgicas de ordens mais altas, que seriam lgicas que poderiam falar sobre
os domnios (os conjuntos) em si, e sobre conjuntos de conjuntos, etc.
40
A estrutura ser formada pelo domnio composto de todos os mveis de nossa sala
de aula na UERGS, enquanto que as propriedades consideradas sero x preto, x
feito de ouro e x de propriedade da UERGS.
Agora vamos definir algumas interpretaes possveis para esta frmula, listadas na
tabela abaixo:
Interpretao Estrutura
1
P(x)
(
x) (P(x))
x primo
F
x+1 > x
V
x<0
F
x preto
F
x feito de ouro
F
x de propriedade da UERGS
V
(x)(P(x)) (x)(P(x))
se comporta para as mesmas estruturas e interpretaes:
Interpretao Estrutura
1
P(x)
(
x)(P(x)) (
x)(P(x))
x primo
V
x+1 > x
V
x<0
V
x preto
V
x feito de ouro
V
x de propriedade
V
da UERGS
qualquer uma delas. Na verdade, para qualquer x que escolhamos de qualquer estrutura
ou interpretao se P(x) F para este x, ento a frmula se reduz a (x)(FF) que
verdadeiro, da mesma forma se P(x) for V para algum outro x, ento temos (x)(VV)
que tambm verdadeiro pela definio do condicional. Ou seja est frmula, apesar de
no ter equivalente em termos de frmulas da Lgica Proposicional tambm vlida.
O problema pode ser ainda pior, porque pode acontecer de termos uma frmula da
Lgica de Predicados que casa com uma frmula da Lgica Proposicional, sendo que
est ltima no uma tautologia, enquanto que a frmula da Lgica de Predicados
vlida ( sempre verdadeira) Por exemplo, a frmula:
(x) (P(x)) P(a)
onde a um elemento particular de qualquer domnio que escolhamos, claramente se
encaixa com a frmula:
PQ
da Lgica Proposicional, que obviamente no uma tautologia.
Entretanto, o problema aqui que a frmula:
(x) (P(x)) P(a)
uma frmula vlida na Lgica de Predicados. Vamos ver porque: se (x) (P(x))
verdadeiro em alguma interpretao e estrutura, ento para qualquer elemento x que
escolhamos do domnio, P(x) ser verdadeira, portanto tambm ser verdadeira para um
elemento a arbitrrio deste domnio e, logo, P(a) tambm ser verdadeiro, sendo a
expresso reduzida a, VV que verdadeiro. Por outro lado se (x) (P(x)) falso em
alguma interpretao e estrutura, ento no precisamos nos preocupara com P(a),
porque tanto FV quanto FF, resultam verdadeiro.
Exerccio:
(5.1) Em cada uma das frmulas a seguir encontre uma interpretao onde a frmula
verdadeira e uma outra onde a frmula falsa:
(a) (x) ( (A(x) B(x)) ~(A(x) B(x)) )
(b) (x) (y) (P(x,y) P(y,x))
(c) (x) (P(x) (y)(Q(x,y)))
(d) (x) (A(x) (y)(B(x,y)))
(e) ( (x)(A(x)) (x)(B(x)) ) (x)(A(x) B(x))
Se Deduz
P(t)
Nome da Regra
Particularizao
Universal (pu)
Particularizao
Existencial (pe)
P(x)
(x)(P(x))
Generalizao
Universal (gu)
P(t)
Restries de Uso
Se o novo termo t que substituir a varivel
x em P(x) tambm for uma varivel, ento
esta nova varivel deve ser livre dentro da
frmula P(x) original.
O novo termo t que substituir a varivel x
em P(x), quer seja varivel ou constante,
no deve ter sido usado anteriormente na
demonstrao.
A frmula P(x) no pode ter sido deduzida
de nenhuma hiptese onde x uma varivel
livre.
A frmula P(x) tambm no pode ter sido
deduzida por Particularizao Existencial
(pe) de uma frmula onde x uma varivel
livre.
Se o termo t da frmula original P(t) for um
smbolo de uma constante do domnio,
ento a nova varivel x que o substituir
no pode ter aparecido anteriormente na
frmula P(t).
45
46
hip
hip
1, pu
2, pu (note que no existe restrio em pu sobre
usar novamente um mesmo nome)
3, 4, mp
5, gu
A utilizao da generalizao universal no passo 6 correta, uma vez que x no era uma
varivel livre em nenhuma hiptese, nem a particularizao existencial (pe) foi utilizada
para se chegar at Q(x).
As primeira restrio da generalizao universal evita que a utilizao de alguma
varivel livre nas hipteses possa ser usada como base para inferir uma propriedade
universal. A afirmao em alguma hiptese de uma sentena aberta P(x) com a varivel
x, pode tanto indicar que exista pelo menos um elemento do domnio que satisfaa P(x)
quanto indicar que todos satisfazem P(x), mas no d nenhuma informao adicional,
portanto no pode ser usada como base de uma generalizao correta.
A segunda restrio apenas evita que o formalismo desconsidere o significado por trs
da operao de generalizao, isto , se ns chegamos a um P(x) numa demonstrao
com base numa particularizao de um existencial, isto implica que estamos seguros
que existe pelo menos um elemento do domnio no qual vale P(x). Como j vimos
anteriormente no faz nenhum mal em chamarmos este elemento de x, mas no
podemos, da, inferir que qualquer outro elemento do domnio tambm atenda a
sentena P(x), logo impossvel generalizar este P(x) para (x)(P(x)). Do ponto de
vista puramente formal isto evitado pela restrio que obriga que P(x), para ser
generalizado universalmente, no possa ter sido previamente demonstrado por uma
particularizao existencial.
por exemplo, se assumirmos que P(x,y) significa x<y no domnio dos nmeros naturais,
ento P(a,y) pode ser verdade (para algum a e para algum y), enquanto que (y)(P(y,y))
obviamente falsa, j que impossvel que y<y para qualquer y pertencente aos
nmeros naturais.
50
Apndices
Apndices
B
V
F
V
F
AB
V
V
V
F
AB AB AB
V
V
V
F
F
F
F
V
F
F
V
V
~A
F
V
Disjuno ()
ABBA
(A B) C A (B C)
A (BC) (AB) (AC)
A0A
A ~A 1
AAA
~(A B) ~A ~B
Conjuno ()
ABBA
(A B) C A (B C)
A (BC) (AB) (AC)
A1A
A ~A 0
AAA
~(A B) ~A ~B
~(~A) A
(AB) ~A B
(AB) (~B ~A)
A(BC) (A B) C
51
Apndices
Equivale a
QP
QP
P (Q R)
P (Q R)
~P ~Q
~P ~Q
~P Q
~(~P)
~Q ~P
PP
P
(P Q) (P R)
(P Q) (P R)
Pode-se deduzir
Q
~P
PQ
P, Q
PQ
PR
Q
P (Q R)
Q
52
Apndices
Se Deduz
P(t)
Nome da Regra
Particularizao
Universal (pu)
Particularizao
Existencial (pe)
P(x)
(x)(P(x))
Generalizao
Universal (gu)
P(t)
Restries de Uso
Se o novo termo t que substituir a varivel
x em P(x) tambm for uma varivel, ento
esta nova varivel deve ser livre dentro da
frmula P(x) original.
O novo termo t que substituir a varivel x
em P(x), quer seja varivel ou constante,
no deve ter sido usado anteriormente na
demonstrao.
A frmula P(x) no pode ter sido deduzida
de nenhuma hiptese onde x uma varivel
livre.
A frmula P(x) tambm no pode ter sido
deduzida por Particularizao Existencial
(pe) de uma frmula onde x uma varivel
livre.
Se o termo t da frmula original P(t) for um
smbolo de uma constante do domnio,
ento a nova varivel x que o substituir
no pode ter aparecido anteriormente na
frmula P(t).
53
Bibliografia
Bibliografia
54