逻辑推理,命题和运算