เงื่อนไขเชิงตรรกศาสตร์
ในแคลคูลัสเชิงประพจน์ เงื่อนไขเชิงตรรกศาสตร์ คือตัวดำเนินการทางตรรกศาสตร์ แบบทวิภาค ที่เชื่อมสองประโยค 'p' และ 'q' ให้เป็น: "ถ้า p แล้ว q" เราเรียก p ว่าเป็น สมมติฐาน (หรือ เหตุ) และ q ว่าเป็น ข้อสรุป (หรือ ผล) ตัวดำเนินการนี้มักเขียนด้วยลูกศรไปทางขวา → สมมติฐานบางครั้งก็เรียกว่าเงื่อนไขพอเพียงสำหรับข้อสรุป ในขณะที่ข้อสรุปมักถูกเรียกว่าเงื่อนไขจำเป็นสำหรับสมมติฐาน
การตีความหมายของเงื่อนไขนั้น มีได้หลายแบบ ทั้งนี้เนื่องจากเงื่อนไขนั้นเป็นตัวแทนของมโนทัศน์ที่คล้ายคลึงกันหลายๆ ประการ ซึ่งแต่ละแบบจะมีชื่อและสัญลักษณ์ที่แตกต่างกัน (เช่น →, ⊃, ⇒) มีความสัมพันธ์กันอยู่
ประโยคเงื่อนไข [แก้]
ส่วนนี้รอเพิ่มเติมข้อมูล คุณสามารถช่วยเพิ่มเติมข้อมูลในส่วนนี้ได้เงื่อนไขเชิงวัตถุ [แก้]
ค่าความจริงของนิพจน์ที่มีเงื่อนไขเชิงตรรกศาสตร์ ถูกนิยามดังตารางค่าความจริง (T=จริง F=เท็จ ) ต่อไปนี้:
| p | q | p → q |
|---|---|---|
| T | T | T |
| T | F | F |
| F | T | T |
| F | F | T |
"เงื่อนไข" ในรูปแบบนี้เรียกว่า เงื่อนไขเชิงวัตถุ หรือ ความหมายโดยนัยเชิงวัตถุ และจะเหมาะสมกว่าถ้าจะเขียนด้วยเครื่องหมาย ⊃ แทนที่จะเขียนเป็น → ซึ่งเป็นสัญลักษณ์ที่เจาะจงน้อยกว่า
แหล่งข้อมูลอื่น [แก้]
- Stanford Encyclopedia of Philosophy entry - สารานุกรมด้านปรัชญาของสแตนฟอร์ด
บทความเกี่ยวกับคณิตศาสตร์นี้ยังเป็นโครง คุณสามารถช่วยวิกิพีเดียได้โดยเพิ่มข้อมูล ดูเพิ่มที่ สถานีย่อย:คณิตศาสตร์
