Truth Tables
8.1
3.43
2025-01-10
versi terbaru
Tabel kebenaran untuk logika klasik dan untuk sejumlah sistem non-klasik
Satu -satunya tujuan program ini adalah menghasilkan, dan menampilkan, Truth Tables .
Versi gratis ini mendukung semua penghubung yang biasa dari logika klasik, yaitu negasi, konjungsi, (inklusif) disjungsi, konditonal (implikasi material), dan biconditional (kesetaraan material), serta konstanta 1 dan 0 yang menunjukkan kebenaran dan kepalsuan, masing -masing. Suatu hal yang keren adalah bahwa, selain notasi logika standar yang agak membosankan, Anda dapat menggunakan notasi Polandia yang dikilap di Lukasiewicz, juga.
Dan itu tidak berhenti di sini. Jika Anda adalah orang yang sederhana dan akal sehat, Anda akan menemukan bahwa, secara default, program ini menggunakan logika klasik, bernilai dua,. Tetapi jika Anda lebih dari tipe petualang, tidak pernah berhenti dari perusahaan, Anda akan senang mengetahui bahwa Truth Tables untuk Android mendukung sejumlah sistem logika yang tidak bernilai-klasik juga. Jangan pernah memasuki sungai dua kali, dan dua negatif tidak membuat penegasan, jadi untuk berbicara!
Apa yang baru di versi terbaru 3.43
Terakhir diperbarui pada 3 Agustus 2015 * NAND dan juga tidak lebih menonjol untuk sebagian besar ukuran layar (diminta oleh pengguna)* membersihkan tata letak (harap laporkan masalah apa pun dengan perangkat eksotis)
* Mengizinkan "*" dan "+" untuk konjungsi dan disjungsi, masing -masing (diminta oleh pengguna)
* Secara opsional menunjukkan garis pemisah antara kolom utama (diminta oleh pengguna)
* Keyboard di layar secara opsional menunjukkan huruf proposisional a, b, c, ... bukan p, q, r, ... (diminta oleh pengguna)
Memperluas
Truth Tables tangkapan layar
Rekomendasi perangkat lunak
