蕴涵命题演算

implicative propositional calculus