Для какого названия города истинно высказывание: ¬ (Первая буква названия города гласная → Четвёртая буква названия города согласная)? Павлово; Орёл; Орлов; Оренбург.

Обозначим:

• A — первая буква названия города гласная;
• B — четвёртая буква названия города согласная.

Высказывание ¬(A → B) истинно только тогда, когда A истинно, а B ложно: первая буква должна быть гласной, а четвёртая — не согласной.

Проверим вариант «Орлов»: первая буква О — гласная, четвёртая буква о — гласная, то есть не согласная. Следовательно, исходное высказывание истинно.

Ответ: Орлов.