人类形式逻辑
思维力推导