adjective
Able to be verified or confirmed.
Able to be qualified by a Boolean expression.
noun
(logic) A statement or observation that can be verified.