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!
unduh