Peanoware
概要
Play with this app and build some proofs in natural deduction style. Clicking on a formula automatically expands it with possible…
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
詳細
- バージョン1.4
- 更新:2015年4月10日
- サイズ1.1MiB
- 言語54 言語
- 非取引業者このデベロッパーは取引業者として申告していません。EU 加盟国の消費者とこのデベロッパーとの間に締結された契約には、消費者の権利が適用されません。
プライバシー
拡張機能を管理し、組織での使用状況を確認できます
デベロッパーから、お客様のデータの収集または使用に関する情報は提供されていません。