Hva betyr ⊩
Det betyr at en betingelse tvinger en formel.
I mengdelære knytter forcingrelasjonen ⊩ en betingelse til en formel. En betingelse er et delvis fastlagt sett med valg; når den utvides, bygges en større modell. Notasjonen p ⊩ φ betyr at enhver relevant utvidelse som inneholder p, gjør formelen φ sann. Paul Cohen foreslo metoden i 1963 for å undersøke om kontinuumhypotesen — en påstand om størrelsen på uendelige mengder — kunne være uavhengig av de vanlige aksiomene i mengdelæren, altså verken beviselig eller motbeviselig ut fra dem.
Den doble turnstilen har også andre formelle lesninger. I modal semantikk kan w ⊩ φ bety at en verden eller tilstand w oppfyller φ. I truthmaker-teori brukes tegnet om en relasjon der en tilstand gjør en påstand sann.
Spesialisert matematisk notasjon; lesningen avhenger av det formelle fagfeltet og definisjonene der.
Ikke bytt ut ⊩ med eller uten å endre den formelle relasjonen.
Hva det betyr når noen sender det til deg
Tolkninger: 3Betingelsen p tvinger φ i enhver relevant modellutvidelse som inneholder den.
Ikke forveksle med
2
Flere som dette
10
Slik skriver eller finner du ⊩
- Søk etter som
- betydningen av ⊩ · ⊩ forcingrelasjon · ⊩ sammenlignet med ⊢ · vdash · turnstile-symbol · forcing i mengdelære · truthmaker-teori
- Vises i
- Alle tekstfelt · formen avhenger av skrifttypen
⊩\22A9\Vdash. I Word skriver du 22A9 og trykker Alt+X; i Linux bruker du Unicode-inndata: Ctrl+Shift+U, 22A9, Enter.Koder og kodingKodepunkter: 1
Et synlig symbol kan inneholde flere kodepunkter. JS .length teller UTF-16-enheter; UTF-8 teller byte.