$1. Mệnh đề toán học