ตารางความจริงสำหรับตรรกะคลาสสิกและสำหรับระบบที่ไม่ใช่แบบคลาสสิกจุดประสงค์เพียงอย่างเดียวของโปรแกรมนี้คือการสร้างและแสดง Truth Tables
เวอร์ชัน
3.43
ชื่อแพ็กเกจ
at.ac.univie.phl.logik.android.truthtables
หมวดหมู่
การเรียนรู้การศึกษา
ขนาด
207.08KB
วันที่เผยแพร่
March 16, 2025
ตารางความจริงสำหรับตรรกะคลาสสิกและสำหรับระบบที่ไม่ใช่คลาสสิกจำนวนหนึ่ง
วัตถุประสงค์เพียงอย่างเดียวของโปรแกรมนี้คือการสร้างและการแสดง Truth Tables
เวอร์ชันฟรีนี้รองรับการเชื่อมต่อตามปกติทั้งหมดของตรรกะคลาสสิกนั่นคือการปฏิเสธ, การรวม, (รวม) การแยก, conditonal (ความหมายของวัสดุ), และ biconditional (ความเท่าเทียมกันของวัสดุ) เช่นเดียวกับค่าคงที่ 1 และ 0 แสดงถึงความจริงและความเท็จตามลำดับ สิ่งที่ยอดเยี่ยมคือนอกเหนือจากสัญกรณ์มาตรฐานที่ค่อนข้างน่าเบื่อของตรรกะคุณอาจใช้สัญกรณ์ขัดเงาที่เรียงรายของ Lukasiewicz ด้วย
และมันไม่ได้หยุดที่นี่ หากคุณเป็นคนที่มีความรู้สึกแบบสามัญสำนึกคุณจะพบว่ามันมั่นใจได้ว่าโดยค่าเริ่มต้นโปรแกรมจะใช้ตรรกะแบบคลาสสิกสองค่าและตรรกะ แต่ถ้าคุณเป็นคนที่ชอบผจญภัยมากขึ้นอย่าหยุดยั้งองค์กรคุณจะดีใจที่ได้เรียนรู้ว่า Truth Tables สำหรับ Android สนับสนุนระบบตรรกะที่ไม่ใช่แบบคลาสสิกจำนวนมากเช่นกัน อย่าเข้าสู่แม่น้ำสองครั้งและสองลบไม่ได้ยืนยันดังนั้นพูด!
ดาวน์โหลด APK(207.08KB)