析取引入律

析取引入律是英國羅素和懷特海的命題演算公理之一。在《數學原理》中提出可用符號表示為：“p一(pVq)”。意思是“如果p是真的，那么p或q就是真的”。其中p，q是命題變元。

重言律是用符號“(pVp)一p”所表示的一條命題演算的公理或定理。在羅素與懷特海合著的《數學原理》一書中作為命題演算的一條公理而被首次提出。其含義是：如果P或p是真的，那么P是真的。公式中的p為命題變元。