Last Updated：2025/11/28
In our seminar, we explored paraconsistent logic to model contradictory but non-trivial databases.
See correct answer
In our seminar, we explored paraconsistent logic to model contradictory but non-trivial databases.
音声機能が動作しない場合はこちらをご確認ください
Edit Histories（0）
Source Sentence
私たちのセミナーでは、いくつかの矛盾が真でもすべての命題が真になるわけではないような、矛盾を許容する形式論理を用いて矛盾を含むが自明ではないデータベースのモデル化を検討した。
