关于逻辑等价式$p⇒q ≡ ¬p∨q$的名称咨询

嘿，你问的这个逻辑等价式可是数理逻辑里的基础常客，它有好几个常用的称呼哦：

• 实质蕴涵等值式（Material Implication Equivalence）：这是最普遍的叫法，它直接定义了我们常说的“条件语句”（实质蕴涵）和析取式之间的等价关系，很多教材里都会把这个作为实质蕴涵的核心定义之一。
• 蕴涵-析取转换规则（Implication-Disjunction Transformation）：这个名字更直观，一眼就能看出它的作用——把条件语句形式转换成析取形式，反过来也一样。
• 部分文献里还会称它为麦科尔定律（McColl's Law），用来纪念最早明确提出这个等价关系的逻辑学家休·麦科尔（Hugh McColl）。

另外要夸一句，你通过条件语句的否定结合德摩根律推导它的思路完全正确！毕竟我们知道$\neg(p\Longrightarrow q) \equiv p\land\neg q$，对两边同时取否定后，用德摩根律展开$\neg(p\land\neg q)$，就正好得到$p\Longrightarrow q \equiv \neg p \lor q$，这个推导也是很多教材引入这个等值式的经典路径呢~

备注：内容来源于stack exchange，提问作者Aria