15/06/11 22:24:49.45 bGUttT8X.net
すいません訂正です。
⇔ｆ（a）∈ｆ（P_1）またはa∈ｆ（P_2） （5）
訂正 → ⇔ｆ（a）∈ｆ（P_1）またはｆ（a）∈ｆ（P_2） （5）
15/06/11 22:24:49.45 bGUttT8X.net
すいません訂正です。
⇔ｆ（a）∈ｆ（P_1）またはa∈ｆ（P_2） （5）
訂正 → ⇔ｆ（a）∈ｆ（P_1）またはｆ（a）∈ｆ（P_2） （5）
15/06/11 22:24:49.45 bGUttT8X.net
すいません訂正です。
⇔ｆ（a）∈ｆ（P_1）またはa∈ｆ（P_2） （5）
訂正 → ⇔ｆ（a）∈ｆ（P_1）またはｆ（a）∈ｆ（P_2） （5）