一阶逻辑

http://zh.wikipedia.org/wiki/%E4%B8%80%E9%98%B6%E8%B0%93%E8%AF%8D%E6%BC%94%E7%AE%97

原文地址:https://www.cnblogs.com/Torstan/p/2268874.html