@prefix owl: . owl:sameAs . @prefix foaf: . foaf:page . @prefix dbpprop: . dbpprop:reference , , , . @prefix rdfs: . rdfs:label "\u76AE\u5C14\u58EB\u5B9A\u5F8B"@zh , "Peirce's law"@en , "\u0417\u0430\u043A\u043E\u043D \u041F\u0438\u0440\u0441\u0430"@ru , "Loi de Peirce"@fr , "Lei de Peirce"@pt ; dbpprop:abstract "\u0417\u0430\u043A\u043E\u043D \u041F\u0438\u0301\u0440\u0441\u0430\u00A0\u2014 \u043E\u0434\u0438\u043D \u0438\u0437 \u0437\u0430\u043A\u043E\u043D\u043E\u0432 \u043A\u043B\u0430\u0441\u0441\u0438\u0447\u0435\u0441\u043A\u043E\u0439 \u043B\u043E\u0433\u0438\u043A\u0438, \u0430\u043D\u0430\u043B\u043E\u0433 \u0437\u0430\u043A\u043E\u043D\u043E\u0432 \u0434\u0432\u043E\u0439\u043D\u043E\u0433\u043E \u043E\u0442\u0440\u0438\u0446\u0430\u043D\u0438\u044F \u0438 \u0438\u0441\u043A\u043B\u044E\u0447\u0451\u043D\u043D\u043E\u0433\u043E \u0442\u0440\u0435\u0442\u044C\u0435\u0433\u043E. \u041D\u0430\u0437\u0432\u0430\u043D \u0432 \u0447\u0435\u0441\u0442\u044C \u0430\u043C\u0435\u0440\u0438\u043A\u0430\u043D\u0441\u043A\u043E\u0433\u043E \u043B\u043E\u0433\u0438\u043A\u0430 \u0438 \u0444\u0438\u043B\u043E\u0441\u043E\u0444\u0430 \u0427\u0430\u0440\u043B\u044C\u0437\u0430 \u041F\u0438\u0440\u0441\u0430. \u0417\u0430\u043A\u043E\u043D \u041F\u0438\u0440\u0441\u0430 \u0444\u043E\u0440\u043C\u0430\u043B\u044C\u043D\u043E \u0432\u044B\u0433\u043B\u044F\u0434\u0438\u0442 \u0442\u0430\u043A: <math>(\\to P)\\to P</math> \u0447\u0442\u043E \u043E\u0437\u043D\u0430\u0447\u0430\u0435\u0442: P \u0434\u043E\u043B\u0436\u043D\u043E \u0431\u044B\u0442\u044C \u0438\u0441\u0442\u0438\u043D\u043D\u043E, \u0435\u0441\u043B\u0438 \u0441\u043B\u0435\u0434\u043E\u0432\u0430\u043D\u0438\u0435 Q \u0438\u0437 P \u0441 \u043D\u0435\u043E\u0431\u0445\u043E\u0434\u0438\u043C\u043E\u0441\u0442\u044C\u044E \u0432\u043B\u0435\u0447\u0451\u0442 P. \u0417\u0430\u043A\u043E\u043D \u041F\u0438\u0440\u0441\u0430 \u044F\u0432\u043B\u044F\u0435\u0442\u0441\u044F \u0442\u0430\u0432\u0442\u043E\u043B\u043E\u0433\u0438\u0435\u0439 \u043A\u043B\u0430\u0441\u0441\u0438\u0447\u0435\u0441\u043A\u043E\u0439 \u043B\u043E\u0433\u0438\u043A\u0438, \u043E\u0434\u043D\u0430\u043A\u043E \u043F\u0440\u0438 \u044D\u0442\u043E\u043C \u043A\u0430\u043A \u043F\u0440\u0430\u0432\u0438\u043B\u043E \u043D\u0435 \u0432\u044B\u043F\u043E\u043B\u043D\u044F\u0435\u0442\u0441\u044F \u0432 \u043D\u0435\u043A\u043B\u0430\u0441\u0441\u0438\u0447\u0435\u0441\u043A\u0438\u0445 \u043B\u043E\u0433\u0438\u043A\u0430\u0445, \u0432 \u0447\u0430\u0441\u0442\u043D\u043E\u0441\u0442\u0438 \u0432 \u0438\u043D\u0442\u0443\u0438\u0446\u0438\u043E\u043D\u0438\u0441\u0442\u0441\u043A\u043E\u0439 \u043B\u043E\u0433\u0438\u043A\u0435. \u041F\u0440\u0438 \u044D\u0442\u043E\u043C \u0434\u043E\u0431\u0430\u0432\u043B\u0435\u043D\u0438\u0435 \u0437\u0430\u043A\u043E\u043D\u0430 \u041F\u0438\u0440\u0441\u0430 \u043A \u043B\u044E\u0431\u043E\u0439 \u0430\u043A\u0441\u0438\u043E\u043C\u0430\u0442\u0438\u043A\u0435 \u0438\u043D\u0442\u0443\u0438\u0446\u0438\u043E\u043D\u0438\u0441\u0442\u0441\u043A\u043E\u0439 \u043B\u043E\u0433\u0438\u043A\u0438, \u043F\u0440\u0435\u0432\u0440\u0430\u0449\u0430\u0435\u0442 \u0435\u0451 \u0432 \u043A\u043B\u0430\u0441\u0441\u0438\u0447\u0435\u0441\u043A\u0443\u044E. \u0422\u043E \u0436\u0435 \u0441\u0430\u043C\u043E\u0435 \u043F\u0440\u043E\u0438\u0441\u0445\u043E\u0434\u0438\u0442, \u043F\u0440\u0438 \u0434\u043E\u0431\u0430\u0432\u043B\u0435\u043D\u0438\u0438 \u0437\u0430\u043A\u043E\u043D\u0430 \u0434\u0432\u043E\u0439\u043D\u043E\u0433\u043E \u043E\u0442\u0440\u0438\u0446\u0430\u043D\u0438\u044F \u0438\u043B\u0438 \u0437\u0430\u043A\u043E\u043D\u0430 \u0438\u0441\u043A\u043B\u044E\u0447\u0451\u043D\u043D\u043E\u0433\u043E \u0442\u0440\u0435\u0442\u044C\u0435\u0433\u043E. \u0412 \u044D\u0442\u043E\u043C \u0441\u043C\u044B\u0441\u043B\u0435 \u0432\u0441\u0435 \u0442\u0440\u0438 \u0437\u0430\u043A\u043E\u043D\u0430 \u044D\u043A\u0432\u0438\u0432\u0430\u043B\u0435\u043D\u0442\u043D\u044B. \u041E\u0434\u043D\u0430\u043A\u043E \u0432 \u043E\u0431\u0449\u0435\u043C \u0441\u043B\u0443\u0447\u0430\u0435, \u0441\u0443\u0449\u0435\u0441\u0442\u0432\u0443\u044E\u0442 \u043B\u043E\u0433\u0438\u043A\u0438, \u0432 \u043A\u043E\u0442\u043E\u0440\u044B\u0445 \u0432\u0441\u0435 \u0442\u0440\u0438 \u0437\u0430\u043A\u043E\u043D\u0430 \u043D\u0435\u044D\u043A\u0432\u0438\u0432\u0430\u043B\u0435\u043D\u0442\u043D\u044B."@ru , "\u903B\u8F91\u4E2D\u7684Peirce \u5B9A\u5F8B\u5F97\u540D\u4E8E\u54F2\u5B66\u5BB6\u548C\u903B\u8F91\u5B66\u5BB6\u67E5\u5C14\u65AF\u00B7\u6851\u5FB7\u65AF\u00B7\u76AE\u5C14\u58EB\u3002\u5B83\u88AB\u63A5\u53D7\u4E3A\u4ED6\u7684\u7B2C\u4E00\u4E2A\u516C\u7406\u5316\u547D\u9898\u903B\u8F91\u4E2D\u4E00\u4E2A\u516C\u7406\u3002\u8FD9\u4E2A\u516C\u7406\u53EF\u4EE5\u7528\u505A\u6392\u4E2D\u5F8B\u7684\u66FF\u4EE3\u8005\u3002 \u5728\u547D\u9898\u6F14\u7B97\u4E2D\uFF0CPeirce \u5B9A\u5F8B\u8BF4\u7684\u662F (→P)→P\u3002 \u4E5F\u5C31\u662F\u8BF4\uFF0C\u5982\u679C\u4F60\u80FD\u8BC1\u660E P \u8574\u542B Q \u5F3A\u5236 P \u662F\u771F\u7684\uFF0C\u5219 P \u5FC5\u5B9A\u662F\u771F\u7684\u3002 Peirce \u7684\u5B9A\u5F8B\u5728\u76F4\u89C9\u903B\u8F91\u6216\u4E2D\u95F4\u903B\u8F91\u4E2D\u662F\u4E0D\u6210\u7ACB\u7684\u3002\u5728Curry-Howard\u540C\u6784\u4E2D\uFF0CPeirce \u5B9A\u5F8B\u662F\u4E00\u79CD\u7EED\u4F53\u8FD0\u7B97\u3002"@zh , "A Lei de Peirce no c\u00E1lculo proposicional diz que <math>(\\to A) \\to A</math> onde <math>\\to</math> \u00E9 o s\u00EDmbolo de implica\u00E7\u00E3o. Em outras palavras, essa lei diz que A deve ser verdade se voc\u00EA pode demonstrar que A implicando em B obriga A a ser verdade. Foi proposta pelo fil\u00F3sofo e l\u00F3gico Charles Sanders Peirce. Esta f\u00F3rmula \u00E9 v\u00E1lida na l\u00F3gica cl\u00E1ssica e n\u00E3o \u00E9 v\u00E1lida na l\u00F3gica intuicionista ou l\u00F3gicas intermedi\u00E1rias. Pode-se mostrar que, na l\u00F3gica intuicionista, h\u00E1 uma certa equival\u00EAncia entre a Lei de Peirce, a regra da elimina\u00E7\u00E3o da dupla nega\u00E7\u00E3o, a lei do terceiro exclu\u00EDdo e a contraposi\u00E7\u00E3o. A adi\u00E7\u00E3o de qualquer um destes pr\u00EDncipios \u00E0 l\u00F3gica intuicionista nos d\u00E1 toda a l\u00F3gica cl\u00E1ssica. A lei de Peirce n\u00E3o pode ser deduzida partindo somente do teorema da dedu\u00E7\u00E3o. Sob o isomorfismo de Curry-Howard a lei de Peirce \u00E9 um tipo de operador de continua\u00E7\u00E3o."@pt , "La loi de Peirce est la proposition <math>(\\to A) \\to A</math> o\u00F9 <math>\\to</math> d\u00E9signe l'implication. Elle a \u00E9t\u00E9 propos\u00E9e par le logicien et philosophe Charles Sanders Peirce. Cette formule, valide en logique classique, est invalide en logique intuitionniste. Cela signifie que, bien que ne poss\u00E9dant pas de r\u00E9f\u00E9rence explicite \u00E0 la n\u00E9gation, la loi de Peirce est directement li\u00E9e \u00E0 la fa\u00E7on dont on traite celle-ci. Ainsi, on peut montrer que, en logique intuitionniste, il y a \u00E9quivalence entre loi de Peirce, r\u00E8gle d'\u00E9limination de la double n\u00E9gation ou principe du tiers exclu. L'ajout d'un seul de ces principes \u00E0 la logique intuitionniste redonne la totalit\u00E9 de la logique classique."@fr , "Peirce's law in logic is named after the philosopher and logician Charles Sanders Peirce. It was taken as an axiom in his first axiomatisation of propositional logic. In propositional calculus, Peirce's law says that (\u2192P)\u2192P. Written out, this means that P must be true if there is a proposition Q such that the truth of P follows from the truth of if P then Q. In particular, when Q is taken to be a false formula, the law says that if P must be true whenever it implies the false, then P is true. In this way Peirce's law implies the law of excluded middle. Peirce's law does not hold in intuitionistic logic or intermediate logics and cannot be deduced from the deduction theorem alone. Under the Curry-Howard isomorphism, Peirce's law is the type of continuation operators, e.g. call/cc in Scheme."@en ; rdfs:comment "A Lei de Peirce no c\u00E1lculo proposicional diz que <math>(\\to A) \\to A</math> onde <math>\\to</math> \u00E9 o s\u00EDmbolo de implica\u00E7\u00E3o. Em outras palavras, essa lei diz que A deve ser verdade se voc\u00EA pode demonstrar que A implicando em B obriga A a ser verdade. Foi proposta pelo fil\u00F3sofo e l\u00F3gico Charles Sanders Peirce. Esta f\u00F3rmula \u00E9 v\u00E1lida na l\u00F3gica cl\u00E1ssica e n\u00E3o \u00E9 v\u00E1lida na l\u00F3gica intuicionista ou l\u00F3gicas intermedi\u00E1rias."@pt , "\u0417\u0430\u043A\u043E\u043D \u041F\u0438\u0301\u0440\u0441\u0430\u00A0\u2014 \u043E\u0434\u0438\u043D \u0438\u0437 \u0437\u0430\u043A\u043E\u043D\u043E\u0432 \u043A\u043B\u0430\u0441\u0441\u0438\u0447\u0435\u0441\u043A\u043E\u0439 \u043B\u043E\u0433\u0438\u043A\u0438, \u0430\u043D\u0430\u043B\u043E\u0433 \u0437\u0430\u043A\u043E\u043D\u043E\u0432 \u0434\u0432\u043E\u0439\u043D\u043E\u0433\u043E \u043E\u0442\u0440\u0438\u0446\u0430\u043D\u0438\u044F \u0438 \u0438\u0441\u043A\u043B\u044E\u0447\u0451\u043D\u043D\u043E\u0433\u043E \u0442\u0440\u0435\u0442\u044C\u0435\u0433\u043E. \u041D\u0430\u0437\u0432\u0430\u043D \u0432 \u0447\u0435\u0441\u0442\u044C \u0430\u043C\u0435\u0440\u0438\u043A\u0430\u043D\u0441\u043A\u043E\u0433\u043E \u043B\u043E\u0433\u0438\u043A\u0430 \u0438 \u0444\u0438\u043B\u043E\u0441\u043E\u0444\u0430 \u0427\u0430\u0440\u043B\u044C\u0437\u0430 \u041F\u0438\u0440\u0441\u0430."@ru , "\u903B\u8F91\u4E2D\u7684Peirce \u5B9A\u5F8B\u5F97\u540D\u4E8E\u54F2\u5B66\u5BB6\u548C\u903B\u8F91\u5B66\u5BB6\u67E5\u5C14\u65AF\u00B7\u6851\u5FB7\u65AF\u00B7\u76AE\u5C14\u58EB\u3002\u5B83\u88AB\u63A5\u53D7\u4E3A\u4ED6\u7684\u7B2C\u4E00\u4E2A\u516C\u7406\u5316\u547D\u9898\u903B\u8F91\u4E2D\u4E00\u4E2A\u516C\u7406\u3002\u8FD9\u4E2A\u516C\u7406\u53EF\u4EE5\u7528\u505A\u6392\u4E2D\u5F8B\u7684\u66FF\u4EE3\u8005\u3002 \u5728\u547D\u9898\u6F14\u7B97\u4E2D\uFF0CPeirce \u5B9A\u5F8B\u8BF4\u7684\u662F (→P)→P\u3002 \u4E5F\u5C31\u662F\u8BF4\uFF0C\u5982\u679C\u4F60\u80FD\u8BC1\u660E P \u8574\u542B Q \u5F3A\u5236 P \u662F\u771F\u7684\uFF0C\u5219 P \u5FC5\u5B9A\u662F\u771F\u7684\u3002 Peirce \u7684\u5B9A\u5F8B\u5728\u76F4\u89C9\u903B\u8F91\u6216\u4E2D\u95F4\u903B\u8F91\u4E2D\u662F\u4E0D\u6210\u7ACB\u7684\u3002\u5728Curry-Howard\u540C\u6784\u4E2D\uFF0CPeirce \u5B9A\u5F8B\u662F\u4E00\u79CD\u7EED\u4F53\u8FD0\u7B97\u3002"@zh , "La loi de Peirce est la proposition <math>(\\to A) \\to A</math> o\u00F9 <math>\\to</math> d\u00E9signe l'implication. Elle a \u00E9t\u00E9 propos\u00E9e par le logicien et philosophe Charles Sanders Peirce. Cette formule, valide en logique classique, est invalide en logique intuitionniste. Cela signifie que, bien que ne poss\u00E9dant pas de r\u00E9f\u00E9rence explicite \u00E0 la n\u00E9gation, la loi de Peirce est directement li\u00E9e \u00E0 la fa\u00E7on dont on traite celle-ci."@fr , "Peirce's law in logic is named after the philosopher and logician Charles Sanders Peirce. It was taken as an axiom in his first axiomatisation of propositional logic. In propositional calculus, Peirce's law says that (\u2192P)\u2192P. Written out, this means that P must be true if there is a proposition Q such that the truth of P follows from the truth of if P then Q."@en . @prefix skos: . @prefix ns5: . skos:subject ns5:Charles_Sanders_Peirce , ns5:Mathematical_logic , ns5:Logic ; dbpprop:hasPhotoCollection ; dbpprop:redirect , . @prefix dbpedia: . dbpedia:Peirce_law dbpprop:redirect . dbpprop:redirect , . dbpedia:Pierce_law dbpprop:redirect .