помогите записать на языке предикатов данное утверждение:
"Все лампочки накаливания проверяются на каких-то специальных устройствах".

Субъект указывает на целостное понятие о предмете суждения; предикат — на какое-либо. отдельное свойство, присущее предмету суждения; субъектно-предикатная связка — на отношение предикации (присущности), имеющее место между предметом суждения и отдельным свойством рассматриваемого предмета.
В логике предикатов любое высказывание считается либо истинным, либо ложным. Однако при этом кроме пропозициональных связок «)», «&», «V», «—>», «<—>» используются еще три логических оператора: оператор предикации «<—», квантор общности «V» и квантор существования «Э».