(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
の意味で使っています。授業で使っている論理記号がなにか分からなかったので適宜直してください
คำตอบ
ข้อสงสัยของคุณเคลียร์แล้วหรือยัง?
เมื่อดูคำถามนี้แล้ว
ก็จะเจอคำถามเหล่านี้ด้วย😉