Truth Tables APK
Uygulama hakkında bilgi
Sürüm 3.43 (#45)
Güncellendi 15 November 2013
APK Boyutu 207.1 KB
Gereken Android sürümü Android 2.2+ (Froyo)
Sunan Erpelstolz
Kategori Ücretsiz Eğitim Uygulama
Uygulama id at.ac.univie.phl.logik.android.truthtables
Geliştirici notları Klasik mantık ve klasik olmayan sistemlerde bir dizi için gerçeği masalar
Ekran Görüntüsü Resmi
Tam boyutunu görmek için resmin üzerine tıklayın
İçindekiler Tablosu
En son güncellemeler
Truth Tables 3.43 deki yenilikler
* cleaning up layouts (please report any problem with exotic devices)
* allowing "*" and "+" for conjunction and disjunction, respectively (requested by a user)
* optionally showing separator lines between main columns (requested by a user)
* on-screen keyboard optionally showing the propositional letters A, B, C,... instead of P, Q, R,... (requested by a user)
Açıklama
Bu ücretsiz sürümü klasik mantığın tüm olağan connectives destekler, yani sırasıyla olumsuzlama, bağlaç, (dahil) ayrıksama, conditonal (malzeme ima) ve gerektirme biconditional (malzeme denklik) yanı sıra, gerçeği ve yalanı ifade eden sabitleri 1 ve 0 vardır. Serin bir şey mantık biraz sıkıcı standart gösterimde yanında, sen de, Łukasiewicz en dere-astarlı, parlak Polonyalı notasyonu kullanabilir olmasıdır.
Ve burada bitmiyor. Eğer kişi aşağı-toprak, sağduyu tür iseniz, bunu güven verici varsayılan olarak, programın klasik, iki-değerli, mantık kullanır, göreceksiniz. Bir işletmenin kısa durdurma asla maceracı türü daha vardır Ama eğer Android de, mantık dışı klasik, çok değerli sistemleri destekler için o Truth Tablolar öğrenmek için mutluluk olacaktır. Iki kez bir nehir girmeyin, ve iki negatif bir olumlama yapmazlar, tabiri caizse!
Reytingler ve İncelemeler
Kullanıcı oyu: 4.1 / 5 · 5+ oy
(*) gereklidir