t_wの輪郭

命題論理伴意関係推論

命題論理の推論

2024/4/2 14:40:00

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

二宮 崇『知識工学(第2回)』