最終更新日：2024/07/30

(logic) A formal deductive system able to represent the distinction between intension and extension of a term.

正解を見る

intensional logic

問題を編集する

元となった辞書の項目

intensional logic

noun

(logic) A formal deductive system able to represent the distinction between intension and extension of a term.

Intensional logic is a branch of logic that studies the intensional properties of propositions.

意味（1）

(logic) A formal deductive system able to represent the distinction between intension and extension of a term.