В этом материале приведём некоторые сведения, связанные с таким методом доказательства различных утверждений, как метод математической индукции, а также покажем, как можно использовать вопросно-ответную систему Wolfram|Alpha для доказательства различных утверждений. Формулировка метода математической индукции (ММИ). Утверждение справедливо для любого натурального числа n, если: 1) утверждение справедливо для n = 1, 2) из справедливости утверждения для произвольного натурального n = k следует справедливость утверждения для n = k + 1...

На канале представлено несколько лекций, в которых показаны операции над высказываниями, а также представлено, как изобразить таблицу истинности для сложных высказываний. С использованием вопросно-ответной системы Wolfram|Alpha имеется возможность построения таблицы истинности для сложных высказываний. Приведём несколько примеров. Для этого необходимо зайти на главную форму Wolfram|Alpha по ссылке: https://www.wolframalpha.com/ и в командную строку внести команду с формулой логики высказываний, например, введём команду: (x or y) xor (y xor not x)...