Дано:
логическое условие: (первая буква согласная → вторая буква согласная) ∧ (предпоследняя буква гласная → последняя буква гласная)

Вопрос:
какое из приведённых имен удовлетворяет заданному логическому условию?

Варианты ответа:
1) КРИСТИНА          2) МАКСИМ          3) СТЕПАН          4) МАРИЯ

1. разобраться с обозначениями, участвующими в исходном логическом выражении;

2. вспомнить необходимые логические операции и их таблицы истинности;

3. вспомнить алфавит русского языка и группы гласных и согласных букв.

Математическая логика - один из разделов математики, изучающий всевозможные доказательства и вопросы фундаментальной математики.

Можно выделить следующие разделы математической логики:

• алгебра логики;

• логика высказываний;

• теория доказательств;

• теория моделей.

Логическое высказывание - некое предложение, в отношении которого можно однозначно декламировать, истинно оно или ложно. В алгебре логике акцент делают на значении выражения, а не его смысле. Значением выражения является одно из двух предопределенных значений: ИСТИНА (обозначается TRUE или 1) или ЛОЖЬ (обозначается FALSE или 0).

Пример логического высказывания: "Научиться хорошо программировать - очень сложно!".

Символом '∧' обозначается операция Логическое И (конъюнкция). Таблица истинности операции Логическое И имеет вид:

Символом '→' обозначается операция Импликация (логическое следование). Таблица истинности операции Импликации имеет вид:

Давайте вспомним буквы русского алфавита:

Группа гласных букв: а, о, у, ы, э, я, е, ё, ю, и.
Группа согласных букв: б, в, г, д, й, ж, з, к, л, м, н, п, р, с, т, ф, х, ц, ч, ш, щ.
*на заметку: существует две буквы, не обозначающие звуков - ь, ъ.

Рассмотрим имя 'КРИСТИНА' и проверим, удовлетворяет ли данное имя всем требованиям исходного логического условия.

• первая буква: К - согласная;

• вторая буква: Р - согласная;

• предпоследняя буква: Н - согласная;

• последняя буква: А - гласная.

Как видно из построенной выше процессинговой таблицы, имя 'КРИСТИНА' удовлетворяет логическому выражению, так как конечным результатом выражения является значение ИСТИНА (в таблице Истине соответствует буква Т).

Остальные варианты ответа проверять бессмысленно, так как правильный вариант единственный, и мы его только что детерминировали.