Peirce's law

Endrika:=en=

Endrika:-ana-pr- Peirce's law

1. ny raikipohy $((P\to Q)\to P)\to P$ azo ekena amin'ny fomba klasika nefa tsy azo ekena amin'ny fomba intuitionistic amin'ny calculus propositional, izay azo ampiasaina ho solon'ny lalàn'ny afovoany tsy misy ao amin'ny calculus propositional implication