"x is an integer"
"x is an integer" is a sentential function, right?
Yes of course, normally this would be referred to as a propositional function though. =)
Is a propositonal function a type of sentential function?
Yes, it is.
Separate names with a comma.