Lei de Peirce
Lei de Peirce
Lei de Peirce
Lei de Peirce
Origem: Wikipédia, a enciclopédia livre.
A Lei de Peirce no cálculo proposicional diz que onde é o símbolo de implicação. Em
outras palavras, essa lei diz que A deve ser verdade se você pode demonstrar que A implicando em B obriga A a ser
verdade. Foi proposta pelo filósofo e lógico Charles Sanders Peirce.
Esta fórmula é válida na lógica clássica e não é válida na lógica intuicionista ou lógicas intermediárias. Pode-se
mostrar que, na lógica intuicionista, há uma certa equivalência entre a Lei de Peirce, a regra da eliminação da dupla
negação, a lei do terceiro excluído e a contraposição. A adição de qualquer um destes princípios à lógica intuicionista
nos dá toda a lógica clássica.
A lei de Peirce não pode ser deduzida partindo somente do teorema da dedução.
Índice
1 Demonstração da Lei de Peirce na lógica clássica
2 Lógica intuicionista e a lei de Peirce
2.1 Demonstração da eliminação da dupla negação
2.2 Demonstração do terceiro excluído
2.3 Demonstração da contraposição
3 Usando a lei de Peirce com o teorema da dedução
4 Referências
5 Ver também
6 Ligações externas
Para mostrar que a implicação é válida supõe-se, por absurdo, que ela é falsa, isto é,
. Portanto, é verdadeira e é falsa, donde, é falsa, e portanto
é verdadeira, o que resulta em um absurdo.
Conclui-se que .
Se existe ao mesmo tempo uma proposição e a sua negação , então tem-se uma contradição, denotada
por (regra da eliminação da negação).
https://pt.wikipedia.org/wiki/Lei_de_Peirce 1/3
12/10/2017 Lei de Peirce – Wikipédia, a enciclopédia livre
Se uma proposição é conduzida a uma contradição, então temos que é válida (regra da introdução da
negação). Neste sentido, é apenas outra forma de denotar .
Se um raciocínio chega a uma contradição, então pode-se deduzir a validade de qualquer proposição (regra do
absurdo intuicionista). Esta regra é substituída, na lógica clássica, pelo raciocínio por absurdo.
Considere então as seguintes fórmulas :
Se partimos da lógica intuicionista e acrescentamos a esta lógica a lei de Peirce, pode-se mostrar que as três fórmulas
acima são válidas e que obtém-se a lógica clássica. Antes de mais nada, considere a lei de Peirce substituindo por
uma proposição falsa, obtendo-se .
Demonstração da contraposição
É também uma consequência da eliminação da dupla negação. Por absurdo, tem-se:
1.
2.
3.
4.
5.
6.
7.
8.
9.
10.
Portanto, conclui-se que .
Por exemplo, suponha que sejam dados P→Z e (P→Q)→Z e queremos deduzir Z, de modo que nós possamos usar o
teorema da dedução para concluir que (P→Z)→(((P→Q)→Z)→Z) é um teorema. Então, podemos adicionar um outra
premissa Z→Q. Dessa premissa e de P→Z, teremos P→Q. Usando modus ponens com (P→Q)→Z obtêm-se Z.
https://pt.wikipedia.org/wiki/Lei_de_Peirce 2/3
12/10/2017 Lei de Peirce – Wikipédia, a enciclopédia livre
Aplicando o teorema da dedução obtêm-se (Z→Q)→Z, a partir das premissas originais. Então, usando a lei de Peirce
na forma ((Z→Q)→Z)→Z e modus ponens derivamos Z das premissas originais. Então, podemos provar o teorema
inicial.
P→Z 1. hipótese
(P→Q)→Z 2. hipótese
Z→Q 3. hipótese
P 4. hipótese
Z 5. modus ponens 4,1
Q 6. modus ponens 5,3
P→Q 7. dedução de 4 a 6
Z 8. modus ponens 7,2
(Z→Q)→Z 9. dedução de 3 a 8
((Z→Q)→Z)→Z 10. Lei de Peirce
Z 11. modus ponens 9,10
((P→Q)→Z)→Z 12. dedução de 2 a 11
(P→Z)→((P→Q)→Z)→Z) 13. dedução de 1 a 12
Referências
Peirce, C.S., "On the Algebra of Logic: A Contribution to the Philosophy of Notation", American Journal of
Mathematics 7, 180–202 (1885). Reprinted, CP 3.359–403 and CE 5, 162–190.
Peirce, C.S., Collected Papers of Charles Sanders Peirce, Vols. 1–6, Charles Hartshorne and Paul Weiss (eds.),
Vols. 7–8, Arthur W. Burks (ed.), Harvard University Press, Cambridge, MA, 1931–1935, 1958.
Ver também
Lei do terceiro excluído
Eliminação da dupla negação
Contraposição
Grafo lógico
Ligações externas
Prova por Dedução Natural da Lei de Peirce (http://filomatia.net/peircelaw.htm) @ filomatia.net (http://filomatia.ne
t)
Obtida de "https://pt.wikipedia.org/w/index.php?title=Lei_de_Peirce&oldid=45624309"
Esta página foi editada pela última vez à(s) 17h51min de 15 de maio de 2016.
Este texto é disponibilizado nos termos da licença Creative Commons - Atribuição - Compartilha Igual 3.0 Não
Adaptada (CC BY-SA 3.0); pode estar sujeito a condições adicionais. Para mais detalhes, consulte as condições de
uso.
https://pt.wikipedia.org/wiki/Lei_de_Peirce 3/3