| バージョン | 2.0 |
|---|---|
| 出版社 | Hatzic Intellectual Software |
| 発売日 | 2016/06/10 |
| 追加された日付 | 2016/06/10 |
| OSの要件 | iOS |
| 要件 | Compatible with: ipad2wifi, ipad23g, iphone4s, ipadthirdgen, ipadthirdgen4g, iphone5, ipodtouchfifthgen, ipadfourthgen, ipadfourthgen4g, ipadmini, ipadmini4g |
| 総ダウンロード数 | 7 |
| 価格 | $0.99 |
説明
あなたは論理が数学よりも簡単だと思っていました。今、あなたは派生を行っていて、コースをドロップするには遅すぎます.このアプリはあなたのためのものです.- 記号文の構文をチェックします.- 導出が完了したかどうかをテストします.- 導出可能な行は青色で表示されます.仮説は緑色で表示されます。- 行の正当性を示す注釈付きの派生を提供します。- 注釈付きの派生は、RTF ファイルとして電子メールで送信できます。完全なアプリのヘルプ ファイルを参照してください:http://www.hatzicware.com/logic/Help.pdfのリストを参照してくださいアプリの選択可能な派生ルール:http://hatzicware.com/logic/rules.pdf
