Assertionstegn, ⊦, indført af den tyske matematiker Gottlob Frege for at skelne mellem et udsagn "p" (fx "det regner") og hævdelsen af udsagnet "p". ⊦p betyder således, at "p" hævdes (fx at det regner).
Faktaboks
- Etymologi
- Af latin assertio, af asserere 'påstå, hævde'.
I moderne logik betyder ⊦p, at p kan bevises alene ud fra logiske sandheder. På engelsk kaldes ⊦ for turnstyle, et udtryk, som også har vundet indpas i dansk.
Kommentarer
Kommentarer til artiklen bliver synlige for alle. Undlad at skrive følsomme oplysninger, for eksempel sundhedsoplysninger. Fagansvarlig eller redaktør svarer, når de kan.
Du skal være logget ind for at kommentere.