Пусть на числовой прямой дан отрезок . Обозначим через ДЕЛ(n, m) утверждение «натуральное число n делится без остатка на натуральное число m». Для какого наибольшего натурального числа А формула
ДЕЛ
ДЕЛ
тождественно истинна (т.е. принимает значение 1) при любом натуральном значении переменной х?
Решение руками:
Сначала проанализируем высказывание целиком. Дана импликация, она дает 0 только в том случае, когда из 1 следует 0. Определим, когда левая часть высказывания дает 1 – когда принадлежит отрезку
. Значит, все эти иксы должны давать 1 в левой части.
Рассмотрим левую для : высказывание
ДЕЛ
дает истину для всех
отрезка, кроме
и
, следовательно, нужно подобрать такое
, которое будет давать истину в высказываниии ДЕЛ
для этих двух значений.
Чтобы найти такое наибольшее нужно определить наибольший общий делитель чисел 42 и 63. Это число 21.
Решение программой:
b = [i for i in range(35, 66)]
for a in range(100, 1, -1):
f = 0
for x in range(1, 300):
if ((x in b) <= (x % 21 != 0 or x % a == 0)) == False:
f = 1
break
if f == 0:
print(a)
break