最終更新日:2025/11/23
編集履歴(0)
元となった辞書の項目

intensional logic

名詞
日本語の意味
形式的な推論体系で、用語の内包(意味)と外延(対象)の区別を明示的に扱う論理システム
このボタンはなに?

学会で彼女は、項の内包と外延の区別を表現する形式的演繹体系である内包論理に関する新しい証明を発表し、その違いを明確にした。

plural

Dictionary quizzes to help you remember the meaning

編集履歴(0)

ログイン / 新規登録

 

アプリをダウンロード!
DiQt

DiQt(ディクト)

無料

★★★★★★★★★★