Truth Tables

kebenaran-tabel untuk logika klasik dan sejumlah sistem non-klasik

Satu-satunya tujuan dari program ini adalah menghasilkan, dan menampilkan, tabel kebenaran.

Versi gratis ini mendukung semua connectives biasa logika klasik, yaitu negasi, konjungsi, (inklusif) disjungsi, conditonal (bahan implikasi), dan biconditional (bahan kesetaraan), serta konstanta 1 dan 0 yang menunjukkan kebenaran dan kepalsuan, masing-masing. Suatu hal yang keren adalah bahwa, selain notasi standar yang agak membosankan logika, Anda dapat menggunakan aliran berlapis, mengkilap notasi Polandia Lukasiewicz itu, juga.

Dan itu tidak berhenti di sini. Jika Anda adalah down-to-earth, yang masuk akal jenis orang, Anda akan menemukan itu meyakinkan bahwa, secara default, program ini menggunakan klasik, dua-nilai, logika. Tapi jika Anda lebih dari tipe petualang, tidak pernah berhenti pendek dari suatu perusahaan, Anda akan senang mengetahui bahwa Kebenaran Tabel untuk Android mendukung sejumlah non-klasik, sistem multi-nilai logika, juga. Tidak pernah masuk ke sungai dua kali, dan dua negatif tidak membuat penegasan, sehingga untuk berbicara!