เงื่อนไขสองทาง

จากวิกิพีเดีย สารานุกรมเสรี

ในแคลคูลัสเชิงประพจน์ เงื่อนไขสองทางเชิงตรรกศาสตร์ คือตัวดำเนินการทางตรรกศาสตร์ที่เชื่อมประโยคสองประโยคในรูปแบบ p ก็ต่อเมื่อ q, โดยที่ p มักถูกเรียกว่า สมมติฐาน และ q เรียกว่า ข้อสรุป   ตัวดำเนินการนี้ถูกเขียนด้วยลูกศรชี้สองทาง "\leftrightarrow" และสมมูลกับ (p \rightarrow q) \land (q \rightarrow p)

สมมติฐานมักถูกเรียกว่าเงื่อนไขที่จำเป็น ในขณะที่ข้อสรุปเรียกว่าเงื่อนไขที่เพียงพอ

เงื่อนไขสองทางในภาษาอังกฤษมักใช้ว่า if and only if (เมื่อและต่อเมื่อ) หรือเขียนย่อเป็น iff เช่น p iff q ส่วนการเขียนแบบอื่นที่มีใช้นั้นรวมไปถึง p จำเป็นและพอเพียงสำหรับ q หรือ p precisely if q (ก็ต่อเมื่อ)

เงื่อนไขสองทางนิยามด้วยตารางค่าความจริงต่อไปนี้:

P Q P \leftrightarrow Q
F F T
F T F
T F F
T T T


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