ᛒ
пи разве не перестановка?
бля в шары долблюьс
Size: a a a
2020 August 03
R
и если это множество, что что оно значит слева от хеша
a#X means a ̸∈ fv(X ) when X is instantiated.
AG
лол откуда я знаю, я папирус по номинальной логике в первый раз открыл на прошлой неделе
Oℕ
a#X means a ̸∈ fv(X ) when X is instantiated.
да бля
Oℕ
ты издеваешься?
AG
ну я подозреваю что для всех да
R
типа ты привык к форолу?
AG
там дальше будет отдельный форол
D
как же я ору
R
у меня есть примерно писюшка в понимании
Oℕ
Oℕ
если ни одной переменной, которая различается нет в выражении открытой