Не знаю, что это такое, и вообще абсолютно ничего не понимаю, ни в этой задаче, ни в вашем разговоре.
Логика. А задача вот о чём: даны натуральные числа (с нулём), дано отношение на множестве натуральных чисел "быть кратным". С помощью этого отношения, логических связок типа импликаций, дизъюнкций и навешивания кванторов по переменным можно писать разные формулы.
Например:
Это формула. В ней две свободные переменные:
и
(остальные переменные связаны кванторами), а поэтому такая формула задает двухместное (от двух аргументов) отношение на натуральных числах: для каждых конкретных
и
формула либо верна (тогда пара
и
принадлежит отношению), либо не верна (не принадлежит).
Ничего кроме вот этого самого
, логических связок и кванторов нет.
Можно ли написать такую формулу, чтоб в ней была одна свободная переменная, а сама формула была верна только для числа
? только для числа
? только для числа
? тогда и только тогда, когда число простое? можно ли написать формулу с двумя свободными переменными, верную лишь когда числа равны между собой? когда первое строго больше второго? и так далее