命题公式等值演算