ตรรกศาสตร์เป็นส่วนสำคัญในการสร้างคอมพิวเตอร์และส่วนสำคัญของชีวิตคนครับ จริง ๆ แล้วในการสร้างเครื่องคอมพิวเตอร์ สร้างโปรแกรมคอมพิวเตอร์ หรือออกแบบระบบคอมพิวเตอร์ใด ๆ เราใช้ตรรกศาสตร์ที่ซับซ้อนกันพอสมควร แต่ตรรกศาสตร์ง่าย ๆ รูปแบบหนึ่งที่เป็นพื้นฐานแทบทุกสิ่งของคอมพิวเตอร์ และหมายรวมไปถึงชีวิตมนุษย์อย่างเราด้วย ตรรกศาสตร์รูปแบบง่าย คือ กฎ ถ้า...แล้ว
ในความเป็นจริง กฎ ถ้า...แล้ว เริ่มมีมาตั้งแต่จำความได้ ยกตัวอย่างเช่น ถ้าทำดี แล้ว คุณแม่จะชื่นชม หรือถ้าดื้อ แล้วคุณแม่จะตี พอโตขึ้นมาเราก็ยังอยู่ภายใต้กฎ ถ้า...แล้ว อยู่ดี แต่อาจเป็นเงื่อนไขที่ซับซ้อนยิ่งขึ้น เช่น ถ้าขับรถฝ่าไฟแดงและกล้อง วงจรปิดจับภาพได้ แล้วตำรวจจะออกใบสั่ง (ซึ่งกล้องวงจรปิดมักจะไม่เสียในกรณีนี้ แต่มักจะเสียในกรณีร้ายแรงกว่านี้เสมอ)
เพื่อให้เห็นภาพชัดเจน มากยิ่งขึ้น ลองพิจารณากฎง่าย ๆ กฎข้อนี้มีอยู่ว่า ถ้าฝนตก แล้วพื้นจะเปียก ซึ่งเป็นกฎธรรมชาติที่สามารถพิจารณาผลของกฎข้อนี้ได้พร้อม ๆ กัน แน่นอนว่า ในกรณีที่ฝนตกนั้น พื้นย่อมเปียก ส่วนในกรณีที่ฝนไม่ตก พื้นอาจจะเปียกหรือไม่เปียกก็ได้ และจะไม่มีกรณีที่ฝนตก แต่พื้นไม่เปียก ทั้งหมดนี้เป็นความจริงที่สอดคล้องกันตามกฎข้อนี้
ความสามารถอย่างหนึ่งของมนุษย์ที่อาจจะไม่เคยรู้มาก่อน นั่นคือ คิดย้อนจากผลกลับไปหาเหตุ ดังนั้น ถ้าเดินออกไปแล้วเจอพื้นเปียก จะสามารถสรุปได้หรือไม่ ว่าเกิดเหตุการณ์อะไรขึ้น คำตอบที่ถูกต้อง คือไม่สามารถสรุปได้ ว่าฝนตกหรือฝนไม่ตก ก็เพราะในกรณีที่พื้นเปียกนั้น ฝนอาจตกหรือไม่ตกก็ได้ ซึ่งทั้งสองกรณีนี้สอดคล้องกับกฎทั้งคู่ อาจจะมีฝนตกจริง ๆ หรืออาจจะมีใครเอาน้ำไปราดพื้นก็เป็นได้
ไม่มีความคิดเห็น:
แสดงความคิดเห็น