เงื่อนไขเชิงตรรกศาสตร์

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

ในแคลคูลัสเชิงประพจน์ เงื่อนไขเชิงตรรกศาสตร์ คือตัวดำเนินการทางตรรกศาสตร์ แบบทวิภาค ที่เชื่อมสองประโยค 'p' และ 'q' ให้เป็น: "ถ้า p แล้ว q" เราเรียก p ว่าเป็น สมมติฐาน (หรือ เหตุ) และ q ว่าเป็น ข้อสรุป (หรือ ผล) ตัวดำิเนินการนี้มักเขียนด้วยลูกศรไปทางขวา "→" สมมติฐานบางครั้งก็เรียกว่าเงื่อนไขพอเพียงสำหรับข้อสรุป ในขณะที่ข้อสรุปมักถูกเรียกว่าเงื่อนไขจำเป็นสำหรับสมมติฐาน

ต้องย้ำว่าในตรรกศาสตร์นั้น การตีความหมายของเงื่อนไขนั้น มีได้หลายแบบ ทั้งนี้เนื่องจากเงื่อนไขนั้นเป็นตัวแทนของมโนทัศน์ที่คล้ายคลึงกันหลายๆ ประการ ซึ่งแต่ละแบบจะมีชื่อและสัญลักษณ์ที่แตกต่างกัน (เช่น ⇒ และ ⊃)


[แก้] ประโยคเงื่อนไข

(รอการเพิ่มเติมเนื้อหา)

[แก้] เงื่อนไขเชิงวัตถุ

ค่าความจริงของนิพจน์ที่มีเงื่อนไขเชิงตรรกศาสตร์มัก (แต่ไม่เสมอไป) ถูกนิยามดังตารางค่าความจริงต่อไปนี้:

p q pq
T T T
T F F
F T T
F F T

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

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

[แก้] ลิงก์ภายนอก