主要公开日志

所有GSXAB的知识库公开日志的联合展示。您可以通过选择日志类型、输入用户名（区分大小写）或相关页面（区分大小写）筛选日志条目。

• 2025年11月25日 (二) 07:07 Gsxab 留言 贡献创建了页面移出律 （创建页面，内容为“分类:命题逻辑定理{{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…”）