“逻辑等值”的版本历史

2026年1月9日 (星期五)

• 当前之前 08:422026年1月9日 (五) 08:42 Gsxab 留言 贡献 2,120字节 +1 无编辑摘要
• 当前之前 08:422026年1月9日 (五) 08:42 Gsxab 留言 贡献 2,119字节 +2,119 创建页面，内容为“分类:命题逻辑{{DEFAULTSORT:luo2ji2deng3zhi2}} {{#seo: |keywords=逻辑等值 |description=本文介绍谓词逻辑中逻辑等值关系的定义、性质，及其在模型论中的重要性。 |modified_time={{REVISIONYEAR}}-{{REVISIONMONTH}}-{{REVISIONDAY2}} |published_time=2026-01-09 }} {{InfoBox |name=逻辑等值 |eng_name=logical equivalence }} '''逻辑等值'''('''logical equivalence''')指两个谓词公式之间，在所有可能的赋…”