t_wの輪郭

Feedlyでフォローするボタン

高階述語論理

2024/3/17 15:24:00

高階述語論理は個体と述語の量化を許す述語論理である。

高階述語論理は健全性と完全性は保証されていない。