回答

(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
の意味で使っています。授業で使っている論理記号がなにか分からなかったので適宜直してください

この回答にコメントする
疑問は解決しましたか?

この質問を見ている人は
こちらの質問も見ています😉