ソフト詳細説明
論理学における真理表を作成するプログラムです。
現在のところ命題論理学にしか対応していません。
DOS汎用で動作すると思います。
動作環境
| ソフト名： | ZENO |
|---|---|
| 動作OS： | MS-DOS |
| 機種： | 汎用 |
| 種類： | フリーソフト |
| 作者： | 立川 察理 |
論理学における真理表を作成するプログラムです。
現在のところ命題論理学にしか対応していません。
DOS汎用で動作すると思います。
| ソフト名： | ZENO |
|---|---|
| 動作OS： | MS-DOS |
| 機種： | 汎用 |
| 種類： | フリーソフト |
| 作者： | 立川 察理 |