gößt 約5年以前 (1) ∀x,y (p(x)∧p(y) ⇒ p(x+y)) (2) ¬(∀x,y (p(x)∧p(y) ⇒ p(x-y))) (3) ∀x (p(x) ⇒ ¬q(x)) (4) ∀x (¬p(x) ⇒ q(x)) ですかね ∧:and, ¬not の意味で使っています。授業で使っている論理記号がなにか分からなかったので適宜直してください 留言