สารานุกรมออนไลน์ | Siam Wiki
ไม่เจอคำค้นที่ต้องการ
หน้าแรก
เงื่อนไขเชิงตรรกศาสตร์
หน้าแรก
เงื่อนไขเชิงตรรกศาสตร์
ใน
แคลคูลัสเชิงประพจน์
เงื่อนไขเชิงตรรกศาสตร์
คือ
ตัวดำเนินการทางตรรกศาสตร์
แบบ
ทวิภาค
ที่เชื่อมสองประโยค 'p' และ 'q' ให้เป็น: "ถ้า p แล้ว q" เราเรียก p ว่าเป็น
สมมติฐาน
(หรือ เหตุ) และ q ว่าเป็น
ข้อสรุป
(หรือ ผล) ตัวดำเนินการนี้มักเขียนด้วยลูกศรไปทางขวา → สมมติฐานบางครั้งก็เรียกว่า
เงื่อนไขพอเพียง
สำหรับข้อสรุป ในขณะที่ข้อสรุปมักถูกเรียกว่า
เงื่อนไขจำเป็น
สำหรับสมมติฐานการตีความหมายของเงื่อนไขนั้น มีได้หลายแบบ ทั้งนี้เนื่องจากเงื่อนไขนั้นเป็นตัวแทนของมโนทัศน์ที่คล้ายคลึงกันหลาย ๆ ประการ ซึ่งแต่ละแบบจะมีชื่อและสัญลักษณ์ที่แตกต่างกัน (เช่น →, ⊃, ⇒) มีความสัมพันธ์กันอยู่
เมนูนำทาง
เงื่อนไขเชิงตรรกศาสตร์
แหล่งข้อมูลอื่น
ประโยคเงื่อนไข
เงื่อนไขเชิงวัตถุ
ใกล้เคียง
แหล่งที่มา
WikiPedia: เงื่อนไขเชิงตรรกศาสตร์
http://plato.stanford.edu/entries/conditionals/
×