邏輯斯諦方程式;推理方程式