ตรรกศาสตร์ ม.4 เรื่อง for all,for some มีเรื่องสงสัยนิดนึงค่ะ

เวลาเราจะเปลี่ยนจากข้อความเช่น "จำนวนตรรกยะทุกจำนวนเป็นจำนวนจริง" เป็นแบบที่มี for all ด้วยเราจะเขียนได้ยังไงคะ
เขียนเป็น Ax[x เป็นจำนวนตรรกยะ -> x เป็นจำนวนจริง]
หรือ Ax[x เป็นจำนวนตรรกยะ ^ x เป็นจำนวนจริง]
ไม่รู้ว่าต้องใช้ -> ถ้า...แล้ว หรือว่าใช้ ^ และ