ผลต่างระหว่างรุ่นของ "ก็ต่อเมื่อ"
เนื้อหาที่ลบ เนื้อหาที่เพิ่ม
+redirect เงื่อนไขสองทาง |
เปลี่ยนหน้าเปลี่ยนทางเป็นบทความ ป้ายระบุ: ผู้ใช้แก้หน้าเปลี่ยนทาง |
||
บรรทัด 1:
<div class="infobox" style="border:1px solid #999; background:#fff; margin:0 0 .5em 1em; text-align:center; padding:5px; float:right; clear:right; font-size:smaller;">
<big><big><big><big><big>↔<!-- Unicode 2194 -->
⇔<!-- Unicode 21d4 -->
≡<!-- Unicode 2261, "Identical to" --></big></big></big></big></big>
<div style="line-height: 120%; text-align: left">สัญลักษณ์ทางตรรกศาสตร์<br/>สำหรับแทน'''ก็ต่อเมื่อ'''</div></div>
ในวิชา[[ตรรกศาสตร์]]และวิชาที่เกี่ยวข้อง เช่น [[คณิตศาสตร์]]และ[[ปรัชญา]] '''ก็ต่อเมื่อ'''เป็น[[ตัวดำเนินการทางตรรกศาสตร์]]แบบ[[เงื่อนไขสองทาง]]ระหว่างประพจน์
เพราะว่า'''ก็ต่อเมื่อ'''เป็น[[เงื่อนไขสองทาง]] ตัวเชื่อมนี้สามารถเปรียบเทียบกับ[[เงื่อนไขเชิงตรรกศาสตร์]]มาตรฐาน ชื่อภาษาอังกฤษของตัวเชื่อมนี้คือ '''if and only if''' มาจาก "only if" ซึ่งเท่ากับ "ถ้า ... แล้ว" รวมกับบทกลับ ("if") เมื่อเชื่อมด้วย'''ก็ต่อเมื่อ''' ประพจน์ที่เชื่อมโยงกันจะเป็นจริงได้ จำเป็นต้องมีประโยคที่เชื่อมด้วยเป็นจริง กล่าวคือ ทั้งสองประพจน์เป็นจริง หรือประพจน์เหล่านี้เป็นเท็จทั้งสองประพจน์
การเขียนที่พบได้ทั่วไปแทน P '''ก็ต่อเมื่อ''' Q ได้แก่ ''Q เป็น[[เงื่อนไขที่จำเป็นและเพียงพอ]]สำหรับ P'', ''P สมมูลกับ Q'' (ดูหน้า[[ตัวดำเนินการทางตรรกศาสตร์]]), ''P ถ้าเกิด Q เท่านั้น'', ''P เฉพาะเมื่อ Q'', ''P ในกรณี Q เท่านั้น'', และ ''P เฉพาะกรณี Q'' ผู้เขียนบางคนถือว่า "iff" ในภาษาอังกฤษไม่เหมาะสมสำหรับงานเขียนอย่างเป็นทางการ ในขณะที่บางคนยังใช้คำนี้
[[หมวดหมู่:ตรรกศาสตร์|*]]
[[หมวดหมู่:คณิตศาสตร์]]
| |||