Определите, является ли выражение истинным при X=1 , Y=2
((X>0)и(Y>1))или(X<-1)

Строго объяснять не вижу смысла, поскольку придется тратить время на разъяснение массы попутных вещей, начиная от λ-исчисления и алонзо чёрча. если бы вам было понятно одно из определений, вроде " лямбда-выражение — это анонимная функция, с которой можно создавать типы делегатов или деревьев выражений", вы бы не стали писать сюда вопрос. поэтому постараюсь рассказать "на пальцах" и примерах. "лямбды" - это функции (а также, выражения и процедуры), позволяющие эффектно в одном месте и объявить их, и использовать, причем, зачастую, даже не давая этим функциям имени (анонимные функции). вот такие они "одноразовые". записывается лямбда обычно в форме t -> f(t) и читается "t переходит в f(t)". фактически, тут много общего с обычной функцией, имеющей формальный параметр t и определяющей в своем теле значение при f(t). конечно, параметр может быть и не один. изюминка "лямбд" в том, что они могут использоваться на правах простых переменных. например, можно присвоить переменной "лямбду" и передать её, как параметр в программную единицу вместо функции, например var f: real-> real: =t-> 3*sin(t)+cos(t); tab(f,0,10,0.1); лямбды активно присутствуют в операциях, пришедших в pascalabc.net из linq .net, в частности, в проецировании и фильтрации. var n: =arrgen(20,i-> 2*i+5).where(t-> cos(t/6)< 0).count; последние версии pascalabc.net 3.3 имеют развитые средства для программирования в функциональном стиле, построенные на "лямбдах". примеры множественного использования лямбд можно найти в файлах, входящих в стандартную поставку, в также в справочном руководстве по библиотеке численных методов, ставшей стандартной с версии 3.3.0.1552 от 20.10.2017 (файл \program files\pascalabc.net\doc\numlibabc.pdf)