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


Задача

14/21

Task 14

Задача

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

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

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