命题等价 Propositional Equivalences

该模板涵盖命题逻辑、命题公式（合式公式）、真值表、等价公式、重言式与矛盾式、重言蕴涵式六大模块，共51个节点，系统梳理离散数学中命题等价的核心概念。

模板中真值表部分指出'n个变元有2^n种指派'，你可以通过Xmind打开模板，将变元替换为具体命题，手动或自动生成真值表，验证逻辑公式的真假。

适合离散数学初学者、计算机科学专业学生以及准备逻辑学考试的学习者，作为复习和快速查阅基本等价式与重言蕴涵式的工具。

模板列出了'基本等价式（命题定率）'，并提示可通过真值表或已知等价式推导来证明两个公式等价，具体方法在'证明等价'子节点中说明。

重言式（永真式）在所有真值指派下均为真，矛盾式（永假式）在所有指派下均为假。模板中分别定义了这两种公式，并对比其逻辑特性。

可以。在Xmind中打开模板后，你可以将'命题变元'节点下的p、q等替换为实际命题，并调整真值表或等价式示例，以适应具体学习需求。