从已知命题推导出未知命题的思维过程是______。