SlideShare uma empresa Scribd logo
Departamento de Computação           FLIA-PPG-CC                       Semestre 1 de 2007
                                                                                     Lucia Helena Machado Rino
                                                   PROPRIEDADES

                                              Cálculo de Predicados

Na lista de propriedades abaixo, relações de equivalência ou implicação lógica demonstram relações entre
interpretações e, portanto, significados, das fbfs envolvidas. Relações de igualdade indicam igualdade
entre valores semânticos no domínio do CalcPropos. Fbfs equivalentes terão mesmos valores semânticos.

1.    Definições
          a. ¬v = f
          b. ¬f = v                 (a) e (b) indicam o conjunto fechado da lógica bivalente
          c. ¬α ∧ α = f             (contradição)
          d. ¬α ∨ α = v             (tautologia)
2.    Equivalências lógicas
          a. α     β ⇔ ¬α ∨ β
          b. α ↔ β ⇔ (α     β) ∧   (β   α)
          c. ¬¬α ⇔ α


3.    EN                                                   14. Silogismo hipotético (cadeia): (α     β) ∧ (β
           a.
            EN1: α ∧ β ⇔ β, para α = tautologia                   γ) ⇒ α     γ
           b.
            EN2: α ∨ β ⇔ β, para α =                       15. Silogismo disjuntivo: (α ∨ β) ∧ ¬α ⇒ β
            contradição                                    16. MP (modus ponens): α ∧ (α       β) ⇒ β
Em outras palavras:                                        17. MT (modus tollens): (α      β) ∧ ¬ β ⇒ ¬α
        c. EN1: v ∧ β ⇔ β                                  18. Contrapositiva (DEF): α      β ⇒ ¬β       ¬α
        d. EN2: f ∨ β ⇔ β                                  19. Recíproca de α      β (DEF): β     α
                                                           20. Contrária de α      β (DEF): ¬α     ¬β
4.    Distributiva
                                                           21. Condicional ⇔ contrapositiva
          a. D1: α ∧ (β ∨ γ) ⇔ (α ∧ β) ∨ (α ∧ γ)
                                                                    a. α      β ⇔ ¬β      ¬α
          b. Vale a dual (D2)
                                                           22. Contrária ⇔ recíproca
5.    Associativa
                                                                    a. ¬α       ¬β ⇔ β      α
          a. A1: α ∧ (β ∧ γ) ⇔ (α ∧ β) ∧ γ
                                                           23. Exportação: α      (β    γ) ⇒ α ∧ β     γ
          b. Vale a dual (A2)
                                                           24. Importação: α ∧ β       γ⇒α      (β    γ)
6.    Idempotência
                                                           25. Exportação-Importação-: α        (β    γ) ⇔ α
          a. I1: α ∨ α ⇔ α                                     ∧β     γ
          b. Vale a dual (I2)                              26. Princípio da inconsistência: α ∧ ¬α ⇒ β
7.    Comutativa
          a. C1: α ∨ β ⇔ β ∨ α                             Outras propriedades deriváveis
          b. Vale a dual (C2)                              27. se α    β, então
8.    de Morgan                                                     a. α ∧ γ     β∧γ
          a. M1: ¬(α ∧ β) ⇔ ¬ α ∨ ¬ β                                       (conjunção de ambos os lados)
          b. Vale a dual (M2)                                       b. α ∨ γ     β∨γ
9.    Universal                                                             (disjunção de ambos os lados)
          a. U1: β ∧ f = f                                 28. α    β ∧ γ ⇔ (α    β) ∧ (α   γ)
          b. Vale a dual (U2)
10.   Absorção simples
          a. Abs1: α ∨ (α ∧ β) ⇔ α
          b. Vale a dual (Abs2)
11.   Absorção elaborada
          a. p     p∧q⇔p        q
12.   Simplificação (S): α ∧ β ⇒ α
13.   Adição (A): α ⇒ α ∨ β




                                                                                                               1
PROPs-LPO
Departamento de Computação            FLIA-PPG-CC                       Semestre 1 de 2007
                                                                                     Lucia Helena Machado Rino
Wang

    R1: Caso 1                                                 Caso 2
           p1, p2,…, pj-1,¬X, pj+1,..., pn ⇒ c1,
                          ¬                                             p1, p2,…, pn ⇒ c1, c2,..., cj-1,¬X,
                                                                                                        ¬
           c2,..., cm                                                   cj+1,..., cm
           p1, p2,…, pj-1, pj+1,..., pn ⇒ c1,                           p1, p2,…, pn, X ⇒ c1, c2 ,..., cj-
           c2,..., cm, X                                                1,cj+1,..., cm

    R2: Caso 1                                                 Caso 2
           p1, p2,…, pj-1, X∧Y, pj+1,..., pn ⇒ c1,
                            ∧                                           p1, p2,…, pn ⇒ c1, c2,..., cj-1, X∨Y,
                                                                                                           ∨
           c2,..., cm                                                   cj+1,..., cm
           p1, p2,…, pj-1, X,Y, pj+1,..., pn ⇒ c1,                      p1, p2,…, pn ⇒ c1, c2 ,..., cj-1, X,Y,
           c2,..., cm                                                   cj+1,..., cm

    R3: p1, X∨Y, p2 ⇒ c1, c2
             ∨                                                 R4: p1, p2 ⇒ c1, X∧Y, c2
                                                                                  ∧
            p1, X, p2⇒ c1, c2                                           p1, p2 ⇒ c1, X, c2
            p1, Y, p2 ⇒ c1, c2                                          p1, p2 ⇒ c1, Y, c2

    R5: X    Y ⇔ ¬X ∨ Y                                        R6: X ↔ Y ⇔ (X Y)∧(Y X)

Princípios

Satisfatibilidade ou consistência lógica
         α = v para ALGUMA interpretação I ⇒ α é satisfatível ou consistente
Validade (semântica)
         α é tautologia ⇒ α é válida
Insatisfatibilidade ou inconsistência lógica
         α = f para TODA interpretação I ⇒ α é insatisfatível ou inconsistente
         α = contradição ⇒ α é insatisfatível
Inválida
         α = f para ALGUMA interpretação I⇒ α é inválida (α ∨ β)




                                                                                                                 2
PROPs-LPO
Departamento de Computação         FLIA-PPG-CC                         Semestre 1 de 2007
                                                                                     Lucia Helena Machado Rino
Calc. de Predicados

As propriedades do Calc. Proposicional valem também para o Calc. de Predicados. Porém, veremos os casos
especiais em que as fbfs são quantificadas. Em primeiro lugar, a prioridade dos conectivos deve prever,
agora, a inclusão dos quantificadores, que é a seguinte (maior-menor): ~, ∀, ∃, ∧, ∨, , ↔.

