絶対に忘れないAI辞書＆単語帳アプリ「DiQt（ディクト）」

最終更新日：2025/11/29

正解を見る

In our seminar, we explored paraconsistent logic to model contradictory but non-trivial databases.

音声機能が動作しない場合はこちらをご確認ください

元となった例文

In our seminar, we explored paraconsistent logic to model contradictory but non-trivial databases.

私たちのセミナーでは、いくつかの矛盾が真でもすべての命題が真になるわけではないような、矛盾を許容する形式論理を用いて矛盾を含むが自明ではないデータベースのモデル化を検討した。