ข้ามไปเนื้อหา

ข้อตาม

จากวิกิพีเดีย สารานุกรมเสรี
(เปลี่ยนทางจาก Consequent)

ข้อตาม (อังกฤษ: Consequent) เป็นครึ่งหลังของประพจน์เชิงสมมติฐาน มันเป็นส่วนที่ตามหลังคำว่า "แล้ว" ในประพจน์ที่มีรูปแบบมาตรฐาน ในเงื่อนไขเชิงตรรกศาสตร์ถ้า P แล้ว Q P จะเรียกว่าข้อนำ (Antecedent (logic)) และ Q เรียกว่าข้อตาม[1] ในบางบริบทอนุบทในภาษาอังกฤษก็อาจเรียกว่า apodosis[2]

ตัวอย่าง:

  • ถ้า แล้ว .

เป็นข้อตามของประพจน์เชิงสมมติฐานนี้

  • ถ้า เป็นสัตว์เลี้ยงลูกด้วยนม แล้ว เป็นสัตว์

ในที่นี้ " เป็นสัตว์" คือข้อตาม

  • ถ้าคอมพิวเตอร์คิดเป็น แล้วแสดงว่าพวกมันมีชีวิต

"พวกมันมีชีวิต" เป็นข้อตาม

ข้อตามที่อยู่ในประพจน์เชิงสมมติฐานไม่จำเป็นต้องเป็นผลพวงของข้อนำ

"ปลาพูดภาษาคลิงงอน" เป็นข้อตาม แต่ไม่ได้เป็นผลพวงของ (หรือไม่เกี่ยวกันเลยกับ) คำกล่าวอ้างในข้อนำว่า "ลิงสีม่วง"

ดูเพิ่ม

[แก้]


อ้างอิง

[แก้]
  1. Sets, Functions and Logic - An Introduction to Abstract Mathematics, Keith Devlin, Chapman & Hall/CRC Mathematics, 3rd ed., 2004
  2. ดู Conditional sentence.