t_wの輪郭

Feedlyでフォローするボタン

命題論理の推論

2024/4/2 23:40:00

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