#limbaj formal
- asertare — Acțiunea de a aserta și rezultatul ei; formularea fermă a unei opinii, enunțarea unei afirmații luate ca adevărate sau actul de susținere argumentată a unei teze. În logică și semantică, reprezintă operația mentală sau lingvistică prin care un predicat este atribuit unui subiect cu valoare de certitudine, devenind fundamentul unui raționament ulterior.