โสรัจจ์ หงศ์ลดารมภ์.
ตรรกวิทยาสัญลักษณ์ /
โสรัจจ์ หงศ์ลดารมภ์.
- พิมพ์ครั้งที่ 3.
- กรุงเทพฯ : สำนักพิมพ์จุฬาลงกรณ์มหาวิทยาลัย, 2564 [2021]
- 300 หน้า : ภาพประกอบ.
พิมพ์ซ้ำกับฉบับพิมพ์ครั้งที่ 2, ฉบับปรับปรุง.
หนังนี้เล่มนี้ครอบคลุมหัวข้อต่างๆ ของ "ตรรกวิทยาระดับแรก" (first order logic) ทั้งหมด นับตั้งแต่วากยสัมพันธ์และอรรถศาสตร์ของการวิเคราะห์กลไกของความสมเหตุสมผล (validity) ของการอ้างเหตุผล (argument) รวมทั้งทฤษฎีการพิสูจน์ (proof theory) ทั้งในตรรกวิทยาประพจน์และตรรกวิทยาภาคแสดง ตรรกวิทยามีความสำคัญเป็นอย่างยิ่ง เนื่องจากเป็นการศึกษาเกี่ยวกับความถูกต้องและหลักเกณฑ์ต่างๆ อันเกี่ยวเนื่องกับความสัมพันธ์กันของข้อความ โดยเฉพาะที่สัมพันธ์กันเป็นรูปแบบ.
9789740340010 9740340016
สัญลักษณ์ตรรกศาสตร์และคณิตตรรกศาสตร์.
ตรรกศาสตร์.
BC135 / .ส94 2564