all x some y กับ some y all x

คืองี้ครับ ผมลองถาม GPT มา all x some y คือไร มันบอกว่าคือ สำหรับทุกค่า x จะมีอย่างน้อยหนึ่ง y ที่ทำให้เงื่อนไขเป็นจริง เเต่อาจารของผมบอกว่ามันคือ y หนึ่งตัวที่ทำให้ x ทุกตัวเป็นจริงซึ่งผมไปถาม GPT อีกทีมันบอกว่าทีอาจารบอกมันคือ some y all x คำถามคือผมควรเชื่อใครดีครับ

มีโจทย์ด้วย
จงหาค่าความจริงของประพจน์บ่งปริมาณต่อไปนี้
∀x  ∃y[x+y>=3] เอกภำสัมพัทธ์ของ x คือ {-1,0,1,2}
                        เอกภำสัมพัทธ์ของ y คือ {1,2,3,4}