Co oznacza ⊩
Oznacza, że warunek wymusza formułę.
W teorii mnogości relacja forcingu ⊩ łączy warunek z formułą. Warunek to częściowo określony zbiór wyborów; jego rozszerzenie buduje większy model. Zapis p ⊩ φ oznacza, że każde odpowiednie rozszerzenie zawierające p czyni formułę φ prawdziwą. Paul Cohen zaproponował tę metodę w 1963 roku, by zbadać, czy hipoteza continuum — twierdzenie o rozmiarach zbiorów nieskończonych — może być niezależna od zwykłych aksjomatów teorii mnogości, czyli ani z nich nie wynikać, ani nie dać się przez nie obalić.
Podwójny turnstile ma też inne formalne odczytania. W semantyce modalnej w ⊩ φ może oznaczać, że świat lub stan w spełnia φ. Teoria wytwórców prawdy używa go dla relacji, w której stan czyni zdanie prawdziwym.
Specjalistyczny zapis matematyczny; jego odczytanie zależy od dziedziny formalnej i przyjętych definicji.
Nie zastępuj ⊩ przez ani bez zmiany oznaczanej relacji.
Co oznacza, gdy ktoś ci to wysyła
Interpretacje: 3Warunek p wymusza φ w każdym odpowiednim rozszerzeniu modelu, które go zawiera.
Nie myl z
2
Więcej podobnych
10
Jak wpisać lub znaleźć ⊩
- Szukaj jako
- znaczenie ⊩ · relacja forcingu ⊩ · ⊩ a ⊢ · vdash · symbol turnstile · forcing w teorii mnogości · teoria wytwórców prawdy
- Pojawia się w
- Każde pole tekstowe · kształt zależy od czcionki
⊩\22A9\Vdash. W Wordzie wpisz 22A9 i naciśnij Alt+X; w Linuksie użyj wejścia Unicode: Ctrl+Shift+U, 22A9, Enter.Kody i kodowaniePunkty kodowe: 1
Widoczny symbol może zawierać kilka punktów kodowych. JS .length liczy jednostki UTF-16, a UTF-8 liczy bajty.