Where traditional (Aristotelian) lo

Where traditional (Aristotelian) logic relied on cataloging the valid syllogisms of various simple forms, Boole's method provided general algorithms in an algebraic language which applied to an infinite variety of arguments of arbitrary complexity. These results appeared in two major works, The Mathematical Analysis of Logic (1847) and The Laws of Thought (1854).

ผลลัพธ์ (ไทย) 1:

ซึ่งตรรกะแบบดั้งเดิม (Aristotelian) อาศัยบนแค็ต syllogisms ถูกต้องของแบบฟอร์มต่าง ๆ แบบง่าย วิธีการของหญิงปูเล่ให้อัลกอริทึมทั่วไปเป็นภาษาเชิงพีชคณิตที่ใช้เป็นอาร์กิวเมนต์ของกำหนดความซับซ้อนหลากหลายอนันต์ ผลลัพธ์เหล่านี้ปรากฏในสองหลักการทำงาน คณิตศาสตร์วิเคราะห์ของตรรกะ (1847) และการกฎหมายของความคิด (1854)

ผลลัพธ์ (ไทย) 2:

ในกรณีที่แบบดั้งเดิม (อริสโตเติ้) ตรรกะที่พึ่งลงรายการ syllogisms ที่ถูกต้องในรูปแบบที่เรียบง่ายต่างๆวิธีการให้ Boole ของอัลกอริทึมในภาษาพีชคณิตซึ่งนำไปใช้กับหลากหลายไร้ขีด จำกัด ของการขัดแย้งของความซับซ้อนโดยพลการ ผลลัพธ์เหล่านี้ปรากฏอยู่ในผลงานที่สำคัญสอง, การวิเคราะห์ทางคณิตศาสตร์ของลอจิก (1847) และกฎหมายของความคิด (1854)

ผลลัพธ์ (ไทย) 3:

ที่ดั้งเดิม ( อริสโตเติล ) อาศัยการอ้างเหตุผลตรรกะรายการที่ถูกต้องของรูปแบบง่าย ๆ วิธีการ บูลให้ขั้นตอนวิธีทั่วไปในภาษาพีชคณิตซึ่งใช้กับความหลากหลายไม่มีที่สิ้นสุดของอาร์กิวเมนต์ของความซับซ้อนโดยพลการ ผลลัพธ์เหล่านี้ปรากฏอยู่ใน 2 ชิ้นใหญ่ การวิเคราะห์ทางคณิตศาสตร์ของตรรกศาสตร์ ( 1847 ) และกฎหมายของความคิด ( 1854 )