t_wの輪郭

Feedlyでフォローするボタン
関係伴意ばんいかんけい
二宮 崇『知識工学(第2回)』命題論理の推論『知識工学 第8回 二宮 崇』

命題論理の推論

2024/4/2 23:40:00

伴意関係(𝐾𝐵 ≡ 𝐾𝐵 ∧ 𝛼)となるかを調べること