什么是TPTP？

首先，咱们聊聊TPTP这个工具。TPTP，全称是“Test