Vad betyder ⊩
Det betyder att ett villkor tvingar en formel.
I mängdlära kopplar forcingrelationen ⊩ samman ett villkor med en formel. Ett villkor är en delvis fastställd mängd val; när det utökas byggs en större modell. Skrivningen p ⊩ φ betyder att varje relevant utökning som innehåller p gör formeln φ sann. Paul Cohen föreslog metoden 1963 för att undersöka om kontinuumhypotesen — ett påstående om storleken på oändliga mängder — kunde vara oberoende av mängdlärans vanliga axiom, alltså varken bevisbar eller motbevisbar från dem.
Den dubbla turnstilen har också andra formella läsningar. I modal semantik kan w ⊩ φ betyda att världen eller tillståndet w uppfyller φ. I truthmakerteori används tecknet för en relation där ett tillstånd gör ett påstående sant.
Specialiserad matematisk notation; läsningen beror på det formella området och dess definitioner.
Byt inte ut ⊩ mot eller utan att ändra den formella relationen.
Vad det betyder när någon skickar det till dig
Tolkningar: 3Villkoret p tvingar φ i varje relevant modellexpansion som innehåller det.
Blanda inte ihop med
2
Fler liknande
10
Så skriver eller hittar du ⊩
- Sök efter
- betydelsen av ⊩ · ⊩ forcingrelation · ⊩ jämfört med ⊢ · vdash · turnstilesymbol · forcing i mängdlära · truthmakerteori
- Finns i
- Alla textfält · formen beror på teckensnittet
⊩\22A9\Vdash. I Word skriver du 22A9 och trycker på Alt+X; i Linux använder du Unicode-inmatning: Ctrl+Shift+U, 22A9, Enter.Koder och kodningKodpunkter: 1
En synlig symbol kan innehålla flera kodpunkter. JS .length räknar UTF-16-enheter; UTF-8 räknar byte.