論理的に正しいとか、大した価値がないんだよね。
例えば、コンピュータでソフトを動かせば、そのソフトは論理的には正しいんだよ
コンピュータは論理的に正しくないと動かないから