Fecho universal de F: ∀F; Fecho existencial de F: ∃F

Equivalências lógicas

1.   ∃x [lingProgram(x) ∧ fornece(softline,x)] não é equivalente a ∃x lingProgram(x) ∧ ∃x
     fornece(softline,x)   RENOMEAR:
         a. ∃x lingProgram(x) ∧ ∃y fornece(softline,y) ⇔ ∃x ∃y [lingProgram(x) ∧ fornece(softline,y)]
2.   Paráfrases úteis
         a. (P1)Todo elemento de D satisfaz p. – ∀x p(x)
         b. (P2) Algum elemento de D satisfaz p. - ∃x p(x)
         c. (P3) Nenhum elemento de D satisfaz p. - ~∃x p(x)
         d. (P4) Todo elemento de D não satisfaz p. - ∀x [~p(x)]
         e. (P5) Algum elemento de D não satisfaz p. - ∃x [~p(x)]
         f. (P6) Não é para todo elemento de D que p vale. - ~∀x [p(x)]
         g. (P7) Não existe nenhum elemento de D que não satisfaça p. - ~∃x [~p(x)]
         h. (P8) Não é para todo elemento de D que p é falsa. - ~∀x [~p(x)]
3.   P3 é equivalente a P4
         a. ~∃x p(x) ⇔ ∀x [~p(x)]
4.   P5 é equivalente a P6
         a. ∃x [~p(x)] ⇔ ~∀x [p(x)]
         b.   Não é para todo x que p(x) vale, ou seja, existe pelo menos um x tal que p(x) não vale.
5.   P1 é equivalente a P7
          a. ∀x p(x) ⇔ ~∃x [~p(x)]
         b.   Se nao existem elementos que não satisfaçam p, então todo elemento satisfaz p.
6.   P2 é equivalente a P8
         a. ∃x p(x) ⇔ ~∀x [~p(x)]
         b. Se algum elemento de D satisfaz p(x), não é para todo elemento de D que p é falsa.

Implicações lógicas válidas

1.   ∀x p(x) ⇒ ∃x p(x)
2.   ∀x [p(x)    c] ⇒ ∃x [p(x)   c]
3.   ∀x p(x) ∨ ∀x q(x) ⇒ ∀x [p(x) ∨ q(x)]
         a. sejam α = ∀x p(x) ∨ ∀x q(x) e β = ∀x [p(x) ∨ q(x)]
         b. se x que torna α = v não satisfizer p e q ao mesmo tempo, poderíamos renomear as variáveis
              em α: ∀x p(x) ∨ ∀y q(y) e poderíamos ter p(x) diferente de q(y) em uma dada interpretação
         c. neste caso, β continua sendo satisfatível para a interpretação em x: teríamos um ou
              exclusivo.
         d. Entretanto, vale lembrar que, se p e q são v para quaisquer x no domínio, certamente as
              disjunções para x coincidente se aplicarão de qualquer modo.
4.   Para x coincidente em p e q
         a. ∃x [p(x) ∧ q(x)] ⇒ ∃x p(x) ∧ ∃x q(x)
         b. ∀x [p(x)     q(x)] ⇒ ∀x p(x)     ∀x q(x)

fbfs equivalentes

5.   Desde que x não ocorra em α
        a. α ∧ ∀x β ⇔ ∀x (α ∧ β )


                                                                                                            3
PROPs-LPO
Departamento de Computação          FLIA-PPG-CC                       Semestre 1 de 2007
                                                                                   Lucia Helena Machado Rino
         b. α ∧ ∃x β ⇔ ∃x (α∧ β )
6.   ∀x α ∧ ∀x β ⇔ ∀x (α ∧ β)
7.   ∃x α ∨ ∃x β ⇔ ∃x (α ∨ β)
         a. Para os casos em que x não satisfaz α e β ao mesmo tempo, a disjunção será exclusiva
         b. Caso contrário, será inclusiva e α ∨ β será verdadeira exatamente para o mesmo valor de x
             (α e β serão v)
         c. Podemos dizer isso de outra forma
                   i. ∃x (α(x) ∨ β(x)) ⇔ ∃x α(x) ∨ ∃y β(y)
                  ii. x = y ou x≠  y

Obtenção de uma forma clausal        Cláusula de Horn

1.   Passo 1: Eliminar variáveis livres de F
         a. F quantificada em x: ∃x F
         b. Não usar mesmo nome de variável
2.   Passo 2: Eliminar quantificadores redundantes
         c. ∀x ou ∃x
         d. Desde que eles não tenham um escopo envolvendo ocorrências livres de x
3.   Passo 3: Renomear variáveis quantificadas mais do que uma vez
         e. ∀x (p(x) → ∃x q(x))        ∀x (p(x) → ∃y q(y))
4.   Passo 4: Remover condicionais e bicondicionais
         f. α → β ⇔ (~α ∨ β)
         g. α ↔ β ⇔ (~α ∨ β) ∧ (~β ∨ α)
5.   Passo 5: Diminuir o escopo do símbolo de negação
         h. ~(∀x)(p(x)) ⇔ (∃x)(~p(x))
         i. ~(∃x)(p(x)) ⇔ (∀x)(~p(x))
         j. Lei de De Morgan
                   a. ~(α ∧ β) ⇔ ~α ∨ ~β
                   b. ~(α ∨ β) ⇔ ~α ∧ ~β
         k. ~~α ⇔ α
6.   Passo 6: Skolemização
         l. α = ∀y (∃x p(x,y)) e x = g(y)      α = ∀y p(g(y),y)
         m. Se ∃ não estiver no escopo de nenhum ∀          ∃x p(x) = p(a), a constante
7.   Passo 7: Obtenção da forma normal prenex
         n. Todos os quantificadores universais para a frente da fbf
8.   Passo 8: Remoção dos quantificadores universais
9.   Passo 9: Colocar a fbf na forma prenex na FNC
         o. (α ∧ β) ∨ γ ⇔ (α ∨ γ) ∧ (β ∨ γ)
         p. α ∨ (β ∧ γ) ⇔ (α ∨ β) ∧ (α ∨ γ)




                                                                                                          4
PROPs-LPO

Mais conteúdo relacionado

Mais procurados

Trigonometria
TrigonometriaTrigonometria
Trigonometria
Luana Rodrigues
 
03 trigonometria
03 trigonometria03 trigonometria
03 trigonometria
resolvidos
 
10 eac proj vest mat módulo 2 trigonometria
10 eac proj vest mat módulo 2 trigonometria10 eac proj vest mat módulo 2 trigonometria
10 eac proj vest mat módulo 2 trigonometria
con_seguir
 
