if first-order logic的意思|示意

美 / / 英 / /

如果一阶逻辑