（　）是由一个或几个已知的判断即前提，推导出一个未知的结论的思维过程。