1997 matematica efomm
1997 matematica efomm1997 matematica efomm
1997 matematica efomm
Bruno Aguiar
 
Função polinomial do 2 resumo
Função polinomial do 2 resumoFunção polinomial do 2 resumo
Função polinomial do 2 resumo
Frank De Paula Moreira
 
Remember 03
Remember 03Remember 03
Remember 03
resolvidos
 
Física - Mecânica - Vetores
Física - Mecânica - VetoresFísica - Mecânica - Vetores
Física - Mecânica - Vetores
Carson Souza
 
Mat sequencias e progressoes 006
Mat sequencias e progressoes  006Mat sequencias e progressoes  006
Mat sequencias e progressoes 006
trigono_metrico
 
Geometria plana
 Geometria plana Geometria plana
Geometria plana
batcruz
 
Parte i – cinemática tópico 5
Parte i – cinemática tópico 5Parte i – cinemática tópico 5
Parte i – cinemática tópico 5
Edlas Junior
 
05 area das figuras planas
05 area das figuras planas05 area das figuras planas
05 area das figuras planas
resolvidos
 
Aula12
Aula12Aula12
Mat angulos retas
Mat angulos   retasMat angulos   retas
Mat angulos retas
trigono_metria
 
02 potenciao e radiciao
02 potenciao e radiciao02 potenciao e radiciao
02 potenciao e radiciao
resolvidos
 
Taxa média de variação de uma função - Exercicios resolvidos
Taxa média de variação de uma função  - Exercicios resolvidosTaxa média de variação de uma função  - Exercicios resolvidos
Taxa média de variação de uma função - Exercicios resolvidos
numerosnamente
 
Matemática e suas tecnologias gabarito
Matemática e suas tecnologias gabaritoMatemática e suas tecnologias gabarito
Matemática e suas tecnologias gabarito
fsolidaria
 

Mais procurados (16)

Trigonometria
TrigonometriaTrigonometria
Trigonometria
 
03 trigonometria
03 trigonometria03 trigonometria
03 trigonometria
 
10 eac proj vest mat módulo 2 trigonometria
10 eac proj vest mat módulo 2 trigonometria10 eac proj vest mat módulo 2 trigonometria
10 eac proj vest mat módulo 2 trigonometria
 
1997 matematica efomm
1997 matematica efomm1997 matematica efomm
1997 matematica efomm
 
Função polinomial do 2 resumo
Função polinomial do 2 resumoFunção polinomial do 2 resumo
Função polinomial do 2 resumo
 
Remember 03
Remember 03Remember 03
Remember 03
 
Física - Mecânica - Vetores
Física - Mecânica - VetoresFísica - Mecânica - Vetores
Física - Mecânica - Vetores
 
Mat sequencias e progressoes 006
Mat sequencias e progressoes  006Mat sequencias e progressoes  006
Mat sequencias e progressoes 006
 
Geometria plana
 Geometria plana Geometria plana
Geometria plana
 
Parte i – cinemática tópico 5
Parte i – cinemática tópico 5Parte i – cinemática tópico 5
Parte i – cinemática tópico 5
 
05 area das figuras planas
05 area das figuras planas05 area das figuras planas
05 area das figuras planas
 
Aula12
Aula12Aula12
Aula12
 
Mat angulos retas
Mat angulos   retasMat angulos   retas
Mat angulos retas
 
02 potenciao e radiciao
02 potenciao e radiciao02 potenciao e radiciao
02 potenciao e radiciao
 
Taxa média de variação de uma função - Exercicios resolvidos
Taxa média de variação de uma função  - Exercicios resolvidosTaxa média de variação de uma função  - Exercicios resolvidos
Taxa média de variação de uma função - Exercicios resolvidos
 
Matemática e suas tecnologias gabarito
Matemática e suas tecnologias gabaritoMatemática e suas tecnologias gabarito
Matemática e suas tecnologias gabarito
 

Destaque

Edital de abertura cp 01-2013 admin
Edital de abertura   cp 01-2013 adminEdital de abertura   cp 01-2013 admin
Edital de abertura cp 01-2013 admin
Sarti Contabilidade
 
Acoso laboral
Acoso laboralAcoso laboral
Acoso laboral
Mariam Arriola
 
Recomendação 03 13 - medidas preservação árvores recife
Recomendação 03 13 - medidas preservação árvores recifeRecomendação 03 13 - medidas preservação árvores recife
Recomendação 03 13 - medidas preservação árvores recife
Projeto Golfinho Rotador
 
4ª edição do BHSM - Workshop de Métrica com Gabriel Ishida
4ª edição do BHSM - Workshop de Métrica com Gabriel Ishida4ª edição do BHSM - Workshop de Métrica com Gabriel Ishida
4ª edição do BHSM - Workshop de Métrica com Gabriel Ishida
Zoom Comunicação
 
Doisirmaos
DoisirmaosDoisirmaos
Lugares onde deus educa seus servos parte 2
Lugares onde deus educa seus servos parte 2Lugares onde deus educa seus servos parte 2
Lugares onde deus educa seus servos parte 2
Rômulo Martins
 
SA-Performance Manager
SA-Performance ManagerSA-Performance Manager
170102_RO_Executive Brief_02
170102_RO_Executive Brief_02170102_RO_Executive Brief_02
170102_RO_Executive Brief_02
Richard D. Ochotorena
 
In mma n 05 2004 inverterbrados e peixes
In mma n 05 2004 inverterbrados e peixesIn mma n 05 2004 inverterbrados e peixes
In mma n 05 2004 inverterbrados e peixes
Projeto Golfinho Rotador
 
Documento practica 2012
Documento practica 2012Documento practica 2012
Documento practica 2012
Victor Albeiro Montaña Rozo
 
Los sentidos.pptx
Los sentidos.pptxLos sentidos.pptx
Los sentidos.pptx
julietica1992
 
PROPUESTA EPISTEMOLOGICA PPI GRADO UNDECIMO
PROPUESTA EPISTEMOLOGICA PPI GRADO UNDECIMOPROPUESTA EPISTEMOLOGICA PPI GRADO UNDECIMO
PROPUESTA EPISTEMOLOGICA PPI GRADO UNDECIMO
Victor Albeiro Montaña Rozo
 
Resumen
ResumenResumen
Resumen
Edison Pacari
 
Los compadres
Los compadresLos compadres
Los compadres
antonino10
 
Vítor meireles de lima
Vítor meireles de limaVítor meireles de lima
Vítor meireles de lima
deniselugli2
 
A santa ceia
A santa ceiaA santa ceia
A santa ceia
krlos2427
 
Reconocimientos internacionales por el 9 de julio
Reconocimientos internacionales por el 9 de julioReconocimientos internacionales por el 9 de julio
Reconocimientos internacionales por el 9 de julio
LunaAscenzi
 
