Predykat pierwszego rzędu

W logice matematycznej predykat pierwszego rzędu to predykat , który przyjmuje jako argumenty tylko indywidualne stałe lub zmienne. Porównaj predykat drugiego rzędu z predykatem wyższego rzędu .

Nie należy tego mylić z predykatem lub monadą jednego miejsca , który jest predykatem przyjmującym tylko jeden argument. Na przykład wyrażenie „jest planetą” jest predykatem jednomiejscowym, podczas gdy wyrażenie „jest ojcem” jest predykatem dwumiejscowym .

Zobacz też