参考 [https://tars0x9752.com/posts/first-order-predicate-logic-1](https://tars0x9752.com/posts/first-order-predicate-logic-1)