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

  นิยาม 2    ค่าความจริงของ p v q โดยตารางค่าความจริงดังนี้

    ตัวอย่าง 2   จงหาค่าความจริงของ คนมี 3 ขาหรือนกเป็นสัตว์ปีก
           ให้          p แทน คนมี 3ขา               มีค่าความจริงเป็นเท็จ
                         q แทน นกเป็นสัตว์ปีก        มีค่าความจริงเป็น เท็จ
  จะได้ pvq:คนมี3ขาหรือนกเป็นสัตว์ปีก      มีค่าความจริงเป็นเท็จ

  การเชื่อมประพจน์ด้วยตัวเชื่อม " ถ้า แล้ว " ( conditional )
  ถ้า p และ q เป็นประพจน์ เขียนแทนประพจน์ " ถ้า p แล้ว q " ด้วย " p ®q "
  

นิยาม 3   ค่าความจริงของ p ®q โดยตารางค่าความจริงดังนี้

   การเชื่อมประพจน์ด้วยตัวเชื่อม " ก็ต่อเมื่อ " (biconditional)
   ถ้า p และ q เป็นประพจน์ เขียนแทนประพจน์ "p ก็ต่อเมื่อ q " ด้วย "p « q "
    นิยาม 4   ค่าความจริงของ p «q โดยตารางค่าความจริงดังนี้