在第一软件。推理笔记张子枫在第一软件中可以看到。推理，逻辑学指思维的基本形式之一，是由一个或几个已知的判断（前提）推出新判断（结论）的过程，有直接推理、间接推理等（见《现代汉语词典（第6版）》第1323页）。