(Eng: assertion) 1. Bewering; verklaring van iets dat als een vaststaand feit wordt beschouwd. 2. Booleaanse formule waarvan wordt aangenomen dat de waarde WAAR is. 3. In monotoon redeneren is een assertie een verklaring van de mening die men op dat moment ten aanzien van een bepaald onderwerp of een gegeven situatie heeft. Gevonden op https://www.angelfire.com/ca/vlietstra/KNSTINTL.pdf
(1) Iets voor waar aannemen, ofschoon daar geen sluitend bewijs voor bestaat. (2) De aanname in een computerprogramma, dat iets altijd waar is. Wordt gebruikt om te debuggen. Gevonden op https://encyclo.nl/lokaal/11557