t_wの輪郭

Feedlyでフォローするボタン
論理命題
「T字型ER手法は, 「命題論理」を使って, 「有意味な」データ構造を作図するための技法」命題論理の推論命題論理の融合法様相命題論理古典命題論理

命題論理の推論

2024/4/2 23:40:00

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