Element level

Propositions are assertions which are either true or false. Assertion is typically denoted in natural language by verbs, most often the verb “to be”. In a formal language (i.e. a mathematical one) it is denoted by “=”. No action is implied.