Mệnh đề toán học. Mệnh đề phủ định. Mệnh đề đảo. Mệnh đề tương đương. Điều kiện cần và đủ