某位同学在数学日记中写道,今天学习了定义和命题