Propositional Logic - Natural Deduction proof builder at App Store analyse

App power index: 740 (based on ranks around App Stores today)
Utilities Education
Developer: tim selier
Price: 0 free
Current version: 1.0, last update: 7 years ago
First release : 09 Jul 2013
App size: 1.98 Mb
4.2 ( 6672 ratings )
follow app

Estimation application downloads and cost

> 16.28k
Monthly downloads
~ $ 6.66k
Estimation App Cost


This app will enable you to build a propositional logic proof via natural deduction. Proofpieces or inference rules, are represented by blocks which you can just drag and drop on each other to construct a bigger proof.
No search terms founded
Available in countries
Country Price
Canada 6.99 CAD
China 30 CNY
France 5.49 EUR
Germany 5.49 EUR
Italy 5.49 EUR
Netherlands 5.49 EUR
Portugal 5.49 EUR
Spain 5.49 EUR
Poland 5.49 EUR
UK 4.99 GBP
India 399 INR
Japan 600 JPY
Poland 23.99 PLN
Russia 379 RUB
Turkey 22.99 TRY
USA 4.99 USD
Korea, Republic Of 5.49 USD
Ukraine 4.99 USD
Available for devices
iPhone3GS, iPhone4, iPodTouchFourthGen, iPad2Wifi, iPad23G, iPhone4S, iPadThirdGen, iPadThirdGen4G, iPhone5, iPodTouchFifthGen, iPadFourthGen, iPadFourthGen4G, iPadMini, iPadMini4G, iPhone5c, iPhone5s, iPadAir, iPadAirCellular, iPadMiniRetina, iPadMiniRetinaCellular, iPhone6, iPhone6Plus, iPadAir2, iPadAir2Cellular, iPadMini3, iPadMini3Cellular, iPodTouchSixthGen, iPhone6s, iPhone6sPlus, iPadMini4, iPadMini4Cellular, iPadPro, iPadProCellular, iPadPro97, iPadPro97Cellular, iPhoneSE, iPhone7, iPhone7Plus, iPad611, iPad612, iPad71, iPad72, iPad73, iPad74, iPhone8, iPhone8Plus, iPhoneX,