Хорошо, вам не объяснили толково что такое вообще математическая логика, но это на самом деле нормальный случай, сами дают и не знают, что дают. Давайте разберемся. Пусть некоторое A - утверждение. Будем называть утверждением некоторое предположение, которое характеризуется либо как истинное и тогда утверждение равняется единице, либо как ложное и тогда утверждение равняется нулю. В данном случае за утверждение принимается: A - предположение, говорящее, что Первая буква гласная. B - предположение, говорящее, что Последняя буква согласная. Немного об операциях в т.н. алгебре логики (термин сложный и его нужно разъяснять отдельно, делается это в курсе т.н. "высшей алгебры"). Это сложение (известное также как объединение в теории множеств) и умножение (пересечение). Здесь их называют логическое "ИЛИ" (дизъюнкция) и логическое "И" (конъюнкция). Раз уж речь идет об алгебре, то, конечно, имеем также логическое "НЕ". По аналогии с теорией множеств, это дополнение к какому-то операнду (а суть унарная операция, интересная вещь). Давайте запишем как нужно само выражение. -A∧-B (вместо минусов нужно черточку над буквой). Таблица истинности выглядит так: В наименованиях столбцов пишите A и B и ваше выражение третьим. Затем подставляете различные наборы значение A и B, A и B принимают только значения 0 и 1. Получаете соответственно 0 или 1. "НЕ" - значит, утверждение обращается - было 1, стало 0, и наоборот. "И" - дает 1 если оба операнда 1, иначе дает 0. "ИЛИ" - дает 0 если оба операнда 0, иначе дает 1. Вот и все. Заполняете и получаете нужное.
Натуральные числа разбиваются на два непересекающихся множества вида 2m и 2m+1, где m - натуральное. а) (2m)^2 + 2m + 1 = 4m^2 + 2m + 1 = 2(2m^2+m) + 1, где 2m^2+m натуральное (в силу того, что произведение и сумма натуральных числе всегда натуральна), будет нечётным. (2m+1)^2 + (2m+1) + 1 = 4m^2 + 4m + 1 + 2m + 1 + 1 = 4m^2 + 6m + 2 + 1 = 2(2m^2 + 3m + 1) + 1, где 2m^2 + 3m + 1 натуральное, будет нечётным.
b) Квадрат чётного числа - чётный. Потому число n^2 + n + 1 не может быть квадратом чётного числа. Покажем, что число не может быть и квадратом нечётного числа: n^2 + n + 1 = n^2 + 2n + 1 - n = (n+1)^2 - n Т.е. число n^2 + n + 1 отличается от квадрата (n + 1)^2 на n единиц. Может ли такое число быть квадратом? (n + 1)^2 - n^2 = n^2 + 2n + 1 - n^2 = 2n + 1 > n Не может.
Цельная и стройная запись решения: n^2 < n^2 + n + 1 = (n + 1)^2 - n < (n + 1)^2 Т.к. число n^2 + n + 1 лежит между двумя квадратами последовательных натуральных чисел, само оно не может быть квадратом натурального числа.
Давайте разберемся.
Пусть некоторое A - утверждение. Будем называть утверждением некоторое предположение, которое характеризуется либо как истинное и тогда утверждение равняется единице, либо как ложное и тогда утверждение равняется нулю.
В данном случае за утверждение принимается:
A - предположение, говорящее, что Первая буква гласная.
B - предположение, говорящее, что Последняя буква согласная.
Немного об операциях в т.н. алгебре логики (термин сложный и его нужно разъяснять отдельно, делается это в курсе т.н. "высшей алгебры").
Это сложение (известное также как объединение в теории множеств) и умножение (пересечение). Здесь их называют логическое "ИЛИ" (дизъюнкция) и логическое "И" (конъюнкция). Раз уж речь идет об алгебре, то, конечно, имеем также логическое "НЕ". По аналогии с теорией множеств, это дополнение к какому-то операнду (а суть унарная операция, интересная вещь).
Давайте запишем как нужно само выражение.
-A∧-B (вместо минусов нужно черточку над буквой).
Таблица истинности выглядит так:
В наименованиях столбцов пишите A и B и ваше выражение третьим.
Затем подставляете различные наборы значение A и B, A и B принимают только значения 0 и 1. Получаете соответственно 0 или 1.
"НЕ" - значит, утверждение обращается - было 1, стало 0, и наоборот.
"И" - дает 1 если оба операнда 1, иначе дает 0.
"ИЛИ" - дает 0 если оба операнда 0, иначе дает 1.
Вот и все. Заполняете и получаете нужное.