原文:一个命题逻辑的排斥演算系统