(logic) a proposition that is accepted as true in order to provide a basis for logical reasoning.
Nouns denoting communicative processes and contents.