一階述語論理

ややこしい。