Thus, for example, φ & ψ is satisfied if and only if both φ and ψ are satisfied.
因此，舉例來說，φ & ψ會被滿足，若且唯若φ 和ψ 都會被滿足。