Discrete math topic:
Statements, to my understanding, can be predicates or quantifiers. Predicates and quantifiers are relations of Logical systems. Statements can be negated, I think. So, statements seem to be relations.
However, statements (in literature), can be assertive or interrogative— *no where in discrete math have I heard of this topic (yet). Relations also seem to have this property: For a relation R, xRy can be asserted to a true value, or false value. xRy can also be queried: xRy?
Are relations statements?
Where can I learn more about this topic, in Math (not literature)?