問題番号: No.3917 (しっかりモード)

初期の人工知能研究における記号主義（古典的AI）において、知識表現や推論の基礎として用いられた論理学の性質の一つであり、「AならばBであり、BならばCであるならば、AならばCである」という関係性が成り立つ性質を指す言葉は何か。