在元组演算中，如果φ1φ2是公式，__、也是公式。