Модуль: USE-2022. Question 15. Sets and logic


Задача

13/21

Task 13

Задача

Denote by DIV(n, m) the statement "the natural number n is divisible without remainder by the natural number m" ;. For what smallest natural number А the formula
(DIV(x, A) /\ ¬DIV(x , 15)) → (DIV(x, 18) \/ DIV(x, 15))
is identically true (that is, takes on the value 1 for any natural value of the variable x)?

Выберите правильный ответ, либо введите его в поле ввода

Комментарий учителя