达能
下面是完全基于谢费尔竖线的形式系统的一个例子，它有着命题逻辑的表达能力。