Для того чтобы определить, для какого названия города истинно данное высказывание, разберем его по частям:
Высказывание: (первая буква гласная ^ последняя буква гласная) ~ название содержит букву "М".
Первая буква гласная ^ последняя буква гласная:
- Это логическое И (конъюнкция). Для того чтобы это выражение было истинным, обе части должны быть истинными:
- Первая буква гласная.
- Последняя буква гласная.
~ название содержит букву "М":
- Это логическое НЕ (отрицание). Для того чтобы это выражение было истинным, название города не должно содержать букву "М".
Теперь проверим каждое название города:
Москва:
- Первая буква "М" (согласная).
- Последняя буква "а" (гласная).
- Название содержит букву "М".
- (Ложь ^ Истина) ~ Истина = Ложь.
- Высказывание ложно.
Дюссельдорф:
- Первая буква "Д" (согласная).
- Последняя буква "ф" (согласная).
- Название не содержит букву "М".
- (Ложь ^ Ложь) ~ Истина = Ложь.
- Высказывание ложно.
Амстердам:
- Первая буква "А" (гласная).
- Последняя буква "м" (согласная).
- Название содержит букву "М".
- (Истина ^ Ложь) ~ Ложь = Ложь.
- Высказывание ложно.
Атланта:
- Первая буква "А" (гласная).
- Последняя буква "а" (гласная).
- Название не содержит букву "М".
- (Истина ^ Истина) ~ Истина = Истина.
- Высказывание истинно.
Таким образом, данное высказывание истинно для названия города "Атланта".