Для какого имени истинно высказывание: ¬(Последняя буква гласная → Первая буква согласная) ∧ Вторая буква согласная? Варианты: МАРИЯ, ИРИНА, СТЕПАН, АРТЁМ.

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

• МАРИЯ: первая буква согласная — первая часть ложна.
• ИРИНА: первая буква гласная, последняя — гласная, но вторая буква согласная — первая часть ложна.
• СТЕПАН: вторая буква согласная, но последняя буква согласная — первая часть ложна.
• АРТЁМ: первая буква гласная, последняя согласная, поэтому импликация истинна, а её отрицание ложно.

Ответ: ни для одного из предложенных имён высказывание не истинно.