Для какого имени истинно высказывание: ¬(первая буква имени согласная → третья буква имени гласная)? 1) Юлия 2) Петр 3) Алексей 4) Ксения

Ищем, для какого имени истинно высказывание
¬(A → B), где
A: «первая буква имени — согласная»,
B: «третья буква имени — гласная».

Логически ¬(A → B) ≡ A ∧ ¬B. Значит, нам нужно имя, у которого:

1. первая буква — согласная (A истинно);

2. третья буква — не гласная (то есть согласная) (B ложно).

Проверим варианты:

1. Юлия: первая буква «Ю» — гласная ⇒ A ложно ⇒ A ∧ ¬B ложно.

2. Петр: первая буква «П» — согласная ⇒ A истинно; третья буква «т» — согласная ⇒ B ложно ⇒ A ∧ ¬B истинно.

3. Алексей: первая буква «А» — гласная ⇒ A ложно ⇒ выражение ложно.

4. Ксения: первая буква «К» — согласная ⇒ A истинно; третья буква «е» — гласная ⇒ B истинно ⇒ ¬B ложно ⇒ всё выражение ложно.

Подходит только вариант 2) Петр.