การวิเคราะห์ 'ความเป็นไปได้ (Possibility)' 'ความจำเป็น (Necessity)' และ 'ความบังเอิญ (Contingency)' ของประพจน์เป็นส่วนหนึ่งของศาสตร์ใด
กตรรกศาสตร์คลาสสิก
ขทฤษฎีเซต
คตรรกศาสตร์นัยโดย (Modal Logic)
งปรัชญาศาสตร์
เฉลยอธิบาย
ตรรกศาสตร์นัยโดย (Modal Logic) เป็นการขยายตรรกศาสตร์คลาสสิก โดยเพิ่มตัวดำเนินการนัยโดย เช่น 'จำเป็น' '◻' (necessarily) และ 'เป็นไปได้' '◇' (possibly) และ 'บังเอิญ' (contingent) เพื่อวิเคราะห์ว่าประพจน์ใดเป็นจำเป็น เป็นไปได้ หรือบังเอิญ ตัวเลือก A ไม่ศึกษาสิ่งเหล่านี้ ตัวเลือก C ไม่เกี่ยวข้อง ตัวเลือก D เป็นบริบทที่กว้างเกินไป