Kiosquito
KiosquitoKiosquito
Kiosquito
MAFASEPE
 
3 r
3 r3 r
Sistemas Operativos
Sistemas OperativosSistemas Operativos
Sistemas Operativos
11Madeleyne
 

Destaque (20)

Edital de abertura cp 01-2013 admin
Edital de abertura   cp 01-2013 adminEdital de abertura   cp 01-2013 admin
Edital de abertura cp 01-2013 admin
 
Acoso laboral
Acoso laboralAcoso laboral
Acoso laboral
 
Recomendação 03 13 - medidas preservação árvores recife
Recomendação 03 13 - medidas preservação árvores recifeRecomendação 03 13 - medidas preservação árvores recife
Recomendação 03 13 - medidas preservação árvores recife
 
4ª edição do BHSM - Workshop de Métrica com Gabriel Ishida
4ª edição do BHSM - Workshop de Métrica com Gabriel Ishida4ª edição do BHSM - Workshop de Métrica com Gabriel Ishida
4ª edição do BHSM - Workshop de Métrica com Gabriel Ishida
 
Doisirmaos
DoisirmaosDoisirmaos
Doisirmaos
 
Lugares onde deus educa seus servos parte 2
Lugares onde deus educa seus servos parte 2Lugares onde deus educa seus servos parte 2
Lugares onde deus educa seus servos parte 2
 
SA-Performance Manager
SA-Performance ManagerSA-Performance Manager
SA-Performance Manager
 
170102_RO_Executive Brief_02
170102_RO_Executive Brief_02170102_RO_Executive Brief_02
170102_RO_Executive Brief_02
 
In mma n 05 2004 inverterbrados e peixes
In mma n 05 2004 inverterbrados e peixesIn mma n 05 2004 inverterbrados e peixes
In mma n 05 2004 inverterbrados e peixes
 
Documento practica 2012
Documento practica 2012Documento practica 2012
Documento practica 2012
 
Los sentidos.pptx
Los sentidos.pptxLos sentidos.pptx
Los sentidos.pptx
 
PROPUESTA EPISTEMOLOGICA PPI GRADO UNDECIMO
PROPUESTA EPISTEMOLOGICA PPI GRADO UNDECIMOPROPUESTA EPISTEMOLOGICA PPI GRADO UNDECIMO
PROPUESTA EPISTEMOLOGICA PPI GRADO UNDECIMO
 
Resumen
ResumenResumen
Resumen
 
Los compadres
Los compadresLos compadres
Los compadres
 
Vítor meireles de lima
Vítor meireles de limaVítor meireles de lima
Vítor meireles de lima
 
A santa ceia
A santa ceiaA santa ceia
A santa ceia
 
Reconocimientos internacionales por el 9 de julio
Reconocimientos internacionales por el 9 de julioReconocimientos internacionales por el 9 de julio
Reconocimientos internacionales por el 9 de julio
 
Kiosquito
KiosquitoKiosquito
Kiosquito
 
3 r
3 r3 r
3 r
 
Sistemas Operativos
Sistemas OperativosSistemas Operativos
Sistemas Operativos
 

Semelhante a Logica de programação

Calculo1 aula19
Calculo1 aula19Calculo1 aula19
Calculo1 aula19
Cleide Soares
 
Calculo1 aula19
Calculo1 aula19Calculo1 aula19
Calculo1 aula19
Élica Dias
 
Fisica exercicios resolvidos 008
Fisica exercicios resolvidos  008Fisica exercicios resolvidos  008
Fisica exercicios resolvidos 008
comentada
 
Conduto Equival
Conduto EquivalConduto Equival
Conduto Equival
Diego Lopes
 
Questões Corrigidas, em Word: Estudo dos Gases - Conteúdo vinculado ao blog...
Questões Corrigidas, em Word: Estudo dos Gases   - Conteúdo vinculado ao blog...Questões Corrigidas, em Word: Estudo dos Gases   - Conteúdo vinculado ao blog...
Questões Corrigidas, em Word: Estudo dos Gases - Conteúdo vinculado ao blog...
Rodrigo Penna
 
Correção do exame nacional
Correção do exame nacionalCorreção do exame nacional
Correção do exame nacional
Ana Luísa Moreira
 
V@R Não-Linear
V@R Não-LinearV@R Não-Linear
V@R Não-Linear
Renato Vicente
 
3
33
Formulário matemática
Formulário matemáticaFormulário matemática
Formulário matemática
zeramento contabil
 
Mat triangulo 009
Mat triangulo  009Mat triangulo  009
Mat triangulo 009
trigono_metrico
 
Calculo1 aula17
Calculo1 aula17Calculo1 aula17
Calculo1 aula17
Élica Dias
 
Calculo1 aula17
Calculo1 aula17Calculo1 aula17
Calculo1 aula17
Cleide Soares
 
3
33
Calculo1 aula16
Calculo1 aula16Calculo1 aula16
Calculo1 aula16
Cleide Soares
 
Calculo1 aula16
Calculo1 aula16Calculo1 aula16
Calculo1 aula16
Élica Dias
 
Hidrodinamica (1)
Hidrodinamica (1)Hidrodinamica (1)
Hidrodinamica (1)
Tuane Paixão
 
Enunciado ficha logica
Enunciado ficha logicaEnunciado ficha logica
Enunciado ficha logica
Sónia Amaral
 
Trigometria aula 002
Trigometria aula 002Trigometria aula 002
Trigometria aula 002
Professorfranciscosimao
 
Aulas Cap 2
Aulas Cap 2Aulas Cap 2
Aulas Cap 2
Rafael Jegundo
 
Ita2013 1dia
Ita2013 1diaIta2013 1dia
Ita2013 1dia
cavip
 

Semelhante a Logica de programação (20)

Calculo1 aula19
Calculo1 aula19Calculo1 aula19
Calculo1 aula19
 
Calculo1 aula19
Calculo1 aula19Calculo1 aula19
Calculo1 aula19
 
Fisica exercicios resolvidos 008
Fisica exercicios resolvidos  008Fisica exercicios resolvidos  008
Fisica exercicios resolvidos 008
 
Conduto Equival
Conduto EquivalConduto Equival
Conduto Equival
 
Questões Corrigidas, em Word: Estudo dos Gases - Conteúdo vinculado ao blog...
Questões Corrigidas, em Word: Estudo dos Gases   - Conteúdo vinculado ao blog...Questões Corrigidas, em Word: Estudo dos Gases   - Conteúdo vinculado ao blog...
Questões Corrigidas, em Word: Estudo dos Gases - Conteúdo vinculado ao blog...
 
