こんにちは、ももやまです！ 今回は、多くの人が苦手としている2変数以上の述語論理の読み方の練習問題をもってきました！ １．基本的な述語論理読み方のルール ＼( ＼forall x ＼ P(x) ＼)