論理先生

ソフト詳細説明

　「論理先生」は伝統的形式論理学における定言三段論法の規則に従って、与えられた前提から結論を導き出すHyperCardスタックです。
　議論のお供に、論理学の宿題に、ハードディスクの肥やしにと、幅広くお使いいただけます。
　ただし、ご使用の結果について作者は一切の責任を負いません。

　初版の公開から二ヶ月足らずにもかかわらずの改訂版です。
　初版を落として下さった皆様、申し訳ありません。
　　　　　
　※初版からの変更点
　・推論結果の保存機能を装備。
　・単称命題に対応。
　・特称命題の表現を変更。
　・結論の表現を変更。
　・オンラインヘルプを本物のバルーンヘルプに変更。
　・新デザインのアバウト画面(^^;)。

　このソフトは「数寄心ウェア」です。「数寄心」とは物好きな心です。この馬鹿なソフトをお気に召し、かつ作った奴に祝儀をやってもよいと思われましたら、500円をご送金願います。

動作環境

お支払い

このソフトは無料でお使いいただけますが、寄付を募っております。
※消費税の増税に伴い、ソフト詳細説明や動作環境等に表示されている価格と、実際の価格が異なる場合がございます。ご購入前に必ずご確認ください。

※送金前に「シェアウェアの送金について」をお読み下さい。

その他のお支払い

※詳細はソフトをダウンロード後、ご確認ください。