推理、定义和命题