跳转到内容

Advertising:

“移出律”的版本历史

差异选择：选中要对比的修订的单选按钮，然后按Enter键或下面的按钮。
说明：（当前）=与最后修订的差异，（之前）=与上个修订的差异，小=小编辑。

2025年12月5日 (星期五)

2025年11月25日 (星期二)

  • 当前之前 07:072025年11月25日 (二) 07:07 Gsxab 留言 贡献 2,538字节 +2,538 创建页面，内容为“分类:命题逻辑定理{{DEFAULTSORT:yi2chu1lu:4}} {{#seo: |keywords=移出律,exportation,柯里化 |description=移出律是命题逻辑的重要定理，表明(P∧Q→R)与(P→(Q→R))逻辑等价。这一定理揭示了合取与蕴涵的深刻联系。在柯里霍华德同构中，是函数柯里化的逻辑学对应。 |modified_time={{REVISIONYEAR}}-{{REVISIONMONTH}}-{{REVISIONDAY2}} |published_time=2025-11-25 }} {{InfoBox |name=移出律 |eng-nam…”
检索自“https://knowledge.gsxab.top/wiki/移出律”

Advertising: