ดูต้นฉบับสำหรับ ข้อตาม

'''ข้อตาม''' ({{langx|en|Consequent}}) เป็นครึ่งหลังของ[[ประพจน์]]เชิงสมมติฐาน มันเป็นส่วนที่ตามหลังคำว่า "แล้ว" ในประพจน์ที่มีรูปแบบมาตรฐาน ใน[[เงื่อนไขเชิงตรรกศาสตร์]]ถ้า ''P'' แล้ว ''Q'' ''P'' จะเรียกว่า[[ข้อนำ]] (Antecedent (logic)) และ ''Q'' เรียกว่า'''ข้อตาม'''<ref>Sets, Functions and Logic - An Introduction to Abstract Mathematics, Keith Devlin, Chapman & Hall/CRC Mathematics, 3rd ed., 2004</ref> ในบางบริบทอนุบทในภาษาอังกฤษก็อาจเรียกว่า '''''apodosis'''''<ref>ดู [[:en:Conditional sentence|Conditional sentence]].</ref>

ตัวอย่าง:

* ถ้า <math>P</math> แล้ว <math>Q</math>.

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

* ถ้า <math>X</math> เป็นสัตว์เลี้ยงลูกด้วยนม แล้ว <math>X</math> เป็นสัตว์

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

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

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

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

* ถ้าลิงสีม่วง แล้วปลาพูด[[ภาษาคลิงงอน]]

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

==ดูเพิ่ม==
{{วิกิพจนานุกรมอังกฤษ|consequent}}

* [[ข้อนำ]] (Antecedent (logic))
* [[ความจำเป็นและความพอเพียง]] (Necessity and sufficiency)

==อ้างอิง==
{{รายการอ้างอิง}}

[[หมวดหมู่:เงื่อนไข]]

{{โครงตรรกศาสตร์}}