Ответ:

  1. Существует натуральное число \(a\), для которого \(5a+3=18\). \(a=3\), поэтому утверждение истинно.
  2. Существует натуральное число \(b\), меньшее 1. Утверждение ложно (при \(\mathbb N=\{1,2,3,\ldots\}\)). Отрицание: \(\forall b\in\mathbb N\; b\ge1\).
  3. Для любых натуральных чисел \(m,n\) произведение \(mn\) не меньше ни \(m\), ни \(n\). Утверждение истинно.
  4. Для любых натуральных чисел \(x,y\) выполняется \(x=5y\). Утверждение ложно. Отрицание: \(\exists x,y\in\mathbb N\; x\ne5y\).