Boole's approach allowed truth to be systematically and formally proven, through logic equations which he introduced in his first book, " The Mathematical Analysis of Logic" in 1847.

布尔的方法允许系统地和正式地证明真理，通过他在 1847 年的第一本书“逻辑的数学分析” 中引入的逻辑方程。