暂时查不到

implicational propositional calculus

Wiktionary 没有响应，稍后再试。