彼の用いた真理値表は、今では命題論理の意味論を説明するための標準的な手段となっているが、これはそれなしだった場合よりも厳密な考慮を形式論理学にもたらす。
他使用了真值表，它现在是解释句子逻辑的语义标准方法，并给出一种严格但相当晦涩的形式逻辑。