Assertion

See: Assertion Claim, Linguistic Assertion, Software Assertion, Proposition, Logical Assertion, Proof by Assertion, Time of Assertion, Assertion Definition Language, Assertion (Software Development), Assert.h.

---

---

References

2023

• (Wikipedia, 2023) ⇒ https://en.wikipedia.org/wiki/assertion#Logic_and_language Retrieved:2023-10-17.
  • Logical assertion, 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 that commits a speaker to the truth of the expressed proposition

2023

• (Wikipedia, 2023) ⇒ https://en.wikipedia.org/wiki/assertion#Computing Retrieved:2023-10-17.
  • Assertion (software development), 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

---