помогите записать на языке предикатов данное утверждение:
"Все лампочки накаливания проверяются на каких-то специальных устройствах".
Что вы знаете о языке предикатов?
Субъект указывает на целостное понятие о предмете суждения; предикат — на какое-либо. отдельное свойство, присущее предмету суждения; субъектно-предикатная связка — на отношение предикации (присущности), имеющее место между предметом суждения и отдельным свойством рассматриваемого предмета.
В логике предикатов любое высказывание считается либо истинным, либо ложным. Однако при этом кроме пропозициональных связок «)», «&», «V», «—>», «<—>» используются еще три логических оператора: оператор предикации «<—», квантор общности «V» и квантор существования «Э».
Русская версия Invision Power Board (http://www.invisionboard.com)
© Invision Power Services (http://www.invisionpower.com)