Даны высказывания: A = «Число n делится на 2», B = «Число n делится на 3», C = «n>p». При каких значениях p следующее высказывание будет истинным для всех натуральных чисел n: (A→B)∨C?
По определению дизъюнкции из §
По определению импликации
Для остальных n импликация уже истинна, поэтому значение C не влияет на итог.
Для каждого натурального числа, кратного
Это условие достаточно: если
Если
Следовательно, искомое условие —
