ตรรกศาสตร์

[NAKHON]

กำหนด เอกภพสัมพัทธ์ เป็นเซตของจำนวนจริง R(x) แทน x เป็นจำนวนจริง Q(x) แทน x เป็นจำนวนตรรกยะ
จงเขียนสัญลักษณ์แทนข้อความ $จำนวนจริง x บางตัว ไม่เป็นจำนวนตรรกยะ$ เขียนได้อย่างไรครับ

[ภูษิต นวลพิจิตร]

ข้อความเดิมเขียนโดยคุณ NAKHON

กำหนด เอกภพสัมพัทธ์ เป็นเซตของจำนวนจริง R(x) แทน x เป็นจำนวนจริง Q(x) แทน x เป็นจำนวนตรรกยะ
จงเขียนสัญลักษณ์แทนข้อความ $จำนวนจริง x บางตัว ไม่เป็นจำนวนตรรกยะ$ เขียนได้อย่างไรครับ

ต้องเข้าใจก่อนว่า

for all ในวงเล็บต้องคำว่า ถ้า...แล้ว
for some ในวงเล็บต้องคำว่า และ

$\exists x \left[\ R(x) \bigwedge \sim Q(x)\right]$

ถูกป่ะยังงี้