一阶逻辑，非原创，仅供学习参考

 

posted @ 2022-04-27 21:29  星域之主  阅读(23)  评论(0)    收藏  举报