Binary Logic คืออะไร?

ลอจิกไบนารีหรือที่เรียกว่าตรรกะสองค่าหรือบูลีนเป็นชุดของกฎสำหรับการจัดการกับข้อเสนอที่ต้องเป็นจริงหรือเท็จแอปพลิเคชั่นหลักของมันอยู่ในการเขียนโปรแกรมคอมพิวเตอร์และคณิตศาสตร์แม้ว่าจะมีเกมสันทนาการและปริศนาตามตรรกะที่เป็นทางการมากขึ้นทางเลือกของตรรกะไบนารีคือตรรกะ“ ฟัซซี่” ซึ่งอนุญาตให้มีคำสั่งที่ไม่จริงหรือเท็จและข้อความที่มีระดับความเป็นจริง

ข้อเสนอเป็นตัวถูกดำเนินการหลักของตรรกะไบนารีในลักษณะเดียวกับที่ตัวเลขเป็นตัวถูกดำเนินการหลักของเลขคณิตโดยทั่วไปแสดงโดยทั่วไปโดยตัวอักษรตัวเดียวข้อเสนอเป็นคำแถลงที่ต้องเป็นจริงหรือเท็จเช่น“ บิลสูงกว่าหกฟุต” หรือ“ สองบวกสองเท่ากับห้า”ข้อความเชิงอัตวิสัยเช่น“ Suzi นั้นสวย” โดยทั่วไปไม่สามารถถือว่าเป็นข้อเสนอได้เนื่องจากความจริงของพวกเขาขึ้นอยู่กับมุมมองข้อเสนอควรหลีกเลี่ยงคำสรรพนามเนื่องจากการเปลี่ยนแปลงในคำสรรพนามของผู้อ้างอิงเปลี่ยนลักษณะของข้อเสนอ

มีการดำเนินการสามประการที่พบได้ทั่วไปสำหรับระบบลอจิกไบนารีทั้งหมดและหรือและไม่นอกจากนี้ระบบลอจิกจำนวนมากเพิ่มการดำเนินงานหาก..จากนั้นถ้าหากและ Eor เท่านั้นสัญกรณ์แตกต่างกันอย่างมากดังนั้นจึงเป็นสิ่งสำคัญที่จะยังคงสอดคล้องกันในวิธีที่คนหนึ่งเขียนตรรกะไบนารี

การดำเนินการปฏิเสธไม่ใช่การดำเนินการรวมที่ใช้กับข้อเสนอเดียวสำหรับข้อเสนอที่กำหนด A ไม่ใช่ A เป็นเท็จถ้า A เป็นจริงและไม่ใช่ -A เป็นจริงถ้า A เป็นเท็จการดำเนินงานและการดำเนินการสร้างข้อเสนอสารประกอบใหม่จากสองข้อเสนอที่ง่ายกว่าเช่น“ บิลสูงกว่าหกฟุตและสองบวกสองเท่ากับห้า”ข้อเสนอใหม่นี้เป็นจริงหากข้อเสนอทั้งสองที่ทำให้เป็นจริงมิฉะนั้นจะเป็นเท็จการดำเนินการหรือยังสร้างข้อเสนอใหม่จากสองข้อเสนอที่ง่ายกว่าเช่น“ บิลสูงกว่าหกฟุตหรือสองบวกสองเท่ากับห้า”A หรือ B เป็นข้อเสนอที่แท้จริงหาก A เป็นจริงถ้า B เป็นจริงหรือถ้าทั้งคู่เป็นจริงมันเป็นเท็จเฉพาะถ้าทั้ง A และ B เป็นเท็จ

การดำเนินการอื่น ๆ จะไม่รวมอยู่ในระบบลอจิกไบนารีทั้งหมดการดำเนินการตามเงื่อนไขหาก A B นั้นเป็นเท็จเฉพาะเมื่อ A เป็นจริงและ B เป็นเท็จและเป็นจริงเป็นอย่างอื่นดังนั้นมันจึงสามารถแสดงเป็น Not-A หรือ B IF และเฉพาะในกรณีที่การดำเนินการเรียกว่าการดำเนินการ biconditionalเป็นจริงถ้า A และ B เป็นทั้งความจริงและเท็จถ้า A และ B มีค่าความจริงที่แตกต่างกันการดำเนินการ EOR เป็นทางเลือกที่เข้มงวดทั้ง A หรือ B แต่ไม่ใช่ทั้งสองอย่างมันเป็นสิ่งที่ตรงกันข้ามกับ biconditional, จริงถ้า a และ b มีค่าที่แตกต่างกันและเท็จหากพวกเขามีค่าความจริงที่ตรงกับ

ข้อได้เปรียบของตรรกะไบนารีคือมันให้ชุดของกฎอย่างเป็นทางการที่สามารถใช้ในการทดสอบข้อเสนอสำหรับความขัดแย้ง.ด้วยเหตุนี้ตรรกะจึงมีแอพพลิเคชั่นมากมายในวิชาคณิตศาสตร์เชิงทฤษฎีและวิทยาศาสตร์คอมพิวเตอร์ข้อเสียคือกฎเหล่านั้นทำงานเฉพาะกับข้อความที่เป็นจริงหรือเท็จอย่างแน่นอนและสามารถให้ผลลัพธ์ที่ไม่น่าเชื่อถือเมื่อใช้กับคำสั่ง vaguer