ตรรกศาสตร์

ตรรกศาสตร์เบื้องต้น

      ประพจน์
   ประพจน์(statement or proposition) คือ ประโยคที่บอกค่าความจริง 
   (truth value)ได้ว่าเป็นจริง (true) หรือ เท็จ (False) เพียงอย่างใดอย่างหนึ่งเท่านั้น
  โดยทั่วไปจะใช้อักษรภาษาอังกฤษแทนประพจน์
                  ตัวบ่งปริมาณ
    ในวิชาคณิตศาสตร์จะพบว่ามีการใช้ข้อความ สำหรับ x ทุกตัว และ สำหรับ x บางตัว 
  เรียก " สำหรับ …ทุกตัว " และ " สำหรับ…บางตัว " ว่า " ตัวบ่งปริมาณ "         

 R แทน เซตของจำนวนจริง
Q แทน เซตของจำนวนตรรกยะ
I  หรือ Z แทน เซตของจำนวนเต็ม
N แทน เซตของจำนวนนับ

     การเขียนสัญลักษณ์แทนประโยคเปิดที่มีตัวบ่งปริมาณ เราจะต้องเขียนเอกภพสัมพัทธ์
กำกับไว้เสมอ เพื่อจะได้ทราบขอบเขตของตัวแปรว่าแทนสิ่งใด แต่ในกรณีที่เอกภพสัมพัทธ์
เป็นเซตของจำนวนจริง มักนิยมละการเขียนเอกภพสัมพัทธ์ นอกจากนี้ในการศึกษาเกี่ยวกับ
เซตนิยมละการเขียนเอกภพสัมพัทธ์เช่นเดียวกัน