ฉันกำลังอ่านเกี่ยวกับอัลกอริทึม (เป็นอัลกอริทึมการค้นหาเส้นทางตาม A *) และมีสัญลักษณ์ทางคณิตศาสตร์ที่ฉันไม่คุ้นเคย: ∀
นี่คือบริบท:
v (s) ≥ g (s) = นาทีs'∈pred (s) (v (s ') + c (s', s)) ∀s เริ่มต้น
ใครสามารถอธิบายความหมายของ∀?
คำตอบ:
นั่นคือสัญลักษณ์ "forall" (สำหรับทุกคน) ดังที่เห็นในตารางสัญลักษณ์ทางคณิตศาสตร์ของ Wikipediaหรืออักขระ Unicode forall ( \u2200, ∀)
คว่ำลงสัญลักษณ์เป็นปริมาณสากลจากตรรกะกริยา (ดูการอภิปรายที่สมบูรณ์ยิ่งขึ้นเกี่ยวกับแคลคูลัสเพรดิเคตลำดับที่หนึ่ง) ดังที่คนอื่น ๆ กล่าวไว้หมายความว่าการยืนยันที่ระบุถือเป็น "สำหรับอินสแตนซ์ทั้งหมด" ของตัวแปรที่กำหนด (ที่นี่s ) ในไม่ช้าคุณจะพบกับพี่น้องของมันซึ่งเป็นทุนEย้อนหลังซึ่งเป็นตัวระบุอัตถิภาวนิยมซึ่งหมายความว่า "มีอยู่อย่างน้อยหนึ่งตัว" ของตัวแปรที่กำหนดซึ่งสอดคล้องกับการยืนยันที่เกี่ยวข้อง
หากคุณสนใจเรื่องตรรกะคุณอาจชอบหนังสือLogic and Databases: The Roots of Relational Theoryตาม CJ Date มีหลายบทที่ครอบคลุมตัวบ่งชี้เหล่านี้และผลกระทบเชิงตรรกะ คุณไม่จำเป็นต้องทำงานกับฐานข้อมูลเพื่อรับประโยชน์จากการครอบคลุมตรรกะของหนังสือเล่มนี้
ในทางคณิตศาสตร์∀หมายถึงสำหรับทุกคน
อักขระ Unicode (\ u2200, ∀)
สามารถอ่านได้ว่า "สำหรับทุกคนเช่นนั้น s ไม่เท่ากับ s [เริ่ม]"
ใช่นี่คือตัวระบุปริมาณที่รู้จักกันดีที่ใช้ในคณิตศาสตร์ อีกตัวอย่างหนึ่งคือ∃ซึ่งอ่านว่า "มีอยู่"