Assertion or assert may refer to:
Computing
*
Assertion (software development)
In computer programming, specifically when using the imperative programming paradigm, an assertion is a predicate (a Boolean-valued function over the state space, usually expressed as a logical proposition using the variables of a program) co ...
, a computer programming technique
*
assert.h, a header file in the standard library of the C programming language
*
Assertion definition language, a specification language providing a formal grammar to specify behaviour and interfaces for computer software
Logic and language
*
Logical assertion
In mathematical logic, a judgment (or judgement) or assertion is a statement or enunciation in a metalanguage. For example, typical judgments in first-order logic would be ''that a string is a well-formed formula'', or ''that a proposition is tru ...
, a statement that asserts that a certain premise is true
*
Proof by assertion, an informal fallacy in which a proposition is repeatedly restated
*
Time of assertion, in linguistics a secondary temporal reference in establishing tense
* Assertive, a
speech act
In the philosophy of language and linguistics, a speech act is something expressed by an individual that not only presents information but performs an action as well. For example, the phrase "I would like the mashed potatoes; could you please pas ...
that commits a speaker to the truth of the expressed proposition
Other uses
*
Assert (horse) (1979–1995), an Irish racehorse
*
Assertions (auditing), the set of information that the statement preparer is providing in a financial statement audit
See also
*
*
*
{{disambiguation