>>11184872A set of evidently true propositions about the world, commonly rendered as a binary true/false logic on statements with subject and predicate, and combinations of such statements in relations such as conditionals and boolean operators (AND and OR, and others).
