【例题与讲解】定义与命题