Correção do exame nacional
Correção do exame nacionalCorreção do exame nacional
Correção do exame nacional
 
V@R Não-Linear
V@R Não-LinearV@R Não-Linear
V@R Não-Linear
 
3
33
3
 
Formulário matemática
Formulário matemáticaFormulário matemática
Formulário matemática
 
Mat triangulo 009
Mat triangulo  009Mat triangulo  009
Mat triangulo 009
 
Calculo1 aula17
Calculo1 aula17Calculo1 aula17
Calculo1 aula17
 
Calculo1 aula17
Calculo1 aula17Calculo1 aula17
Calculo1 aula17
 
3
33
3
 
Calculo1 aula16
Calculo1 aula16Calculo1 aula16
Calculo1 aula16
 
Calculo1 aula16
Calculo1 aula16Calculo1 aula16
Calculo1 aula16
 
Hidrodinamica (1)
Hidrodinamica (1)Hidrodinamica (1)
Hidrodinamica (1)
 
Enunciado ficha logica
Enunciado ficha logicaEnunciado ficha logica
Enunciado ficha logica
 
Trigometria aula 002
Trigometria aula 002Trigometria aula 002
Trigometria aula 002
 
Aulas Cap 2
Aulas Cap 2Aulas Cap 2
Aulas Cap 2
 
Ita2013 1dia
Ita2013 1diaIta2013 1dia
Ita2013 1dia
 

Último

Escola de Comando e Estado-Maior da Aeronáutica (ECEMAR).pdf
Escola de Comando e Estado-Maior da Aeronáutica (ECEMAR).pdfEscola de Comando e Estado-Maior da Aeronáutica (ECEMAR).pdf
Escola de Comando e Estado-Maior da Aeronáutica (ECEMAR).pdf
Falcão Brasil
 
Organograma do Ministério da Defesa (MD).pdf
Organograma do Ministério da Defesa (MD).pdfOrganograma do Ministério da Defesa (MD).pdf
Organograma do Ministério da Defesa (MD).pdf
Falcão Brasil
 
Caça-palavras - multiplicação
Caça-palavras  -  multiplicaçãoCaça-palavras  -  multiplicação
Caça-palavras - multiplicação
Mary Alvarenga
 
Os Setores Estratégicos da END - O Setor Cibernético.pdf
Os Setores Estratégicos da END - O Setor Cibernético.pdfOs Setores Estratégicos da END - O Setor Cibernético.pdf
Os Setores Estratégicos da END - O Setor Cibernético.pdf
Falcão Brasil
 
Desafio matemático - multiplicação e divisão.
Desafio matemático -  multiplicação e divisão.Desafio matemático -  multiplicação e divisão.
Desafio matemático - multiplicação e divisão.
Mary Alvarenga
 
Caderno_de_referencias_Ocupacaohumana_IV_FlaviaCoelho_compressed.pdf
Caderno_de_referencias_Ocupacaohumana_IV_FlaviaCoelho_compressed.pdfCaderno_de_referencias_Ocupacaohumana_IV_FlaviaCoelho_compressed.pdf
Caderno_de_referencias_Ocupacaohumana_IV_FlaviaCoelho_compressed.pdf
shirleisousa9166
 
Ensinar Programação 📚 Python 🐍 Método Inovador e Prático 🚀
Ensinar Programação 📚 Python 🐍 Método Inovador e Prático 🚀Ensinar Programação 📚 Python 🐍 Método Inovador e Prático 🚀
Ensinar Programação 📚 Python 🐍 Método Inovador e Prático 🚀
Miguel Delamontagne
 
APRESENTAÇÃO CURSO FORMAÇÃO EXPERT EM MODERAÇÃO DE FOCUS GROUP.pdf
APRESENTAÇÃO  CURSO FORMAÇÃO EXPERT EM MODERAÇÃO DE FOCUS GROUP.pdfAPRESENTAÇÃO  CURSO FORMAÇÃO EXPERT EM MODERAÇÃO DE FOCUS GROUP.pdf
APRESENTAÇÃO CURSO FORMAÇÃO EXPERT EM MODERAÇÃO DE FOCUS GROUP.pdf
portaladministradores
 
Escola de Especialistas de Aeronáutica (EEAR).pdf
Escola de Especialistas de Aeronáutica (EEAR).pdfEscola de Especialistas de Aeronáutica (EEAR).pdf
Escola de Especialistas de Aeronáutica (EEAR).pdf
Falcão Brasil
 
História das ideias pedagógicas no Brasil - Demerval Saviani.pdf
História das ideias pedagógicas no Brasil - Demerval Saviani.pdfHistória das ideias pedagógicas no Brasil - Demerval Saviani.pdf
História das ideias pedagógicas no Brasil - Demerval Saviani.pdf
LeideLauraCenturionL
 
Análise dos resultados do desmatamento obtidos pelo SIAD.ppt
Análise dos resultados do desmatamento obtidos pelo SIAD.pptAnálise dos resultados do desmatamento obtidos pelo SIAD.ppt
Análise dos resultados do desmatamento obtidos pelo SIAD.ppt
Falcão Brasil
 
EBOOK_HORA DO CONTO_O SONHO DO EVARISTO_RITA E CLÁUDIA_22_23
EBOOK_HORA DO CONTO_O SONHO DO EVARISTO_RITA E CLÁUDIA_22_23EBOOK_HORA DO CONTO_O SONHO DO EVARISTO_RITA E CLÁUDIA_22_23
EBOOK_HORA DO CONTO_O SONHO DO EVARISTO_RITA E CLÁUDIA_22_23
Sandra Pratas
 
Apresentação Institucional do Centro Gestor e Operacional do Sistema de Prote...
Apresentação Institucional do Centro Gestor e Operacional do Sistema de Prote...Apresentação Institucional do Centro Gestor e Operacional do Sistema de Prote...
Apresentação Institucional do Centro Gestor e Operacional do Sistema de Prote...
Falcão Brasil
 
Portfólio Estratégico da Marinha do Brasil (MB).pdf
Portfólio Estratégico da Marinha do Brasil (MB).pdfPortfólio Estratégico da Marinha do Brasil (MB).pdf
Portfólio Estratégico da Marinha do Brasil (MB).pdf
Falcão Brasil
 
Slides Lição 4, CPAD, O Encontro de Rute com Boaz, 3Tr24.pptx
Slides Lição 4, CPAD, O Encontro de Rute com Boaz, 3Tr24.pptxSlides Lição 4, CPAD, O Encontro de Rute com Boaz, 3Tr24.pptx
Slides Lição 4, CPAD, O Encontro de Rute com Boaz, 3Tr24.pptx
LuizHenriquedeAlmeid6
 
