§5.2 命题公式（proposition formula）与等值演算（equivalent calculus）