重言律是用符號“(pVp)一p”所表示的一條命題演算的公理或定理。在羅素與懷特海合著的《數學原理》一書中作為命題演算的一條公理而被首次提出。其含義是：如果P或p是真的，那么P是真的。公式中的p為命題變元。
基本介紹
- 中文名：重言律
- 釋義：用符號"(pVp)一p"所表示的命題演算的公理或定理
析取引入律是英國羅素和懷特海腳舉元習的命題蘭乎恥連演算公理之一。在《數學原理》中提出可迎察蘭用符號表充府抹示為乎譽漏：“p一櫻歡槓(pVq)”。意思是“如果p是真道鑽的，那么p或q就是真的”。其中p，q是命題變元。