Organograma do Centro Gestor e Operacional do Sistema de Proteção da Amazônia...
Organograma do Centro Gestor e Operacional do Sistema de Proteção da Amazônia...Organograma do Centro Gestor e Operacional do Sistema de Proteção da Amazônia...
Organograma do Centro Gestor e Operacional do Sistema de Proteção da Amazônia...
Falcão Brasil
 
A Atuação das Forças Armadas na Garantia da Lei e da Ordem (GLO).pdf
A Atuação das Forças Armadas na Garantia da Lei e da Ordem (GLO).pdfA Atuação das Forças Armadas na Garantia da Lei e da Ordem (GLO).pdf
A Atuação das Forças Armadas na Garantia da Lei e da Ordem (GLO).pdf
Falcão Brasil
 
Slides Lição 3, CPAD, Rute e Noemi, Entrelaçadas pelo Amor.pptx
Slides Lição 3, CPAD, Rute e Noemi, Entrelaçadas pelo Amor.pptxSlides Lição 3, CPAD, Rute e Noemi, Entrelaçadas pelo Amor.pptx
Slides Lição 3, CPAD, Rute e Noemi, Entrelaçadas pelo Amor.pptx
LuizHenriquedeAlmeid6
 
A Priula sobre a primeira Guerra Mundial.pptx
A Priula sobre a primeira Guerra Mundial.pptxA Priula sobre a primeira Guerra Mundial.pptx
A Priula sobre a primeira Guerra Mundial.pptx
tamirissousa11
 
Guia Genealógico da Principesca e Ducal Casa de Mesolcina, 2024
Guia Genealógico da Principesca e Ducal Casa de Mesolcina, 2024Guia Genealógico da Principesca e Ducal Casa de Mesolcina, 2024
Guia Genealógico da Principesca e Ducal Casa de Mesolcina, 2024
principeandregalli
 

Último (20)

Escola de Comando e Estado-Maior da Aeronáutica (ECEMAR).pdf
Escola de Comando e Estado-Maior da Aeronáutica (ECEMAR).pdfEscola de Comando e Estado-Maior da Aeronáutica (ECEMAR).pdf
Escola de Comando e Estado-Maior da Aeronáutica (ECEMAR).pdf
 
Organograma do Ministério da Defesa (MD).pdf
Organograma do Ministério da Defesa (MD).pdfOrganograma do Ministério da Defesa (MD).pdf
Organograma do Ministério da Defesa (MD).pdf
 
Caça-palavras - multiplicação
Caça-palavras  -  multiplicaçãoCaça-palavras  -  multiplicação
Caça-palavras - multiplicação
 
Os Setores Estratégicos da END - O Setor Cibernético.pdf
Os Setores Estratégicos da END - O Setor Cibernético.pdfOs Setores Estratégicos da END - O Setor Cibernético.pdf
Os Setores Estratégicos da END - O Setor Cibernético.pdf
 
Desafio matemático - multiplicação e divisão.
Desafio matemático -  multiplicação e divisão.Desafio matemático -  multiplicação e divisão.
Desafio matemático - multiplicação e divisão.
 
Caderno_de_referencias_Ocupacaohumana_IV_FlaviaCoelho_compressed.pdf
Caderno_de_referencias_Ocupacaohumana_IV_FlaviaCoelho_compressed.pdfCaderno_de_referencias_Ocupacaohumana_IV_FlaviaCoelho_compressed.pdf
Caderno_de_referencias_Ocupacaohumana_IV_FlaviaCoelho_compressed.pdf
 
Ensinar Programação 📚 Python 🐍 Método Inovador e Prático 🚀
Ensinar Programação 📚 Python 🐍 Método Inovador e Prático 🚀Ensinar Programação 📚 Python 🐍 Método Inovador e Prático 🚀
Ensinar Programação 📚 Python 🐍 Método Inovador e Prático 🚀
 
APRESENTAÇÃO CURSO FORMAÇÃO EXPERT EM MODERAÇÃO DE FOCUS GROUP.pdf
APRESENTAÇÃO  CURSO FORMAÇÃO EXPERT EM MODERAÇÃO DE FOCUS GROUP.pdfAPRESENTAÇÃO  CURSO FORMAÇÃO EXPERT EM MODERAÇÃO DE FOCUS GROUP.pdf
APRESENTAÇÃO CURSO FORMAÇÃO EXPERT EM MODERAÇÃO DE FOCUS GROUP.pdf
 
Escola de Especialistas de Aeronáutica (EEAR).pdf
Escola de Especialistas de Aeronáutica (EEAR).pdfEscola de Especialistas de Aeronáutica (EEAR).pdf
Escola de Especialistas de Aeronáutica (EEAR).pdf
 
História das ideias pedagógicas no Brasil - Demerval Saviani.pdf
História das ideias pedagógicas no Brasil - Demerval Saviani.pdfHistória das ideias pedagógicas no Brasil - Demerval Saviani.pdf
História das ideias pedagógicas no Brasil - Demerval Saviani.pdf
 
Análise dos resultados do desmatamento obtidos pelo SIAD.ppt
Análise dos resultados do desmatamento obtidos pelo SIAD.pptAnálise dos resultados do desmatamento obtidos pelo SIAD.ppt
Análise dos resultados do desmatamento obtidos pelo SIAD.ppt
 
EBOOK_HORA DO CONTO_O SONHO DO EVARISTO_RITA E CLÁUDIA_22_23
EBOOK_HORA DO CONTO_O SONHO DO EVARISTO_RITA E CLÁUDIA_22_23EBOOK_HORA DO CONTO_O SONHO DO EVARISTO_RITA E CLÁUDIA_22_23
EBOOK_HORA DO CONTO_O SONHO DO EVARISTO_RITA E CLÁUDIA_22_23
 
Apresentação Institucional do Centro Gestor e Operacional do Sistema de Prote...
Apresentação Institucional do Centro Gestor e Operacional do Sistema de Prote...Apresentação Institucional do Centro Gestor e Operacional do Sistema de Prote...
Apresentação Institucional do Centro Gestor e Operacional do Sistema de Prote...
 
Portfólio Estratégico da Marinha do Brasil (MB).pdf
Portfólio Estratégico da Marinha do Brasil (MB).pdfPortfólio Estratégico da Marinha do Brasil (MB).pdf
Portfólio Estratégico da Marinha do Brasil (MB).pdf
 
Slides Lição 4, CPAD, O Encontro de Rute com Boaz, 3Tr24.pptx
Slides Lição 4, CPAD, O Encontro de Rute com Boaz, 3Tr24.pptxSlides Lição 4, CPAD, O Encontro de Rute com Boaz, 3Tr24.pptx
Slides Lição 4, CPAD, O Encontro de Rute com Boaz, 3Tr24.pptx
 
