Satu-satunya tujuan dari program ini adalah menghasilkan, dan menampilkan, tabel kebenaran.
Versi gratis ini mendukung semua ikat logika klasik yang biasa, yaitu negasi, konjungsi, (inklusif) disjunction, conditonal (implikasi material), dan bikondisi (kesetaraan material), serta konstanta 1 dan 0 yang menunjukkan kebenaran dan kepalsuan, masing-masing. Hal yang keren adalah bahwa, selain notasi standar logika yang agak membosankan, Anda dapat menggunakan notasi Polandia Lukasiewicz yang dilapisi aliran, mengkilap juga.
Dan itu tidak berhenti di sini. Jika Anda adalah orang yang down-to-earth, akal sehat, Anda akan menemukannya meyakinkan bahwa, secara default, program ini menggunakan logika klasik, dua nilai, dan umum. Tetapi jika Anda lebih dari jenis petualang, tidak pernah berhenti kekurangan perusahaan, Anda akan senang mengetahui bahwa Tabel Kebenaran untuk Android mendukung sejumlah sistem logika non-klasik dan multinilai juga. Jangan pernah memasuki sungai dua kali, dan dua negatif tidak membuat penegasan, sehingga untuk berbicara!
Riwayat versi
- Versi 3.43 diposting di 2013-11-14
* NAND dan NOR lebih menonjol untuk sebagian besar ukuran layar (diminta oleh pengguna),* membersihkan tata letak (silakan laporkan masalah dengan perangkat eksotis),* memungkinkan "*" dan "+" untuk konjungsi dan disjunction, masing-masing (diminta oleh pengguna),* secara opsional menampilkan garis pemisah di antara kolom utama (diminta oleh pengguna),* keyboard di layar secara opsional menunjukkan huruf proposisi A, B, C,... bukan P, Q, R,... (diminta oleh pengguna) - Versi 2.101 diposting di 2011-05-02
Beberapa perbaikan dan pembaruan
Detil Program
- Kategori: Pendidikan > Alat Pengajaran & Pelatihan
- Penerbit: Erpelstolz
- Lisensi: Gratis
- Harga: N/A
- Versi: 3.43
- Platform: android