(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
の意味で使っています。授業で使っている論理記号がなにか分からなかったので適宜直してください
Answers
Apa kebingunganmu sudah terpecahkan?
Pengguna yang melihat pertanyaan ini
juga melihat pertanyaan-pertanyaan ini 😉