Organograma do Centro Gestor e Operacional do Sistema de Proteção da Amazônia...
Organograma do Centro Gestor e Operacional do Sistema de Proteção da Amazônia...Organograma do Centro Gestor e Operacional do Sistema de Proteção da Amazônia...
Organograma do Centro Gestor e Operacional do Sistema de Proteção da Amazônia...
 
A Atuação das Forças Armadas na Garantia da Lei e da Ordem (GLO).pdf
A Atuação das Forças Armadas na Garantia da Lei e da Ordem (GLO).pdfA Atuação das Forças Armadas na Garantia da Lei e da Ordem (GLO).pdf
A Atuação das Forças Armadas na Garantia da Lei e da Ordem (GLO).pdf
 
Slides Lição 3, CPAD, Rute e Noemi, Entrelaçadas pelo Amor.pptx
Slides Lição 3, CPAD, Rute e Noemi, Entrelaçadas pelo Amor.pptxSlides Lição 3, CPAD, Rute e Noemi, Entrelaçadas pelo Amor.pptx
Slides Lição 3, CPAD, Rute e Noemi, Entrelaçadas pelo Amor.pptx
 
A Priula sobre a primeira Guerra Mundial.pptx
A Priula sobre a primeira Guerra Mundial.pptxA Priula sobre a primeira Guerra Mundial.pptx
A Priula sobre a primeira Guerra Mundial.pptx
 
Guia Genealógico da Principesca e Ducal Casa de Mesolcina, 2024
Guia Genealógico da Principesca e Ducal Casa de Mesolcina, 2024Guia Genealógico da Principesca e Ducal Casa de Mesolcina, 2024
Guia Genealógico da Principesca e Ducal Casa de Mesolcina, 2024
 

