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