Terms for subject Logic containing выражение

Russian	English
кванторное выражение	quantified expression (Alex_Odeychuk)
ложное доказательство из-за двусмысленности языкового выражения	ambiguity
обозначение с выражением лямбда	lambda notation
представленный с помощью логических выражений	clausal (Alex Lilo)
пропозициональное выражение	propositional expression (Alex_Odeychuk)