iTunes

Opening the iTunes Store.If iTunes doesn't open, click the iTunes application icon in your Dock or on your Windows desktop.Progress Indicator
Opening the iBooks Store.If iBooks doesn't open, click the iBooks app in your Dock.Progress Indicator
iTunes

iTunes is the world's easiest way to organize and add to your digital media collection.

We are unable to find iTunes on your computer. To buy and download Propositional Logic - Natural Deduction proof builder by tim selier, get iTunes now.

Already have iTunes? Click I Have iTunes to open it now.

I Have iTunes Free Download
iTunes for Mac + PC

Propositional Logic - Natural Deduction proof builder

By tim selier

Open iTunes to buy and download apps.

Description

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.

Screenshots

iPhone Screenshot 1
iPhone Screenshot 2
iPhone Screenshot 3
iPhone Screenshot 4
iPad Screenshot 1
iPad Screenshot 2
Propositional Logic - Natural Deduction proof builder
View in iTunes
This app is designed for both iPhone and iPad
  • $4.99
  • Category: Education
  • Released:
  • Version: 1.0
  • Size: 2.1 MB
  • Language: English
  • Seller:

Compatibility: Requires iOS 6.0 or later. Compatible with iPhone, iPad, and iPod touch.

Customer Ratings

We have not received enough ratings to display an average for the current version of this application.