Σ₀論理式