t_wの輪郭
あれ
りょうか
2024/3/17 6:20:00
量化
りょうか
述語論理
量
化
量化
2024/3/17 6:20:00
一階述語論理
高階述語論理
個体の量化
述語の量化