Vectorトップへ

ソフト詳細説明

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

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

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

動作環境