“命题变元代入”的版本历史

2026年1月8日 (星期四)

• 当前之前 05:442026年1月8日 (四) 05:44 Gsxab 留言 贡献 1,740字节 +17 无编辑摘要
• 当前之前 05:432026年1月8日 (四) 05:43 Gsxab 留言 贡献 1,723字节 +409 无编辑摘要

2023年7月9日 (星期日)

• 当前之前 06:552023年7月9日 (日) 06:55 Gsxab 留言 贡献 1,314字节 +1,314 创建页面，内容为“分类:命题逻辑 {{InfoBox |name=代入 |eng_name=subtitution }} 对命题变元的'''代入'''('''subtitution''')指在一个命题公式中，将某个命题变元的全体出现，全部用另一个公式来替换的操作。 == 定义 == === 代入 === 从全体命题变元所构成的集合到全体公式所构成的集合的映射，称为一个'''代入'''('''substitution''')。 对于把 <math>p_1, \dots, p_n</math> 分别替…”