1/2
Natural Deduction
Güvenilir1K+İndirme
1MBBoyut
2.2.x+1.5(29-06-2020)En son sürüm
PEGI-3DetaylarİncelemelerSürümlerBilgi
1/2
Natural Deduction açıklaması
Play with this app and build some proofs in natural deduction style.
Clicking on a formula automatically expands it with possible rules.
Assumptions are printed in blue. Selected one of them generates a new subtree.
Attaching two trees is done by dragging the root of the first one to the leaf of the second one.
If there only one possibility, this attachment is performed automatically.
The proof is done when the tree is surrounded by a red rectangle.
Have fun! Logic is fun
Natural Deduction - APK Bilgisi
APK sürümü: 1.5Paket: org.inria.peanowareAd: Natural DeductionBoyut: 1 MBİndirme: 7Sürüm : 1.5Yayın Tarihi: 2020-06-29 04:47:32Min Ekran: SMALLDesteklenen CPU:
Paket kimliği: org.inria.peanowareSHA1 İmzası: 47:F7:D3:53:80:25:D8:14:7A:E6:61:88:5E:94:02:7F:84:18:95:54Geliştirici (CN): Laurent THERYKurum (O): INRIAYerel (L): Ülke (C): 33Eyalet/Şehir (ST): Paket kimliği: org.inria.peanowareSHA1 İmzası: 47:F7:D3:53:80:25:D8:14:7A:E6:61:88:5E:94:02:7F:84:18:95:54Geliştirici (CN): Laurent THERYKurum (O): INRIAYerel (L): Ülke (C): 33Eyalet/Şehir (ST):
Natural Deduction uygulamasının en son sürümü
1.5
29/6/20207 i̇ndirme1 MB Boyut
Aynı kategorideki uygulamalar
English
