→ a)。採用否定和薀涵做为命题演算的两个基本运算，相当于把omega集formula_37划分如下：有一个公理系统是扬·武卡谢维奇所发现的，而这系统可以如下地公式化为此语言中的命题演算。各个公理都是由下列的公理模式作代换所得。其推理规则为肯定前件（即可由p和(p → q)导出q）。而a ∨ b和a ∧ b则是分别被定义为¬a → b和¬(a → ¬b)。
自然演绎系统.设formula_43，这里的formula_34定义如下：在此命题演算的例子中，转换规则被