Задание 5. Какое из приведённых имён удовлетворяет логическому условию: ¬(последняя буква гласная → первая буква согласная) ∧ вторая буква согласная? Варианты: Мария, Ирина, Артём, Степан.

Отрицание импликации истинно, когда её условие истинно, а заключение ложно. Значит, последняя буква должна быть гласной, а первая — не согласной, то есть гласной. Кроме того, вторая буква должна быть согласной.

Имя «Ирина»: последняя буква «а» — гласная, первая «И» — гласная, вторая «р» — согласная.

Ответ: Ирина.