lógica computacional - aula teórica 7: semântica da lógica …desousa/2014-2015/lc/at7.pdf ·...
TRANSCRIPT
![Page 1: Lógica Computacional - Aula Teórica 7: Semântica da Lógica …desousa/2014-2015/LC/at7.pdf · 2014. 11. 11. · LógicaComputacional AulaTeórica7: SemânticadaLógicaProposicional](https://reader034.vdocuments.pub/reader034/viewer/2022052021/60368bf5882e7c3f68608f74/html5/thumbnails/1.jpg)
Lógica ComputacionalAula Teórica 7: Semântica da Lógica Proposicional
António Ravara Simão Melo de Sousa
Departamento de Informática, Faculdade de Ciências e Tecnologia, UniversidadeNova de Lisboa
Departamento de Informática, Faculdade Engenharia, LISP & Release GroupUniversidade Beira Interior
![Page 2: Lógica Computacional - Aula Teórica 7: Semântica da Lógica …desousa/2014-2015/LC/at7.pdf · 2014. 11. 11. · LógicaComputacional AulaTeórica7: SemânticadaLógicaProposicional](https://reader034.vdocuments.pub/reader034/viewer/2022052021/60368bf5882e7c3f68608f74/html5/thumbnails/2.jpg)
Equivalência lógicaLeis axiomáticas
CongruênciaAbreviaturas
Conjuntos mínimos de conectivos
MotivaçãoDefinição
A ideia
Todas as fórmulas são diferentes?I Há fórmulas sintaticamente diferentes que significam a mesma
coisa (capturam a mesma asserção).I Exemplo: “gosto de lógica” é equivalente a “não é verdade que
não gosto de lógica”.I Sintaxe não é tudo: há várias formas de dizer a mesma coisa.I Intuitivamente, se dada valoração arbitrária satisfaz uma
fórmula se e só se satisfaz outra fórmula, então as fórmulassão equivalentes.
António Ravara, Simão Melo de Sousa Lógica Computacional
![Page 3: Lógica Computacional - Aula Teórica 7: Semântica da Lógica …desousa/2014-2015/LC/at7.pdf · 2014. 11. 11. · LógicaComputacional AulaTeórica7: SemânticadaLógicaProposicional](https://reader034.vdocuments.pub/reader034/viewer/2022052021/60368bf5882e7c3f68608f74/html5/thumbnails/3.jpg)
Equivalência lógicaLeis axiomáticas
CongruênciaAbreviaturas
Conjuntos mínimos de conectivos
MotivaçãoDefinição
A ideia
Todas as fórmulas são diferentes?I Há fórmulas sintaticamente diferentes que significam a mesma
coisa (capturam a mesma asserção).I Exemplo: “gosto de lógica” é equivalente a “não é verdade que
não gosto de lógica”.I Sintaxe não é tudo: há várias formas de dizer a mesma coisa.I Intuitivamente, se dada valoração arbitrária satisfaz uma
fórmula se e só se satisfaz outra fórmula, então as fórmulassão equivalentes.
António Ravara, Simão Melo de Sousa Lógica Computacional
![Page 4: Lógica Computacional - Aula Teórica 7: Semântica da Lógica …desousa/2014-2015/LC/at7.pdf · 2014. 11. 11. · LógicaComputacional AulaTeórica7: SemânticadaLógicaProposicional](https://reader034.vdocuments.pub/reader034/viewer/2022052021/60368bf5882e7c3f68608f74/html5/thumbnails/4.jpg)
Equivalência lógicaLeis axiomáticas
CongruênciaAbreviaturas
Conjuntos mínimos de conectivos
MotivaçãoDefinição
A ideia
Todas as fórmulas são diferentes?I Há fórmulas sintaticamente diferentes que significam a mesma
coisa (capturam a mesma asserção).I Exemplo: “gosto de lógica” é equivalente a “não é verdade que
não gosto de lógica”.I Sintaxe não é tudo: há várias formas de dizer a mesma coisa.I Intuitivamente, se dada valoração arbitrária satisfaz uma
fórmula se e só se satisfaz outra fórmula, então as fórmulassão equivalentes.
António Ravara, Simão Melo de Sousa Lógica Computacional
![Page 5: Lógica Computacional - Aula Teórica 7: Semântica da Lógica …desousa/2014-2015/LC/at7.pdf · 2014. 11. 11. · LógicaComputacional AulaTeórica7: SemânticadaLógicaProposicional](https://reader034.vdocuments.pub/reader034/viewer/2022052021/60368bf5882e7c3f68608f74/html5/thumbnails/5.jpg)
Equivalência lógicaLeis axiomáticas
CongruênciaAbreviaturas
Conjuntos mínimos de conectivos
MotivaçãoDefinição
A ideia
Todas as fórmulas são diferentes?I Há fórmulas sintaticamente diferentes que significam a mesma
coisa (capturam a mesma asserção).I Exemplo: “gosto de lógica” é equivalente a “não é verdade que
não gosto de lógica”.I Sintaxe não é tudo: há várias formas de dizer a mesma coisa.I Intuitivamente, se dada valoração arbitrária satisfaz uma
fórmula se e só se satisfaz outra fórmula, então as fórmulassão equivalentes.
António Ravara, Simão Melo de Sousa Lógica Computacional
![Page 6: Lógica Computacional - Aula Teórica 7: Semântica da Lógica …desousa/2014-2015/LC/at7.pdf · 2014. 11. 11. · LógicaComputacional AulaTeórica7: SemânticadaLógicaProposicional](https://reader034.vdocuments.pub/reader034/viewer/2022052021/60368bf5882e7c3f68608f74/html5/thumbnails/6.jpg)
Equivalência lógicaLeis axiomáticas
CongruênciaAbreviaturas
Conjuntos mínimos de conectivos
MotivaçãoDefinição
A noção de equivalência
Definição 7.1: equivalência lógicaDuas fórmulas ϕ,ψ ∈ FP dizem-se logicamente equivalentes, o quese denota por ϕ ≡ ψ, se para qualquer valoração V se tem queV (ϕ) = V (ψ).
Proposição 7.4Duas fórmulas ϕ,ψ ∈ FP dizem-se logicamente equivalentes, o quese denota por ϕ ≡ ψ, se se tem que ϕ |= ψ se e só se ψ |= ϕ.
Teorema 7.3A equivalência lógica é uma relação de equivalência.
António Ravara, Simão Melo de Sousa Lógica Computacional
![Page 7: Lógica Computacional - Aula Teórica 7: Semântica da Lógica …desousa/2014-2015/LC/at7.pdf · 2014. 11. 11. · LógicaComputacional AulaTeórica7: SemânticadaLógicaProposicional](https://reader034.vdocuments.pub/reader034/viewer/2022052021/60368bf5882e7c3f68608f74/html5/thumbnails/7.jpg)
Equivalência lógicaLeis axiomáticas
CongruênciaAbreviaturas
Conjuntos mínimos de conectivos
MotivaçãoDefinição
A noção de equivalência
Definição 7.1: equivalência lógicaDuas fórmulas ϕ,ψ ∈ FP dizem-se logicamente equivalentes, o quese denota por ϕ ≡ ψ, se para qualquer valoração V se tem queV (ϕ) = V (ψ).
Proposição 7.4Duas fórmulas ϕ,ψ ∈ FP dizem-se logicamente equivalentes, o quese denota por ϕ ≡ ψ, se se tem que ϕ |= ψ se e só se ψ |= ϕ.
Teorema 7.3A equivalência lógica é uma relação de equivalência.
António Ravara, Simão Melo de Sousa Lógica Computacional
![Page 8: Lógica Computacional - Aula Teórica 7: Semântica da Lógica …desousa/2014-2015/LC/at7.pdf · 2014. 11. 11. · LógicaComputacional AulaTeórica7: SemânticadaLógicaProposicional](https://reader034.vdocuments.pub/reader034/viewer/2022052021/60368bf5882e7c3f68608f74/html5/thumbnails/8.jpg)
Equivalência lógicaLeis axiomáticas
CongruênciaAbreviaturas
Conjuntos mínimos de conectivos
MotivaçãoDefinição
A noção de equivalência
Definição 7.1: equivalência lógicaDuas fórmulas ϕ,ψ ∈ FP dizem-se logicamente equivalentes, o quese denota por ϕ ≡ ψ, se para qualquer valoração V se tem queV (ϕ) = V (ψ).
Proposição 7.4Duas fórmulas ϕ,ψ ∈ FP dizem-se logicamente equivalentes, o quese denota por ϕ ≡ ψ, se se tem que ϕ |= ψ se e só se ψ |= ϕ.
Teorema 7.3A equivalência lógica é uma relação de equivalência.
António Ravara, Simão Melo de Sousa Lógica Computacional
![Page 9: Lógica Computacional - Aula Teórica 7: Semântica da Lógica …desousa/2014-2015/LC/at7.pdf · 2014. 11. 11. · LógicaComputacional AulaTeórica7: SemânticadaLógicaProposicional](https://reader034.vdocuments.pub/reader034/viewer/2022052021/60368bf5882e7c3f68608f74/html5/thumbnails/9.jpg)
Equivalência lógicaLeis axiomáticas
CongruênciaAbreviaturas
Conjuntos mínimos de conectivos
MotivaçãoDefinição
A equivalência lógica é uma relação de equivalência
ProvaTem que se mostrar que é reflexiva, simétrica e transitiva.I Note-se que sai como corolário da Proposição 7.4 que ≡ ⊆ |=
Como já mostrámos que |= é uma pré-ordem, ≡ também o é.Logo, é reflexiva e transitiva.
I Falta provar que é simétrica. Note-se que a simetria sai pelaProposição 7.4.
António Ravara, Simão Melo de Sousa Lógica Computacional
![Page 10: Lógica Computacional - Aula Teórica 7: Semântica da Lógica …desousa/2014-2015/LC/at7.pdf · 2014. 11. 11. · LógicaComputacional AulaTeórica7: SemânticadaLógicaProposicional](https://reader034.vdocuments.pub/reader034/viewer/2022052021/60368bf5882e7c3f68608f74/html5/thumbnails/10.jpg)
Equivalência lógicaLeis axiomáticas
CongruênciaAbreviaturas
Conjuntos mínimos de conectivos
MotivaçãoDefinição
A equivalência lógica é uma relação de equivalência
ProvaTem que se mostrar que é reflexiva, simétrica e transitiva.I Note-se que sai como corolário da Proposição 7.4 que ≡ ⊆ |=
Como já mostrámos que |= é uma pré-ordem, ≡ também o é.Logo, é reflexiva e transitiva.
I Falta provar que é simétrica. Note-se que a simetria sai pelaProposição 7.4.
António Ravara, Simão Melo de Sousa Lógica Computacional
![Page 11: Lógica Computacional - Aula Teórica 7: Semântica da Lógica …desousa/2014-2015/LC/at7.pdf · 2014. 11. 11. · LógicaComputacional AulaTeórica7: SemânticadaLógicaProposicional](https://reader034.vdocuments.pub/reader034/viewer/2022052021/60368bf5882e7c3f68608f74/html5/thumbnails/11.jpg)
Equivalência lógicaLeis axiomáticas
CongruênciaAbreviaturas
Conjuntos mínimos de conectivos
MotivaçãoDefinição
A equivalência lógica é uma relação de equivalência
ProvaTem que se mostrar que é reflexiva, simétrica e transitiva.I Note-se que sai como corolário da Proposição 7.4 que ≡ ⊆ |=
Como já mostrámos que |= é uma pré-ordem, ≡ também o é.Logo, é reflexiva e transitiva.
I Falta provar que é simétrica. Note-se que a simetria sai pelaProposição 7.4.
António Ravara, Simão Melo de Sousa Lógica Computacional
![Page 12: Lógica Computacional - Aula Teórica 7: Semântica da Lógica …desousa/2014-2015/LC/at7.pdf · 2014. 11. 11. · LógicaComputacional AulaTeórica7: SemânticadaLógicaProposicional](https://reader034.vdocuments.pub/reader034/viewer/2022052021/60368bf5882e7c3f68608f74/html5/thumbnails/12.jpg)
Equivalência lógicaLeis axiomáticas
CongruênciaAbreviaturas
Conjuntos mínimos de conectivos
MotivaçãoDefinição
A equivalência lógica é uma relação de equivalência
ProvaTem que se mostrar que é reflexiva, simétrica e transitiva.I Note-se que sai como corolário da Proposição 7.4 que ≡ ⊆ |=
Como já mostrámos que |= é uma pré-ordem, ≡ também o é.Logo, é reflexiva e transitiva.
I Falta provar que é simétrica. Note-se que a simetria sai pelaProposição 7.4.
António Ravara, Simão Melo de Sousa Lógica Computacional
![Page 13: Lógica Computacional - Aula Teórica 7: Semântica da Lógica …desousa/2014-2015/LC/at7.pdf · 2014. 11. 11. · LógicaComputacional AulaTeórica7: SemânticadaLógicaProposicional](https://reader034.vdocuments.pub/reader034/viewer/2022052021/60368bf5882e7c3f68608f74/html5/thumbnails/13.jpg)
Equivalência lógicaLeis axiomáticas
CongruênciaAbreviaturas
Conjuntos mínimos de conectivos
MotivaçãoDefinição
A consequência semântica é uma ordem parcial
I Um pré-ordem anti-simétrica diz-se uma ordem parcial.I A anti-simetria usa a igualdade (sintática); se se considerar em
vez a igualdade semântica (equivalência lógica), tem-se uma“anti-simetria” semântica.
Teorema 7.4Mostrou-se que a consequência semântica é uma pré-ordem.
Pela Proposição 7.4, se ϕ |= ψ e ψ |= ϕ então ϕ ≡ ψ; logo, aconsequência semântica é anti-simétrica.
António Ravara, Simão Melo de Sousa Lógica Computacional
![Page 14: Lógica Computacional - Aula Teórica 7: Semântica da Lógica …desousa/2014-2015/LC/at7.pdf · 2014. 11. 11. · LógicaComputacional AulaTeórica7: SemânticadaLógicaProposicional](https://reader034.vdocuments.pub/reader034/viewer/2022052021/60368bf5882e7c3f68608f74/html5/thumbnails/14.jpg)
Equivalência lógicaLeis axiomáticas
CongruênciaAbreviaturas
Conjuntos mínimos de conectivos
MotivaçãoDefinição
A consequência semântica é uma ordem parcial
I Um pré-ordem anti-simétrica diz-se uma ordem parcial.I A anti-simetria usa a igualdade (sintática); se se considerar em
vez a igualdade semântica (equivalência lógica), tem-se uma“anti-simetria” semântica.
Teorema 7.4Mostrou-se que a consequência semântica é uma pré-ordem.
Pela Proposição 7.4, se ϕ |= ψ e ψ |= ϕ então ϕ ≡ ψ; logo, aconsequência semântica é anti-simétrica.
António Ravara, Simão Melo de Sousa Lógica Computacional
![Page 15: Lógica Computacional - Aula Teórica 7: Semântica da Lógica …desousa/2014-2015/LC/at7.pdf · 2014. 11. 11. · LógicaComputacional AulaTeórica7: SemânticadaLógicaProposicional](https://reader034.vdocuments.pub/reader034/viewer/2022052021/60368bf5882e7c3f68608f74/html5/thumbnails/15.jpg)
Equivalência lógicaLeis axiomáticas
CongruênciaAbreviaturas
Conjuntos mínimos de conectivos
MotivaçãoDefinição
A consequência semântica é uma ordem parcial
I Um pré-ordem anti-simétrica diz-se uma ordem parcial.I A anti-simetria usa a igualdade (sintática); se se considerar em
vez a igualdade semântica (equivalência lógica), tem-se uma“anti-simetria” semântica.
Teorema 7.4Mostrou-se que a consequência semântica é uma pré-ordem.
Pela Proposição 7.4, se ϕ |= ψ e ψ |= ϕ então ϕ ≡ ψ; logo, aconsequência semântica é anti-simétrica.
António Ravara, Simão Melo de Sousa Lógica Computacional
![Page 16: Lógica Computacional - Aula Teórica 7: Semântica da Lógica …desousa/2014-2015/LC/at7.pdf · 2014. 11. 11. · LógicaComputacional AulaTeórica7: SemânticadaLógicaProposicional](https://reader034.vdocuments.pub/reader034/viewer/2022052021/60368bf5882e7c3f68608f74/html5/thumbnails/16.jpg)
Equivalência lógicaLeis axiomáticas
CongruênciaAbreviaturas
Conjuntos mínimos de conectivos
MotivaçãoDefinição
A consequência semântica é uma ordem parcial
I Um pré-ordem anti-simétrica diz-se uma ordem parcial.I A anti-simetria usa a igualdade (sintática); se se considerar em
vez a igualdade semântica (equivalência lógica), tem-se uma“anti-simetria” semântica.
Teorema 7.4Mostrou-se que a consequência semântica é uma pré-ordem.
Pela Proposição 7.4, se ϕ |= ψ e ψ |= ϕ então ϕ ≡ ψ; logo, aconsequência semântica é anti-simétrica.
António Ravara, Simão Melo de Sousa Lógica Computacional
![Page 17: Lógica Computacional - Aula Teórica 7: Semântica da Lógica …desousa/2014-2015/LC/at7.pdf · 2014. 11. 11. · LógicaComputacional AulaTeórica7: SemânticadaLógicaProposicional](https://reader034.vdocuments.pub/reader034/viewer/2022052021/60368bf5882e7c3f68608f74/html5/thumbnails/17.jpg)
Equivalência lógicaLeis axiomáticas
CongruênciaAbreviaturas
Conjuntos mínimos de conectivos
MotivaçãoDefinição
A consequência semântica é uma ordem parcial
I Um pré-ordem anti-simétrica diz-se uma ordem parcial.I A anti-simetria usa a igualdade (sintática); se se considerar em
vez a igualdade semântica (equivalência lógica), tem-se uma“anti-simetria” semântica.
Teorema 7.4Mostrou-se que a consequência semântica é uma pré-ordem.
Pela Proposição 7.4, se ϕ |= ψ e ψ |= ϕ então ϕ ≡ ψ; logo, aconsequência semântica é anti-simétrica.
António Ravara, Simão Melo de Sousa Lógica Computacional
![Page 18: Lógica Computacional - Aula Teórica 7: Semântica da Lógica …desousa/2014-2015/LC/at7.pdf · 2014. 11. 11. · LógicaComputacional AulaTeórica7: SemânticadaLógicaProposicional](https://reader034.vdocuments.pub/reader034/viewer/2022052021/60368bf5882e7c3f68608f74/html5/thumbnails/18.jpg)
Equivalência lógicaLeis axiomáticas
CongruênciaAbreviaturas
Conjuntos mínimos de conectivos
EnunciadosProvas dos axiomas
Axiomas importantes
Proposição 7.5: algumas leis da lógica proposicional
I Dupla negação: ¬¬ϕ ≡ ϕI Absurdo: ϕ ∧ ¬ϕ ≡ ⊥I Universal: ϕ ∨ ¬ϕ ≡ >I Leis de De Morgan:¬(ϕ ∧ ψ) ≡ ¬ϕ ∨ ¬ψ e ¬(ϕ ∨ ψ) ≡ ¬ϕ ∧ ¬ψ
I Distributividade:I ϕ→ (ψ → δ) ≡ (ϕ→ ψ)→ (ϕ→ δ)I ϕ ∨ (ψ ∧ δ) ≡ (ϕ ∨ ψ) ∧ (ϕ ∨ δ)I (ϕ ∧ ψ) ∨ δ ≡ (ϕ ∨ δ) ∧ (ψ ∨ δ)I ϕ ∧ (ψ ∨ δ) ≡ (ϕ ∧ ψ) ∨ (ϕ ∧ δ)I (ϕ ∨ ψ) ∧ δ ≡ (ϕ ∧ δ) ∨ (ψ ∧ δ)
António Ravara, Simão Melo de Sousa Lógica Computacional
![Page 19: Lógica Computacional - Aula Teórica 7: Semântica da Lógica …desousa/2014-2015/LC/at7.pdf · 2014. 11. 11. · LógicaComputacional AulaTeórica7: SemânticadaLógicaProposicional](https://reader034.vdocuments.pub/reader034/viewer/2022052021/60368bf5882e7c3f68608f74/html5/thumbnails/19.jpg)
Equivalência lógicaLeis axiomáticas
CongruênciaAbreviaturas
Conjuntos mínimos de conectivos
EnunciadosProvas dos axiomas
Axiomas importantes
Proposição 7.5: algumas leis da lógica proposicional
I Dupla negação: ¬¬ϕ ≡ ϕI Absurdo: ϕ ∧ ¬ϕ ≡ ⊥I Universal: ϕ ∨ ¬ϕ ≡ >I Leis de De Morgan:¬(ϕ ∧ ψ) ≡ ¬ϕ ∨ ¬ψ e ¬(ϕ ∨ ψ) ≡ ¬ϕ ∧ ¬ψ
I Distributividade:I ϕ→ (ψ → δ) ≡ (ϕ→ ψ)→ (ϕ→ δ)I ϕ ∨ (ψ ∧ δ) ≡ (ϕ ∨ ψ) ∧ (ϕ ∨ δ)I (ϕ ∧ ψ) ∨ δ ≡ (ϕ ∨ δ) ∧ (ψ ∨ δ)I ϕ ∧ (ψ ∨ δ) ≡ (ϕ ∧ ψ) ∨ (ϕ ∧ δ)I (ϕ ∨ ψ) ∧ δ ≡ (ϕ ∧ δ) ∨ (ψ ∧ δ)
António Ravara, Simão Melo de Sousa Lógica Computacional
![Page 20: Lógica Computacional - Aula Teórica 7: Semântica da Lógica …desousa/2014-2015/LC/at7.pdf · 2014. 11. 11. · LógicaComputacional AulaTeórica7: SemânticadaLógicaProposicional](https://reader034.vdocuments.pub/reader034/viewer/2022052021/60368bf5882e7c3f68608f74/html5/thumbnails/20.jpg)
Equivalência lógicaLeis axiomáticas
CongruênciaAbreviaturas
Conjuntos mínimos de conectivos
EnunciadosProvas dos axiomas
Axiomas importantes
Proposição 7.5: algumas leis da lógica proposicional
I Dupla negação: ¬¬ϕ ≡ ϕI Absurdo: ϕ ∧ ¬ϕ ≡ ⊥I Universal: ϕ ∨ ¬ϕ ≡ >I Leis de De Morgan:¬(ϕ ∧ ψ) ≡ ¬ϕ ∨ ¬ψ e ¬(ϕ ∨ ψ) ≡ ¬ϕ ∧ ¬ψ
I Distributividade:I ϕ→ (ψ → δ) ≡ (ϕ→ ψ)→ (ϕ→ δ)I ϕ ∨ (ψ ∧ δ) ≡ (ϕ ∨ ψ) ∧ (ϕ ∨ δ)I (ϕ ∧ ψ) ∨ δ ≡ (ϕ ∨ δ) ∧ (ψ ∨ δ)I ϕ ∧ (ψ ∨ δ) ≡ (ϕ ∧ ψ) ∨ (ϕ ∧ δ)I (ϕ ∨ ψ) ∧ δ ≡ (ϕ ∧ δ) ∨ (ψ ∧ δ)
António Ravara, Simão Melo de Sousa Lógica Computacional
![Page 21: Lógica Computacional - Aula Teórica 7: Semântica da Lógica …desousa/2014-2015/LC/at7.pdf · 2014. 11. 11. · LógicaComputacional AulaTeórica7: SemânticadaLógicaProposicional](https://reader034.vdocuments.pub/reader034/viewer/2022052021/60368bf5882e7c3f68608f74/html5/thumbnails/21.jpg)
Equivalência lógicaLeis axiomáticas
CongruênciaAbreviaturas
Conjuntos mínimos de conectivos
EnunciadosProvas dos axiomas
Axiomas importantes
Proposição 7.5: algumas leis da lógica proposicional
I Dupla negação: ¬¬ϕ ≡ ϕI Absurdo: ϕ ∧ ¬ϕ ≡ ⊥I Universal: ϕ ∨ ¬ϕ ≡ >I Leis de De Morgan:¬(ϕ ∧ ψ) ≡ ¬ϕ ∨ ¬ψ e ¬(ϕ ∨ ψ) ≡ ¬ϕ ∧ ¬ψ
I Distributividade:I ϕ→ (ψ → δ) ≡ (ϕ→ ψ)→ (ϕ→ δ)I ϕ ∨ (ψ ∧ δ) ≡ (ϕ ∨ ψ) ∧ (ϕ ∨ δ)I (ϕ ∧ ψ) ∨ δ ≡ (ϕ ∨ δ) ∧ (ψ ∨ δ)I ϕ ∧ (ψ ∨ δ) ≡ (ϕ ∧ ψ) ∨ (ϕ ∧ δ)I (ϕ ∨ ψ) ∧ δ ≡ (ϕ ∧ δ) ∨ (ψ ∧ δ)
António Ravara, Simão Melo de Sousa Lógica Computacional
![Page 22: Lógica Computacional - Aula Teórica 7: Semântica da Lógica …desousa/2014-2015/LC/at7.pdf · 2014. 11. 11. · LógicaComputacional AulaTeórica7: SemânticadaLógicaProposicional](https://reader034.vdocuments.pub/reader034/viewer/2022052021/60368bf5882e7c3f68608f74/html5/thumbnails/22.jpg)
Equivalência lógicaLeis axiomáticas
CongruênciaAbreviaturas
Conjuntos mínimos de conectivos
EnunciadosProvas dos axiomas
Axiomas importantes
Proposição 7.5: algumas leis da lógica proposicional
I Dupla negação: ¬¬ϕ ≡ ϕI Absurdo: ϕ ∧ ¬ϕ ≡ ⊥I Universal: ϕ ∨ ¬ϕ ≡ >I Leis de De Morgan:¬(ϕ ∧ ψ) ≡ ¬ϕ ∨ ¬ψ e ¬(ϕ ∨ ψ) ≡ ¬ϕ ∧ ¬ψ
I Distributividade:I ϕ→ (ψ → δ) ≡ (ϕ→ ψ)→ (ϕ→ δ)I ϕ ∨ (ψ ∧ δ) ≡ (ϕ ∨ ψ) ∧ (ϕ ∨ δ)I (ϕ ∧ ψ) ∨ δ ≡ (ϕ ∨ δ) ∧ (ψ ∨ δ)I ϕ ∧ (ψ ∨ δ) ≡ (ϕ ∧ ψ) ∨ (ϕ ∧ δ)I (ϕ ∨ ψ) ∧ δ ≡ (ϕ ∧ δ) ∨ (ψ ∧ δ)
António Ravara, Simão Melo de Sousa Lógica Computacional
![Page 23: Lógica Computacional - Aula Teórica 7: Semântica da Lógica …desousa/2014-2015/LC/at7.pdf · 2014. 11. 11. · LógicaComputacional AulaTeórica7: SemânticadaLógicaProposicional](https://reader034.vdocuments.pub/reader034/viewer/2022052021/60368bf5882e7c3f68608f74/html5/thumbnails/23.jpg)
Equivalência lógicaLeis axiomáticas
CongruênciaAbreviaturas
Conjuntos mínimos de conectivos
EnunciadosProvas dos axiomas
Axiomas importantes
Proposição 7.5: algumas leis da lógica proposicional
I Dupla negação: ¬¬ϕ ≡ ϕI Absurdo: ϕ ∧ ¬ϕ ≡ ⊥I Universal: ϕ ∨ ¬ϕ ≡ >I Leis de De Morgan:¬(ϕ ∧ ψ) ≡ ¬ϕ ∨ ¬ψ e ¬(ϕ ∨ ψ) ≡ ¬ϕ ∧ ¬ψ
I Distributividade:I ϕ→ (ψ → δ) ≡ (ϕ→ ψ)→ (ϕ→ δ)I ϕ ∨ (ψ ∧ δ) ≡ (ϕ ∨ ψ) ∧ (ϕ ∨ δ)I (ϕ ∧ ψ) ∨ δ ≡ (ϕ ∨ δ) ∧ (ψ ∨ δ)I ϕ ∧ (ψ ∨ δ) ≡ (ϕ ∧ ψ) ∨ (ϕ ∧ δ)I (ϕ ∨ ψ) ∧ δ ≡ (ϕ ∧ δ) ∨ (ψ ∧ δ)
António Ravara, Simão Melo de Sousa Lógica Computacional
![Page 24: Lógica Computacional - Aula Teórica 7: Semântica da Lógica …desousa/2014-2015/LC/at7.pdf · 2014. 11. 11. · LógicaComputacional AulaTeórica7: SemânticadaLógicaProposicional](https://reader034.vdocuments.pub/reader034/viewer/2022052021/60368bf5882e7c3f68608f74/html5/thumbnails/24.jpg)
Equivalência lógicaLeis axiomáticas
CongruênciaAbreviaturas
Conjuntos mínimos de conectivos
EnunciadosProvas dos axiomas
Axiomas importantes
Proposição 7.5: algumas leis da lógica proposicional
I Dupla negação: ¬¬ϕ ≡ ϕI Absurdo: ϕ ∧ ¬ϕ ≡ ⊥I Universal: ϕ ∨ ¬ϕ ≡ >I Leis de De Morgan:¬(ϕ ∧ ψ) ≡ ¬ϕ ∨ ¬ψ e ¬(ϕ ∨ ψ) ≡ ¬ϕ ∧ ¬ψ
I Distributividade:I ϕ→ (ψ → δ) ≡ (ϕ→ ψ)→ (ϕ→ δ)I ϕ ∨ (ψ ∧ δ) ≡ (ϕ ∨ ψ) ∧ (ϕ ∨ δ)I (ϕ ∧ ψ) ∨ δ ≡ (ϕ ∨ δ) ∧ (ψ ∨ δ)I ϕ ∧ (ψ ∨ δ) ≡ (ϕ ∧ ψ) ∨ (ϕ ∧ δ)I (ϕ ∨ ψ) ∧ δ ≡ (ϕ ∧ δ) ∨ (ψ ∧ δ)
António Ravara, Simão Melo de Sousa Lógica Computacional
![Page 25: Lógica Computacional - Aula Teórica 7: Semântica da Lógica …desousa/2014-2015/LC/at7.pdf · 2014. 11. 11. · LógicaComputacional AulaTeórica7: SemânticadaLógicaProposicional](https://reader034.vdocuments.pub/reader034/viewer/2022052021/60368bf5882e7c3f68608f74/html5/thumbnails/25.jpg)
Equivalência lógicaLeis axiomáticas
CongruênciaAbreviaturas
Conjuntos mínimos de conectivos
EnunciadosProvas dos axiomas
Axiomas importantes
Proposição 7.5: algumas leis da lógica proposicional
I Dupla negação: ¬¬ϕ ≡ ϕI Absurdo: ϕ ∧ ¬ϕ ≡ ⊥I Universal: ϕ ∨ ¬ϕ ≡ >I Leis de De Morgan:¬(ϕ ∧ ψ) ≡ ¬ϕ ∨ ¬ψ e ¬(ϕ ∨ ψ) ≡ ¬ϕ ∧ ¬ψ
I Distributividade:I ϕ→ (ψ → δ) ≡ (ϕ→ ψ)→ (ϕ→ δ)I ϕ ∨ (ψ ∧ δ) ≡ (ϕ ∨ ψ) ∧ (ϕ ∨ δ)I (ϕ ∧ ψ) ∨ δ ≡ (ϕ ∨ δ) ∧ (ψ ∨ δ)I ϕ ∧ (ψ ∨ δ) ≡ (ϕ ∧ ψ) ∨ (ϕ ∧ δ)I (ϕ ∨ ψ) ∧ δ ≡ (ϕ ∧ δ) ∨ (ψ ∧ δ)
António Ravara, Simão Melo de Sousa Lógica Computacional
![Page 26: Lógica Computacional - Aula Teórica 7: Semântica da Lógica …desousa/2014-2015/LC/at7.pdf · 2014. 11. 11. · LógicaComputacional AulaTeórica7: SemânticadaLógicaProposicional](https://reader034.vdocuments.pub/reader034/viewer/2022052021/60368bf5882e7c3f68608f74/html5/thumbnails/26.jpg)
Equivalência lógicaLeis axiomáticas
CongruênciaAbreviaturas
Conjuntos mínimos de conectivos
EnunciadosProvas dos axiomas
Axiomas importantes
Proposição 7.5: algumas leis da lógica proposicional
I Dupla negação: ¬¬ϕ ≡ ϕI Absurdo: ϕ ∧ ¬ϕ ≡ ⊥I Universal: ϕ ∨ ¬ϕ ≡ >I Leis de De Morgan:¬(ϕ ∧ ψ) ≡ ¬ϕ ∨ ¬ψ e ¬(ϕ ∨ ψ) ≡ ¬ϕ ∧ ¬ψ
I Distributividade:I ϕ→ (ψ → δ) ≡ (ϕ→ ψ)→ (ϕ→ δ)I ϕ ∨ (ψ ∧ δ) ≡ (ϕ ∨ ψ) ∧ (ϕ ∨ δ)I (ϕ ∧ ψ) ∨ δ ≡ (ϕ ∨ δ) ∧ (ψ ∨ δ)I ϕ ∧ (ψ ∨ δ) ≡ (ϕ ∧ ψ) ∨ (ϕ ∧ δ)I (ϕ ∨ ψ) ∧ δ ≡ (ϕ ∧ δ) ∨ (ψ ∧ δ)
António Ravara, Simão Melo de Sousa Lógica Computacional
![Page 27: Lógica Computacional - Aula Teórica 7: Semântica da Lógica …desousa/2014-2015/LC/at7.pdf · 2014. 11. 11. · LógicaComputacional AulaTeórica7: SemânticadaLógicaProposicional](https://reader034.vdocuments.pub/reader034/viewer/2022052021/60368bf5882e7c3f68608f74/html5/thumbnails/27.jpg)
Equivalência lógicaLeis axiomáticas
CongruênciaAbreviaturas
Conjuntos mínimos de conectivos
EnunciadosProvas dos axiomas
Axiomas importantes
Proposição 7.5: algumas leis da lógica proposicional
I Monoides comutativos:I (FP ,∨,⊥), sendo > o elemento absorvente.I (FP ,∧,>), sendo ⊥ o elemento absorvente.
I Idempotência: ϕ ∨ ϕ ≡ ϕ e ϕ ∧ ϕ ≡ ϕI Transitividade da implicação: (ϕ→ ψ) ∧ (ψ → γ) ≡ ϕ→ γ
I Contra-recíproco: ϕ ≡ ψ se e só se ¬ψ ≡ ¬ϕ
Um monoide é um conjunto equipado com uma operaçãoassociativa com elemento neutro.
António Ravara, Simão Melo de Sousa Lógica Computacional
![Page 28: Lógica Computacional - Aula Teórica 7: Semântica da Lógica …desousa/2014-2015/LC/at7.pdf · 2014. 11. 11. · LógicaComputacional AulaTeórica7: SemânticadaLógicaProposicional](https://reader034.vdocuments.pub/reader034/viewer/2022052021/60368bf5882e7c3f68608f74/html5/thumbnails/28.jpg)
Equivalência lógicaLeis axiomáticas
CongruênciaAbreviaturas
Conjuntos mínimos de conectivos
EnunciadosProvas dos axiomas
Axiomas importantes
Proposição 7.5: algumas leis da lógica proposicional
I Monoides comutativos:I (FP ,∨,⊥), sendo > o elemento absorvente.I (FP ,∧,>), sendo ⊥ o elemento absorvente.
I Idempotência: ϕ ∨ ϕ ≡ ϕ e ϕ ∧ ϕ ≡ ϕI Transitividade da implicação: (ϕ→ ψ) ∧ (ψ → γ) ≡ ϕ→ γ
I Contra-recíproco: ϕ ≡ ψ se e só se ¬ψ ≡ ¬ϕ
Um monoide é um conjunto equipado com uma operaçãoassociativa com elemento neutro.
António Ravara, Simão Melo de Sousa Lógica Computacional
![Page 29: Lógica Computacional - Aula Teórica 7: Semântica da Lógica …desousa/2014-2015/LC/at7.pdf · 2014. 11. 11. · LógicaComputacional AulaTeórica7: SemânticadaLógicaProposicional](https://reader034.vdocuments.pub/reader034/viewer/2022052021/60368bf5882e7c3f68608f74/html5/thumbnails/29.jpg)
Equivalência lógicaLeis axiomáticas
CongruênciaAbreviaturas
Conjuntos mínimos de conectivos
EnunciadosProvas dos axiomas
Axiomas importantes
Proposição 7.5: algumas leis da lógica proposicional
I Monoides comutativos:I (FP ,∨,⊥), sendo > o elemento absorvente.I (FP ,∧,>), sendo ⊥ o elemento absorvente.
I Idempotência: ϕ ∨ ϕ ≡ ϕ e ϕ ∧ ϕ ≡ ϕI Transitividade da implicação: (ϕ→ ψ) ∧ (ψ → γ) ≡ ϕ→ γ
I Contra-recíproco: ϕ ≡ ψ se e só se ¬ψ ≡ ¬ϕ
Um monoide é um conjunto equipado com uma operaçãoassociativa com elemento neutro.
António Ravara, Simão Melo de Sousa Lógica Computacional
![Page 30: Lógica Computacional - Aula Teórica 7: Semântica da Lógica …desousa/2014-2015/LC/at7.pdf · 2014. 11. 11. · LógicaComputacional AulaTeórica7: SemânticadaLógicaProposicional](https://reader034.vdocuments.pub/reader034/viewer/2022052021/60368bf5882e7c3f68608f74/html5/thumbnails/30.jpg)
Equivalência lógicaLeis axiomáticas
CongruênciaAbreviaturas
Conjuntos mínimos de conectivos
EnunciadosProvas dos axiomas
Axiomas importantes
Proposição 7.5: algumas leis da lógica proposicional
I Monoides comutativos:I (FP ,∨,⊥), sendo > o elemento absorvente.I (FP ,∧,>), sendo ⊥ o elemento absorvente.
I Idempotência: ϕ ∨ ϕ ≡ ϕ e ϕ ∧ ϕ ≡ ϕI Transitividade da implicação: (ϕ→ ψ) ∧ (ψ → γ) ≡ ϕ→ γ
I Contra-recíproco: ϕ ≡ ψ se e só se ¬ψ ≡ ¬ϕ
Um monoide é um conjunto equipado com uma operaçãoassociativa com elemento neutro.
António Ravara, Simão Melo de Sousa Lógica Computacional
![Page 31: Lógica Computacional - Aula Teórica 7: Semântica da Lógica …desousa/2014-2015/LC/at7.pdf · 2014. 11. 11. · LógicaComputacional AulaTeórica7: SemânticadaLógicaProposicional](https://reader034.vdocuments.pub/reader034/viewer/2022052021/60368bf5882e7c3f68608f74/html5/thumbnails/31.jpg)
Equivalência lógicaLeis axiomáticas
CongruênciaAbreviaturas
Conjuntos mínimos de conectivos
EnunciadosProvas dos axiomas
Axiomas importantes
Proposição 7.5: algumas leis da lógica proposicional
I Monoides comutativos:I (FP ,∨,⊥), sendo > o elemento absorvente.I (FP ,∧,>), sendo ⊥ o elemento absorvente.
I Idempotência: ϕ ∨ ϕ ≡ ϕ e ϕ ∧ ϕ ≡ ϕI Transitividade da implicação: (ϕ→ ψ) ∧ (ψ → γ) ≡ ϕ→ γ
I Contra-recíproco: ϕ ≡ ψ se e só se ¬ψ ≡ ¬ϕ
Um monoide é um conjunto equipado com uma operaçãoassociativa com elemento neutro.
António Ravara, Simão Melo de Sousa Lógica Computacional
![Page 32: Lógica Computacional - Aula Teórica 7: Semântica da Lógica …desousa/2014-2015/LC/at7.pdf · 2014. 11. 11. · LógicaComputacional AulaTeórica7: SemânticadaLógicaProposicional](https://reader034.vdocuments.pub/reader034/viewer/2022052021/60368bf5882e7c3f68608f74/html5/thumbnails/32.jpg)
Equivalência lógicaLeis axiomáticas
CongruênciaAbreviaturas
Conjuntos mínimos de conectivos
EnunciadosProvas dos axiomas
Axiomas importantes
Proposição 7.5: algumas leis da lógica proposicional
I Monoides comutativos:I (FP ,∨,⊥), sendo > o elemento absorvente.I (FP ,∧,>), sendo ⊥ o elemento absorvente.
I Idempotência: ϕ ∨ ϕ ≡ ϕ e ϕ ∧ ϕ ≡ ϕI Transitividade da implicação: (ϕ→ ψ) ∧ (ψ → γ) ≡ ϕ→ γ
I Contra-recíproco: ϕ ≡ ψ se e só se ¬ψ ≡ ¬ϕ
Um monoide é um conjunto equipado com uma operaçãoassociativa com elemento neutro.
António Ravara, Simão Melo de Sousa Lógica Computacional
![Page 33: Lógica Computacional - Aula Teórica 7: Semântica da Lógica …desousa/2014-2015/LC/at7.pdf · 2014. 11. 11. · LógicaComputacional AulaTeórica7: SemânticadaLógicaProposicional](https://reader034.vdocuments.pub/reader034/viewer/2022052021/60368bf5882e7c3f68608f74/html5/thumbnails/33.jpg)
Equivalência lógicaLeis axiomáticas
CongruênciaAbreviaturas
Conjuntos mínimos de conectivos
EnunciadosProvas dos axiomas
Provas
A maioria das leis resultam de leis semelhantes da álgebra de Boole.
I ¬¬ϕ ≡ ϕV (¬¬ϕ) = V (¬ϕ) = V (ϕ) = V (ϕ)
I ϕ ∧ ¬ϕ ≡ ⊥V (ϕ ∧ ¬ϕ) = V (ϕ)⊗ V (¬ϕ) = V (ϕ)⊗V (ϕ) = 0 = V (⊥)
I ¬(ϕ ∧ ψ) ≡ ¬ϕ ∨ ¬ψV (¬(ϕ ∧ ψ)) = V (ϕ ∧ ψ)
= (V (ϕ)⊗ V (ψ))
= V (ϕ)⊕V (ψ)
= V (¬ϕ)⊕ V (¬ψ)= V (¬ϕ ∨ ¬ψ)
António Ravara, Simão Melo de Sousa Lógica Computacional
![Page 34: Lógica Computacional - Aula Teórica 7: Semântica da Lógica …desousa/2014-2015/LC/at7.pdf · 2014. 11. 11. · LógicaComputacional AulaTeórica7: SemânticadaLógicaProposicional](https://reader034.vdocuments.pub/reader034/viewer/2022052021/60368bf5882e7c3f68608f74/html5/thumbnails/34.jpg)
Equivalência lógicaLeis axiomáticas
CongruênciaAbreviaturas
Conjuntos mínimos de conectivos
EnunciadosProvas dos axiomas
Provas
A maioria das leis resultam de leis semelhantes da álgebra de Boole.
I ¬¬ϕ ≡ ϕV (¬¬ϕ) = V (¬ϕ) = V (ϕ) = V (ϕ)
I ϕ ∧ ¬ϕ ≡ ⊥V (ϕ ∧ ¬ϕ) = V (ϕ)⊗ V (¬ϕ) = V (ϕ)⊗V (ϕ) = 0 = V (⊥)
I ¬(ϕ ∧ ψ) ≡ ¬ϕ ∨ ¬ψV (¬(ϕ ∧ ψ)) = V (ϕ ∧ ψ)
= (V (ϕ)⊗ V (ψ))
= V (ϕ)⊕V (ψ)
= V (¬ϕ)⊕ V (¬ψ)= V (¬ϕ ∨ ¬ψ)
António Ravara, Simão Melo de Sousa Lógica Computacional
![Page 35: Lógica Computacional - Aula Teórica 7: Semântica da Lógica …desousa/2014-2015/LC/at7.pdf · 2014. 11. 11. · LógicaComputacional AulaTeórica7: SemânticadaLógicaProposicional](https://reader034.vdocuments.pub/reader034/viewer/2022052021/60368bf5882e7c3f68608f74/html5/thumbnails/35.jpg)
Equivalência lógicaLeis axiomáticas
CongruênciaAbreviaturas
Conjuntos mínimos de conectivos
EnunciadosProvas dos axiomas
Provas
A maioria das leis resultam de leis semelhantes da álgebra de Boole.
I ¬¬ϕ ≡ ϕV (¬¬ϕ) = V (¬ϕ) = V (ϕ) = V (ϕ)
I ϕ ∧ ¬ϕ ≡ ⊥V (ϕ ∧ ¬ϕ) = V (ϕ)⊗ V (¬ϕ) = V (ϕ)⊗V (ϕ) = 0 = V (⊥)
I ¬(ϕ ∧ ψ) ≡ ¬ϕ ∨ ¬ψV (¬(ϕ ∧ ψ)) = V (ϕ ∧ ψ)
= (V (ϕ)⊗ V (ψ))
= V (ϕ)⊕V (ψ)
= V (¬ϕ)⊕ V (¬ψ)= V (¬ϕ ∨ ¬ψ)
António Ravara, Simão Melo de Sousa Lógica Computacional
![Page 36: Lógica Computacional - Aula Teórica 7: Semântica da Lógica …desousa/2014-2015/LC/at7.pdf · 2014. 11. 11. · LógicaComputacional AulaTeórica7: SemânticadaLógicaProposicional](https://reader034.vdocuments.pub/reader034/viewer/2022052021/60368bf5882e7c3f68608f74/html5/thumbnails/36.jpg)
Equivalência lógicaLeis axiomáticas
CongruênciaAbreviaturas
Conjuntos mínimos de conectivos
EnunciadosProvas dos axiomas
Provas
A maioria das leis resultam de leis semelhantes da álgebra de Boole.
I ¬¬ϕ ≡ ϕV (¬¬ϕ) = V (¬ϕ) = V (ϕ) = V (ϕ)
I ϕ ∧ ¬ϕ ≡ ⊥V (ϕ ∧ ¬ϕ) = V (ϕ)⊗ V (¬ϕ) = V (ϕ)⊗V (ϕ) = 0 = V (⊥)
I ¬(ϕ ∧ ψ) ≡ ¬ϕ ∨ ¬ψV (¬(ϕ ∧ ψ)) = V (ϕ ∧ ψ)
= (V (ϕ)⊗ V (ψ))
= V (ϕ)⊕V (ψ)
= V (¬ϕ)⊕ V (¬ψ)= V (¬ϕ ∨ ¬ψ)
António Ravara, Simão Melo de Sousa Lógica Computacional
![Page 37: Lógica Computacional - Aula Teórica 7: Semântica da Lógica …desousa/2014-2015/LC/at7.pdf · 2014. 11. 11. · LógicaComputacional AulaTeórica7: SemânticadaLógicaProposicional](https://reader034.vdocuments.pub/reader034/viewer/2022052021/60368bf5882e7c3f68608f74/html5/thumbnails/37.jpg)
Equivalência lógicaLeis axiomáticas
CongruênciaAbreviaturas
Conjuntos mínimos de conectivos
EnunciadosProvas dos axiomas
Provas
A maioria das leis resultam de leis semelhantes da álgebra de Boole.
I ¬¬ϕ ≡ ϕV (¬¬ϕ) = V (¬ϕ) = V (ϕ) = V (ϕ)
I ϕ ∧ ¬ϕ ≡ ⊥V (ϕ ∧ ¬ϕ) = V (ϕ)⊗ V (¬ϕ) = V (ϕ)⊗V (ϕ) = 0 = V (⊥)
I ¬(ϕ ∧ ψ) ≡ ¬ϕ ∨ ¬ψV (¬(ϕ ∧ ψ)) = V (ϕ ∧ ψ)
= (V (ϕ)⊗ V (ψ))
= V (ϕ)⊕V (ψ)
= V (¬ϕ)⊕ V (¬ψ)= V (¬ϕ ∨ ¬ψ)
António Ravara, Simão Melo de Sousa Lógica Computacional
![Page 38: Lógica Computacional - Aula Teórica 7: Semântica da Lógica …desousa/2014-2015/LC/at7.pdf · 2014. 11. 11. · LógicaComputacional AulaTeórica7: SemânticadaLógicaProposicional](https://reader034.vdocuments.pub/reader034/viewer/2022052021/60368bf5882e7c3f68608f74/html5/thumbnails/38.jpg)
Equivalência lógicaLeis axiomáticas
CongruênciaAbreviaturas
Conjuntos mínimos de conectivos
EnunciadosProvas dos axiomas
Provas
A maioria das leis resultam de leis semelhantes da álgebra de Boole.
I ¬¬ϕ ≡ ϕV (¬¬ϕ) = V (¬ϕ) = V (ϕ) = V (ϕ)
I ϕ ∧ ¬ϕ ≡ ⊥V (ϕ ∧ ¬ϕ) = V (ϕ)⊗ V (¬ϕ) = V (ϕ)⊗V (ϕ) = 0 = V (⊥)
I ¬(ϕ ∧ ψ) ≡ ¬ϕ ∨ ¬ψV (¬(ϕ ∧ ψ)) = V (ϕ ∧ ψ)
= (V (ϕ)⊗ V (ψ))
= V (ϕ)⊕V (ψ)
= V (¬ϕ)⊕ V (¬ψ)= V (¬ϕ ∨ ¬ψ)
António Ravara, Simão Melo de Sousa Lógica Computacional
![Page 39: Lógica Computacional - Aula Teórica 7: Semântica da Lógica …desousa/2014-2015/LC/at7.pdf · 2014. 11. 11. · LógicaComputacional AulaTeórica7: SemânticadaLógicaProposicional](https://reader034.vdocuments.pub/reader034/viewer/2022052021/60368bf5882e7c3f68608f74/html5/thumbnails/39.jpg)
Equivalência lógicaLeis axiomáticas
CongruênciaAbreviaturas
Conjuntos mínimos de conectivos
EnunciadosProvas dos axiomas
Lei do contra-recíproco: ϕ→ ψ ≡ ¬ψ → ¬ϕ
V (ϕ→ ψ) = V (ϕ)⊕ V (ψ)
= V (ψ)⊕V (ϕ)
= V (ψ)⊕V (ϕ)
= V (¬ψ)⊕ V (¬ϕ)= V (¬ψ → ¬ϕ)
António Ravara, Simão Melo de Sousa Lógica Computacional
![Page 40: Lógica Computacional - Aula Teórica 7: Semântica da Lógica …desousa/2014-2015/LC/at7.pdf · 2014. 11. 11. · LógicaComputacional AulaTeórica7: SemânticadaLógicaProposicional](https://reader034.vdocuments.pub/reader034/viewer/2022052021/60368bf5882e7c3f68608f74/html5/thumbnails/40.jpg)
Equivalência lógicaLeis axiomáticas
CongruênciaAbreviaturas
Conjuntos mínimos de conectivos
EnunciadosProvas dos axiomas
ϕ→ (ψ → δ) ≡ (ϕ→ ψ)→ (ϕ→ δ)
V (ϕ→ (ψ → δ)) =
V (ϕ)⊕ V (ψ → δ) =
V (ϕ)⊕ (V (ψ)⊕ V (δ)) =
1⊗ (V (ϕ)⊕ (V (ψ)⊕ V (δ))) =
(1⊕ V (δ))⊗ (V (ϕ)⊕ (V (ψ)⊕ V (δ))) =
((V (ϕ)⊕V (ϕ))⊕ V (δ))⊗ (V (ϕ)⊕ (V (ψ)⊕ V (δ))) =
(V (ϕ)⊕ (V (ϕ)⊕ V (δ)))⊗ (V (ψ)⊕ (V (ϕ)⊕ V (δ))) =
(V (ϕ)⊗V (ψ))⊕ (V (ϕ)⊕ V (δ))) =
( V (ϕ)⊗V (ψ))⊕ (V (ϕ)⊕ V (δ))) =
(V (ϕ)⊕ V (ψ))⊕ (V (ϕ)⊕ V (δ))) =
(ϕ→ ψ)⊕ (ϕ→ δ) =
(ϕ→ ψ)→ (ϕ→ δ)António Ravara, Simão Melo de Sousa Lógica Computacional
![Page 41: Lógica Computacional - Aula Teórica 7: Semântica da Lógica …desousa/2014-2015/LC/at7.pdf · 2014. 11. 11. · LógicaComputacional AulaTeórica7: SemânticadaLógicaProposicional](https://reader034.vdocuments.pub/reader034/viewer/2022052021/60368bf5882e7c3f68608f74/html5/thumbnails/41.jpg)
Equivalência lógicaLeis axiomáticas
CongruênciaAbreviaturas
Conjuntos mínimos de conectivos
EnunciadosProvas dos axiomas
ϕ→ (ψ → δ) ≡ (ϕ→ ψ)→ (ϕ→ δ)
V (ϕ→ (ψ → δ)) =
V (ϕ)⊕ V (ψ → δ) =
V (ϕ)⊕ (V (ψ)⊕ V (δ)) =
1⊗ (V (ϕ)⊕ (V (ψ)⊕ V (δ))) =
(1⊕ V (δ))⊗ (V (ϕ)⊕ (V (ψ)⊕ V (δ))) =
((V (ϕ)⊕V (ϕ))⊕ V (δ))⊗ (V (ϕ)⊕ (V (ψ)⊕ V (δ))) =
(V (ϕ)⊕ (V (ϕ)⊕ V (δ)))⊗ (V (ψ)⊕ (V (ϕ)⊕ V (δ))) =
(V (ϕ)⊗V (ψ))⊕ (V (ϕ)⊕ V (δ))) =
( V (ϕ)⊗V (ψ))⊕ (V (ϕ)⊕ V (δ))) =
(V (ϕ)⊕ V (ψ))⊕ (V (ϕ)⊕ V (δ))) =
(ϕ→ ψ)⊕ (ϕ→ δ) =
(ϕ→ ψ)→ (ϕ→ δ)António Ravara, Simão Melo de Sousa Lógica Computacional
![Page 42: Lógica Computacional - Aula Teórica 7: Semântica da Lógica …desousa/2014-2015/LC/at7.pdf · 2014. 11. 11. · LógicaComputacional AulaTeórica7: SemânticadaLógicaProposicional](https://reader034.vdocuments.pub/reader034/viewer/2022052021/60368bf5882e7c3f68608f74/html5/thumbnails/42.jpg)
Equivalência lógicaLeis axiomáticas
CongruênciaAbreviaturas
Conjuntos mínimos de conectivos
EnunciadosProvas dos axiomas
ϕ→ (ψ → δ) ≡ (ϕ→ ψ)→ (ϕ→ δ)
V (ϕ→ (ψ → δ)) =
V (ϕ)⊕ V (ψ → δ) =
V (ϕ)⊕ (V (ψ)⊕ V (δ)) =
1⊗ (V (ϕ)⊕ (V (ψ)⊕ V (δ))) =
(1⊕ V (δ))⊗ (V (ϕ)⊕ (V (ψ)⊕ V (δ))) =
((V (ϕ)⊕V (ϕ))⊕ V (δ))⊗ (V (ϕ)⊕ (V (ψ)⊕ V (δ))) =
(V (ϕ)⊕ (V (ϕ)⊕ V (δ)))⊗ (V (ψ)⊕ (V (ϕ)⊕ V (δ))) =
(V (ϕ)⊗V (ψ))⊕ (V (ϕ)⊕ V (δ))) =
( V (ϕ)⊗V (ψ))⊕ (V (ϕ)⊕ V (δ))) =
(V (ϕ)⊕ V (ψ))⊕ (V (ϕ)⊕ V (δ))) =
(ϕ→ ψ)⊕ (ϕ→ δ) =
(ϕ→ ψ)→ (ϕ→ δ)António Ravara, Simão Melo de Sousa Lógica Computacional
![Page 43: Lógica Computacional - Aula Teórica 7: Semântica da Lógica …desousa/2014-2015/LC/at7.pdf · 2014. 11. 11. · LógicaComputacional AulaTeórica7: SemânticadaLógicaProposicional](https://reader034.vdocuments.pub/reader034/viewer/2022052021/60368bf5882e7c3f68608f74/html5/thumbnails/43.jpg)
Equivalência lógicaLeis axiomáticas
CongruênciaAbreviaturas
Conjuntos mínimos de conectivos
EnunciadosProvas dos axiomas
ϕ→ (ψ → δ) ≡ (ϕ→ ψ)→ (ϕ→ δ)
V (ϕ→ (ψ → δ)) =
V (ϕ)⊕ V (ψ → δ) =
V (ϕ)⊕ (V (ψ)⊕ V (δ)) =
1⊗ (V (ϕ)⊕ (V (ψ)⊕ V (δ))) =
(1⊕ V (δ))⊗ (V (ϕ)⊕ (V (ψ)⊕ V (δ))) =
((V (ϕ)⊕V (ϕ))⊕ V (δ))⊗ (V (ϕ)⊕ (V (ψ)⊕ V (δ))) =
(V (ϕ)⊕ (V (ϕ)⊕ V (δ)))⊗ (V (ψ)⊕ (V (ϕ)⊕ V (δ))) =
(V (ϕ)⊗V (ψ))⊕ (V (ϕ)⊕ V (δ))) =
( V (ϕ)⊗V (ψ))⊕ (V (ϕ)⊕ V (δ))) =
(V (ϕ)⊕ V (ψ))⊕ (V (ϕ)⊕ V (δ))) =
(ϕ→ ψ)⊕ (ϕ→ δ) =
(ϕ→ ψ)→ (ϕ→ δ)António Ravara, Simão Melo de Sousa Lógica Computacional
![Page 44: Lógica Computacional - Aula Teórica 7: Semântica da Lógica …desousa/2014-2015/LC/at7.pdf · 2014. 11. 11. · LógicaComputacional AulaTeórica7: SemânticadaLógicaProposicional](https://reader034.vdocuments.pub/reader034/viewer/2022052021/60368bf5882e7c3f68608f74/html5/thumbnails/44.jpg)
Equivalência lógicaLeis axiomáticas
CongruênciaAbreviaturas
Conjuntos mínimos de conectivos
EnunciadosProvas dos axiomas
ϕ→ (ψ → δ) ≡ (ϕ→ ψ)→ (ϕ→ δ)
V (ϕ→ (ψ → δ)) =
V (ϕ)⊕ V (ψ → δ) =
V (ϕ)⊕ (V (ψ)⊕ V (δ)) =
1⊗ (V (ϕ)⊕ (V (ψ)⊕ V (δ))) =
(1⊕ V (δ))⊗ (V (ϕ)⊕ (V (ψ)⊕ V (δ))) =
((V (ϕ)⊕V (ϕ))⊕ V (δ))⊗ (V (ϕ)⊕ (V (ψ)⊕ V (δ))) =
(V (ϕ)⊕ (V (ϕ)⊕ V (δ)))⊗ (V (ψ)⊕ (V (ϕ)⊕ V (δ))) =
(V (ϕ)⊗V (ψ))⊕ (V (ϕ)⊕ V (δ))) =
( V (ϕ)⊗V (ψ))⊕ (V (ϕ)⊕ V (δ))) =
(V (ϕ)⊕ V (ψ))⊕ (V (ϕ)⊕ V (δ))) =
(ϕ→ ψ)⊕ (ϕ→ δ) =
(ϕ→ ψ)→ (ϕ→ δ)António Ravara, Simão Melo de Sousa Lógica Computacional
![Page 45: Lógica Computacional - Aula Teórica 7: Semântica da Lógica …desousa/2014-2015/LC/at7.pdf · 2014. 11. 11. · LógicaComputacional AulaTeórica7: SemânticadaLógicaProposicional](https://reader034.vdocuments.pub/reader034/viewer/2022052021/60368bf5882e7c3f68608f74/html5/thumbnails/45.jpg)
Equivalência lógicaLeis axiomáticas
CongruênciaAbreviaturas
Conjuntos mínimos de conectivos
EnunciadosProvas dos axiomas
ϕ→ (ψ → δ) ≡ (ϕ→ ψ)→ (ϕ→ δ)
V (ϕ→ (ψ → δ)) =
V (ϕ)⊕ V (ψ → δ) =
V (ϕ)⊕ (V (ψ)⊕ V (δ)) =
1⊗ (V (ϕ)⊕ (V (ψ)⊕ V (δ))) =
(1⊕ V (δ))⊗ (V (ϕ)⊕ (V (ψ)⊕ V (δ))) =
((V (ϕ)⊕V (ϕ))⊕ V (δ))⊗ (V (ϕ)⊕ (V (ψ)⊕ V (δ))) =
(V (ϕ)⊕ (V (ϕ)⊕ V (δ)))⊗ (V (ψ)⊕ (V (ϕ)⊕ V (δ))) =
(V (ϕ)⊗V (ψ))⊕ (V (ϕ)⊕ V (δ))) =
( V (ϕ)⊗V (ψ))⊕ (V (ϕ)⊕ V (δ))) =
(V (ϕ)⊕ V (ψ))⊕ (V (ϕ)⊕ V (δ))) =
(ϕ→ ψ)⊕ (ϕ→ δ) =
(ϕ→ ψ)→ (ϕ→ δ)António Ravara, Simão Melo de Sousa Lógica Computacional
![Page 46: Lógica Computacional - Aula Teórica 7: Semântica da Lógica …desousa/2014-2015/LC/at7.pdf · 2014. 11. 11. · LógicaComputacional AulaTeórica7: SemânticadaLógicaProposicional](https://reader034.vdocuments.pub/reader034/viewer/2022052021/60368bf5882e7c3f68608f74/html5/thumbnails/46.jpg)
Equivalência lógicaLeis axiomáticas
CongruênciaAbreviaturas
Conjuntos mínimos de conectivos
EnunciadosProvas dos axiomas
ϕ→ (ψ → δ) ≡ (ϕ→ ψ)→ (ϕ→ δ)
V (ϕ→ (ψ → δ)) =
V (ϕ)⊕ V (ψ → δ) =
V (ϕ)⊕ (V (ψ)⊕ V (δ)) =
1⊗ (V (ϕ)⊕ (V (ψ)⊕ V (δ))) =
(1⊕ V (δ))⊗ (V (ϕ)⊕ (V (ψ)⊕ V (δ))) =
((V (ϕ)⊕V (ϕ))⊕ V (δ))⊗ (V (ϕ)⊕ (V (ψ)⊕ V (δ))) =
(V (ϕ)⊕ (V (ϕ)⊕ V (δ)))⊗ (V (ψ)⊕ (V (ϕ)⊕ V (δ))) =
(V (ϕ)⊗V (ψ))⊕ (V (ϕ)⊕ V (δ))) =
( V (ϕ)⊗V (ψ))⊕ (V (ϕ)⊕ V (δ))) =
(V (ϕ)⊕ V (ψ))⊕ (V (ϕ)⊕ V (δ))) =
(ϕ→ ψ)⊕ (ϕ→ δ) =
(ϕ→ ψ)→ (ϕ→ δ)António Ravara, Simão Melo de Sousa Lógica Computacional
![Page 47: Lógica Computacional - Aula Teórica 7: Semântica da Lógica …desousa/2014-2015/LC/at7.pdf · 2014. 11. 11. · LógicaComputacional AulaTeórica7: SemânticadaLógicaProposicional](https://reader034.vdocuments.pub/reader034/viewer/2022052021/60368bf5882e7c3f68608f74/html5/thumbnails/47.jpg)
Equivalência lógicaLeis axiomáticas
CongruênciaAbreviaturas
Conjuntos mínimos de conectivos
EnunciadosProvas dos axiomas
ϕ→ (ψ → δ) ≡ (ϕ→ ψ)→ (ϕ→ δ)
V (ϕ→ (ψ → δ)) =
V (ϕ)⊕ V (ψ → δ) =
V (ϕ)⊕ (V (ψ)⊕ V (δ)) =
1⊗ (V (ϕ)⊕ (V (ψ)⊕ V (δ))) =
(1⊕ V (δ))⊗ (V (ϕ)⊕ (V (ψ)⊕ V (δ))) =
((V (ϕ)⊕V (ϕ))⊕ V (δ))⊗ (V (ϕ)⊕ (V (ψ)⊕ V (δ))) =
(V (ϕ)⊕ (V (ϕ)⊕ V (δ)))⊗ (V (ψ)⊕ (V (ϕ)⊕ V (δ))) =
(V (ϕ)⊗V (ψ))⊕ (V (ϕ)⊕ V (δ))) =
( V (ϕ)⊗V (ψ))⊕ (V (ϕ)⊕ V (δ))) =
(V (ϕ)⊕ V (ψ))⊕ (V (ϕ)⊕ V (δ))) =
(ϕ→ ψ)⊕ (ϕ→ δ) =
(ϕ→ ψ)→ (ϕ→ δ)António Ravara, Simão Melo de Sousa Lógica Computacional
![Page 48: Lógica Computacional - Aula Teórica 7: Semântica da Lógica …desousa/2014-2015/LC/at7.pdf · 2014. 11. 11. · LógicaComputacional AulaTeórica7: SemânticadaLógicaProposicional](https://reader034.vdocuments.pub/reader034/viewer/2022052021/60368bf5882e7c3f68608f74/html5/thumbnails/48.jpg)
Equivalência lógicaLeis axiomáticas
CongruênciaAbreviaturas
Conjuntos mínimos de conectivos
EnunciadosProvas dos axiomas
ϕ→ (ψ → δ) ≡ (ϕ→ ψ)→ (ϕ→ δ)
V (ϕ→ (ψ → δ)) =
V (ϕ)⊕ V (ψ → δ) =
V (ϕ)⊕ (V (ψ)⊕ V (δ)) =
1⊗ (V (ϕ)⊕ (V (ψ)⊕ V (δ))) =
(1⊕ V (δ))⊗ (V (ϕ)⊕ (V (ψ)⊕ V (δ))) =
((V (ϕ)⊕V (ϕ))⊕ V (δ))⊗ (V (ϕ)⊕ (V (ψ)⊕ V (δ))) =
(V (ϕ)⊕ (V (ϕ)⊕ V (δ)))⊗ (V (ψ)⊕ (V (ϕ)⊕ V (δ))) =
(V (ϕ)⊗V (ψ))⊕ (V (ϕ)⊕ V (δ))) =
( V (ϕ)⊗V (ψ))⊕ (V (ϕ)⊕ V (δ))) =
(V (ϕ)⊕ V (ψ))⊕ (V (ϕ)⊕ V (δ))) =
(ϕ→ ψ)⊕ (ϕ→ δ) =
(ϕ→ ψ)→ (ϕ→ δ)António Ravara, Simão Melo de Sousa Lógica Computacional
![Page 49: Lógica Computacional - Aula Teórica 7: Semântica da Lógica …desousa/2014-2015/LC/at7.pdf · 2014. 11. 11. · LógicaComputacional AulaTeórica7: SemânticadaLógicaProposicional](https://reader034.vdocuments.pub/reader034/viewer/2022052021/60368bf5882e7c3f68608f74/html5/thumbnails/49.jpg)
Equivalência lógicaLeis axiomáticas
CongruênciaAbreviaturas
Conjuntos mínimos de conectivos
EnunciadosProvas dos axiomas
ϕ→ (ψ → δ) ≡ (ϕ→ ψ)→ (ϕ→ δ)
V (ϕ→ (ψ → δ)) =
V (ϕ)⊕ V (ψ → δ) =
V (ϕ)⊕ (V (ψ)⊕ V (δ)) =
1⊗ (V (ϕ)⊕ (V (ψ)⊕ V (δ))) =
(1⊕ V (δ))⊗ (V (ϕ)⊕ (V (ψ)⊕ V (δ))) =
((V (ϕ)⊕V (ϕ))⊕ V (δ))⊗ (V (ϕ)⊕ (V (ψ)⊕ V (δ))) =
(V (ϕ)⊕ (V (ϕ)⊕ V (δ)))⊗ (V (ψ)⊕ (V (ϕ)⊕ V (δ))) =
(V (ϕ)⊗V (ψ))⊕ (V (ϕ)⊕ V (δ))) =
( V (ϕ)⊗V (ψ))⊕ (V (ϕ)⊕ V (δ))) =
(V (ϕ)⊕ V (ψ))⊕ (V (ϕ)⊕ V (δ))) =
(ϕ→ ψ)⊕ (ϕ→ δ) =
(ϕ→ ψ)→ (ϕ→ δ)António Ravara, Simão Melo de Sousa Lógica Computacional
![Page 50: Lógica Computacional - Aula Teórica 7: Semântica da Lógica …desousa/2014-2015/LC/at7.pdf · 2014. 11. 11. · LógicaComputacional AulaTeórica7: SemânticadaLógicaProposicional](https://reader034.vdocuments.pub/reader034/viewer/2022052021/60368bf5882e7c3f68608f74/html5/thumbnails/50.jpg)
Equivalência lógicaLeis axiomáticas
CongruênciaAbreviaturas
Conjuntos mínimos de conectivos
EnunciadosProvas dos axiomas
ϕ→ (ψ → δ) ≡ (ϕ→ ψ)→ (ϕ→ δ)
V (ϕ→ (ψ → δ)) =
V (ϕ)⊕ V (ψ → δ) =
V (ϕ)⊕ (V (ψ)⊕ V (δ)) =
1⊗ (V (ϕ)⊕ (V (ψ)⊕ V (δ))) =
(1⊕ V (δ))⊗ (V (ϕ)⊕ (V (ψ)⊕ V (δ))) =
((V (ϕ)⊕V (ϕ))⊕ V (δ))⊗ (V (ϕ)⊕ (V (ψ)⊕ V (δ))) =
(V (ϕ)⊕ (V (ϕ)⊕ V (δ)))⊗ (V (ψ)⊕ (V (ϕ)⊕ V (δ))) =
(V (ϕ)⊗V (ψ))⊕ (V (ϕ)⊕ V (δ))) =
( V (ϕ)⊗V (ψ))⊕ (V (ϕ)⊕ V (δ))) =
(V (ϕ)⊕ V (ψ))⊕ (V (ϕ)⊕ V (δ))) =
(ϕ→ ψ)⊕ (ϕ→ δ) =
(ϕ→ ψ)→ (ϕ→ δ)António Ravara, Simão Melo de Sousa Lógica Computacional
![Page 51: Lógica Computacional - Aula Teórica 7: Semântica da Lógica …desousa/2014-2015/LC/at7.pdf · 2014. 11. 11. · LógicaComputacional AulaTeórica7: SemânticadaLógicaProposicional](https://reader034.vdocuments.pub/reader034/viewer/2022052021/60368bf5882e7c3f68608f74/html5/thumbnails/51.jpg)
Equivalência lógicaLeis axiomáticas
CongruênciaAbreviaturas
Conjuntos mínimos de conectivos
EnunciadosProvas dos axiomas
ϕ→ (ψ → δ) ≡ (ϕ→ ψ)→ (ϕ→ δ)
V (ϕ→ (ψ → δ)) =
V (ϕ)⊕ V (ψ → δ) =
V (ϕ)⊕ (V (ψ)⊕ V (δ)) =
1⊗ (V (ϕ)⊕ (V (ψ)⊕ V (δ))) =
(1⊕ V (δ))⊗ (V (ϕ)⊕ (V (ψ)⊕ V (δ))) =
((V (ϕ)⊕V (ϕ))⊕ V (δ))⊗ (V (ϕ)⊕ (V (ψ)⊕ V (δ))) =
(V (ϕ)⊕ (V (ϕ)⊕ V (δ)))⊗ (V (ψ)⊕ (V (ϕ)⊕ V (δ))) =
(V (ϕ)⊗V (ψ))⊕ (V (ϕ)⊕ V (δ))) =
( V (ϕ)⊗V (ψ))⊕ (V (ϕ)⊕ V (δ))) =
(V (ϕ)⊕ V (ψ))⊕ (V (ϕ)⊕ V (δ))) =
(ϕ→ ψ)⊕ (ϕ→ δ) =
(ϕ→ ψ)→ (ϕ→ δ)António Ravara, Simão Melo de Sousa Lógica Computacional
![Page 52: Lógica Computacional - Aula Teórica 7: Semântica da Lógica …desousa/2014-2015/LC/at7.pdf · 2014. 11. 11. · LógicaComputacional AulaTeórica7: SemânticadaLógicaProposicional](https://reader034.vdocuments.pub/reader034/viewer/2022052021/60368bf5882e7c3f68608f74/html5/thumbnails/52.jpg)
Equivalência lógicaLeis axiomáticas
CongruênciaAbreviaturas
Conjuntos mínimos de conectivos
EnunciadosProvas dos axiomas
ϕ→ (ψ → δ) ≡ (ϕ→ ψ)→ (ϕ→ δ)
V (ϕ→ (ψ → δ)) =
V (ϕ)⊕ V (ψ → δ) =
V (ϕ)⊕ (V (ψ)⊕ V (δ)) =
1⊗ (V (ϕ)⊕ (V (ψ)⊕ V (δ))) =
(1⊕ V (δ))⊗ (V (ϕ)⊕ (V (ψ)⊕ V (δ))) =
((V (ϕ)⊕V (ϕ))⊕ V (δ))⊗ (V (ϕ)⊕ (V (ψ)⊕ V (δ))) =
(V (ϕ)⊕ (V (ϕ)⊕ V (δ)))⊗ (V (ψ)⊕ (V (ϕ)⊕ V (δ))) =
(V (ϕ)⊗V (ψ))⊕ (V (ϕ)⊕ V (δ))) =
( V (ϕ)⊗V (ψ))⊕ (V (ϕ)⊕ V (δ))) =
(V (ϕ)⊕ V (ψ))⊕ (V (ϕ)⊕ V (δ))) =
(ϕ→ ψ)⊕ (ϕ→ δ) =
(ϕ→ ψ)→ (ϕ→ δ)António Ravara, Simão Melo de Sousa Lógica Computacional
![Page 53: Lógica Computacional - Aula Teórica 7: Semântica da Lógica …desousa/2014-2015/LC/at7.pdf · 2014. 11. 11. · LógicaComputacional AulaTeórica7: SemânticadaLógicaProposicional](https://reader034.vdocuments.pub/reader034/viewer/2022052021/60368bf5882e7c3f68608f74/html5/thumbnails/53.jpg)
Equivalência lógicaLeis axiomáticas
CongruênciaAbreviaturas
Conjuntos mínimos de conectivos
EnunciadosProvas dos axiomas
ϕ→ (ψ → δ) ≡ (ϕ→ ψ)→ (ϕ→ δ)
V (ϕ→ (ψ → δ)) =
V (ϕ)⊕ V (ψ → δ) =
V (ϕ)⊕ (V (ψ)⊕ V (δ)) =
1⊗ (V (ϕ)⊕ (V (ψ)⊕ V (δ))) =
(1⊕ V (δ))⊗ (V (ϕ)⊕ (V (ψ)⊕ V (δ))) =
((V (ϕ)⊕V (ϕ))⊕ V (δ))⊗ (V (ϕ)⊕ (V (ψ)⊕ V (δ))) =
(V (ϕ)⊕ (V (ϕ)⊕ V (δ)))⊗ (V (ψ)⊕ (V (ϕ)⊕ V (δ))) =
(V (ϕ)⊗V (ψ))⊕ (V (ϕ)⊕ V (δ))) =
( V (ϕ)⊗V (ψ))⊕ (V (ϕ)⊕ V (δ))) =
(V (ϕ)⊕ V (ψ))⊕ (V (ϕ)⊕ V (δ))) =
(ϕ→ ψ)⊕ (ϕ→ δ) =
(ϕ→ ψ)→ (ϕ→ δ)António Ravara, Simão Melo de Sousa Lógica Computacional
![Page 54: Lógica Computacional - Aula Teórica 7: Semântica da Lógica …desousa/2014-2015/LC/at7.pdf · 2014. 11. 11. · LógicaComputacional AulaTeórica7: SemânticadaLógicaProposicional](https://reader034.vdocuments.pub/reader034/viewer/2022052021/60368bf5882e7c3f68608f74/html5/thumbnails/54.jpg)
Equivalência lógicaLeis axiomáticas
CongruênciaAbreviaturas
Conjuntos mínimos de conectivos
EnunciadosProvas dos axiomas
ϕ→ (ψ → δ) ≡ (ϕ→ ψ)→ (ϕ→ δ)
V (ϕ→ (ψ → δ)) =
V (ϕ)⊕ V (ψ → δ) =
V (ϕ)⊕ (V (ψ)⊕ V (δ)) =
1⊗ (V (ϕ)⊕ (V (ψ)⊕ V (δ))) =
(1⊕ V (δ))⊗ (V (ϕ)⊕ (V (ψ)⊕ V (δ))) =
((V (ϕ)⊕V (ϕ))⊕ V (δ))⊗ (V (ϕ)⊕ (V (ψ)⊕ V (δ))) =
(V (ϕ)⊕ (V (ϕ)⊕ V (δ)))⊗ (V (ψ)⊕ (V (ϕ)⊕ V (δ))) =
(V (ϕ)⊗V (ψ))⊕ (V (ϕ)⊕ V (δ))) =
( V (ϕ)⊗V (ψ))⊕ (V (ϕ)⊕ V (δ))) =
(V (ϕ)⊕ V (ψ))⊕ (V (ϕ)⊕ V (δ))) =
(ϕ→ ψ)⊕ (ϕ→ δ) =
(ϕ→ ψ)→ (ϕ→ δ)António Ravara, Simão Melo de Sousa Lógica Computacional
![Page 55: Lógica Computacional - Aula Teórica 7: Semântica da Lógica …desousa/2014-2015/LC/at7.pdf · 2014. 11. 11. · LógicaComputacional AulaTeórica7: SemânticadaLógicaProposicional](https://reader034.vdocuments.pub/reader034/viewer/2022052021/60368bf5882e7c3f68608f74/html5/thumbnails/55.jpg)
Equivalência lógicaLeis axiomáticas
CongruênciaAbreviaturas
Conjuntos mínimos de conectivos
EnunciadosProvas dos axiomas
ϕ→ (ψ → δ) ≡ (ϕ→ ψ)→ (ϕ→ δ)
V (ϕ→ (ψ → δ)) =
V (ϕ)⊕ V (ψ → δ) =
V (ϕ)⊕ (V (ψ)⊕ V (δ)) =
1⊗ (V (ϕ)⊕ (V (ψ)⊕ V (δ))) =
(1⊕ V (δ))⊗ (V (ϕ)⊕ (V (ψ)⊕ V (δ))) =
((V (ϕ)⊕V (ϕ))⊕ V (δ))⊗ (V (ϕ)⊕ (V (ψ)⊕ V (δ))) =
(V (ϕ)⊕ (V (ϕ)⊕ V (δ)))⊗ (V (ψ)⊕ (V (ϕ)⊕ V (δ))) =
(V (ϕ)⊗V (ψ))⊕ (V (ϕ)⊕ V (δ))) =
( V (ϕ)⊗V (ψ))⊕ (V (ϕ)⊕ V (δ))) =
(V (ϕ)⊕ V (ψ))⊕ (V (ϕ)⊕ V (δ))) =
(ϕ→ ψ)⊕ (ϕ→ δ) =
(ϕ→ ψ)→ (ϕ→ δ)António Ravara, Simão Melo de Sousa Lógica Computacional
![Page 56: Lógica Computacional - Aula Teórica 7: Semântica da Lógica …desousa/2014-2015/LC/at7.pdf · 2014. 11. 11. · LógicaComputacional AulaTeórica7: SemânticadaLógicaProposicional](https://reader034.vdocuments.pub/reader034/viewer/2022052021/60368bf5882e7c3f68608f74/html5/thumbnails/56.jpg)
Equivalência lógicaLeis axiomáticas
CongruênciaAbreviaturas
Conjuntos mínimos de conectivos
EnunciadosProvas dos axiomas
ϕ→ (ψ → δ) ≡ (ϕ→ ψ)→ (ϕ→ δ)
V (ϕ→ (ψ → δ)) =
V (ϕ)⊕ V (ψ → δ) =
V (ϕ)⊕ (V (ψ)⊕ V (δ)) =
1⊗ (V (ϕ)⊕ (V (ψ)⊕ V (δ))) =
(1⊕ V (δ))⊗ (V (ϕ)⊕ (V (ψ)⊕ V (δ))) =
((V (ϕ)⊕V (ϕ))⊕ V (δ))⊗ (V (ϕ)⊕ (V (ψ)⊕ V (δ))) =
(V (ϕ)⊕ (V (ϕ)⊕ V (δ)))⊗ (V (ψ)⊕ (V (ϕ)⊕ V (δ))) =
(V (ϕ)⊗V (ψ))⊕ (V (ϕ)⊕ V (δ))) =
( V (ϕ)⊗V (ψ))⊕ (V (ϕ)⊕ V (δ))) =
(V (ϕ)⊕ V (ψ))⊕ (V (ϕ)⊕ V (δ))) =
(ϕ→ ψ)⊕ (ϕ→ δ) =
(ϕ→ ψ)→ (ϕ→ δ)António Ravara, Simão Melo de Sousa Lógica Computacional
![Page 57: Lógica Computacional - Aula Teórica 7: Semântica da Lógica …desousa/2014-2015/LC/at7.pdf · 2014. 11. 11. · LógicaComputacional AulaTeórica7: SemânticadaLógicaProposicional](https://reader034.vdocuments.pub/reader034/viewer/2022052021/60368bf5882e7c3f68608f74/html5/thumbnails/57.jpg)
Equivalência lógicaLeis axiomáticas
CongruênciaAbreviaturas
Conjuntos mínimos de conectivos
EnunciadosProvas dos axiomas
ϕ→ (ψ → δ) ≡ (ϕ→ ψ)→ (ϕ→ δ)
V (ϕ→ (ψ → δ)) =
V (ϕ)⊕ V (ψ → δ) =
V (ϕ)⊕ (V (ψ)⊕ V (δ)) =
1⊗ (V (ϕ)⊕ (V (ψ)⊕ V (δ))) =
(1⊕ V (δ))⊗ (V (ϕ)⊕ (V (ψ)⊕ V (δ))) =
((V (ϕ)⊕V (ϕ))⊕ V (δ))⊗ (V (ϕ)⊕ (V (ψ)⊕ V (δ))) =
(V (ϕ)⊕ (V (ϕ)⊕ V (δ)))⊗ (V (ψ)⊕ (V (ϕ)⊕ V (δ))) =
(V (ϕ)⊗V (ψ))⊕ (V (ϕ)⊕ V (δ))) =
( V (ϕ)⊗V (ψ))⊕ (V (ϕ)⊕ V (δ))) =
(V (ϕ)⊕ V (ψ))⊕ (V (ϕ)⊕ V (δ))) =
(ϕ→ ψ)⊕ (ϕ→ δ) =
(ϕ→ ψ)→ (ϕ→ δ)António Ravara, Simão Melo de Sousa Lógica Computacional
![Page 58: Lógica Computacional - Aula Teórica 7: Semântica da Lógica …desousa/2014-2015/LC/at7.pdf · 2014. 11. 11. · LógicaComputacional AulaTeórica7: SemânticadaLógicaProposicional](https://reader034.vdocuments.pub/reader034/viewer/2022052021/60368bf5882e7c3f68608f74/html5/thumbnails/58.jpg)
Equivalência lógicaLeis axiomáticas
CongruênciaAbreviaturas
Conjuntos mínimos de conectivos
EnunciadosProvas dos axiomas
ϕ→ (ψ → δ) ≡ (ϕ→ ψ)→ (ϕ→ δ)
V (ϕ→ (ψ → δ)) =
V (ϕ)⊕ V (ψ → δ) =
V (ϕ)⊕ (V (ψ)⊕ V (δ)) =
1⊗ (V (ϕ)⊕ (V (ψ)⊕ V (δ))) =
(1⊕ V (δ))⊗ (V (ϕ)⊕ (V (ψ)⊕ V (δ))) =
((V (ϕ)⊕V (ϕ))⊕ V (δ))⊗ (V (ϕ)⊕ (V (ψ)⊕ V (δ))) =
(V (ϕ)⊕ (V (ϕ)⊕ V (δ)))⊗ (V (ψ)⊕ (V (ϕ)⊕ V (δ))) =
(V (ϕ)⊗V (ψ))⊕ (V (ϕ)⊕ V (δ))) =
( V (ϕ)⊗V (ψ))⊕ (V (ϕ)⊕ V (δ))) =
(V (ϕ)⊕ V (ψ))⊕ (V (ϕ)⊕ V (δ))) =
(ϕ→ ψ)⊕ (ϕ→ δ) =
(ϕ→ ψ)→ (ϕ→ δ)António Ravara, Simão Melo de Sousa Lógica Computacional
![Page 59: Lógica Computacional - Aula Teórica 7: Semântica da Lógica …desousa/2014-2015/LC/at7.pdf · 2014. 11. 11. · LógicaComputacional AulaTeórica7: SemânticadaLógicaProposicional](https://reader034.vdocuments.pub/reader034/viewer/2022052021/60368bf5882e7c3f68608f74/html5/thumbnails/59.jpg)
Equivalência lógicaLeis axiomáticas
CongruênciaAbreviaturas
Conjuntos mínimos de conectivos
EnunciadosProvas dos axiomas
ϕ→ (ψ → δ) ≡ (ϕ→ ψ)→ (ϕ→ δ)
V (ϕ→ (ψ → δ)) =
V (ϕ)⊕ V (ψ → δ) =
V (ϕ)⊕ (V (ψ)⊕ V (δ)) =
1⊗ (V (ϕ)⊕ (V (ψ)⊕ V (δ))) =
(1⊕ V (δ))⊗ (V (ϕ)⊕ (V (ψ)⊕ V (δ))) =
((V (ϕ)⊕V (ϕ))⊕ V (δ))⊗ (V (ϕ)⊕ (V (ψ)⊕ V (δ))) =
(V (ϕ)⊕ (V (ϕ)⊕ V (δ)))⊗ (V (ψ)⊕ (V (ϕ)⊕ V (δ))) =
(V (ϕ)⊗V (ψ))⊕ (V (ϕ)⊕ V (δ))) =
( V (ϕ)⊗V (ψ))⊕ (V (ϕ)⊕ V (δ))) =
(V (ϕ)⊕ V (ψ))⊕ (V (ϕ)⊕ V (δ))) =
(ϕ→ ψ)⊕ (ϕ→ δ) =
(ϕ→ ψ)→ (ϕ→ δ)António Ravara, Simão Melo de Sousa Lógica Computacional
![Page 60: Lógica Computacional - Aula Teórica 7: Semântica da Lógica …desousa/2014-2015/LC/at7.pdf · 2014. 11. 11. · LógicaComputacional AulaTeórica7: SemânticadaLógicaProposicional](https://reader034.vdocuments.pub/reader034/viewer/2022052021/60368bf5882e7c3f68608f74/html5/thumbnails/60.jpg)
Equivalência lógicaLeis axiomáticas
CongruênciaAbreviaturas
Conjuntos mínimos de conectivos
EnunciadosProvas dos axiomas
ϕ→ (ψ → δ) ≡ (ϕ→ ψ)→ (ϕ→ δ)
V (ϕ→ (ψ → δ)) =
V (ϕ)⊕ V (ψ → δ) =
V (ϕ)⊕ (V (ψ)⊕ V (δ)) =
1⊗ (V (ϕ)⊕ (V (ψ)⊕ V (δ))) =
(1⊕ V (δ))⊗ (V (ϕ)⊕ (V (ψ)⊕ V (δ))) =
((V (ϕ)⊕V (ϕ))⊕ V (δ))⊗ (V (ϕ)⊕ (V (ψ)⊕ V (δ))) =
(V (ϕ)⊕ (V (ϕ)⊕ V (δ)))⊗ (V (ψ)⊕ (V (ϕ)⊕ V (δ))) =
(V (ϕ)⊗V (ψ))⊕ (V (ϕ)⊕ V (δ))) =
( V (ϕ)⊗V (ψ))⊕ (V (ϕ)⊕ V (δ))) =
(V (ϕ)⊕ V (ψ))⊕ (V (ϕ)⊕ V (δ))) =
(ϕ→ ψ)⊕ (ϕ→ δ) =
(ϕ→ ψ)→ (ϕ→ δ)António Ravara, Simão Melo de Sousa Lógica Computacional
![Page 61: Lógica Computacional - Aula Teórica 7: Semântica da Lógica …desousa/2014-2015/LC/at7.pdf · 2014. 11. 11. · LógicaComputacional AulaTeórica7: SemânticadaLógicaProposicional](https://reader034.vdocuments.pub/reader034/viewer/2022052021/60368bf5882e7c3f68608f74/html5/thumbnails/61.jpg)
Equivalência lógicaLeis axiomáticas
CongruênciaAbreviaturas
Conjuntos mínimos de conectivos
EnunciadosProvas dos axiomas
ϕ→ (ψ → δ) ≡ (ϕ→ ψ)→ (ϕ→ δ)
V (ϕ→ (ψ → δ)) =
V (ϕ)⊕ V (ψ → δ) =
V (ϕ)⊕ (V (ψ)⊕ V (δ)) =
1⊗ (V (ϕ)⊕ (V (ψ)⊕ V (δ))) =
(1⊕ V (δ))⊗ (V (ϕ)⊕ (V (ψ)⊕ V (δ))) =
((V (ϕ)⊕V (ϕ))⊕ V (δ))⊗ (V (ϕ)⊕ (V (ψ)⊕ V (δ))) =
(V (ϕ)⊕ (V (ϕ)⊕ V (δ)))⊗ (V (ψ)⊕ (V (ϕ)⊕ V (δ))) =
(V (ϕ)⊗V (ψ))⊕ (V (ϕ)⊕ V (δ))) =
( V (ϕ)⊗V (ψ))⊕ (V (ϕ)⊕ V (δ))) =
(V (ϕ)⊕ V (ψ))⊕ (V (ϕ)⊕ V (δ))) =
(ϕ→ ψ)⊕ (ϕ→ δ) =
(ϕ→ ψ)→ (ϕ→ δ)António Ravara, Simão Melo de Sousa Lógica Computacional
![Page 62: Lógica Computacional - Aula Teórica 7: Semântica da Lógica …desousa/2014-2015/LC/at7.pdf · 2014. 11. 11. · LógicaComputacional AulaTeórica7: SemânticadaLógicaProposicional](https://reader034.vdocuments.pub/reader034/viewer/2022052021/60368bf5882e7c3f68608f74/html5/thumbnails/62.jpg)
Equivalência lógicaLeis axiomáticas
CongruênciaAbreviaturas
Conjuntos mínimos de conectivos
EnunciadosProvas dos axiomas
ϕ→ (ψ → δ) ≡ (ϕ→ ψ)→ (ϕ→ δ)
V (ϕ→ (ψ → δ)) =
V (ϕ)⊕ V (ψ → δ) =
V (ϕ)⊕ (V (ψ)⊕ V (δ)) =
1⊗ (V (ϕ)⊕ (V (ψ)⊕ V (δ))) =
(1⊕ V (δ))⊗ (V (ϕ)⊕ (V (ψ)⊕ V (δ))) =
((V (ϕ)⊕V (ϕ))⊕ V (δ))⊗ (V (ϕ)⊕ (V (ψ)⊕ V (δ))) =
(V (ϕ)⊕ (V (ϕ)⊕ V (δ)))⊗ (V (ψ)⊕ (V (ϕ)⊕ V (δ))) =
(V (ϕ)⊗V (ψ))⊕ (V (ϕ)⊕ V (δ))) =
( V (ϕ)⊗V (ψ))⊕ (V (ϕ)⊕ V (δ))) =
(V (ϕ)⊕ V (ψ))⊕ (V (ϕ)⊕ V (δ))) =
(ϕ→ ψ)⊕ (ϕ→ δ) =
(ϕ→ ψ)→ (ϕ→ δ)António Ravara, Simão Melo de Sousa Lógica Computacional
![Page 63: Lógica Computacional - Aula Teórica 7: Semântica da Lógica …desousa/2014-2015/LC/at7.pdf · 2014. 11. 11. · LógicaComputacional AulaTeórica7: SemânticadaLógicaProposicional](https://reader034.vdocuments.pub/reader034/viewer/2022052021/60368bf5882e7c3f68608f74/html5/thumbnails/63.jpg)
Equivalência lógicaLeis axiomáticas
CongruênciaAbreviaturas
Conjuntos mínimos de conectivos
EnunciadosProvas dos axiomas
ϕ→ (ψ → δ) ≡ (ϕ→ ψ)→ (ϕ→ δ)
V (ϕ→ (ψ → δ)) =
V (ϕ)⊕ V (ψ → δ) =
V (ϕ)⊕ (V (ψ)⊕ V (δ)) =
1⊗ (V (ϕ)⊕ (V (ψ)⊕ V (δ))) =
(1⊕ V (δ))⊗ (V (ϕ)⊕ (V (ψ)⊕ V (δ))) =
((V (ϕ)⊕V (ϕ))⊕ V (δ))⊗ (V (ϕ)⊕ (V (ψ)⊕ V (δ))) =
(V (ϕ)⊕ (V (ϕ)⊕ V (δ)))⊗ (V (ψ)⊕ (V (ϕ)⊕ V (δ))) =
(V (ϕ)⊗V (ψ))⊕ (V (ϕ)⊕ V (δ))) =
( V (ϕ)⊗V (ψ))⊕ (V (ϕ)⊕ V (δ))) =
(V (ϕ)⊕ V (ψ))⊕ (V (ϕ)⊕ V (δ))) =
(ϕ→ ψ)⊕ (ϕ→ δ) =
(ϕ→ ψ)→ (ϕ→ δ)António Ravara, Simão Melo de Sousa Lógica Computacional
![Page 64: Lógica Computacional - Aula Teórica 7: Semântica da Lógica …desousa/2014-2015/LC/at7.pdf · 2014. 11. 11. · LógicaComputacional AulaTeórica7: SemânticadaLógicaProposicional](https://reader034.vdocuments.pub/reader034/viewer/2022052021/60368bf5882e7c3f68608f74/html5/thumbnails/64.jpg)
Equivalência lógicaLeis axiomáticas
CongruênciaAbreviaturas
Conjuntos mínimos de conectivos
SubstitutividadePreservação pelos conectivos
“Iguais por iguais”
Intuição
I Um mecanismo fundamental do raciocínio lógico (ou mesmoalgébrico) é o de substituir “iguais por iguais”.
I Exemplos:I como 1+ 1 = 2, então 1+ 1+ 1 = 3 é equivalente a 2+ 1 = 3;I se para p, q, r ∈ P se tem que V (p) = V (q), então
p ∨ r ≡ q ∨ r .
I Como usar este facto intuitivo na lógica?
Teorema da SubstitutividadeSuponha-se que ϕ ≡ ψ, assuma-se que γ é uma fórmula quecontém ϕ como subfórmula e que γ′ é obtido de γ substituindoocorrrências de ϕ por ψ. Então γ ≡ γ′.
António Ravara, Simão Melo de Sousa Lógica Computacional
![Page 65: Lógica Computacional - Aula Teórica 7: Semântica da Lógica …desousa/2014-2015/LC/at7.pdf · 2014. 11. 11. · LógicaComputacional AulaTeórica7: SemânticadaLógicaProposicional](https://reader034.vdocuments.pub/reader034/viewer/2022052021/60368bf5882e7c3f68608f74/html5/thumbnails/65.jpg)
Equivalência lógicaLeis axiomáticas
CongruênciaAbreviaturas
Conjuntos mínimos de conectivos
SubstitutividadePreservação pelos conectivos
“Iguais por iguais”
Intuição
I Um mecanismo fundamental do raciocínio lógico (ou mesmoalgébrico) é o de substituir “iguais por iguais”.
I Exemplos:I como 1+ 1 = 2, então 1+ 1+ 1 = 3 é equivalente a 2+ 1 = 3;I se para p, q, r ∈ P se tem que V (p) = V (q), então
p ∨ r ≡ q ∨ r .
I Como usar este facto intuitivo na lógica?
Teorema da SubstitutividadeSuponha-se que ϕ ≡ ψ, assuma-se que γ é uma fórmula quecontém ϕ como subfórmula e que γ′ é obtido de γ substituindoocorrrências de ϕ por ψ. Então γ ≡ γ′.
António Ravara, Simão Melo de Sousa Lógica Computacional
![Page 66: Lógica Computacional - Aula Teórica 7: Semântica da Lógica …desousa/2014-2015/LC/at7.pdf · 2014. 11. 11. · LógicaComputacional AulaTeórica7: SemânticadaLógicaProposicional](https://reader034.vdocuments.pub/reader034/viewer/2022052021/60368bf5882e7c3f68608f74/html5/thumbnails/66.jpg)
Equivalência lógicaLeis axiomáticas
CongruênciaAbreviaturas
Conjuntos mínimos de conectivos
SubstitutividadePreservação pelos conectivos
“Iguais por iguais”
Intuição
I Um mecanismo fundamental do raciocínio lógico (ou mesmoalgébrico) é o de substituir “iguais por iguais”.
I Exemplos:I como 1+ 1 = 2, então 1+ 1+ 1 = 3 é equivalente a 2+ 1 = 3;I se para p, q, r ∈ P se tem que V (p) = V (q), então
p ∨ r ≡ q ∨ r .
I Como usar este facto intuitivo na lógica?
Teorema da SubstitutividadeSuponha-se que ϕ ≡ ψ, assuma-se que γ é uma fórmula quecontém ϕ como subfórmula e que γ′ é obtido de γ substituindoocorrrências de ϕ por ψ. Então γ ≡ γ′.
António Ravara, Simão Melo de Sousa Lógica Computacional
![Page 67: Lógica Computacional - Aula Teórica 7: Semântica da Lógica …desousa/2014-2015/LC/at7.pdf · 2014. 11. 11. · LógicaComputacional AulaTeórica7: SemânticadaLógicaProposicional](https://reader034.vdocuments.pub/reader034/viewer/2022052021/60368bf5882e7c3f68608f74/html5/thumbnails/67.jpg)
Equivalência lógicaLeis axiomáticas
CongruênciaAbreviaturas
Conjuntos mínimos de conectivos
SubstitutividadePreservação pelos conectivos
“Iguais por iguais”
Intuição
I Um mecanismo fundamental do raciocínio lógico (ou mesmoalgébrico) é o de substituir “iguais por iguais”.
I Exemplos:I como 1+ 1 = 2, então 1+ 1+ 1 = 3 é equivalente a 2+ 1 = 3;I se para p, q, r ∈ P se tem que V (p) = V (q), então
p ∨ r ≡ q ∨ r .
I Como usar este facto intuitivo na lógica?
Teorema da SubstitutividadeSuponha-se que ϕ ≡ ψ, assuma-se que γ é uma fórmula quecontém ϕ como subfórmula e que γ′ é obtido de γ substituindoocorrrências de ϕ por ψ. Então γ ≡ γ′.
António Ravara, Simão Melo de Sousa Lógica Computacional
![Page 68: Lógica Computacional - Aula Teórica 7: Semântica da Lógica …desousa/2014-2015/LC/at7.pdf · 2014. 11. 11. · LógicaComputacional AulaTeórica7: SemânticadaLógicaProposicional](https://reader034.vdocuments.pub/reader034/viewer/2022052021/60368bf5882e7c3f68608f74/html5/thumbnails/68.jpg)
Equivalência lógicaLeis axiomáticas
CongruênciaAbreviaturas
Conjuntos mínimos de conectivos
SubstitutividadePreservação pelos conectivos
“Iguais por iguais”
Intuição
I Um mecanismo fundamental do raciocínio lógico (ou mesmoalgébrico) é o de substituir “iguais por iguais”.
I Exemplos:I como 1+ 1 = 2, então 1+ 1+ 1 = 3 é equivalente a 2+ 1 = 3;I se para p, q, r ∈ P se tem que V (p) = V (q), então
p ∨ r ≡ q ∨ r .
I Como usar este facto intuitivo na lógica?
Teorema da SubstitutividadeSuponha-se que ϕ ≡ ψ, assuma-se que γ é uma fórmula quecontém ϕ como subfórmula e que γ′ é obtido de γ substituindoocorrrências de ϕ por ψ. Então γ ≡ γ′.
António Ravara, Simão Melo de Sousa Lógica Computacional
![Page 69: Lógica Computacional - Aula Teórica 7: Semântica da Lógica …desousa/2014-2015/LC/at7.pdf · 2014. 11. 11. · LógicaComputacional AulaTeórica7: SemânticadaLógicaProposicional](https://reader034.vdocuments.pub/reader034/viewer/2022052021/60368bf5882e7c3f68608f74/html5/thumbnails/69.jpg)
Equivalência lógicaLeis axiomáticas
CongruênciaAbreviaturas
Conjuntos mínimos de conectivos
SubstitutividadePreservação pelos conectivos
“Iguais por iguais”Prova do teorema por indução na estrutura de γI Casos base:
I γ = p, para algum p ∈ P. A única subfórmula é o próprio γ,logo ϕ = γ e ψ = γ′. Como por hipótese ϕ ≡ ψ, e aequivalência é reflexiva, conclui-se por transitividade queγ ≡ γ′ (ou seja γ ≡ ϕ ≡ ψ ≡ γ′).
I O caso γ = ⊥ sai de igual forma.I Caso γ = γ1 ∨ γ2 (os restantes são semelhantes).
Por hipótese de indução, para i ∈ {1, 2} tem-se que γi ≡ γ′i seeste último é obtido de γi substituindo ocorrências de ϕ por ψ.Como por hipótese ϕ é subfórmula de γ, há 3 casos aconsiderar: ϕ = γ ou ϕ ∈ SBF(γi ) (com i ∈ {1, 2}). Oprimeiro prova-se de forma semelhante aos casos base;considera-se então, sem perda de generalidade, queϕ ∈ SBF(γ1); logo, como a equivalência é preservada pelosoperadores da lógica, γ′ = γ′1 ∨ γ2 , e conclui-se que γ ≡ γ′.
António Ravara, Simão Melo de Sousa Lógica Computacional
![Page 70: Lógica Computacional - Aula Teórica 7: Semântica da Lógica …desousa/2014-2015/LC/at7.pdf · 2014. 11. 11. · LógicaComputacional AulaTeórica7: SemânticadaLógicaProposicional](https://reader034.vdocuments.pub/reader034/viewer/2022052021/60368bf5882e7c3f68608f74/html5/thumbnails/70.jpg)
Equivalência lógicaLeis axiomáticas
CongruênciaAbreviaturas
Conjuntos mínimos de conectivos
SubstitutividadePreservação pelos conectivos
“Iguais por iguais”Prova do teorema por indução na estrutura de γI Casos base:
I γ = p, para algum p ∈ P. A única subfórmula é o próprio γ,logo ϕ = γ e ψ = γ′. Como por hipótese ϕ ≡ ψ, e aequivalência é reflexiva, conclui-se por transitividade queγ ≡ γ′ (ou seja γ ≡ ϕ ≡ ψ ≡ γ′).
I O caso γ = ⊥ sai de igual forma.I Caso γ = γ1 ∨ γ2 (os restantes são semelhantes).
Por hipótese de indução, para i ∈ {1, 2} tem-se que γi ≡ γ′i seeste último é obtido de γi substituindo ocorrências de ϕ por ψ.Como por hipótese ϕ é subfórmula de γ, há 3 casos aconsiderar: ϕ = γ ou ϕ ∈ SBF(γi ) (com i ∈ {1, 2}). Oprimeiro prova-se de forma semelhante aos casos base;considera-se então, sem perda de generalidade, queϕ ∈ SBF(γ1); logo, como a equivalência é preservada pelosoperadores da lógica, γ′ = γ′1 ∨ γ2 , e conclui-se que γ ≡ γ′.
António Ravara, Simão Melo de Sousa Lógica Computacional
![Page 71: Lógica Computacional - Aula Teórica 7: Semântica da Lógica …desousa/2014-2015/LC/at7.pdf · 2014. 11. 11. · LógicaComputacional AulaTeórica7: SemânticadaLógicaProposicional](https://reader034.vdocuments.pub/reader034/viewer/2022052021/60368bf5882e7c3f68608f74/html5/thumbnails/71.jpg)
Equivalência lógicaLeis axiomáticas
CongruênciaAbreviaturas
Conjuntos mínimos de conectivos
SubstitutividadePreservação pelos conectivos
“Iguais por iguais”Prova do teorema por indução na estrutura de γI Casos base:
I γ = p, para algum p ∈ P. A única subfórmula é o próprio γ,logo ϕ = γ e ψ = γ′. Como por hipótese ϕ ≡ ψ, e aequivalência é reflexiva, conclui-se por transitividade queγ ≡ γ′ (ou seja γ ≡ ϕ ≡ ψ ≡ γ′).
I O caso γ = ⊥ sai de igual forma.I Caso γ = γ1 ∨ γ2 (os restantes são semelhantes).
Por hipótese de indução, para i ∈ {1, 2} tem-se que γi ≡ γ′i seeste último é obtido de γi substituindo ocorrências de ϕ por ψ.Como por hipótese ϕ é subfórmula de γ, há 3 casos aconsiderar: ϕ = γ ou ϕ ∈ SBF(γi ) (com i ∈ {1, 2}). Oprimeiro prova-se de forma semelhante aos casos base;considera-se então, sem perda de generalidade, queϕ ∈ SBF(γ1); logo, como a equivalência é preservada pelosoperadores da lógica, γ′ = γ′1 ∨ γ2 , e conclui-se que γ ≡ γ′.
António Ravara, Simão Melo de Sousa Lógica Computacional
![Page 72: Lógica Computacional - Aula Teórica 7: Semântica da Lógica …desousa/2014-2015/LC/at7.pdf · 2014. 11. 11. · LógicaComputacional AulaTeórica7: SemânticadaLógicaProposicional](https://reader034.vdocuments.pub/reader034/viewer/2022052021/60368bf5882e7c3f68608f74/html5/thumbnails/72.jpg)
Equivalência lógicaLeis axiomáticas
CongruênciaAbreviaturas
Conjuntos mínimos de conectivos
SubstitutividadePreservação pelos conectivos
“Iguais por iguais”Prova do teorema por indução na estrutura de γI Casos base:
I γ = p, para algum p ∈ P. A única subfórmula é o próprio γ,logo ϕ = γ e ψ = γ′. Como por hipótese ϕ ≡ ψ, e aequivalência é reflexiva, conclui-se por transitividade queγ ≡ γ′ (ou seja γ ≡ ϕ ≡ ψ ≡ γ′).
I O caso γ = ⊥ sai de igual forma.I Caso γ = γ1 ∨ γ2 (os restantes são semelhantes).
Por hipótese de indução, para i ∈ {1, 2} tem-se que γi ≡ γ′i seeste último é obtido de γi substituindo ocorrências de ϕ por ψ.Como por hipótese ϕ é subfórmula de γ, há 3 casos aconsiderar: ϕ = γ ou ϕ ∈ SBF(γi ) (com i ∈ {1, 2}). Oprimeiro prova-se de forma semelhante aos casos base;considera-se então, sem perda de generalidade, queϕ ∈ SBF(γ1); logo, como a equivalência é preservada pelosoperadores da lógica, γ′ = γ′1 ∨ γ2 , e conclui-se que γ ≡ γ′.
António Ravara, Simão Melo de Sousa Lógica Computacional
![Page 73: Lógica Computacional - Aula Teórica 7: Semântica da Lógica …desousa/2014-2015/LC/at7.pdf · 2014. 11. 11. · LógicaComputacional AulaTeórica7: SemânticadaLógicaProposicional](https://reader034.vdocuments.pub/reader034/viewer/2022052021/60368bf5882e7c3f68608f74/html5/thumbnails/73.jpg)
Equivalência lógicaLeis axiomáticas
CongruênciaAbreviaturas
Conjuntos mínimos de conectivos
SubstitutividadePreservação pelos conectivos
“Iguais por iguais”Prova do teorema por indução na estrutura de γI Casos base:
I γ = p, para algum p ∈ P. A única subfórmula é o próprio γ,logo ϕ = γ e ψ = γ′. Como por hipótese ϕ ≡ ψ, e aequivalência é reflexiva, conclui-se por transitividade queγ ≡ γ′ (ou seja γ ≡ ϕ ≡ ψ ≡ γ′).
I O caso γ = ⊥ sai de igual forma.I Caso γ = γ1 ∨ γ2 (os restantes são semelhantes).
Por hipótese de indução, para i ∈ {1, 2} tem-se que γi ≡ γ′i seeste último é obtido de γi substituindo ocorrências de ϕ por ψ.Como por hipótese ϕ é subfórmula de γ, há 3 casos aconsiderar: ϕ = γ ou ϕ ∈ SBF(γi ) (com i ∈ {1, 2}). Oprimeiro prova-se de forma semelhante aos casos base;considera-se então, sem perda de generalidade, queϕ ∈ SBF(γ1); logo, como a equivalência é preservada pelosoperadores da lógica, γ′ = γ′1 ∨ γ2 , e conclui-se que γ ≡ γ′.
António Ravara, Simão Melo de Sousa Lógica Computacional
![Page 74: Lógica Computacional - Aula Teórica 7: Semântica da Lógica …desousa/2014-2015/LC/at7.pdf · 2014. 11. 11. · LógicaComputacional AulaTeórica7: SemânticadaLógicaProposicional](https://reader034.vdocuments.pub/reader034/viewer/2022052021/60368bf5882e7c3f68608f74/html5/thumbnails/74.jpg)
Equivalência lógicaLeis axiomáticas
CongruênciaAbreviaturas
Conjuntos mínimos de conectivos
SubstitutividadePreservação pelos conectivos
“Iguais por iguais”Prova do teorema por indução na estrutura de γI Casos base:
I γ = p, para algum p ∈ P. A única subfórmula é o próprio γ,logo ϕ = γ e ψ = γ′. Como por hipótese ϕ ≡ ψ, e aequivalência é reflexiva, conclui-se por transitividade queγ ≡ γ′ (ou seja γ ≡ ϕ ≡ ψ ≡ γ′).
I O caso γ = ⊥ sai de igual forma.I Caso γ = γ1 ∨ γ2 (os restantes são semelhantes).
Por hipótese de indução, para i ∈ {1, 2} tem-se que γi ≡ γ′i seeste último é obtido de γi substituindo ocorrências de ϕ por ψ.Como por hipótese ϕ é subfórmula de γ, há 3 casos aconsiderar: ϕ = γ ou ϕ ∈ SBF(γi ) (com i ∈ {1, 2}). Oprimeiro prova-se de forma semelhante aos casos base;considera-se então, sem perda de generalidade, queϕ ∈ SBF(γ1); logo, como a equivalência é preservada pelosoperadores da lógica, γ′ = γ′1 ∨ γ2 , e conclui-se que γ ≡ γ′.
António Ravara, Simão Melo de Sousa Lógica Computacional
![Page 75: Lógica Computacional - Aula Teórica 7: Semântica da Lógica …desousa/2014-2015/LC/at7.pdf · 2014. 11. 11. · LógicaComputacional AulaTeórica7: SemânticadaLógicaProposicional](https://reader034.vdocuments.pub/reader034/viewer/2022052021/60368bf5882e7c3f68608f74/html5/thumbnails/75.jpg)
Equivalência lógicaLeis axiomáticas
CongruênciaAbreviaturas
Conjuntos mínimos de conectivos
SubstitutividadePreservação pelos conectivos
“Iguais por iguais”Prova do teorema por indução na estrutura de γI Casos base:
I γ = p, para algum p ∈ P. A única subfórmula é o próprio γ,logo ϕ = γ e ψ = γ′. Como por hipótese ϕ ≡ ψ, e aequivalência é reflexiva, conclui-se por transitividade queγ ≡ γ′ (ou seja γ ≡ ϕ ≡ ψ ≡ γ′).
I O caso γ = ⊥ sai de igual forma.I Caso γ = γ1 ∨ γ2 (os restantes são semelhantes).
Por hipótese de indução, para i ∈ {1, 2} tem-se que γi ≡ γ′i seeste último é obtido de γi substituindo ocorrências de ϕ por ψ.Como por hipótese ϕ é subfórmula de γ, há 3 casos aconsiderar: ϕ = γ ou ϕ ∈ SBF(γi ) (com i ∈ {1, 2}). Oprimeiro prova-se de forma semelhante aos casos base;considera-se então, sem perda de generalidade, queϕ ∈ SBF(γ1); logo, como a equivalência é preservada pelosoperadores da lógica, γ′ = γ′1 ∨ γ2 , e conclui-se que γ ≡ γ′.
António Ravara, Simão Melo de Sousa Lógica Computacional
![Page 76: Lógica Computacional - Aula Teórica 7: Semântica da Lógica …desousa/2014-2015/LC/at7.pdf · 2014. 11. 11. · LógicaComputacional AulaTeórica7: SemânticadaLógicaProposicional](https://reader034.vdocuments.pub/reader034/viewer/2022052021/60368bf5882e7c3f68608f74/html5/thumbnails/76.jpg)
Equivalência lógicaLeis axiomáticas
CongruênciaAbreviaturas
Conjuntos mínimos de conectivos
SubstitutividadePreservação pelos conectivos
“Iguais por iguais”Prova do teorema por indução na estrutura de γI Casos base:
I γ = p, para algum p ∈ P. A única subfórmula é o próprio γ,logo ϕ = γ e ψ = γ′. Como por hipótese ϕ ≡ ψ, e aequivalência é reflexiva, conclui-se por transitividade queγ ≡ γ′ (ou seja γ ≡ ϕ ≡ ψ ≡ γ′).
I O caso γ = ⊥ sai de igual forma.I Caso γ = γ1 ∨ γ2 (os restantes são semelhantes).
Por hipótese de indução, para i ∈ {1, 2} tem-se que γi ≡ γ′i seeste último é obtido de γi substituindo ocorrências de ϕ por ψ.Como por hipótese ϕ é subfórmula de γ, há 3 casos aconsiderar: ϕ = γ ou ϕ ∈ SBF(γi ) (com i ∈ {1, 2}). Oprimeiro prova-se de forma semelhante aos casos base;considera-se então, sem perda de generalidade, queϕ ∈ SBF(γ1); logo, como a equivalência é preservada pelosoperadores da lógica, γ′ = γ′1 ∨ γ2 , e conclui-se que γ ≡ γ′.
António Ravara, Simão Melo de Sousa Lógica Computacional
![Page 77: Lógica Computacional - Aula Teórica 7: Semântica da Lógica …desousa/2014-2015/LC/at7.pdf · 2014. 11. 11. · LógicaComputacional AulaTeórica7: SemânticadaLógicaProposicional](https://reader034.vdocuments.pub/reader034/viewer/2022052021/60368bf5882e7c3f68608f74/html5/thumbnails/77.jpg)
Equivalência lógicaLeis axiomáticas
CongruênciaAbreviaturas
Conjuntos mínimos de conectivos
SubstitutividadePreservação pelos conectivos
“Iguais por iguais”Prova do teorema por indução na estrutura de γI Casos base:
I γ = p, para algum p ∈ P. A única subfórmula é o próprio γ,logo ϕ = γ e ψ = γ′. Como por hipótese ϕ ≡ ψ, e aequivalência é reflexiva, conclui-se por transitividade queγ ≡ γ′ (ou seja γ ≡ ϕ ≡ ψ ≡ γ′).
I O caso γ = ⊥ sai de igual forma.I Caso γ = γ1 ∨ γ2 (os restantes são semelhantes).
Por hipótese de indução, para i ∈ {1, 2} tem-se que γi ≡ γ′i seeste último é obtido de γi substituindo ocorrências de ϕ por ψ.Como por hipótese ϕ é subfórmula de γ, há 3 casos aconsiderar: ϕ = γ ou ϕ ∈ SBF(γi ) (com i ∈ {1, 2}). Oprimeiro prova-se de forma semelhante aos casos base;considera-se então, sem perda de generalidade, queϕ ∈ SBF(γ1); logo, como a equivalência é preservada pelosoperadores da lógica, γ′ = γ′1 ∨ γ2 , e conclui-se que γ ≡ γ′.
António Ravara, Simão Melo de Sousa Lógica Computacional
![Page 78: Lógica Computacional - Aula Teórica 7: Semântica da Lógica …desousa/2014-2015/LC/at7.pdf · 2014. 11. 11. · LógicaComputacional AulaTeórica7: SemânticadaLógicaProposicional](https://reader034.vdocuments.pub/reader034/viewer/2022052021/60368bf5882e7c3f68608f74/html5/thumbnails/78.jpg)
Equivalência lógicaLeis axiomáticas
CongruênciaAbreviaturas
Conjuntos mínimos de conectivos
SubstitutividadePreservação pelos conectivos
“Iguais por iguais”Prova do teorema por indução na estrutura de γI Casos base:
I γ = p, para algum p ∈ P. A única subfórmula é o próprio γ,logo ϕ = γ e ψ = γ′. Como por hipótese ϕ ≡ ψ, e aequivalência é reflexiva, conclui-se por transitividade queγ ≡ γ′ (ou seja γ ≡ ϕ ≡ ψ ≡ γ′).
I O caso γ = ⊥ sai de igual forma.I Caso γ = γ1 ∨ γ2 (os restantes são semelhantes).
Por hipótese de indução, para i ∈ {1, 2} tem-se que γi ≡ γ′i seeste último é obtido de γi substituindo ocorrências de ϕ por ψ.Como por hipótese ϕ é subfórmula de γ, há 3 casos aconsiderar: ϕ = γ ou ϕ ∈ SBF(γi ) (com i ∈ {1, 2}). Oprimeiro prova-se de forma semelhante aos casos base;considera-se então, sem perda de generalidade, queϕ ∈ SBF(γ1); logo, como a equivalência é preservada pelosoperadores da lógica, γ′ = γ′1 ∨ γ2 , e conclui-se que γ ≡ γ′.
António Ravara, Simão Melo de Sousa Lógica Computacional
![Page 79: Lógica Computacional - Aula Teórica 7: Semântica da Lógica …desousa/2014-2015/LC/at7.pdf · 2014. 11. 11. · LógicaComputacional AulaTeórica7: SemânticadaLógicaProposicional](https://reader034.vdocuments.pub/reader034/viewer/2022052021/60368bf5882e7c3f68608f74/html5/thumbnails/79.jpg)
Equivalência lógicaLeis axiomáticas
CongruênciaAbreviaturas
Conjuntos mínimos de conectivos
SubstitutividadePreservação pelos conectivos
“Iguais por iguais”Prova do teorema por indução na estrutura de γI Casos base:
I γ = p, para algum p ∈ P. A única subfórmula é o próprio γ,logo ϕ = γ e ψ = γ′. Como por hipótese ϕ ≡ ψ, e aequivalência é reflexiva, conclui-se por transitividade queγ ≡ γ′ (ou seja γ ≡ ϕ ≡ ψ ≡ γ′).
I O caso γ = ⊥ sai de igual forma.I Caso γ = γ1 ∨ γ2 (os restantes são semelhantes).
Por hipótese de indução, para i ∈ {1, 2} tem-se que γi ≡ γ′i seeste último é obtido de γi substituindo ocorrências de ϕ por ψ.Como por hipótese ϕ é subfórmula de γ, há 3 casos aconsiderar: ϕ = γ ou ϕ ∈ SBF(γi ) (com i ∈ {1, 2}). Oprimeiro prova-se de forma semelhante aos casos base;considera-se então, sem perda de generalidade, queϕ ∈ SBF(γ1); logo, como a equivalência é preservada pelosoperadores da lógica, γ′ = γ′1 ∨ γ2 , e conclui-se que γ ≡ γ′.
António Ravara, Simão Melo de Sousa Lógica Computacional
![Page 80: Lógica Computacional - Aula Teórica 7: Semântica da Lógica …desousa/2014-2015/LC/at7.pdf · 2014. 11. 11. · LógicaComputacional AulaTeórica7: SemânticadaLógicaProposicional](https://reader034.vdocuments.pub/reader034/viewer/2022052021/60368bf5882e7c3f68608f74/html5/thumbnails/80.jpg)
Equivalência lógicaLeis axiomáticas
CongruênciaAbreviaturas
Conjuntos mínimos de conectivos
SubstitutividadePreservação pelos conectivos
A equivalência lógica é uma congruência
Teorema: os operadores da lógica preservam a equivalênciaSeja ∗ ∈ {∨,∧,→}. Se ϕ ≡ ψ então ϕ ∗ γ ≡ ψ ∗ γ e γ ∗ϕ ≡ γ ∗ψ.
Prova. Note que na álgebra de Boole, ’=’ é uma congruência.I ϕ ∨ γ ≡ ψ ∨ γ.
Por hipótese ϕ ≡ ψ, i.e., V (ϕ) = V (ψ); logo, pela Proposição4.3.2, V (ϕ)⊕ V (γ) = V (ψ)⊕ V (γ); conclui-se então queϕ ∨ γ ≡ ψ ∨ γ.
I ϕ ∧ γ ≡ ψ ∧ γ. A prova é semelhante.I ϕ→ γ ≡ ψ → γ.
Por hipótese ϕ ≡ ψ, i.e., V (ϕ) = V (ψ); logo, pela Proposição4.3.1, V (ϕ) = V (ψ) e de novo pela Proposição 4.3.2, saiV (ϕ)⊕ V (γ) = V (ψ)⊕ V (γ); conclui-se então queϕ→ γ ≡ ψ → γ.
António Ravara, Simão Melo de Sousa Lógica Computacional
![Page 81: Lógica Computacional - Aula Teórica 7: Semântica da Lógica …desousa/2014-2015/LC/at7.pdf · 2014. 11. 11. · LógicaComputacional AulaTeórica7: SemânticadaLógicaProposicional](https://reader034.vdocuments.pub/reader034/viewer/2022052021/60368bf5882e7c3f68608f74/html5/thumbnails/81.jpg)
Equivalência lógicaLeis axiomáticas
CongruênciaAbreviaturas
Conjuntos mínimos de conectivos
SubstitutividadePreservação pelos conectivos
A equivalência lógica é uma congruência
Teorema: os operadores da lógica preservam a equivalênciaSeja ∗ ∈ {∨,∧,→}. Se ϕ ≡ ψ então ϕ ∗ γ ≡ ψ ∗ γ e γ ∗ϕ ≡ γ ∗ψ.
Prova. Note que na álgebra de Boole, ’=’ é uma congruência.I ϕ ∨ γ ≡ ψ ∨ γ.
Por hipótese ϕ ≡ ψ, i.e., V (ϕ) = V (ψ); logo, pela Proposição4.3.2, V (ϕ)⊕ V (γ) = V (ψ)⊕ V (γ); conclui-se então queϕ ∨ γ ≡ ψ ∨ γ.
I ϕ ∧ γ ≡ ψ ∧ γ. A prova é semelhante.I ϕ→ γ ≡ ψ → γ.
Por hipótese ϕ ≡ ψ, i.e., V (ϕ) = V (ψ); logo, pela Proposição4.3.1, V (ϕ) = V (ψ) e de novo pela Proposição 4.3.2, saiV (ϕ)⊕ V (γ) = V (ψ)⊕ V (γ); conclui-se então queϕ→ γ ≡ ψ → γ.
António Ravara, Simão Melo de Sousa Lógica Computacional
![Page 82: Lógica Computacional - Aula Teórica 7: Semântica da Lógica …desousa/2014-2015/LC/at7.pdf · 2014. 11. 11. · LógicaComputacional AulaTeórica7: SemânticadaLógicaProposicional](https://reader034.vdocuments.pub/reader034/viewer/2022052021/60368bf5882e7c3f68608f74/html5/thumbnails/82.jpg)
Equivalência lógicaLeis axiomáticas
CongruênciaAbreviaturas
Conjuntos mínimos de conectivos
SubstitutividadePreservação pelos conectivos
A equivalência lógica é uma congruência
Teorema: os operadores da lógica preservam a equivalênciaSeja ∗ ∈ {∨,∧,→}. Se ϕ ≡ ψ então ϕ ∗ γ ≡ ψ ∗ γ e γ ∗ϕ ≡ γ ∗ψ.
Prova. Note que na álgebra de Boole, ’=’ é uma congruência.I ϕ ∨ γ ≡ ψ ∨ γ.
Por hipótese ϕ ≡ ψ, i.e., V (ϕ) = V (ψ); logo, pela Proposição4.3.2, V (ϕ)⊕ V (γ) = V (ψ)⊕ V (γ); conclui-se então queϕ ∨ γ ≡ ψ ∨ γ.
I ϕ ∧ γ ≡ ψ ∧ γ. A prova é semelhante.I ϕ→ γ ≡ ψ → γ.
Por hipótese ϕ ≡ ψ, i.e., V (ϕ) = V (ψ); logo, pela Proposição4.3.1, V (ϕ) = V (ψ) e de novo pela Proposição 4.3.2, saiV (ϕ)⊕ V (γ) = V (ψ)⊕ V (γ); conclui-se então queϕ→ γ ≡ ψ → γ.
António Ravara, Simão Melo de Sousa Lógica Computacional
![Page 83: Lógica Computacional - Aula Teórica 7: Semântica da Lógica …desousa/2014-2015/LC/at7.pdf · 2014. 11. 11. · LógicaComputacional AulaTeórica7: SemânticadaLógicaProposicional](https://reader034.vdocuments.pub/reader034/viewer/2022052021/60368bf5882e7c3f68608f74/html5/thumbnails/83.jpg)
Equivalência lógicaLeis axiomáticas
CongruênciaAbreviaturas
Conjuntos mínimos de conectivos
SubstitutividadePreservação pelos conectivos
A equivalência lógica é uma congruência
Teorema: os operadores da lógica preservam a equivalênciaSeja ∗ ∈ {∨,∧,→}. Se ϕ ≡ ψ então ϕ ∗ γ ≡ ψ ∗ γ e γ ∗ϕ ≡ γ ∗ψ.
Prova. Note que na álgebra de Boole, ’=’ é uma congruência.I ϕ ∨ γ ≡ ψ ∨ γ.
Por hipótese ϕ ≡ ψ, i.e., V (ϕ) = V (ψ); logo, pela Proposição4.3.2, V (ϕ)⊕ V (γ) = V (ψ)⊕ V (γ); conclui-se então queϕ ∨ γ ≡ ψ ∨ γ.
I ϕ ∧ γ ≡ ψ ∧ γ. A prova é semelhante.I ϕ→ γ ≡ ψ → γ.
Por hipótese ϕ ≡ ψ, i.e., V (ϕ) = V (ψ); logo, pela Proposição4.3.1, V (ϕ) = V (ψ) e de novo pela Proposição 4.3.2, saiV (ϕ)⊕ V (γ) = V (ψ)⊕ V (γ); conclui-se então queϕ→ γ ≡ ψ → γ.
António Ravara, Simão Melo de Sousa Lógica Computacional
![Page 84: Lógica Computacional - Aula Teórica 7: Semântica da Lógica …desousa/2014-2015/LC/at7.pdf · 2014. 11. 11. · LógicaComputacional AulaTeórica7: SemânticadaLógicaProposicional](https://reader034.vdocuments.pub/reader034/viewer/2022052021/60368bf5882e7c3f68608f74/html5/thumbnails/84.jpg)
Equivalência lógicaLeis axiomáticas
CongruênciaAbreviaturas
Conjuntos mínimos de conectivos
SubstitutividadePreservação pelos conectivos
A equivalência lógica é uma congruência
Teorema: os operadores da lógica preservam a equivalênciaSeja ∗ ∈ {∨,∧,→}. Se ϕ ≡ ψ então ϕ ∗ γ ≡ ψ ∗ γ e γ ∗ϕ ≡ γ ∗ψ.
Prova. Note que na álgebra de Boole, ’=’ é uma congruência.I ϕ ∨ γ ≡ ψ ∨ γ.
Por hipótese ϕ ≡ ψ, i.e., V (ϕ) = V (ψ); logo, pela Proposição4.3.2, V (ϕ)⊕ V (γ) = V (ψ)⊕ V (γ); conclui-se então queϕ ∨ γ ≡ ψ ∨ γ.
I ϕ ∧ γ ≡ ψ ∧ γ. A prova é semelhante.I ϕ→ γ ≡ ψ → γ.
Por hipótese ϕ ≡ ψ, i.e., V (ϕ) = V (ψ); logo, pela Proposição4.3.1, V (ϕ) = V (ψ) e de novo pela Proposição 4.3.2, saiV (ϕ)⊕ V (γ) = V (ψ)⊕ V (γ); conclui-se então queϕ→ γ ≡ ψ → γ.
António Ravara, Simão Melo de Sousa Lógica Computacional
![Page 85: Lógica Computacional - Aula Teórica 7: Semântica da Lógica …desousa/2014-2015/LC/at7.pdf · 2014. 11. 11. · LógicaComputacional AulaTeórica7: SemânticadaLógicaProposicional](https://reader034.vdocuments.pub/reader034/viewer/2022052021/60368bf5882e7c3f68608f74/html5/thumbnails/85.jpg)
Equivalência lógicaLeis axiomáticas
CongruênciaAbreviaturas
Conjuntos mínimos de conectivos
SubstitutividadePreservação pelos conectivos
A equivalência lógica é uma congruência
Teorema: os operadores da lógica preservam a equivalênciaSeja ∗ ∈ {∨,∧,→}. Se ϕ ≡ ψ então ϕ ∗ γ ≡ ψ ∗ γ e γ ∗ϕ ≡ γ ∗ψ.
Prova. Note que na álgebra de Boole, ’=’ é uma congruência.I ϕ ∨ γ ≡ ψ ∨ γ.
Por hipótese ϕ ≡ ψ, i.e., V (ϕ) = V (ψ); logo, pela Proposição4.3.2, V (ϕ)⊕ V (γ) = V (ψ)⊕ V (γ); conclui-se então queϕ ∨ γ ≡ ψ ∨ γ.
I ϕ ∧ γ ≡ ψ ∧ γ. A prova é semelhante.I ϕ→ γ ≡ ψ → γ.
Por hipótese ϕ ≡ ψ, i.e., V (ϕ) = V (ψ); logo, pela Proposição4.3.1, V (ϕ) = V (ψ) e de novo pela Proposição 4.3.2, saiV (ϕ)⊕ V (γ) = V (ψ)⊕ V (γ); conclui-se então queϕ→ γ ≡ ψ → γ.
António Ravara, Simão Melo de Sousa Lógica Computacional
![Page 86: Lógica Computacional - Aula Teórica 7: Semântica da Lógica …desousa/2014-2015/LC/at7.pdf · 2014. 11. 11. · LógicaComputacional AulaTeórica7: SemânticadaLógicaProposicional](https://reader034.vdocuments.pub/reader034/viewer/2022052021/60368bf5882e7c3f68608f74/html5/thumbnails/86.jpg)
Equivalência lógicaLeis axiomáticas
CongruênciaAbreviaturas
Conjuntos mínimos de conectivos
SubstitutividadePreservação pelos conectivos
A equivalência lógica é uma congruência
Teorema: os operadores da lógica preservam a equivalênciaSeja ∗ ∈ {∨,∧,→}. Se ϕ ≡ ψ então ϕ ∗ γ ≡ ψ ∗ γ e γ ∗ϕ ≡ γ ∗ψ.
Prova. Note que na álgebra de Boole, ’=’ é uma congruência.I ϕ ∨ γ ≡ ψ ∨ γ.
Por hipótese ϕ ≡ ψ, i.e., V (ϕ) = V (ψ); logo, pela Proposição4.3.2, V (ϕ)⊕ V (γ) = V (ψ)⊕ V (γ); conclui-se então queϕ ∨ γ ≡ ψ ∨ γ.
I ϕ ∧ γ ≡ ψ ∧ γ. A prova é semelhante.I ϕ→ γ ≡ ψ → γ.
Por hipótese ϕ ≡ ψ, i.e., V (ϕ) = V (ψ); logo, pela Proposição4.3.1, V (ϕ) = V (ψ) e de novo pela Proposição 4.3.2, saiV (ϕ)⊕ V (γ) = V (ψ)⊕ V (γ); conclui-se então queϕ→ γ ≡ ψ → γ.
António Ravara, Simão Melo de Sousa Lógica Computacional
![Page 87: Lógica Computacional - Aula Teórica 7: Semântica da Lógica …desousa/2014-2015/LC/at7.pdf · 2014. 11. 11. · LógicaComputacional AulaTeórica7: SemânticadaLógicaProposicional](https://reader034.vdocuments.pub/reader034/viewer/2022052021/60368bf5882e7c3f68608f74/html5/thumbnails/87.jpg)
Equivalência lógicaLeis axiomáticas
CongruênciaAbreviaturas
Conjuntos mínimos de conectivos
SubstitutividadePreservação pelos conectivos
A equivalência lógica é uma congruência
Teorema: os operadores da lógica preservam a equivalênciaSeja ∗ ∈ {∨,∧,→}. Se ϕ ≡ ψ então ϕ ∗ γ ≡ ψ ∗ γ e γ ∗ϕ ≡ γ ∗ψ.
Prova. Note que na álgebra de Boole, ’=’ é uma congruência.I ϕ ∨ γ ≡ ψ ∨ γ.
Por hipótese ϕ ≡ ψ, i.e., V (ϕ) = V (ψ); logo, pela Proposição4.3.2, V (ϕ)⊕ V (γ) = V (ψ)⊕ V (γ); conclui-se então queϕ ∨ γ ≡ ψ ∨ γ.
I ϕ ∧ γ ≡ ψ ∧ γ. A prova é semelhante.I ϕ→ γ ≡ ψ → γ.
Por hipótese ϕ ≡ ψ, i.e., V (ϕ) = V (ψ); logo, pela Proposição4.3.1, V (ϕ) = V (ψ) e de novo pela Proposição 4.3.2, saiV (ϕ)⊕ V (γ) = V (ψ)⊕ V (γ); conclui-se então queϕ→ γ ≡ ψ → γ.
António Ravara, Simão Melo de Sousa Lógica Computacional
![Page 88: Lógica Computacional - Aula Teórica 7: Semântica da Lógica …desousa/2014-2015/LC/at7.pdf · 2014. 11. 11. · LógicaComputacional AulaTeórica7: SemânticadaLógicaProposicional](https://reader034.vdocuments.pub/reader034/viewer/2022052021/60368bf5882e7c3f68608f74/html5/thumbnails/88.jpg)
Equivalência lógicaLeis axiomáticas
CongruênciaAbreviaturas
Conjuntos mínimos de conectivos
SubstitutividadePreservação pelos conectivos
A equivalência lógica é uma congruência
Teorema: os operadores da lógica preservam a equivalênciaSeja ∗ ∈ {∨,∧,→}. Se ϕ ≡ ψ então ϕ ∗ γ ≡ ψ ∗ γ e γ ∗ϕ ≡ γ ∗ψ.
Prova. Note que na álgebra de Boole, ’=’ é uma congruência.I ϕ ∨ γ ≡ ψ ∨ γ.
Por hipótese ϕ ≡ ψ, i.e., V (ϕ) = V (ψ); logo, pela Proposição4.3.2, V (ϕ)⊕ V (γ) = V (ψ)⊕ V (γ); conclui-se então queϕ ∨ γ ≡ ψ ∨ γ.
I ϕ ∧ γ ≡ ψ ∧ γ. A prova é semelhante.I ϕ→ γ ≡ ψ → γ.
Por hipótese ϕ ≡ ψ, i.e., V (ϕ) = V (ψ); logo, pela Proposição4.3.1, V (ϕ) = V (ψ) e de novo pela Proposição 4.3.2, saiV (ϕ)⊕ V (γ) = V (ψ)⊕ V (γ); conclui-se então queϕ→ γ ≡ ψ → γ.
António Ravara, Simão Melo de Sousa Lógica Computacional
![Page 89: Lógica Computacional - Aula Teórica 7: Semântica da Lógica …desousa/2014-2015/LC/at7.pdf · 2014. 11. 11. · LógicaComputacional AulaTeórica7: SemânticadaLógicaProposicional](https://reader034.vdocuments.pub/reader034/viewer/2022052021/60368bf5882e7c3f68608f74/html5/thumbnails/89.jpg)
Equivalência lógicaLeis axiomáticas
CongruênciaAbreviaturas
Conjuntos mínimos de conectivos
SubstitutividadePreservação pelos conectivos
A equivalência lógica é uma congruência
Teorema: os operadores da lógica preservam a equivalênciaSeja ∗ ∈ {∨,∧,→}. Se ϕ ≡ ψ então ϕ ∗ γ ≡ ψ ∗ γ e γ ∗ϕ ≡ γ ∗ψ.
Prova. Note que na álgebra de Boole, ’=’ é uma congruência.I ϕ ∨ γ ≡ ψ ∨ γ.
Por hipótese ϕ ≡ ψ, i.e., V (ϕ) = V (ψ); logo, pela Proposição4.3.2, V (ϕ)⊕ V (γ) = V (ψ)⊕ V (γ); conclui-se então queϕ ∨ γ ≡ ψ ∨ γ.
I ϕ ∧ γ ≡ ψ ∧ γ. A prova é semelhante.I ϕ→ γ ≡ ψ → γ.
Por hipótese ϕ ≡ ψ, i.e., V (ϕ) = V (ψ); logo, pela Proposição4.3.1, V (ϕ) = V (ψ) e de novo pela Proposição 4.3.2, saiV (ϕ)⊕ V (γ) = V (ψ)⊕ V (γ); conclui-se então queϕ→ γ ≡ ψ → γ.
António Ravara, Simão Melo de Sousa Lógica Computacional
![Page 90: Lógica Computacional - Aula Teórica 7: Semântica da Lógica …desousa/2014-2015/LC/at7.pdf · 2014. 11. 11. · LógicaComputacional AulaTeórica7: SemânticadaLógicaProposicional](https://reader034.vdocuments.pub/reader034/viewer/2022052021/60368bf5882e7c3f68608f74/html5/thumbnails/90.jpg)
Equivalência lógicaLeis axiomáticas
CongruênciaAbreviaturas
Conjuntos mínimos de conectivos
SubstitutividadePreservação pelos conectivos
A equivalência lógica é uma congruência
TeoremaA relação binária ≡ sobre fórmulas da lógica proposicional, é umacongruência.
ProvaÉ uma relação de equivalência, preservada pelos operadores dalógica, e substitutiva.
António Ravara, Simão Melo de Sousa Lógica Computacional
![Page 91: Lógica Computacional - Aula Teórica 7: Semântica da Lógica …desousa/2014-2015/LC/at7.pdf · 2014. 11. 11. · LógicaComputacional AulaTeórica7: SemânticadaLógicaProposicional](https://reader034.vdocuments.pub/reader034/viewer/2022052021/60368bf5882e7c3f68608f74/html5/thumbnails/91.jpg)
Equivalência lógicaLeis axiomáticas
CongruênciaAbreviaturas
Conjuntos mínimos de conectivos
SubstitutividadePreservação pelos conectivos
A equivalência lógica é uma congruência
TeoremaA relação binária ≡ sobre fórmulas da lógica proposicional, é umacongruência.
ProvaÉ uma relação de equivalência, preservada pelos operadores dalógica, e substitutiva.
António Ravara, Simão Melo de Sousa Lógica Computacional
![Page 92: Lógica Computacional - Aula Teórica 7: Semântica da Lógica …desousa/2014-2015/LC/at7.pdf · 2014. 11. 11. · LógicaComputacional AulaTeórica7: SemânticadaLógicaProposicional](https://reader034.vdocuments.pub/reader034/viewer/2022052021/60368bf5882e7c3f68608f74/html5/thumbnails/92.jpg)
Equivalência lógicaLeis axiomáticas
CongruênciaAbreviaturas
Conjuntos mínimos de conectivos
SubstitutividadePreservação pelos conectivos
A equivalência lógica é uma congruência
TeoremaA relação binária ≡ sobre fórmulas da lógica proposicional, é umacongruência.
ProvaÉ uma relação de equivalência, preservada pelos operadores dalógica, e substitutiva.
António Ravara, Simão Melo de Sousa Lógica Computacional
![Page 93: Lógica Computacional - Aula Teórica 7: Semântica da Lógica …desousa/2014-2015/LC/at7.pdf · 2014. 11. 11. · LógicaComputacional AulaTeórica7: SemânticadaLógicaProposicional](https://reader034.vdocuments.pub/reader034/viewer/2022052021/60368bf5882e7c3f68608f74/html5/thumbnails/93.jpg)
Equivalência lógicaLeis axiomáticas
CongruênciaAbreviaturas
Conjuntos mínimos de conectivos
SubstitutividadePreservação pelos conectivos
A equivalência lógica é uma congruência
TeoremaA relação binária ≡ sobre fórmulas da lógica proposicional, é umacongruência.
ProvaÉ uma relação de equivalência, preservada pelos operadores dalógica, e substitutiva.
António Ravara, Simão Melo de Sousa Lógica Computacional
![Page 94: Lógica Computacional - Aula Teórica 7: Semântica da Lógica …desousa/2014-2015/LC/at7.pdf · 2014. 11. 11. · LógicaComputacional AulaTeórica7: SemânticadaLógicaProposicional](https://reader034.vdocuments.pub/reader034/viewer/2022052021/60368bf5882e7c3f68608f74/html5/thumbnails/94.jpg)
Equivalência lógicaLeis axiomáticas
CongruênciaAbreviaturas
Conjuntos mínimos de conectivos
MotivaçãoCada conectivo como abreviatura
ExpressividadeOs conectivos são independentes?I Definiu-se a Lógica Proposicional com os símbolos
proposicionais, o Falso (⊥), a disjunção (∨), a conjunção (∧)e a implicação (→)
I Outros operadores importantes (Verdade >, negação ¬ eequivalência ↔) não são primitivos: foram definidos comoabreviaturas
I Eram precisos todos os primitivos para se expressar as ideiasbásicas da lógica proposicional?
I Se se conseguir definir alguns como abreviaturas dos outros(mostrando que a semântica original e a da abreviatura sãoequivalentes), então pode-se prescidir deles como primitivos.
I Existirá um único conjunto mínimo?António Ravara, Simão Melo de Sousa Lógica Computacional
![Page 95: Lógica Computacional - Aula Teórica 7: Semântica da Lógica …desousa/2014-2015/LC/at7.pdf · 2014. 11. 11. · LógicaComputacional AulaTeórica7: SemânticadaLógicaProposicional](https://reader034.vdocuments.pub/reader034/viewer/2022052021/60368bf5882e7c3f68608f74/html5/thumbnails/95.jpg)
Equivalência lógicaLeis axiomáticas
CongruênciaAbreviaturas
Conjuntos mínimos de conectivos
MotivaçãoCada conectivo como abreviatura
ExpressividadeOs conectivos são independentes?I Definiu-se a Lógica Proposicional com os símbolos
proposicionais, o Falso (⊥), a disjunção (∨), a conjunção (∧)e a implicação (→)
I Outros operadores importantes (Verdade >, negação ¬ eequivalência ↔) não são primitivos: foram definidos comoabreviaturas
I Eram precisos todos os primitivos para se expressar as ideiasbásicas da lógica proposicional?
I Se se conseguir definir alguns como abreviaturas dos outros(mostrando que a semântica original e a da abreviatura sãoequivalentes), então pode-se prescidir deles como primitivos.
I Existirá um único conjunto mínimo?António Ravara, Simão Melo de Sousa Lógica Computacional
![Page 96: Lógica Computacional - Aula Teórica 7: Semântica da Lógica …desousa/2014-2015/LC/at7.pdf · 2014. 11. 11. · LógicaComputacional AulaTeórica7: SemânticadaLógicaProposicional](https://reader034.vdocuments.pub/reader034/viewer/2022052021/60368bf5882e7c3f68608f74/html5/thumbnails/96.jpg)
Equivalência lógicaLeis axiomáticas
CongruênciaAbreviaturas
Conjuntos mínimos de conectivos
MotivaçãoCada conectivo como abreviatura
ExpressividadeOs conectivos são independentes?I Definiu-se a Lógica Proposicional com os símbolos
proposicionais, o Falso (⊥), a disjunção (∨), a conjunção (∧)e a implicação (→)
I Outros operadores importantes (Verdade >, negação ¬ eequivalência ↔) não são primitivos: foram definidos comoabreviaturas
I Eram precisos todos os primitivos para se expressar as ideiasbásicas da lógica proposicional?
I Se se conseguir definir alguns como abreviaturas dos outros(mostrando que a semântica original e a da abreviatura sãoequivalentes), então pode-se prescidir deles como primitivos.
I Existirá um único conjunto mínimo?António Ravara, Simão Melo de Sousa Lógica Computacional
![Page 97: Lógica Computacional - Aula Teórica 7: Semântica da Lógica …desousa/2014-2015/LC/at7.pdf · 2014. 11. 11. · LógicaComputacional AulaTeórica7: SemânticadaLógicaProposicional](https://reader034.vdocuments.pub/reader034/viewer/2022052021/60368bf5882e7c3f68608f74/html5/thumbnails/97.jpg)
Equivalência lógicaLeis axiomáticas
CongruênciaAbreviaturas
Conjuntos mínimos de conectivos
MotivaçãoCada conectivo como abreviatura
ExpressividadeOs conectivos são independentes?I Definiu-se a Lógica Proposicional com os símbolos
proposicionais, o Falso (⊥), a disjunção (∨), a conjunção (∧)e a implicação (→)
I Outros operadores importantes (Verdade >, negação ¬ eequivalência ↔) não são primitivos: foram definidos comoabreviaturas
I Eram precisos todos os primitivos para se expressar as ideiasbásicas da lógica proposicional?
I Se se conseguir definir alguns como abreviaturas dos outros(mostrando que a semântica original e a da abreviatura sãoequivalentes), então pode-se prescidir deles como primitivos.
I Existirá um único conjunto mínimo?António Ravara, Simão Melo de Sousa Lógica Computacional
![Page 98: Lógica Computacional - Aula Teórica 7: Semântica da Lógica …desousa/2014-2015/LC/at7.pdf · 2014. 11. 11. · LógicaComputacional AulaTeórica7: SemânticadaLógicaProposicional](https://reader034.vdocuments.pub/reader034/viewer/2022052021/60368bf5882e7c3f68608f74/html5/thumbnails/98.jpg)
Equivalência lógicaLeis axiomáticas
CongruênciaAbreviaturas
Conjuntos mínimos de conectivos
MotivaçãoCada conectivo como abreviatura
ExpressividadeOs conectivos são independentes?I Definiu-se a Lógica Proposicional com os símbolos
proposicionais, o Falso (⊥), a disjunção (∨), a conjunção (∧)e a implicação (→)
I Outros operadores importantes (Verdade >, negação ¬ eequivalência ↔) não são primitivos: foram definidos comoabreviaturas
I Eram precisos todos os primitivos para se expressar as ideiasbásicas da lógica proposicional?
I Se se conseguir definir alguns como abreviaturas dos outros(mostrando que a semântica original e a da abreviatura sãoequivalentes), então pode-se prescidir deles como primitivos.
I Existirá um único conjunto mínimo?António Ravara, Simão Melo de Sousa Lógica Computacional
![Page 99: Lógica Computacional - Aula Teórica 7: Semântica da Lógica …desousa/2014-2015/LC/at7.pdf · 2014. 11. 11. · LógicaComputacional AulaTeórica7: SemânticadaLógicaProposicional](https://reader034.vdocuments.pub/reader034/viewer/2022052021/60368bf5882e7c3f68608f74/html5/thumbnails/99.jpg)
Equivalência lógicaLeis axiomáticas
CongruênciaAbreviaturas
Conjuntos mínimos de conectivos
MotivaçãoCada conectivo como abreviatura
ExpressividadeOs conectivos são independentes?I Definiu-se a Lógica Proposicional com os símbolos
proposicionais, o Falso (⊥), a disjunção (∨), a conjunção (∧)e a implicação (→)
I Outros operadores importantes (Verdade >, negação ¬ eequivalência ↔) não são primitivos: foram definidos comoabreviaturas
I Eram precisos todos os primitivos para se expressar as ideiasbásicas da lógica proposicional?
I Se se conseguir definir alguns como abreviaturas dos outros(mostrando que a semântica original e a da abreviatura sãoequivalentes), então pode-se prescidir deles como primitivos.
I Existirá um único conjunto mínimo?António Ravara, Simão Melo de Sousa Lógica Computacional
![Page 100: Lógica Computacional - Aula Teórica 7: Semântica da Lógica …desousa/2014-2015/LC/at7.pdf · 2014. 11. 11. · LógicaComputacional AulaTeórica7: SemânticadaLógicaProposicional](https://reader034.vdocuments.pub/reader034/viewer/2022052021/60368bf5882e7c3f68608f74/html5/thumbnails/100.jpg)
Equivalência lógicaLeis axiomáticas
CongruênciaAbreviaturas
Conjuntos mínimos de conectivos
MotivaçãoCada conectivo como abreviatura
ExpressividadeOs conectivos são independentes?I Definiu-se a Lógica Proposicional com os símbolos
proposicionais, o Falso (⊥), a disjunção (∨), a conjunção (∧)e a implicação (→)
I Outros operadores importantes (Verdade >, negação ¬ eequivalência ↔) não são primitivos: foram definidos comoabreviaturas
I Eram precisos todos os primitivos para se expressar as ideiasbásicas da lógica proposicional?
I Se se conseguir definir alguns como abreviaturas dos outros(mostrando que a semântica original e a da abreviatura sãoequivalentes), então pode-se prescidir deles como primitivos.
I Existirá um único conjunto mínimo?António Ravara, Simão Melo de Sousa Lógica Computacional
![Page 101: Lógica Computacional - Aula Teórica 7: Semântica da Lógica …desousa/2014-2015/LC/at7.pdf · 2014. 11. 11. · LógicaComputacional AulaTeórica7: SemânticadaLógicaProposicional](https://reader034.vdocuments.pub/reader034/viewer/2022052021/60368bf5882e7c3f68608f74/html5/thumbnails/101.jpg)
Equivalência lógicaLeis axiomáticas
CongruênciaAbreviaturas
Conjuntos mínimos de conectivos
MotivaçãoCada conectivo como abreviatura
Equivalências
Se mostrar que dada fórmula com um conectivo é equivalente aoutra onde ele não ocorre, então esse conectivo pode ser definidocomo abreviatura (em vez de ser primitivo).
Implicação como abreviatura: ϕ→ ψ ≡ ¬ϕ ∨ ψV (ϕ→ ψ) = V (ϕ)⊕ V (ψ) = V (ϕ ∨ ψ) = V (¬ϕ ∨ ψ)
Disjunção como abreviatura: ϕ ∨ ψ ≡ ¬(¬ϕ ∧ ¬ψ)Mostra-se o resultado usando o Teorema da substitutividade, oaxioma da dupla negação e uma das leis de De Morgan.
ϕ ∨ ψ ≡ ¬(¬(ϕ ∨ ψ)) (pois γ ≡ ¬¬γ)≡ ¬(¬ϕ ∧ ¬ψ) (pela distribuição da negação)
Conjunção como abreviatura: ϕ ∧ ψ ≡ ¬(¬ϕ ∨ ¬ψ)Mostra-se da mesma forma que acima.
António Ravara, Simão Melo de Sousa Lógica Computacional
![Page 102: Lógica Computacional - Aula Teórica 7: Semântica da Lógica …desousa/2014-2015/LC/at7.pdf · 2014. 11. 11. · LógicaComputacional AulaTeórica7: SemânticadaLógicaProposicional](https://reader034.vdocuments.pub/reader034/viewer/2022052021/60368bf5882e7c3f68608f74/html5/thumbnails/102.jpg)
Equivalência lógicaLeis axiomáticas
CongruênciaAbreviaturas
Conjuntos mínimos de conectivos
MotivaçãoCada conectivo como abreviatura
Equivalências
Se mostrar que dada fórmula com um conectivo é equivalente aoutra onde ele não ocorre, então esse conectivo pode ser definidocomo abreviatura (em vez de ser primitivo).
Implicação como abreviatura: ϕ→ ψ ≡ ¬ϕ ∨ ψV (ϕ→ ψ) = V (ϕ)⊕ V (ψ) = V (ϕ ∨ ψ) = V (¬ϕ ∨ ψ)
Disjunção como abreviatura: ϕ ∨ ψ ≡ ¬(¬ϕ ∧ ¬ψ)Mostra-se o resultado usando o Teorema da substitutividade, oaxioma da dupla negação e uma das leis de De Morgan.
ϕ ∨ ψ ≡ ¬(¬(ϕ ∨ ψ)) (pois γ ≡ ¬¬γ)≡ ¬(¬ϕ ∧ ¬ψ) (pela distribuição da negação)
Conjunção como abreviatura: ϕ ∧ ψ ≡ ¬(¬ϕ ∨ ¬ψ)Mostra-se da mesma forma que acima.
António Ravara, Simão Melo de Sousa Lógica Computacional
![Page 103: Lógica Computacional - Aula Teórica 7: Semântica da Lógica …desousa/2014-2015/LC/at7.pdf · 2014. 11. 11. · LógicaComputacional AulaTeórica7: SemânticadaLógicaProposicional](https://reader034.vdocuments.pub/reader034/viewer/2022052021/60368bf5882e7c3f68608f74/html5/thumbnails/103.jpg)
Equivalência lógicaLeis axiomáticas
CongruênciaAbreviaturas
Conjuntos mínimos de conectivos
MotivaçãoCada conectivo como abreviatura
Equivalências
Se mostrar que dada fórmula com um conectivo é equivalente aoutra onde ele não ocorre, então esse conectivo pode ser definidocomo abreviatura (em vez de ser primitivo).
Implicação como abreviatura: ϕ→ ψ ≡ ¬ϕ ∨ ψV (ϕ→ ψ) = V (ϕ)⊕ V (ψ) = V (ϕ ∨ ψ) = V (¬ϕ ∨ ψ)
Disjunção como abreviatura: ϕ ∨ ψ ≡ ¬(¬ϕ ∧ ¬ψ)Mostra-se o resultado usando o Teorema da substitutividade, oaxioma da dupla negação e uma das leis de De Morgan.
ϕ ∨ ψ ≡ ¬(¬(ϕ ∨ ψ)) (pois γ ≡ ¬¬γ)≡ ¬(¬ϕ ∧ ¬ψ) (pela distribuição da negação)
Conjunção como abreviatura: ϕ ∧ ψ ≡ ¬(¬ϕ ∨ ¬ψ)Mostra-se da mesma forma que acima.
António Ravara, Simão Melo de Sousa Lógica Computacional
![Page 104: Lógica Computacional - Aula Teórica 7: Semântica da Lógica …desousa/2014-2015/LC/at7.pdf · 2014. 11. 11. · LógicaComputacional AulaTeórica7: SemânticadaLógicaProposicional](https://reader034.vdocuments.pub/reader034/viewer/2022052021/60368bf5882e7c3f68608f74/html5/thumbnails/104.jpg)
Equivalência lógicaLeis axiomáticas
CongruênciaAbreviaturas
Conjuntos mínimos de conectivos
MotivaçãoCada conectivo como abreviatura
Equivalências
Se mostrar que dada fórmula com um conectivo é equivalente aoutra onde ele não ocorre, então esse conectivo pode ser definidocomo abreviatura (em vez de ser primitivo).
Implicação como abreviatura: ϕ→ ψ ≡ ¬ϕ ∨ ψV (ϕ→ ψ) = V (ϕ)⊕ V (ψ) = V (ϕ ∨ ψ) = V (¬ϕ ∨ ψ)
Disjunção como abreviatura: ϕ ∨ ψ ≡ ¬(¬ϕ ∧ ¬ψ)Mostra-se o resultado usando o Teorema da substitutividade, oaxioma da dupla negação e uma das leis de De Morgan.
ϕ ∨ ψ ≡ ¬(¬(ϕ ∨ ψ)) (pois γ ≡ ¬¬γ)≡ ¬(¬ϕ ∧ ¬ψ) (pela distribuição da negação)
Conjunção como abreviatura: ϕ ∧ ψ ≡ ¬(¬ϕ ∨ ¬ψ)Mostra-se da mesma forma que acima.
António Ravara, Simão Melo de Sousa Lógica Computacional
![Page 105: Lógica Computacional - Aula Teórica 7: Semântica da Lógica …desousa/2014-2015/LC/at7.pdf · 2014. 11. 11. · LógicaComputacional AulaTeórica7: SemânticadaLógicaProposicional](https://reader034.vdocuments.pub/reader034/viewer/2022052021/60368bf5882e7c3f68608f74/html5/thumbnails/105.jpg)
Equivalência lógicaLeis axiomáticas
CongruênciaAbreviaturas
Conjuntos mínimos de conectivos
MotivaçãoCada conectivo como abreviatura
Equivalências
Se mostrar que dada fórmula com um conectivo é equivalente aoutra onde ele não ocorre, então esse conectivo pode ser definidocomo abreviatura (em vez de ser primitivo).
Implicação como abreviatura: ϕ→ ψ ≡ ¬ϕ ∨ ψV (ϕ→ ψ) = V (ϕ)⊕ V (ψ) = V (ϕ ∨ ψ) = V (¬ϕ ∨ ψ)
Disjunção como abreviatura: ϕ ∨ ψ ≡ ¬(¬ϕ ∧ ¬ψ)Mostra-se o resultado usando o Teorema da substitutividade, oaxioma da dupla negação e uma das leis de De Morgan.
ϕ ∨ ψ ≡ ¬(¬(ϕ ∨ ψ)) (pois γ ≡ ¬¬γ)≡ ¬(¬ϕ ∧ ¬ψ) (pela distribuição da negação)
Conjunção como abreviatura: ϕ ∧ ψ ≡ ¬(¬ϕ ∨ ¬ψ)Mostra-se da mesma forma que acima.
António Ravara, Simão Melo de Sousa Lógica Computacional
![Page 106: Lógica Computacional - Aula Teórica 7: Semântica da Lógica …desousa/2014-2015/LC/at7.pdf · 2014. 11. 11. · LógicaComputacional AulaTeórica7: SemânticadaLógicaProposicional](https://reader034.vdocuments.pub/reader034/viewer/2022052021/60368bf5882e7c3f68608f74/html5/thumbnails/106.jpg)
Equivalência lógicaLeis axiomáticas
CongruênciaAbreviaturas
Conjuntos mínimos de conectivos
MotivaçãoCada conectivo como abreviatura
Equivalências
Se mostrar que dada fórmula com um conectivo é equivalente aoutra onde ele não ocorre, então esse conectivo pode ser definidocomo abreviatura (em vez de ser primitivo).
Implicação como abreviatura: ϕ→ ψ ≡ ¬ϕ ∨ ψV (ϕ→ ψ) = V (ϕ)⊕ V (ψ) = V (ϕ ∨ ψ) = V (¬ϕ ∨ ψ)
Disjunção como abreviatura: ϕ ∨ ψ ≡ ¬(¬ϕ ∧ ¬ψ)Mostra-se o resultado usando o Teorema da substitutividade, oaxioma da dupla negação e uma das leis de De Morgan.
ϕ ∨ ψ ≡ ¬(¬(ϕ ∨ ψ)) (pois γ ≡ ¬¬γ)≡ ¬(¬ϕ ∧ ¬ψ) (pela distribuição da negação)
Conjunção como abreviatura: ϕ ∧ ψ ≡ ¬(¬ϕ ∨ ¬ψ)Mostra-se da mesma forma que acima.
António Ravara, Simão Melo de Sousa Lógica Computacional
![Page 107: Lógica Computacional - Aula Teórica 7: Semântica da Lógica …desousa/2014-2015/LC/at7.pdf · 2014. 11. 11. · LógicaComputacional AulaTeórica7: SemânticadaLógicaProposicional](https://reader034.vdocuments.pub/reader034/viewer/2022052021/60368bf5882e7c3f68608f74/html5/thumbnails/107.jpg)
Equivalência lógicaLeis axiomáticas
CongruênciaAbreviaturas
Conjuntos mínimos de conectivos
MotivaçãoCada conectivo como abreviatura
Equivalências
Se mostrar que dada fórmula com um conectivo é equivalente aoutra onde ele não ocorre, então esse conectivo pode ser definidocomo abreviatura (em vez de ser primitivo).
Implicação como abreviatura: ϕ→ ψ ≡ ¬ϕ ∨ ψV (ϕ→ ψ) = V (ϕ)⊕ V (ψ) = V (ϕ ∨ ψ) = V (¬ϕ ∨ ψ)
Disjunção como abreviatura: ϕ ∨ ψ ≡ ¬(¬ϕ ∧ ¬ψ)Mostra-se o resultado usando o Teorema da substitutividade, oaxioma da dupla negação e uma das leis de De Morgan.
ϕ ∨ ψ ≡ ¬(¬(ϕ ∨ ψ)) (pois γ ≡ ¬¬γ)≡ ¬(¬ϕ ∧ ¬ψ) (pela distribuição da negação)
Conjunção como abreviatura: ϕ ∧ ψ ≡ ¬(¬ϕ ∨ ¬ψ)Mostra-se da mesma forma que acima.
António Ravara, Simão Melo de Sousa Lógica Computacional
![Page 108: Lógica Computacional - Aula Teórica 7: Semântica da Lógica …desousa/2014-2015/LC/at7.pdf · 2014. 11. 11. · LógicaComputacional AulaTeórica7: SemânticadaLógicaProposicional](https://reader034.vdocuments.pub/reader034/viewer/2022052021/60368bf5882e7c3f68608f74/html5/thumbnails/108.jpg)
Equivalência lógicaLeis axiomáticas
CongruênciaAbreviaturas
Conjuntos mínimos de conectivos
MotivaçãoCada conectivo como abreviatura
Equivalências
Se mostrar que dada fórmula com um conectivo é equivalente aoutra onde ele não ocorre, então esse conectivo pode ser definidocomo abreviatura (em vez de ser primitivo).
Implicação como abreviatura: ϕ→ ψ ≡ ¬ϕ ∨ ψV (ϕ→ ψ) = V (ϕ)⊕ V (ψ) = V (ϕ ∨ ψ) = V (¬ϕ ∨ ψ)
Disjunção como abreviatura: ϕ ∨ ψ ≡ ¬(¬ϕ ∧ ¬ψ)Mostra-se o resultado usando o Teorema da substitutividade, oaxioma da dupla negação e uma das leis de De Morgan.
ϕ ∨ ψ ≡ ¬(¬(ϕ ∨ ψ)) (pois γ ≡ ¬¬γ)≡ ¬(¬ϕ ∧ ¬ψ) (pela distribuição da negação)
Conjunção como abreviatura: ϕ ∧ ψ ≡ ¬(¬ϕ ∨ ¬ψ)Mostra-se da mesma forma que acima.
António Ravara, Simão Melo de Sousa Lógica Computacional
![Page 109: Lógica Computacional - Aula Teórica 7: Semântica da Lógica …desousa/2014-2015/LC/at7.pdf · 2014. 11. 11. · LógicaComputacional AulaTeórica7: SemânticadaLógicaProposicional](https://reader034.vdocuments.pub/reader034/viewer/2022052021/60368bf5882e7c3f68608f74/html5/thumbnails/109.jpg)
Equivalência lógicaLeis axiomáticas
CongruênciaAbreviaturas
Conjuntos mínimos de conectivos
MotivaçãoCada conectivo como abreviatura
Equivalências
Se mostrar que dada fórmula com um conectivo é equivalente aoutra onde ele não ocorre, então esse conectivo pode ser definidocomo abreviatura (em vez de ser primitivo).
Implicação como abreviatura: ϕ→ ψ ≡ ¬ϕ ∨ ψV (ϕ→ ψ) = V (ϕ)⊕ V (ψ) = V (ϕ ∨ ψ) = V (¬ϕ ∨ ψ)
Disjunção como abreviatura: ϕ ∨ ψ ≡ ¬(¬ϕ ∧ ¬ψ)Mostra-se o resultado usando o Teorema da substitutividade, oaxioma da dupla negação e uma das leis de De Morgan.
ϕ ∨ ψ ≡ ¬(¬(ϕ ∨ ψ)) (pois γ ≡ ¬¬γ)≡ ¬(¬ϕ ∧ ¬ψ) (pela distribuição da negação)
Conjunção como abreviatura: ϕ ∧ ψ ≡ ¬(¬ϕ ∨ ¬ψ)Mostra-se da mesma forma que acima.
António Ravara, Simão Melo de Sousa Lógica Computacional
![Page 110: Lógica Computacional - Aula Teórica 7: Semântica da Lógica …desousa/2014-2015/LC/at7.pdf · 2014. 11. 11. · LógicaComputacional AulaTeórica7: SemânticadaLógicaProposicional](https://reader034.vdocuments.pub/reader034/viewer/2022052021/60368bf5882e7c3f68608f74/html5/thumbnails/110.jpg)
Equivalência lógicaLeis axiomáticas
CongruênciaAbreviaturas
Conjuntos mínimos de conectivos
MotivaçãoCada conectivo como abreviatura
Equivalências
Se mostrar que dada fórmula com um conectivo é equivalente aoutra onde ele não ocorre, então esse conectivo pode ser definidocomo abreviatura (em vez de ser primitivo).
Implicação como abreviatura: ϕ→ ψ ≡ ¬ϕ ∨ ψV (ϕ→ ψ) = V (ϕ)⊕ V (ψ) = V (ϕ ∨ ψ) = V (¬ϕ ∨ ψ)
Disjunção como abreviatura: ϕ ∨ ψ ≡ ¬(¬ϕ ∧ ¬ψ)Mostra-se o resultado usando o Teorema da substitutividade, oaxioma da dupla negação e uma das leis de De Morgan.
ϕ ∨ ψ ≡ ¬(¬(ϕ ∨ ψ)) (pois γ ≡ ¬¬γ)≡ ¬(¬ϕ ∧ ¬ψ) (pela distribuição da negação)
Conjunção como abreviatura: ϕ ∧ ψ ≡ ¬(¬ϕ ∨ ¬ψ)Mostra-se da mesma forma que acima.
António Ravara, Simão Melo de Sousa Lógica Computacional
![Page 111: Lógica Computacional - Aula Teórica 7: Semântica da Lógica …desousa/2014-2015/LC/at7.pdf · 2014. 11. 11. · LógicaComputacional AulaTeórica7: SemânticadaLógicaProposicional](https://reader034.vdocuments.pub/reader034/viewer/2022052021/60368bf5882e7c3f68608f74/html5/thumbnails/111.jpg)
Equivalência lógicaLeis axiomáticas
CongruênciaAbreviaturas
Conjuntos mínimos de conectivos
MotivaçãoCada conectivo como abreviatura
Equivalências
Se mostrar que dada fórmula com um conectivo é equivalente aoutra onde ele não ocorre, então esse conectivo pode ser definidocomo abreviatura (em vez de ser primitivo).
Implicação como abreviatura: ϕ→ ψ ≡ ¬ϕ ∨ ψV (ϕ→ ψ) = V (ϕ)⊕ V (ψ) = V (ϕ ∨ ψ) = V (¬ϕ ∨ ψ)
Disjunção como abreviatura: ϕ ∨ ψ ≡ ¬(¬ϕ ∧ ¬ψ)Mostra-se o resultado usando o Teorema da substitutividade, oaxioma da dupla negação e uma das leis de De Morgan.
ϕ ∨ ψ ≡ ¬(¬(ϕ ∨ ψ)) (pois γ ≡ ¬¬γ)≡ ¬(¬ϕ ∧ ¬ψ) (pela distribuição da negação)
Conjunção como abreviatura: ϕ ∧ ψ ≡ ¬(¬ϕ ∨ ¬ψ)Mostra-se da mesma forma que acima.
António Ravara, Simão Melo de Sousa Lógica Computacional
![Page 112: Lógica Computacional - Aula Teórica 7: Semântica da Lógica …desousa/2014-2015/LC/at7.pdf · 2014. 11. 11. · LógicaComputacional AulaTeórica7: SemânticadaLógicaProposicional](https://reader034.vdocuments.pub/reader034/viewer/2022052021/60368bf5882e7c3f68608f74/html5/thumbnails/112.jpg)
Equivalência lógicaLeis axiomáticas
CongruênciaAbreviaturas
Conjuntos mínimos de conectivos
Escolhas possíveisNegação e equivalência como conectivos primitivos
São todos os conectivos necessários como primitivos?
ConjunçãoO conectivo de conjunção pode ser definido como abreviatura se setiver disjunção e negação.
ϕ ∧ ψ abv= ¬(¬ϕ ∨ ¬ψ)
DisjunçãoO conectivo de disjunção pode ser definido como abreviatura se setiver conjunção e negação.
ϕ ∨ ψ ≡ ¬(¬ϕ ∧ ¬ψ)
ConclusãoCom negação (primitiva ou não), basta ter ou disjunção ouconjunção.
António Ravara, Simão Melo de Sousa Lógica Computacional
![Page 113: Lógica Computacional - Aula Teórica 7: Semântica da Lógica …desousa/2014-2015/LC/at7.pdf · 2014. 11. 11. · LógicaComputacional AulaTeórica7: SemânticadaLógicaProposicional](https://reader034.vdocuments.pub/reader034/viewer/2022052021/60368bf5882e7c3f68608f74/html5/thumbnails/113.jpg)
Equivalência lógicaLeis axiomáticas
CongruênciaAbreviaturas
Conjuntos mínimos de conectivos
Escolhas possíveisNegação e equivalência como conectivos primitivos
São todos os conectivos necessários como primitivos?
ConjunçãoO conectivo de conjunção pode ser definido como abreviatura se setiver disjunção e negação.
ϕ ∧ ψ abv= ¬(¬ϕ ∨ ¬ψ)
DisjunçãoO conectivo de disjunção pode ser definido como abreviatura se setiver conjunção e negação.
ϕ ∨ ψ ≡ ¬(¬ϕ ∧ ¬ψ)
ConclusãoCom negação (primitiva ou não), basta ter ou disjunção ouconjunção.
António Ravara, Simão Melo de Sousa Lógica Computacional
![Page 114: Lógica Computacional - Aula Teórica 7: Semântica da Lógica …desousa/2014-2015/LC/at7.pdf · 2014. 11. 11. · LógicaComputacional AulaTeórica7: SemânticadaLógicaProposicional](https://reader034.vdocuments.pub/reader034/viewer/2022052021/60368bf5882e7c3f68608f74/html5/thumbnails/114.jpg)
Equivalência lógicaLeis axiomáticas
CongruênciaAbreviaturas
Conjuntos mínimos de conectivos
Escolhas possíveisNegação e equivalência como conectivos primitivos
São todos os conectivos necessários como primitivos?
ConjunçãoO conectivo de conjunção pode ser definido como abreviatura se setiver disjunção e negação.
ϕ ∧ ψ abv= ¬(¬ϕ ∨ ¬ψ)
DisjunçãoO conectivo de disjunção pode ser definido como abreviatura se setiver conjunção e negação.
ϕ ∨ ψ ≡ ¬(¬ϕ ∧ ¬ψ)
ConclusãoCom negação (primitiva ou não), basta ter ou disjunção ouconjunção.
António Ravara, Simão Melo de Sousa Lógica Computacional
![Page 115: Lógica Computacional - Aula Teórica 7: Semântica da Lógica …desousa/2014-2015/LC/at7.pdf · 2014. 11. 11. · LógicaComputacional AulaTeórica7: SemânticadaLógicaProposicional](https://reader034.vdocuments.pub/reader034/viewer/2022052021/60368bf5882e7c3f68608f74/html5/thumbnails/115.jpg)
Equivalência lógicaLeis axiomáticas
CongruênciaAbreviaturas
Conjuntos mínimos de conectivos
Escolhas possíveisNegação e equivalência como conectivos primitivos
São todos os conectivos necessários como primitivos?
ConjunçãoO conectivo de conjunção pode ser definido como abreviatura se setiver disjunção e negação.
ϕ ∧ ψ abv= ¬(¬ϕ ∨ ¬ψ)
DisjunçãoO conectivo de disjunção pode ser definido como abreviatura se setiver conjunção e negação.
ϕ ∨ ψ ≡ ¬(¬ϕ ∧ ¬ψ)
ConclusãoCom negação (primitiva ou não), basta ter ou disjunção ouconjunção.
António Ravara, Simão Melo de Sousa Lógica Computacional
![Page 116: Lógica Computacional - Aula Teórica 7: Semântica da Lógica …desousa/2014-2015/LC/at7.pdf · 2014. 11. 11. · LógicaComputacional AulaTeórica7: SemânticadaLógicaProposicional](https://reader034.vdocuments.pub/reader034/viewer/2022052021/60368bf5882e7c3f68608f74/html5/thumbnails/116.jpg)
Equivalência lógicaLeis axiomáticas
CongruênciaAbreviaturas
Conjuntos mínimos de conectivos
Escolhas possíveisNegação e equivalência como conectivos primitivos
São todos os conectivos necessários como primitivos?
ConjunçãoO conectivo de conjunção pode ser definido como abreviatura se setiver disjunção e negação.
ϕ ∧ ψ abv= ¬(¬ϕ ∨ ¬ψ)
DisjunçãoO conectivo de disjunção pode ser definido como abreviatura se setiver conjunção e negação.
ϕ ∨ ψ ≡ ¬(¬ϕ ∧ ¬ψ)
ConclusãoCom negação (primitiva ou não), basta ter ou disjunção ouconjunção.
António Ravara, Simão Melo de Sousa Lógica Computacional
![Page 117: Lógica Computacional - Aula Teórica 7: Semântica da Lógica …desousa/2014-2015/LC/at7.pdf · 2014. 11. 11. · LógicaComputacional AulaTeórica7: SemânticadaLógicaProposicional](https://reader034.vdocuments.pub/reader034/viewer/2022052021/60368bf5882e7c3f68608f74/html5/thumbnails/117.jpg)
Equivalência lógicaLeis axiomáticas
CongruênciaAbreviaturas
Conjuntos mínimos de conectivos
Escolhas possíveisNegação e equivalência como conectivos primitivos
São todos os conectivos necessários como primitivos?
O que temos como primitivo
I Falso: ⊥I Disjunção e conjunção: ∨,∧I Implicação: →
O que definimos como abreviatura
I Negação: ¬ϕ abv= ϕ→ ⊥
I Equivalência: ϕ↔ ψabv= (ϕ→ ψ) ∧ (ψ → ϕ)
Conjunção ou disjunção: basta um delesPode-se ter menos conectivos, pois a conjunção (respectivamente adisjunção) pode ser definida à custa da negação e da disjunção(respectivamente a conjunção).
António Ravara, Simão Melo de Sousa Lógica Computacional
![Page 118: Lógica Computacional - Aula Teórica 7: Semântica da Lógica …desousa/2014-2015/LC/at7.pdf · 2014. 11. 11. · LógicaComputacional AulaTeórica7: SemânticadaLógicaProposicional](https://reader034.vdocuments.pub/reader034/viewer/2022052021/60368bf5882e7c3f68608f74/html5/thumbnails/118.jpg)
Equivalência lógicaLeis axiomáticas
CongruênciaAbreviaturas
Conjuntos mínimos de conectivos
Escolhas possíveisNegação e equivalência como conectivos primitivos
São todos os conectivos necessários como primitivos?
O que temos como primitivo
I Falso: ⊥I Disjunção e conjunção: ∨,∧I Implicação: →
O que definimos como abreviatura
I Negação: ¬ϕ abv= ϕ→ ⊥
I Equivalência: ϕ↔ ψabv= (ϕ→ ψ) ∧ (ψ → ϕ)
Conjunção ou disjunção: basta um delesPode-se ter menos conectivos, pois a conjunção (respectivamente adisjunção) pode ser definida à custa da negação e da disjunção(respectivamente a conjunção).
António Ravara, Simão Melo de Sousa Lógica Computacional
![Page 119: Lógica Computacional - Aula Teórica 7: Semântica da Lógica …desousa/2014-2015/LC/at7.pdf · 2014. 11. 11. · LógicaComputacional AulaTeórica7: SemânticadaLógicaProposicional](https://reader034.vdocuments.pub/reader034/viewer/2022052021/60368bf5882e7c3f68608f74/html5/thumbnails/119.jpg)
Equivalência lógicaLeis axiomáticas
CongruênciaAbreviaturas
Conjuntos mínimos de conectivos
Escolhas possíveisNegação e equivalência como conectivos primitivos
São todos os conectivos necessários como primitivos?
O que temos como primitivo
I Falso: ⊥I Disjunção e conjunção: ∨,∧I Implicação: →
O que definimos como abreviatura
I Negação: ¬ϕ abv= ϕ→ ⊥
I Equivalência: ϕ↔ ψabv= (ϕ→ ψ) ∧ (ψ → ϕ)
Conjunção ou disjunção: basta um delesPode-se ter menos conectivos, pois a conjunção (respectivamente adisjunção) pode ser definida à custa da negação e da disjunção(respectivamente a conjunção).
António Ravara, Simão Melo de Sousa Lógica Computacional
![Page 120: Lógica Computacional - Aula Teórica 7: Semântica da Lógica …desousa/2014-2015/LC/at7.pdf · 2014. 11. 11. · LógicaComputacional AulaTeórica7: SemânticadaLógicaProposicional](https://reader034.vdocuments.pub/reader034/viewer/2022052021/60368bf5882e7c3f68608f74/html5/thumbnails/120.jpg)
Equivalência lógicaLeis axiomáticas
CongruênciaAbreviaturas
Conjuntos mínimos de conectivos
Escolhas possíveisNegação e equivalência como conectivos primitivos
São todos os conectivos necessários como primitivos?
O que temos como primitivo
I Falso: ⊥I Disjunção e conjunção: ∨,∧I Implicação: →
O que definimos como abreviatura
I Negação: ¬ϕ abv= ϕ→ ⊥
I Equivalência: ϕ↔ ψabv= (ϕ→ ψ) ∧ (ψ → ϕ)
Conjunção ou disjunção: basta um delesPode-se ter menos conectivos, pois a conjunção (respectivamente adisjunção) pode ser definida à custa da negação e da disjunção(respectivamente a conjunção).
António Ravara, Simão Melo de Sousa Lógica Computacional
![Page 121: Lógica Computacional - Aula Teórica 7: Semântica da Lógica …desousa/2014-2015/LC/at7.pdf · 2014. 11. 11. · LógicaComputacional AulaTeórica7: SemânticadaLógicaProposicional](https://reader034.vdocuments.pub/reader034/viewer/2022052021/60368bf5882e7c3f68608f74/html5/thumbnails/121.jpg)
Equivalência lógicaLeis axiomáticas
CongruênciaAbreviaturas
Conjuntos mínimos de conectivos
Escolhas possíveisNegação e equivalência como conectivos primitivos
São todos os conectivos necessários como primitivos?
O que temos como primitivo
I Falso: ⊥I Disjunção e conjunção: ∨,∧I Implicação: →
O que definimos como abreviatura
I Negação: ¬ϕ abv= ϕ→ ⊥
I Equivalência: ϕ↔ ψabv= (ϕ→ ψ) ∧ (ψ → ϕ)
Conjunção ou disjunção: basta um delesPode-se ter menos conectivos, pois a conjunção (respectivamente adisjunção) pode ser definida à custa da negação e da disjunção(respectivamente a conjunção).
António Ravara, Simão Melo de Sousa Lógica Computacional
![Page 122: Lógica Computacional - Aula Teórica 7: Semântica da Lógica …desousa/2014-2015/LC/at7.pdf · 2014. 11. 11. · LógicaComputacional AulaTeórica7: SemânticadaLógicaProposicional](https://reader034.vdocuments.pub/reader034/viewer/2022052021/60368bf5882e7c3f68608f74/html5/thumbnails/122.jpg)
Equivalência lógicaLeis axiomáticas
CongruênciaAbreviaturas
Conjuntos mínimos de conectivos
Escolhas possíveisNegação e equivalência como conectivos primitivos
São todos os conectivos necessários como primitivos?
O que temos como primitivo
I Falso: ⊥I Disjunção e conjunção: ∨,∧I Implicação: →
O que definimos como abreviatura
I Negação: ¬ϕ abv= ϕ→ ⊥
I Equivalência: ϕ↔ ψabv= (ϕ→ ψ) ∧ (ψ → ϕ)
Conjunção ou disjunção: basta um delesPode-se ter menos conectivos, pois a conjunção (respectivamente adisjunção) pode ser definida à custa da negação e da disjunção(respectivamente a conjunção).
António Ravara, Simão Melo de Sousa Lógica Computacional
![Page 123: Lógica Computacional - Aula Teórica 7: Semântica da Lógica …desousa/2014-2015/LC/at7.pdf · 2014. 11. 11. · LógicaComputacional AulaTeórica7: SemânticadaLógicaProposicional](https://reader034.vdocuments.pub/reader034/viewer/2022052021/60368bf5882e7c3f68608f74/html5/thumbnails/123.jpg)
Equivalência lógicaLeis axiomáticas
CongruênciaAbreviaturas
Conjuntos mínimos de conectivos
Escolhas possíveisNegação e equivalência como conectivos primitivos
São todos os conectivos necessários como primitivos?
Basta ter como primitivos
I Falso: ⊥I Implicação: →
O que sai como abreviatura
I Negação: ¬ϕ abv= ϕ→ ⊥
I Verdade: > abv= ¬⊥
I Disjunção: ϕ ∨ ψ abv= ¬ϕ→ ψ
I Conjunção: ϕ ∧ ψ abv= ¬(¬ϕ ∨ ¬ψ)
I Equivalência: ϕ↔ ψabv= (ϕ→ ψ) ∧ (ψ → ϕ)
António Ravara, Simão Melo de Sousa Lógica Computacional
![Page 124: Lógica Computacional - Aula Teórica 7: Semântica da Lógica …desousa/2014-2015/LC/at7.pdf · 2014. 11. 11. · LógicaComputacional AulaTeórica7: SemânticadaLógicaProposicional](https://reader034.vdocuments.pub/reader034/viewer/2022052021/60368bf5882e7c3f68608f74/html5/thumbnails/124.jpg)
Equivalência lógicaLeis axiomáticas
CongruênciaAbreviaturas
Conjuntos mínimos de conectivos
Escolhas possíveisNegação e equivalência como conectivos primitivos
São todos os conectivos necessários como primitivos?
Basta ter como primitivos
I Falso: ⊥I Implicação: →
O que sai como abreviatura
I Negação: ¬ϕ abv= ϕ→ ⊥
I Verdade: > abv= ¬⊥
I Disjunção: ϕ ∨ ψ abv= ¬ϕ→ ψ
I Conjunção: ϕ ∧ ψ abv= ¬(¬ϕ ∨ ¬ψ)
I Equivalência: ϕ↔ ψabv= (ϕ→ ψ) ∧ (ψ → ϕ)
António Ravara, Simão Melo de Sousa Lógica Computacional
![Page 125: Lógica Computacional - Aula Teórica 7: Semântica da Lógica …desousa/2014-2015/LC/at7.pdf · 2014. 11. 11. · LógicaComputacional AulaTeórica7: SemânticadaLógicaProposicional](https://reader034.vdocuments.pub/reader034/viewer/2022052021/60368bf5882e7c3f68608f74/html5/thumbnails/125.jpg)
Equivalência lógicaLeis axiomáticas
CongruênciaAbreviaturas
Conjuntos mínimos de conectivos
Escolhas possíveisNegação e equivalência como conectivos primitivos
São todos os conectivos necessários como primitivos?
Basta ter como primitivos
I Falso: ⊥I Implicação: →
O que sai como abreviatura
I Negação: ¬ϕ abv= ϕ→ ⊥
I Verdade: > abv= ¬⊥
I Disjunção: ϕ ∨ ψ abv= ¬ϕ→ ψ
I Conjunção: ϕ ∧ ψ abv= ¬(¬ϕ ∨ ¬ψ)
I Equivalência: ϕ↔ ψabv= (ϕ→ ψ) ∧ (ψ → ϕ)
António Ravara, Simão Melo de Sousa Lógica Computacional
![Page 126: Lógica Computacional - Aula Teórica 7: Semântica da Lógica …desousa/2014-2015/LC/at7.pdf · 2014. 11. 11. · LógicaComputacional AulaTeórica7: SemânticadaLógicaProposicional](https://reader034.vdocuments.pub/reader034/viewer/2022052021/60368bf5882e7c3f68608f74/html5/thumbnails/126.jpg)
Equivalência lógicaLeis axiomáticas
CongruênciaAbreviaturas
Conjuntos mínimos de conectivos
Escolhas possíveisNegação e equivalência como conectivos primitivos
São todos os conectivos necessários como primitivos?
Basta ter como primitivos
I Falso: ⊥I Implicação: →
O que sai como abreviatura
I Negação: ¬ϕ abv= ϕ→ ⊥
I Verdade: > abv= ¬⊥
I Disjunção: ϕ ∨ ψ abv= ¬ϕ→ ψ
I Conjunção: ϕ ∧ ψ abv= ¬(¬ϕ ∨ ¬ψ)
I Equivalência: ϕ↔ ψabv= (ϕ→ ψ) ∧ (ψ → ϕ)
António Ravara, Simão Melo de Sousa Lógica Computacional
![Page 127: Lógica Computacional - Aula Teórica 7: Semântica da Lógica …desousa/2014-2015/LC/at7.pdf · 2014. 11. 11. · LógicaComputacional AulaTeórica7: SemânticadaLógicaProposicional](https://reader034.vdocuments.pub/reader034/viewer/2022052021/60368bf5882e7c3f68608f74/html5/thumbnails/127.jpg)
Equivalência lógicaLeis axiomáticas
CongruênciaAbreviaturas
Conjuntos mínimos de conectivos
Escolhas possíveisNegação e equivalência como conectivos primitivos
São todos os conectivos necessários como primitivos?
Basta ter como primitivos
I Falso: ⊥I Implicação: →
O que sai como abreviatura
I Negação: ¬ϕ abv= ϕ→ ⊥
I Verdade: > abv= ¬⊥
I Disjunção: ϕ ∨ ψ abv= ¬ϕ→ ψ
I Conjunção: ϕ ∧ ψ abv= ¬(¬ϕ ∨ ¬ψ)
I Equivalência: ϕ↔ ψabv= (ϕ→ ψ) ∧ (ψ → ϕ)
António Ravara, Simão Melo de Sousa Lógica Computacional
![Page 128: Lógica Computacional - Aula Teórica 7: Semântica da Lógica …desousa/2014-2015/LC/at7.pdf · 2014. 11. 11. · LógicaComputacional AulaTeórica7: SemânticadaLógicaProposicional](https://reader034.vdocuments.pub/reader034/viewer/2022052021/60368bf5882e7c3f68608f74/html5/thumbnails/128.jpg)
Equivalência lógicaLeis axiomáticas
CongruênciaAbreviaturas
Conjuntos mínimos de conectivos
Escolhas possíveisNegação e equivalência como conectivos primitivos
São todos os conectivos necessários como primitivos?
Basta ter como primitivos
I Falso: ⊥I Implicação: →
O que sai como abreviatura
I Negação: ¬ϕ abv= ϕ→ ⊥
I Verdade: > abv= ¬⊥
I Disjunção: ϕ ∨ ψ abv= ¬ϕ→ ψ
I Conjunção: ϕ ∧ ψ abv= ¬(¬ϕ ∨ ¬ψ)
I Equivalência: ϕ↔ ψabv= (ϕ→ ψ) ∧ (ψ → ϕ)
António Ravara, Simão Melo de Sousa Lógica Computacional
![Page 129: Lógica Computacional - Aula Teórica 7: Semântica da Lógica …desousa/2014-2015/LC/at7.pdf · 2014. 11. 11. · LógicaComputacional AulaTeórica7: SemânticadaLógicaProposicional](https://reader034.vdocuments.pub/reader034/viewer/2022052021/60368bf5882e7c3f68608f74/html5/thumbnails/129.jpg)
Equivalência lógicaLeis axiomáticas
CongruênciaAbreviaturas
Conjuntos mínimos de conectivos
Escolhas possíveisNegação e equivalência como conectivos primitivos
São todos os conectivos necessários como primitivos?
Basta ter como primitivos
I Falso: ⊥I Implicação: →
O que sai como abreviatura
I Negação: ¬ϕ abv= ϕ→ ⊥
I Verdade: > abv= ¬⊥
I Disjunção: ϕ ∨ ψ abv= ¬ϕ→ ψ
I Conjunção: ϕ ∧ ψ abv= ¬(¬ϕ ∨ ¬ψ)
I Equivalência: ϕ↔ ψabv= (ϕ→ ψ) ∧ (ψ → ϕ)
António Ravara, Simão Melo de Sousa Lógica Computacional
![Page 130: Lógica Computacional - Aula Teórica 7: Semântica da Lógica …desousa/2014-2015/LC/at7.pdf · 2014. 11. 11. · LógicaComputacional AulaTeórica7: SemânticadaLógicaProposicional](https://reader034.vdocuments.pub/reader034/viewer/2022052021/60368bf5882e7c3f68608f74/html5/thumbnails/130.jpg)
Equivalência lógicaLeis axiomáticas
CongruênciaAbreviaturas
Conjuntos mínimos de conectivos
Escolhas possíveisNegação e equivalência como conectivos primitivos
São todos os conectivos necessários como primitivos?
Note-se queSem falso (⊥) temos que ter negação primitiva (não se conseguedefinir como abreviatura).
O falso sai como abreviatura se se tiver disjunção ou conjunção:⊥ abv
= ϕ ∧ ¬ϕ
ImplicaçãoO conectivo de implicação pode ser definido como abreviatura se setiver disjunção e negação (primitiva): ϕ→ ψ
abv= ¬ϕ ∨ ψ
Basta ter como primitivos
I Negação: ¬I Disjunção: ∨ (ou conjunção, ∧)
António Ravara, Simão Melo de Sousa Lógica Computacional
![Page 131: Lógica Computacional - Aula Teórica 7: Semântica da Lógica …desousa/2014-2015/LC/at7.pdf · 2014. 11. 11. · LógicaComputacional AulaTeórica7: SemânticadaLógicaProposicional](https://reader034.vdocuments.pub/reader034/viewer/2022052021/60368bf5882e7c3f68608f74/html5/thumbnails/131.jpg)
Equivalência lógicaLeis axiomáticas
CongruênciaAbreviaturas
Conjuntos mínimos de conectivos
Escolhas possíveisNegação e equivalência como conectivos primitivos
São todos os conectivos necessários como primitivos?
Note-se queSem falso (⊥) temos que ter negação primitiva (não se conseguedefinir como abreviatura).
O falso sai como abreviatura se se tiver disjunção ou conjunção:⊥ abv
= ϕ ∧ ¬ϕ
ImplicaçãoO conectivo de implicação pode ser definido como abreviatura se setiver disjunção e negação (primitiva): ϕ→ ψ
abv= ¬ϕ ∨ ψ
Basta ter como primitivos
I Negação: ¬I Disjunção: ∨ (ou conjunção, ∧)
António Ravara, Simão Melo de Sousa Lógica Computacional
![Page 132: Lógica Computacional - Aula Teórica 7: Semântica da Lógica …desousa/2014-2015/LC/at7.pdf · 2014. 11. 11. · LógicaComputacional AulaTeórica7: SemânticadaLógicaProposicional](https://reader034.vdocuments.pub/reader034/viewer/2022052021/60368bf5882e7c3f68608f74/html5/thumbnails/132.jpg)
Equivalência lógicaLeis axiomáticas
CongruênciaAbreviaturas
Conjuntos mínimos de conectivos
Escolhas possíveisNegação e equivalência como conectivos primitivos
São todos os conectivos necessários como primitivos?
Note-se queSem falso (⊥) temos que ter negação primitiva (não se conseguedefinir como abreviatura).
O falso sai como abreviatura se se tiver disjunção ou conjunção:⊥ abv
= ϕ ∧ ¬ϕ
ImplicaçãoO conectivo de implicação pode ser definido como abreviatura se setiver disjunção e negação (primitiva): ϕ→ ψ
abv= ¬ϕ ∨ ψ
Basta ter como primitivos
I Negação: ¬I Disjunção: ∨ (ou conjunção, ∧)
António Ravara, Simão Melo de Sousa Lógica Computacional
![Page 133: Lógica Computacional - Aula Teórica 7: Semântica da Lógica …desousa/2014-2015/LC/at7.pdf · 2014. 11. 11. · LógicaComputacional AulaTeórica7: SemânticadaLógicaProposicional](https://reader034.vdocuments.pub/reader034/viewer/2022052021/60368bf5882e7c3f68608f74/html5/thumbnails/133.jpg)
Equivalência lógicaLeis axiomáticas
CongruênciaAbreviaturas
Conjuntos mínimos de conectivos
Escolhas possíveisNegação e equivalência como conectivos primitivos
São todos os conectivos necessários como primitivos?
Note-se queSem falso (⊥) temos que ter negação primitiva (não se conseguedefinir como abreviatura).
O falso sai como abreviatura se se tiver disjunção ou conjunção:⊥ abv
= ϕ ∧ ¬ϕ
ImplicaçãoO conectivo de implicação pode ser definido como abreviatura se setiver disjunção e negação (primitiva): ϕ→ ψ
abv= ¬ϕ ∨ ψ
Basta ter como primitivos
I Negação: ¬I Disjunção: ∨ (ou conjunção, ∧)
António Ravara, Simão Melo de Sousa Lógica Computacional
![Page 134: Lógica Computacional - Aula Teórica 7: Semântica da Lógica …desousa/2014-2015/LC/at7.pdf · 2014. 11. 11. · LógicaComputacional AulaTeórica7: SemânticadaLógicaProposicional](https://reader034.vdocuments.pub/reader034/viewer/2022052021/60368bf5882e7c3f68608f74/html5/thumbnails/134.jpg)
Equivalência lógicaLeis axiomáticas
CongruênciaAbreviaturas
Conjuntos mínimos de conectivos
Escolhas possíveisNegação e equivalência como conectivos primitivos
São todos os conectivos necessários como primitivos?
Note-se queSem falso (⊥) temos que ter negação primitiva (não se conseguedefinir como abreviatura).
O falso sai como abreviatura se se tiver disjunção ou conjunção:⊥ abv
= ϕ ∧ ¬ϕ
ImplicaçãoO conectivo de implicação pode ser definido como abreviatura se setiver disjunção e negação (primitiva): ϕ→ ψ
abv= ¬ϕ ∨ ψ
Basta ter como primitivos
I Negação: ¬I Disjunção: ∨ (ou conjunção, ∧)
António Ravara, Simão Melo de Sousa Lógica Computacional
![Page 135: Lógica Computacional - Aula Teórica 7: Semântica da Lógica …desousa/2014-2015/LC/at7.pdf · 2014. 11. 11. · LógicaComputacional AulaTeórica7: SemânticadaLógicaProposicional](https://reader034.vdocuments.pub/reader034/viewer/2022052021/60368bf5882e7c3f68608f74/html5/thumbnails/135.jpg)
Equivalência lógicaLeis axiomáticas
CongruênciaAbreviaturas
Conjuntos mínimos de conectivos
Escolhas possíveisNegação e equivalência como conectivos primitivos
E como/quando juntar conectivos?
Note-se que
I Para provas por indução, convém ter o mínimo de conectivos.
O conjunto mais conveniente é {⊥,→}, porque ⊥ é umoperador constante, logo caso base.
I Para resolver exercícios, é útil ter o máximo de conectivosdefinidos, para evitar ter que expandir abreviaturas (usam-sedirectamente as definições).
António Ravara, Simão Melo de Sousa Lógica Computacional
![Page 136: Lógica Computacional - Aula Teórica 7: Semântica da Lógica …desousa/2014-2015/LC/at7.pdf · 2014. 11. 11. · LógicaComputacional AulaTeórica7: SemânticadaLógicaProposicional](https://reader034.vdocuments.pub/reader034/viewer/2022052021/60368bf5882e7c3f68608f74/html5/thumbnails/136.jpg)
Equivalência lógicaLeis axiomáticas
CongruênciaAbreviaturas
Conjuntos mínimos de conectivos
Escolhas possíveisNegação e equivalência como conectivos primitivos
E como/quando juntar conectivos?
Note-se que
I Para provas por indução, convém ter o mínimo de conectivos.
O conjunto mais conveniente é {⊥,→}, porque ⊥ é umoperador constante, logo caso base.
I Para resolver exercícios, é útil ter o máximo de conectivosdefinidos, para evitar ter que expandir abreviaturas (usam-sedirectamente as definições).
António Ravara, Simão Melo de Sousa Lógica Computacional
![Page 137: Lógica Computacional - Aula Teórica 7: Semântica da Lógica …desousa/2014-2015/LC/at7.pdf · 2014. 11. 11. · LógicaComputacional AulaTeórica7: SemânticadaLógicaProposicional](https://reader034.vdocuments.pub/reader034/viewer/2022052021/60368bf5882e7c3f68608f74/html5/thumbnails/137.jpg)
Equivalência lógicaLeis axiomáticas
CongruênciaAbreviaturas
Conjuntos mínimos de conectivos
Escolhas possíveisNegação e equivalência como conectivos primitivos
E como/quando juntar conectivos?
Note-se que
I Para provas por indução, convém ter o mínimo de conectivos.
O conjunto mais conveniente é {⊥,→}, porque ⊥ é umoperador constante, logo caso base.
I Para resolver exercícios, é útil ter o máximo de conectivosdefinidos, para evitar ter que expandir abreviaturas (usam-sedirectamente as definições).
António Ravara, Simão Melo de Sousa Lógica Computacional
![Page 138: Lógica Computacional - Aula Teórica 7: Semântica da Lógica …desousa/2014-2015/LC/at7.pdf · 2014. 11. 11. · LógicaComputacional AulaTeórica7: SemânticadaLógicaProposicional](https://reader034.vdocuments.pub/reader034/viewer/2022052021/60368bf5882e7c3f68608f74/html5/thumbnails/138.jpg)
Equivalência lógicaLeis axiomáticas
CongruênciaAbreviaturas
Conjuntos mínimos de conectivos
Escolhas possíveisNegação e equivalência como conectivos primitivos
Semântica da negação e equivalência
Satisfação
I Da negação: V ¬ϕ, se não se tem que V ϕ
I Da equivalência: V ϕ↔ ψ, se V ϕ se e só se V ψ
Tabelas de verdadep ¬p q p → q q → p p ↔ q
0 1 0 1 1 11 0 0 0 1 00 1 1 1 0 01 0 1 1 1 1
António Ravara, Simão Melo de Sousa Lógica Computacional
![Page 139: Lógica Computacional - Aula Teórica 7: Semântica da Lógica …desousa/2014-2015/LC/at7.pdf · 2014. 11. 11. · LógicaComputacional AulaTeórica7: SemânticadaLógicaProposicional](https://reader034.vdocuments.pub/reader034/viewer/2022052021/60368bf5882e7c3f68608f74/html5/thumbnails/139.jpg)
Equivalência lógicaLeis axiomáticas
CongruênciaAbreviaturas
Conjuntos mínimos de conectivos
Escolhas possíveisNegação e equivalência como conectivos primitivos
Semântica da negação e equivalência
Satisfação
I Da negação: V ¬ϕ, se não se tem que V ϕ
I Da equivalência: V ϕ↔ ψ, se V ϕ se e só se V ψ
Tabelas de verdadep ¬p q p → q q → p p ↔ q
0 1 0 1 1 11 0 0 0 1 00 1 1 1 0 01 0 1 1 1 1
António Ravara, Simão Melo de Sousa Lógica Computacional
![Page 140: Lógica Computacional - Aula Teórica 7: Semântica da Lógica …desousa/2014-2015/LC/at7.pdf · 2014. 11. 11. · LógicaComputacional AulaTeórica7: SemânticadaLógicaProposicional](https://reader034.vdocuments.pub/reader034/viewer/2022052021/60368bf5882e7c3f68608f74/html5/thumbnails/140.jpg)
Equivalência lógicaLeis axiomáticas
CongruênciaAbreviaturas
Conjuntos mínimos de conectivos
Escolhas possíveisNegação e equivalência como conectivos primitivos
Semântica da negação e equivalência
Satisfação
I Da negação: V ¬ϕ, se não se tem que V ϕ
I Da equivalência: V ϕ↔ ψ, se V ϕ se e só se V ψ
Tabelas de verdadep ¬p q p → q q → p p ↔ q
0 1 0 1 1 11 0 0 0 1 00 1 1 1 0 01 0 1 1 1 1
António Ravara, Simão Melo de Sousa Lógica Computacional