逻辑的基本表现形式是命题与推理，由已知命题的真假判断出其它命题真假的过程成为（）。