Logica de programação

  • 1. Departamento de Computação FLIA-PPG-CC Semestre 1 de 2007 Lucia Helena Machado Rino PROPRIEDADES Cálculo de Predicados Na lista de propriedades abaixo, relações de equivalência ou implicação lógica demonstram relações entre interpretações e, portanto, significados, das fbfs envolvidas. Relações de igualdade indicam igualdade entre valores semânticos no domínio do CalcPropos. Fbfs equivalentes terão mesmos valores semânticos. 1. Definições a. ¬v = f b. ¬f = v (a) e (b) indicam o conjunto fechado da lógica bivalente c. ¬α ∧ α = f (contradição) d. ¬α ∨ α = v (tautologia) 2. Equivalências lógicas a. α β ⇔ ¬α ∨ β b. α ↔ β ⇔ (α β) ∧ (β α) c. ¬¬α ⇔ α 3. EN 14. Silogismo hipotético (cadeia): (α β) ∧ (β a. EN1: α ∧ β ⇔ β, para α = tautologia γ) ⇒ α γ b. EN2: α ∨ β ⇔ β, para α = 15. Silogismo disjuntivo: (α ∨ β) ∧ ¬α ⇒ β contradição 16. MP (modus ponens): α ∧ (α β) ⇒ β Em outras palavras: 17. MT (modus tollens): (α β) ∧ ¬ β ⇒ ¬α c. EN1: v ∧ β ⇔ β 18. Contrapositiva (DEF): α β ⇒ ¬β ¬α d. EN2: f ∨ β ⇔ β 19. Recíproca de α β (DEF): β α 20. Contrária de α β (DEF): ¬α ¬β 4. Distributiva 21. Condicional ⇔ contrapositiva a. D1: α ∧ (β ∨ γ) ⇔ (α ∧ β) ∨ (α ∧ γ) a. α β ⇔ ¬β ¬α b. Vale a dual (D2) 22. Contrária ⇔ recíproca 5. Associativa a. ¬α ¬β ⇔ β α a. A1: α ∧ (β ∧ γ) ⇔ (α ∧ β) ∧ γ 23. Exportação: α (β γ) ⇒ α ∧ β γ b. Vale a dual (A2) 24. Importação: α ∧ β γ⇒α (β γ) 6. Idempotência 25. Exportação-Importação-: α (β γ) ⇔ α a. I1: α ∨ α ⇔ α ∧β γ b. Vale a dual (I2) 26. Princípio da inconsistência: α ∧ ¬α ⇒ β 7. Comutativa a. C1: α ∨ β ⇔ β ∨ α Outras propriedades deriváveis b. Vale a dual (C2) 27. se α β, então 8. de Morgan a. α ∧ γ β∧γ a. M1: ¬(α ∧ β) ⇔ ¬ α ∨ ¬ β (conjunção de ambos os lados) b. Vale a dual (M2) b. α ∨ γ β∨γ 9. Universal (disjunção de ambos os lados) a. U1: β ∧ f = f 28. α β ∧ γ ⇔ (α β) ∧ (α γ) b. Vale a dual (U2) 10. Absorção simples a. Abs1: α ∨ (α ∧ β) ⇔ α b. Vale a dual (Abs2) 11. Absorção elaborada a. p p∧q⇔p q 12. Simplificação (S): α ∧ β ⇒ α 13. Adição (A): α ⇒ α ∨ β 1 PROPs-LPO
  • 2. Departamento de Computação FLIA-PPG-CC Semestre 1 de 2007 Lucia Helena Machado Rino Wang R1: Caso 1 Caso 2 p1, p2,…, pj-1,¬X, pj+1,..., pn ⇒ c1, ¬ p1, p2,…, pn ⇒ c1, c2,..., cj-1,¬X, ¬ c2,..., cm cj+1,..., cm p1, p2,…, pj-1, pj+1,..., pn ⇒ c1, p1, p2,…, pn, X ⇒ c1, c2 ,..., cj- c2,..., cm, X 1,cj+1,..., cm R2: Caso 1 Caso 2 p1, p2,…, pj-1, X∧Y, pj+1,..., pn ⇒ c1, ∧ p1, p2,…, pn ⇒ c1, c2,..., cj-1, X∨Y, ∨ c2,..., cm cj+1,..., cm p1, p2,…, pj-1, X,Y, pj+1,..., pn ⇒ c1, p1, p2,…, pn ⇒ c1, c2 ,..., cj-1, X,Y, c2,..., cm cj+1,..., cm R3: p1, X∨Y, p2 ⇒ c1, c2 ∨ R4: p1, p2 ⇒ c1, X∧Y, c2 ∧ p1, X, p2⇒ c1, c2 p1, p2 ⇒ c1, X, c2 p1, Y, p2 ⇒ c1, c2 p1, p2 ⇒ c1, Y, c2 R5: X Y ⇔ ¬X ∨ Y R6: X ↔ Y ⇔ (X Y)∧(Y X) Princípios Satisfatibilidade ou consistência lógica α = v para ALGUMA interpretação I ⇒ α é satisfatível ou consistente Validade (semântica) α é tautologia ⇒ α é válida Insatisfatibilidade ou inconsistência lógica α = f para TODA interpretação I ⇒ α é insatisfatível ou inconsistente α = contradição ⇒ α é insatisfatível Inválida α = f para ALGUMA interpretação I⇒ α é inválida (α ∨ β) 2 PROPs-LPO
  • 3. Departamento de Computação FLIA-PPG-CC Semestre 1 de 2007 Lucia Helena Machado Rino Calc. de Predicados As propriedades do Calc. Proposicional valem também para o Calc. de Predicados. Porém, veremos os casos especiais em que as fbfs são quantificadas. Em primeiro lugar, a prioridade dos conectivos deve prever, agora, a inclusão dos quantificadores, que é a seguinte (maior-menor): ~, ∀, ∃, ∧, ∨, , ↔. Fecho universal de F: ∀F; Fecho existencial de F: ∃F Equivalências lógicas 1. ∃x [lingProgram(x) ∧ fornece(softline,x)] não é equivalente a ∃x lingProgram(x) ∧ ∃x fornece(softline,x) RENOMEAR: a. ∃x lingProgram(x) ∧ ∃y fornece(softline,y) ⇔ ∃x ∃y [lingProgram(x) ∧ fornece(softline,y)] 2. Paráfrases úteis a. (P1)Todo elemento de D satisfaz p. – ∀x p(x) b. (P2) Algum elemento de D satisfaz p. - ∃x p(x) c. (P3) Nenhum elemento de D satisfaz p. - ~∃x p(x) d. (P4) Todo elemento de D não satisfaz p. - ∀x [~p(x)] e. (P5) Algum elemento de D não satisfaz p. - ∃x [~p(x)] f. (P6) Não é para todo elemento de D que p vale. - ~∀x [p(x)] g. (P7) Não existe nenhum elemento de D que não satisfaça p. - ~∃x [~p(x)] h. (P8) Não é para todo elemento de D que p é falsa. - ~∀x [~p(x)] 3. P3 é equivalente a P4 a. ~∃x p(x) ⇔ ∀x [~p(x)] 4. P5 é equivalente a P6 a. ∃x [~p(x)] ⇔ ~∀x [p(x)] b. Não é para todo x que p(x) vale, ou seja, existe pelo menos um x tal que p(x) não vale. 5. P1 é equivalente a P7 a. ∀x p(x) ⇔ ~∃x [~p(x)] b. Se nao existem elementos que não satisfaçam p, então todo elemento satisfaz p. 6. P2 é equivalente a P8 a. ∃x p(x) ⇔ ~∀x [~p(x)] b. Se algum elemento de D satisfaz p(x), não é para todo elemento de D que p é falsa. Implicações lógicas válidas 1. ∀x p(x) ⇒ ∃x p(x) 2. ∀x [p(x) c] ⇒ ∃x [p(x) c] 3. ∀x p(x) ∨ ∀x q(x) ⇒ ∀x [p(x) ∨ q(x)] a. sejam α = ∀x p(x) ∨ ∀x q(x) e β = ∀x [p(x) ∨ q(x)] b. se x que torna α = v não satisfizer p e q ao mesmo tempo, poderíamos renomear as variáveis em α: ∀x p(x) ∨ ∀y q(y) e poderíamos ter p(x) diferente de q(y) em uma dada interpretação c. neste caso, β continua sendo satisfatível para a interpretação em x: teríamos um ou exclusivo. d. Entretanto, vale lembrar que, se p e q são v para quaisquer x no domínio, certamente as disjunções para x coincidente se aplicarão de qualquer modo. 4. Para x coincidente em p e q a. ∃x [p(x) ∧ q(x)] ⇒ ∃x p(x) ∧ ∃x q(x) b. ∀x [p(x) q(x)] ⇒ ∀x p(x) ∀x q(x) fbfs equivalentes 5. Desde que x não ocorra em α a. α ∧ ∀x β ⇔ ∀x (α ∧ β ) 3 PROPs-LPO
  • 4. Departamento de Computação FLIA-PPG-CC Semestre 1 de 2007 Lucia Helena Machado Rino b. α ∧ ∃x β ⇔ ∃x (α∧ β ) 6. ∀x α ∧ ∀x β ⇔ ∀x (α ∧ β) 7. ∃x α ∨ ∃x β ⇔ ∃x (α ∨ β) a. Para os casos em que x não satisfaz α e β ao mesmo tempo, a disjunção será exclusiva b. Caso contrário, será inclusiva e α ∨ β será verdadeira exatamente para o mesmo valor de x (α e β serão v) c. Podemos dizer isso de outra forma i. ∃x (α(x) ∨ β(x)) ⇔ ∃x α(x) ∨ ∃y β(y) ii. x = y ou x≠ y Obtenção de uma forma clausal Cláusula de Horn 1. Passo 1: Eliminar variáveis livres de F a. F quantificada em x: ∃x F b. Não usar mesmo nome de variável 2. Passo 2: Eliminar quantificadores redundantes c. ∀x ou ∃x d. Desde que eles não tenham um escopo envolvendo ocorrências livres de x 3. Passo 3: Renomear variáveis quantificadas mais do que uma vez e. ∀x (p(x) → ∃x q(x)) ∀x (p(x) → ∃y q(y)) 4. Passo 4: Remover condicionais e bicondicionais f. α → β ⇔ (~α ∨ β) g. α ↔ β ⇔ (~α ∨ β) ∧ (~β ∨ α) 5. Passo 5: Diminuir o escopo do símbolo de negação h. ~(∀x)(p(x)) ⇔ (∃x)(~p(x)) i. ~(∃x)(p(x)) ⇔ (∀x)(~p(x)) j. Lei de De Morgan a. ~(α ∧ β) ⇔ ~α ∨ ~β b. ~(α ∨ β) ⇔ ~α ∧ ~β k. ~~α ⇔ α 6. Passo 6: Skolemização l. α = ∀y (∃x p(x,y)) e x = g(y) α = ∀y p(g(y),y) m. Se ∃ não estiver no escopo de nenhum ∀ ∃x p(x) = p(a), a constante 7. Passo 7: Obtenção da forma normal prenex n. Todos os quantificadores universais para a frente da fbf 8. Passo 8: Remoção dos quantificadores universais 9. Passo 9: Colocar a fbf na forma prenex na FNC o. (α ∧ β) ∨ γ ⇔ (α ∨ γ) ∧ (β ∨ γ) p. α ∨ (β ∧ γ) ⇔ (α ∨ β) ∧ (α ∨ γ) 4 PROPs-LPO