bn:00040566n
Noun Concept
Categories: Programming constructs, Logic in computer science, Formal methods
EN
given  presumption  precondition
EN
An assumption that is taken for granted WordNet 3.0
Definitions
Examples
Relations
Sources
EN
An assumption that is taken for granted WordNet 3.0 & Open English WordNet
In computer programming, a precondition is a condition or predicate that must always be true just prior to the execution of some section of code or before an operation in a formal specification. Wikipedia
Requirement for something else to happen Wikidata
A condition that is assumed to be true without further evaluation. Wiktionary
Condition assumed to be true. Wiktionary (translation)
A requirement which must be satisfied before taking a course of action. Wiktionary
Preexisting requirement. Wiktionary (translation)
EN
When evaluating this math problem, don't forget to read the givens. Wiktionary
A marriage licence is a precondition for a wedding. Wiktionary
HAS INSTANCE
DERIVATION
DIFFERENT FROM
WordNet 3.0 & Open English WordNet
Wikipedia
Wikidata
Wiktionary