теперь - решения:
Какое из приведенных имен удовлетворяет логическому условию ¬ (первая буква гласная -> вторая буква гласная) /\ последняя буква гласная.
1) Максим
2) Артем
3) Мария
4) Ирина
по свойству логического "и", если имя удовлетворяет условию, то оно должно удовлетворять и "¬ (первая буква гласная -> вторая буква гласная)", и "последняя буква гласная"
последняя буква гласная - значит, либо Мария, либо Ирина
если "¬ (первая буква гласная -> вторая буква гласная)" истинно, значит "(первая буква гласная -> вторая буква гласная)" ложно, а логическое следование ложно только тогда, когда первый аргумент ложен, а второй истинен
значит, первая буква - не гласная, а вторая - гласная
итого - Мария