标签：形式逻辑的命题与推理可以基于和的运算来实现C