Logic A

1
Lgica Matemtica
Lgica a disciplina que lida com mtodos de
raciocnio.
Lgica o estudo sistemtico da estrutura das
proposies e das condies gerais de inferncias
vlidas, por um mtodo que abstrai o contedo ou
assunto da proposio e se preocupa unicamente
com sua forma lgica Enciclopdia Britnica.
O Lgica prov regras e tcnicas para determinar
se um dado argumento vlido.
Aplicaes Diretas na rea da Cincia da
Computao: Projeto de Circuitos Lgicos,
Inteligncia Artificial, Construo e verificao de
Algoritmos.
Lgica Matemtica
Notas Histricas:
Os primeiros princpios referentes Lgica podem ser
atribudos a Aristteles.
No livro Primeiro Analtica se encontra o ncleo do
pensamento Aristotlico a Teoria dos Silogismos.
Silogismo uma frase na qual tendo se afirmado
algumas coisas, algo alm destas coisas se torna
verdadeiro.
A Lgica Aristotlica se ocupa apenas da forma do
pensamento, sem levar em considerao os objetos
particulares em que se pensa.
Nos sculos que se seguiram a lgica e a filosofia
floresceu na Grcia, servindo de alimento a curiosidade
intelectual.
Lgica Matemtica
Paradoxos
Se voc diz que est mentindo e est dizendo a
verdade ento voc est mentindo?
Se voc sabe que est morto, voc est morto,
Mas se voc sabe que est morto, voc no est morto,
Portanto voc no sabe se est morto ou no.
Havia uma pequena cidade onde s existia um
barbeiro. O barbeiro recebeu a misso de barbear todos
os homens que no barbeavam a si mesmo. Se no o
fizesse morreria!
Quem barbeia o barbeiro?
Axioma do meio excludo as proposio s
podem ter dois valores de verdade, V ou F.
Lgica Matemtica
Sistemas Lgicos Formais da Lgica Clssica
Lgica Proposicional ou Clculo Sentencial
o sistema Formal mais simples que se possa imaginar.
um sistema no qual proposies inteiras (ou sentenas) tm
relaes umas com as outras.
O Fgado um orgo grande
Varsvia a capital da Polnia
Lgica de Predicados
Considera ainda variveis e quantificadores sobre estas
variveis.
O Clculo de Predicados divide as proposies em seus
componentes.
Joo est rezando
Maria ama Joo
Todos esto com medo
Lgica Matemtica
Exemplo: Quais das seguintes asseres so
proposies?
a) 2 + 3 = 5 proposio, verdadeira
b) 3 no um nmero par proposio, verdadeira
c) A Terra arredondada - proposio, verdadeira
d) x > 5 assero, mas no proposio
e) Esta declarao falsa assero, mas no
proposio
f) Voc fala ingls? nem assero, nem
proposio
g) Leia o livro texto nem assero, nem
proposio
Lgica Matemtica
Observe que o valor verdade (V ou F) de
uma proposio no necessariamente
conhecido.
Exemplo: A temperatura na superfcie de
Vnus de 400
o
C uma proposio.
2
Lgica Matemtica
uma forma de representar raciocnios vlidos:
Hoje segunda ou tera-feira.
Hoje no segunda-feira.
Logo, hoje tera-feira.
Rembrandt pintou a Mona Lisa ou Michelngelo a
pintou.
No foi Rembrandt que pintou a Mona Lisa.
Logo, Michelngelo pintou a Mona Lisa.
P V Q (P ou Q)
~P (No o caso que P)
Q (Q)
Lgica Matemtica
Sintaxe do Clculo Proposicional
A sintaxe do Clculo Proposicional especifica os
smbolos e os modos de combin-los para formar uma
expresso vlida da linguagem, as quais podem ser
chamadas de frmulas bem formadas(fbf).
Elementos Vlidos:
Letras Sentenciais P, Q, R, S, T, A1, b3, C, etc.
Conectivos ou Operadores Lgicos:
Negao no o caso que (~) ()
Conjuno e (&) (^)
Disjuno ou (V)
Condicional ou implicao: se ...ento () ()
Bicondicional: se e somente se () ()
Parnteses
(, )
Lgica Matemtica
Tendo j apresentado a lista de smbolos primitivos, o
formao deles. H apenas 3:
1. Uma letra sentencial sozinha gramaticalmente
correta ou uma frmula bem formada.
2. Se qualquer frmula A (tal como (PVQ) bem
formada, ento tambm o sua negao ~A(~(PVQ)
neste caso).
3. Se Ae B so frmulas bem formadas, ento tambm
o so (A^ B), (A V B) e (AB).
Lgica Matemtica
~((P V Q) ^ R) -Esta frmula bem formada?
((P V Q) ^ R) -Sim, se esta frmula bem formada (2).
((P V Q) ^ R) -Esta frmula bem formada?
(P V Q) - Sim, se esta frmula bem formada, e
R -se esta frmula tambm bem formada (3).
(P V Q) -Esta frmula bem formada?
P -Sim, se esta frmula for bem formada, e
Q -se esta frmula for bem formada (3).
P -Esta frmula bem formada (1).
Q -(idem)
R -(idem)
Lgica Matemtica
Semntica do Clculo Proposicional
Uma fbf pode ter uma interpretao a qual define a
semntica da linguagem. Uma interpretao pode ser
considerada como um mapeamento do conjunto das
fbfs para um conjunto de valores de verdade {V, F}
ou {Verdadeiro, Falso}.
A ^B verdade se A verdade e se B verdade;
A V B verdade se qualquer dos dois, A ou B
verdade;
AB significa que se A verdade, ento B verdade.
Entretanto nada se sabe de B se A for falso.
Tabelas-Verdade
As Tabelas-Verdade fornecem um teste rigoroso
e completo para a validade de formas de
argumento da Lgica Proposicional, alm de se
constituir em um algoritmo.
Quando existe um algoritmo que determina se as
formas expressveis em um sistema formal so
vlidas ou no, esse sistema dito decidvel.
3
Tabelas-Verdade
1) Negao (operao no)
Notao: ~P, no verdade que P, P
Definio:
P ~P
V F
F V
Exemplo de negao
P: est chovendo hoje e
~P: no o caso de que est chovendo hoje
Tabelas-Verdade
2) Conjuno (operao e)
Notao: P ^ Q, P e Q, P & Q
Definio:
P Q P ^ Q
V V V
V F F
F V F
F F F
Exemplo de conjuno ( P ^ Q):
P: est chovendo hoje e
Q: 3 < 5
P ^ Q: est chovendo hoje e 3 < 5
Tabelas-Verdade
3) Disjuno (operao ou inclusivo)
Notao: P V Q, P ou Q
Definio:
P Q P V Q
V V V
V F V
F V V
F F F
Exemplo de conjuno ( P V Q):
P: est chovendo hoje ou
Q: 3 < 5
P V Q: est chovendo hoje ou 3 < 5
Tabelas-Verdade
Nota: O conectivo OU pode ser interpretado
de duas maneiras:
OU inclusivo
Eu passei em Matemtica
ou
Eu rodei em Economia.
OU exclusivo
Eu vim de carro
ou
Eu vim de nibus para a
UFSC.
Pelo menos uma das
possibilidades ocorreu, mas
poderia ter ocorrido ambas.
Somente uma das
possibilidades pode ter
ocorrido.
Tabelas-Verdade
3) Disjuno (operao ou exclusivo)
Notao: P Q, P ou exclusivo Q, P xor Q
Definio:
P Q P Q
V V F
V F V
F V V
F F F
Exemplo de conjuno exclusiva( P Q):
P: est fazendo sol ou exclusivo
Q: est nevando hoje
P Q: est fazendo sol hoje ou est nevando hoje.
Tabelas-Verdade
4) Condicional (operao se ... ento)
Notao: P Q, Se P ento Q, P implica Q
Definio:
P Q P Q
V V V
V F F
F V V
F F V
Exemplo de condicional ( P Q):
P: pegar o livro na biblioteca
Q: ler o livro esta noite
P Q: Se eu pegar o livro na biblioteca, ento vou
l-lo esta noite.
4
Tabelas-Verdade
Notao: P Q, Se P ento Q, P implica Q
Definio:
P Q P Q
V V V
V F F
F V V
F F V
Exemplo de condicional ( P Q):
P Q: Se eu pegar o livro na biblioteca, ento vou
l-lo esta noite.
Tabelas-Verdade
Maneiras de expressar P Q:
se P, ento Q
P condio suficiente para Q
Q condio necessria para P
P somente se Q
P conseqncia de Q
Na expresso P Q:
- P chamado de hiptese ou antecedente e
- Q c chamado de concluso ou conseqente
Tabelas-Verdade
EXEMPLO :
A sentena:
Fogo uma condio necessria para a fumaa
Poderia ser reformulada como:
Se h fumaa, ento h fogo
Logo:
O antecedente h fumaa
O conseqente h fogo
Tabelas-Verdade
5) Bicondicional (operao se e somente se)
Notao: P Q, P se e somente se Q
Definio:
P Q P Q
V V V
V F F
F V F
F F V
Exemplo de bicondicional ( P Q):
P Q: Vou pegar o livro na biblioteca se e somente
se eu l-lo esta noite.
Tabelas-Verdade
Traduzindo fatos do mundo real para proposies
Exemplo: Encontrar a proposio que traduz a
seguinte declarao do mundo real-
Voc no pode andar de patins se voc tem
menos do que 1,20 m a no ser que voc tenha
mais do que 16 anos.
Definindo:
P=voc pode andar de patins
Q=voc tem menos de 1,2 metros
R=voc tem mais de 16 anos
A sentena pode ser escrita formalmente como:
(Q ^ ~R) ~P
VAMOS CONSTRUIR A TABELA-VERDADE?
Tabelas-Verdade
Algoritmo para Construir a Tabela-Verdade
A Tabela-Verdade de uma proposio composta por
n variveis obtida por:
1. As primeiras n colunas da tabela devem ser rotuladas
com as letras sentenciais outras colunas serviro
para combinaes intermedirias.
2. Sob cada uma das primeiras colunas lista-se todas as
2
n
possveis combinaes dos valores verdade das
letras sentencias.
3. Para cada linha computa-se o valor verdade resultante
das proposies intermedirias, isto , as letras
sentenciais ligadas por conectivos ou precedidas de
negao.
5
Tabelas-Verdade
Exemplo:
P Q R ~P ~R (Q ^ ~R) (Q ^ ~R)~P
F F F V V F V
F F V V F F V
F V F V V V V
F V V V F F V
V F F F V F V
V F V F F F V
V V F F V V F
V V V F F F V
Tabelas-Verdade
Exerccios:
Construa a tabela-verdade de:
1. (~Q V R) P Se voc tem mais de 1,2m ou
mais de 16 anos, ento voc pode andar de patins.
2. P (~Q V R) Se voc quer andar de patins,
ento deve ter mais de 1,2m ou mais de 16 anos.
3. P (Q ^ (P R))
4. (P V Q) (R P)
5. (P Q) (~Q ~P)
Classificao de Proposies
Tautologia
Proposio que sempre Verdade em todas as
situaes possveis.
Exemplo: P V ~P
Contradio ou Inconsistncia
Proposio que sempre Falsa em todas as situaes
possveis.
Exemplo: P ^ ~P
Contingncia
Proposio que pode ser V ou F dependendo dos
valores verdade de suas letras sentencias.
Equivalncia de Frmulas
Sejam A e B duas fbfs e sejam P
1
, P
2
, ...,P
n
as
letras sentenciais que ocorrem em A e em B. Se
os valores verdade de A e de B forem iguais
para todos os 2
n
possveis valores verdade
atribudos a P
1
, P
2
, ..., P
n
, ento A e B so ditos
equivalentes.
Equivalncias so bicondicionais que so
tautologias.
Um importante recurso usado na argumentao
lgica a substituio de uma proposio por
outra que seja equivalente.
Equivalncia de Frmulas
A seguir aparecem alguns exemplos de frmulas que so
equivalentes e cujas equivalncias podem ser verificadas
atravs de tabelas-verdade.
~(~P) = P
A ^ A = A
A V A = A
(A ^ ~A) V B = B
A V ~A = B V ~B
Exemplo: Mostre que P Q = ~P V Q
P Q P Q ~P V Q (P Q) (~P V Q)
V V V V V
V F F F V
F V V V V
F F V V V
Regras de Equivalncia
Uma tabela com regras de equivalncia de frmulas tambm
pode ser utilizada para provar a equivalncia entre duas
frmulas sem que seja necessria a construo da tabela-
verdade.
Distributividade P V (Q ^ R) = (PVQ) ^ (PVR)
P ^ (Q V R) = (P^Q) V (P^R)
Leis de De Morgan ~(P V Q) = ~P ^ ~Q
~(P ^ Q) = ~P V ~Q
Associatividade (P V Q) V R = P V (Q V R)
(P ^ Q) ^ R = P ^ (Q ^ R)
Comutatividade P V Q = Q V P
P ^ Q = Q ^ P
Dupla Negao ~(~P) = P
Idempotncia P V P = P
P ^ P = P
Nome Equivalncia
6
Exemplo: Mostre que
(~P ^ (~Q ^ R)) V (Q ^ R) V (P ^ R) = R
(~P ^ (~Q ^ R)) V (Q ^ R) V (P ^ R) =
(~P ^ (~Q ^ R)) V (R ^ (Q V P) = (Distributividade)
((~P ^ ~Q) ^ R) V (R ^ (Q V P) = (Comutatividade)
((~P ^ ~Q) V (Q V P)) ^ R = (Distributividade)
(~(P V Q) V (P V Q)) ^ R = (De Morgan e Comutatividade)
(~A V A) ^ R =
Tautologia ^ R =
R
As regras de equivalncia podem ser utilizadas para
simplificao de frmulas, permitindo escrever frmulas
equivalentes mais simples e compactas, eliminando
letras sentenciais suprfluas.
Exerccios:
1. Simplifique a seguinte fbf:
A V (A ^ (~A ^B V C ^(A ^C)))
(A ^ B) V (A ^ ~B)
A ^ (A V B) ^ (A V ~B)
2. Mostre a equivalncia
~(P V Q) = ~P ^ ~Q
~(PV(~P^Q)) = ~P ^ ~Q
Inferncia
Regras de Inferncia:
Regras de Inferncia so regras de reescrita que
permitem produzir novas fbfs a partir de outras.
Definies Bsicas:
Axioma: Uma proposio que assumida ser
verdadeira (tautologia/verdade evidente).
Teorema: Uma proposio que pode ser demonstrada
ser verdadeira.
Demonstrao de Teoremas:
Na Lgica Proposicional, Teoremas so Tautologias.
Objetivo: Estabelecer a verdade de um teorema.
Mtodos: Tabelas-Verdade ou Regras de Inferncia.
Inferncia
Teoremas Argumentos Vlidos
Grande parte dos teoremas so do tipo:
(P1 ^ P2 ^ P3 ^ ... ^ Pn) Q
onde as Pi so as HIPTESES ou PREMISSAS
e Q a CONCLUSO.
Na rea da computao:
Verificar correo de programas,
Determinar se sistemas operacionais esto seguros,
Na rea da Inteligncia Artificial,
Computao grfica, lgebra booleana, compiladores,
etc.
Regras Bsicas de Inferncia
1. Modus Ponens (MP)
De um condicional e seu antecedente, podemos
inferir o seu conseqente.
A B, A ]- B ou
((A B) ^ A) B ! uma tautologia
Exemplos:
Se aquele animal for um gato, ento aquele animal preguioso.
Aquele animal um gato.
Logo, aquele animal preguioso.
Se Maria ou Juliana vier ento a festa ser alegre e divertida.
Ou Maria ou Juliana vir a festa.
Portanto, a festa ser alegre e divertida.
1. Modus Ponens (MP)
Ex.:
P, P Q, Q R ]- R
Prova:
1. P Premissa
2. P Q Premissa
3. Q R Premissa
4. Q 1,2 MP
5. R 3,4 MP
7
2. Eliminao da Negao (~E)
De uma fbf ~(~A), podemos inferir A.
~(~A) ]- A
Exemplo:
No o caso de que o lixo no est vazio.
Logo, o lixo est vazio.
Ex.:
~P ~(~Q), ~(~(~P)) ]- Q
Prova:
1. ~P ~(~Q) Premissa
2. ~(~(~P)) Premissa
3. ~P 2 ~E
4. ~(~Q) 1,3 MP
5. Q 4 ~E
3. Introduo da Conjuno (Î)
De quaisquer fbfs A e B podemos inferir A ^ B.
A, B ]- A ^ B
4. Eliminao da Conjuno (Ê)
De uma conjuno podemos inferir qualquer uma de
suas sentenas.
A ^ B ]- A
Exemplos:
A sala est vazia.
O professor est dando aula.
Portanto, a sala est vazia E o professor est dando aula.
Joo E Marcelo jogaro futebol este sbado.
Logo, Marcelo jogar futebol este sbado.
Ex.:
P (Q ^ R), P ]- P ^ Q
Prova:
1. P (Q ^ R) Premissa
2. P Premissa
3. Q ^ R 1,2 MP
4. Q 3 Ê
5. P ^ Q 2,3 Î
5. Introduo da Disjuno (vI)
De uma fbf A, podemos inferir a disjuno de A com
qualquer fbf.
A ]- A v B
Exemplos:
A sala est vazia.
Portanto, a sala est vazia OU o professor est dando aula.
Ex.:
P ]- (P v Q) ^ (P v R)
Prova:
1. P Premissa
2. P v Q 1 vI
3. P v R 1 vI
4. (P v Q) ^ (P v R)2,3 Î
6. Eliminao da Disjuno (vE)
De fbfs da forma A v B, AC e B C, podemos
inferir C.
Exemplos:
Eu OU o meu irmo ficaremos em casa esta noite.
Se eu ficar em casa, ento a geladeira ficar vazia.
Se meu irmo ficar, ento ele esvaziar a geladeira.
Logo, a geladeira ficar vazia.
Ex.:
P v R, P F, R F ]- F
Prova:
1. P v R Premissa
2. P F Premissa
3. R F Premissa
4. F 1,2,3 vE
7. Introduo do Bicondicional (I)
De quaisquer fbfs da forma AB e B A, podemos
inferir A B.
8. Eliminao do Bicondicional (E)
De uma fbf da forma A B, podemos inferir AB
e B A.
Exemplos:
Se houver um terremoto ento a cidade ser destruda e se a
cidade foi destruda, ento porque houve um terremoto.
Logo, a cidade ser destruda se e somente se houver um
terremoto.
8
9. Prova do Condicional (PC)
Dada uma derivao de uma fbf B a partir de uma
hiptese A, podemos descartar a hiptese e inferir
AB. A Prova do Condicional tambm chamada
Teorema da Deduo e normalmente utilizada se o
conseqente da forma AB.
I, (I ^ C) ~S, ~S ~A ]- C ~A
Prova:
1. I Premissa
2. (I ^ C) ~S Premissa
3. ~S ~A Premissa
4. C Hiptese
5. (I ^ C) 1,4 Î
6. ~S 2,5 MP
7. ~A 3,6 MP
8. C ~A 4,7 PC
10. Reduo ao Absurdo (RAA)
Dada uma derivao de uma contradio a partir de
uma hiptese A, podemos descartar a hiptese e
inferir ~A.
Ex.:
P Q, ~Q ]- ~P
Prova:
1. P Q Premissa
2. ~Q Premissa
3. P Hiptese
4. Q 1,3 MP
5. Q ^ ~Q 2,4 Î (Contradio)
6. ~P 3,5 RAA
Regras Derivadas de Inferncia
1. Modus Tollens (MT)
De fbfs da forma A B e ~B, infere-se ~A.
Exemplos
Se meu carro estiver no estacionamento, ento estou
na UFSC.
Eu no estou na UFSC.
Logo, meu carro no est no estacionamento.
Se meu animal de estimao for um gato ou um co,
ento ele ser um mamfero.
Meu animal de estimao no um mamfero.
Portanto, meu animal no nem um gato nem um
co.
2. Silogismo Hipottico (SH)
De fbfs da forma A B e B C, infere-se AC.
Exemplos
Se o pssaro est perdido, ento a porta da gaiola est
aberta.
Se a porta da gaiola est aberta, ento ele pode
retornar a gaiola.
Logo, se o pssaro est perdido, ento ele pode
retornar a gaiola.
Se meu time jogar bem, ento ele vencer suas
partidas.
Se meu time vencer suas partidas, ento ele se
classificar para as finais.
Se meu time jogar bem, ento ele se classificar para
as finais.
3. Regra da Absoro (ABS)
De fbfs da forma AB, infere-se A(A^B).
4. Regra do Dilema Construtivo (DC)
De fbfs da forma A v B, AC e B D, infere-se
C v D.
Exemplo
A festa ser na minha casa ou na sua.
Se a festa for na minha casa, ento minha casa ficar
uma baguna.
Se a festa for na sua casa, ento sua casa ficar uma
baguna.
Portanto, ou a minha casa ou a sua ficar uma
baguna.
5. Regra da Repetio (RE)
De fbf da forma A, infere-se A.
6. Regra do Silogismo Disjuntivo (SD)
De fbfs da forma A v B e ~A, infere-se B.
Exemplo
Ou o cachorro est dentro de casa ou ele est no
ptio.
O cachorro no est dentro de casa.
Logo, o cachorro est no ptio.
9
Exerccios:
1. Se h um jogo de futebol na Ressacada, ento viajar
de avio difcil. Se eles chegarem no horrio no
aeroporto, ento viajar de avio no ser difcil. Eles
chegaram no horrio no aeroporto. Logo, podemos
concluir que no houve jogo de futebol na Ressacada.
2. Verifique se os argumentos a seguir constituem
argumentos vlidos.
a) Se este animal for um pssaro, ento ele tem sangue quente.
Se este animal for um rptil, ento ele tem sangue frio.
Este animal tem sangue quente ou frio.
Logo, este animal ou um pssaro ou um rptil.
b) Se a taxa para importao diminuir, ento o comrcio interno
aumentar.Ou a taxa federal de desconto diminuir ou o
comrcio interno no aumentar. A taxa para importao vai
diminuir. Portanto, a taxa federal de desconto vai diminuir.
Exerccios:
3. Determine se os seguintes teoremas so
vlidos ou invlidos.
a) PQ, R ~Q, R ]- ~P.
b) A (B v C), B ~A, D ~C ]- A ~D.
c) B ^ C, (BC) (H v G) ]- H v G.
d) (Q ^ R) P, ~Q, ~R ]- ~P.
e) P Q, (~Q v R) ^ ~R, ~(~P v S) ]- ~S.
Clculo de Predicados
A Lgica Proposicional possui um poder de
representao limitado.
No suficiente para expressar fatos simples
como, por exemplo, o fato de duas leras
sentenciais possurem alguma caracterstica em
comum.
O clculo de predicados uma extenso do
clculo proposicional em que se consideram
tambm variveis e quantificadores sobre
variveis.
Os dois quantificadores mais importantes so o
quantificador universal () e o quantificador
existencial ().
Quantificadores:
So operadores lgicos que em vez de indicarem
relaes entre sentenas, expressam relaes
entre conjuntos designados pelas classes de
atributos lgicos.
Quantificador Universal ():
Este tipo de quantificador formado pelas expresses todo
e nenhum.
Quantificador Existencial ():
Este tipo de quantificador formado pelas expresses
existe um, existe algum, pelo menos um ou para
algum.
Exemplos:
Todo homem mortal, ou seja, qualquer que seja x
(do Universo), se x Homem, ento x Mortal.
x (H(x)M(x)).
Nenhum homem vegetal, ou sejam qualquer que
seja x, se x Homem, em x NO Vegetal.
x (H(x)~V(x)).
Pelo menos um homem inteligente, ou seja, existe
pelo menos um x em que x seja Homem e x seja
Inteligente.
x(H(x) ^ I(x))
Variveis:
Designam objetos desconhecidos do Universo.
Algum. So normalmente representados por letras
minsculas de u a z.
Letras Nominais:
Designam objetos conhecidos do Universo. Joo,
Pedro, etc. So normalmente representados por
letras minsculas de a a t.
Predicados:
Descrevem alguma coisa ou caracterstica de um ou
mais objetos. So normalmente denotados por letras
maisculas.
Joo ama Maria: A(a,b)
Joo ama algum: xA(a,x)
Joo ama todo mundo: x A(a,x)
10
Sintaxe do Clculo de Predicados
Frmulas Atmicas:
uma letra predicativa, seguida por zero ou mais letras
nominais ou variveis.
Frmulas Bem Formadas:
Uma Frmula Atmica uma Frmula Bem Formada;
Se P uma fbf, ento ~P tambm o ;
Se P e Q so fbfs, ento (P ^ Q), (P v Q), (PQ), (PQ)
tambm o so;
Se P(x) uma fbf, ento x(P(x)) e x(P(x)) tambm o so.
Ex.: Seja P = F(a) ^ G(a,b), ento so fbfs:
x(F(x) ^ G(a,b))
x(F(x) ^ G(x,b))
x(F(a) ^ G(a,x))
x(F(x) ^ G(a,b))
Regras de Inferncia para o Clculo de
Predicados
Todas as regras definidas no Clculo Proposicional
continuam vlidas no Clculo de Predicados, apenas
referenciando-as para os quantificadores.
Ex.: ~F(a) v xF(x), xF (x)P ]- F(a) P.
Prova:
1. ~F(a) v xF(x) Premissa
2. xF (x)P Premissa
3. F(a) Hiptese
4. ~~F(a) 3 DN
5. xF(x) 1,3 SD
6. P 2,5 MP
7. F(a) P 3,6 PC
Predicados
Intercmbio de Quantificadores
1. ~(x ~F(x)) = xF(x)
2. ~(x F(x)) = x~F(x)
3. x ~F(x) = ~(xF(x))
4. x F(x) = ~(x~F(x))
Predicados
1. Eliminao Universal (EU)
De uma fbf quantificada universalmente x F(x), infere-se
uma fbf da forma F(a), a qual resulta de se substituir cada
ocorrncia da varivel x em F por uma letra nominal a.
Ex.: x (H(x)M(x)),H(s) ]- M(s)
Prova:
1. x (H(x)M(x)) P
2. H(s) P
3. H(s)M(s) 1 EU
4. M(s) 2,3 MP
Predicados
2. Introduo do Universal (IU)
De uma fbf contendo uma letra nominal a, QUE NO
OCORRE EM QUALQUER PREMISSA OU EM
QUALQUER HIPTESE, infere-se uma fbf da forma
xF(x), onde F(x) o resultado de se substituir todas as
ocorrncias de a em F por uma varivel x QUE NO
OCORRA em F.
Ex.: x (P(x)C(x)), x (C(x)V(x)) ]- x(P(x)V(x))
Prova:
1. x (P(x)C(x)) P
2. x (C(x)V(x)) P
3. P(a)C(a) 1 EU
4. C(a)V(a) 2 EU
5. P(a)V(a) 3,4 SH
6. x(P(x)V(x)) 5 IU
Predicados
3. Introduo do Existencial (IE)
De uma fbf F contendo uma letra nominal a, infere-se uma
fbf da forma xF(x), onde F(x) o resultado de se substituir
uma ou mais ocorrncias de a em F por uma varivel x QUE
NO OCORRA em F.
a pode ocorrer em uma hiptese no utilizada ainda, ou em
uma premissa;
a varivel x no precisa substituir todas as ocorrncias de a
em F;
IE permite introduzir somente um quantificador existencial
por vez e somente do lado esquerdo da frmula.
Ex.: x (F(x) v G(x)) ]- x (F(x) v G(x))
Prova:
1. x (F(x) v G(x)) P
2. F(a) v G(a) 1 EU
3. x(F(x) v G(x)) 2 IE
11
Predicados
4. Eliminao do Existencial (EE)
De uma fbf quantificada existencialmente xF(x) podemos
inferir F(a), contanto que a letra nominal NO OCORRA
em F(x), NEM EM QUALQUER HIPTESE, NEM EM
QUALQUER PASSO ANTERIOR DA DERIVAO.
Ex.: x (F(x) ^ G(x)) ]- x F(x)
Prova:
1. x (F(x) ^ G(x)) P
2. F(a) ^ G(a) 1 EE
3. F(a) 2 Ê
4. x F(x) 3 IE

Logic A

Enviado por

Dados do documento

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Logic A

Enviado por

Direitos autorais:

Formatos disponíveis

1

Você também pode gostar