fsymbols
🔍
Memuat simbol…
››
⊩

Relasi forcing

Relasi forcing

⊩ adalah simbol relasi logika: dalam teori himpunan, kondisi p memaksa formula φ jika setiap perluasan model yang diizinkan dan memuat p membuat φ benar. Itulah penggunaannya yang paling dikenal; dalam semantik modal, simbol ini dapat menandai pemenuhan formula, sedangkan teori pembuat kebenaran memakainya untuk relasi saat suatu keadaan membuat pernyataan benar.

Simbol teks
Cari sebagai
arti ⊩ · relasi forcing ⊩ · ⊩ dibandingkan dengan ⊢ · vdash · simbol turnstile · forcing dalam teori himpunan · teori pembuat kebenaran
Muncul di
Kolom teks apa pun · bentuknya bergantung pada fon yang digunakan

Apa arti ⊩

Artinya suatu kondisi memaksa sebuah formula.

Dalam teori himpunan, relasi forcing ⊩ menghubungkan kondisi dengan formula. Kondisi adalah kumpulan pilihan yang baru ditetapkan sebagian; memperluasnya membangun model yang lebih besar. Notasi p ⊩ φ berarti setiap perluasan relevan yang memuat p membuat formula φ benar. Paul Cohen mengusulkan metode ini pada 1963 untuk menyelidiki apakah hipotesis kontinuum — klaim tentang ukuran himpunan tak hingga — dapat independen dari aksioma teori himpunan yang umum, yakni tidak dapat dibuktikan maupun disangkal dari aksioma tersebut.

Turnstile dua garis juga memiliki pembacaan formal lain. Dalam semantik modal, w ⊩ φ dapat berarti bahwa dunia atau keadaan w memenuhi φ. Teori pembuat kebenaran memakainya untuk relasi ketika suatu keadaan membuat pernyataan benar.

Notasi matematika khusus; pembacaannya bergantung pada bidang formal dan definisi yang digunakan.

Jangan mengganti ⊩ dengan ⊢ atau ⊨ tanpa mengubah relasi formalnya.

Artinya saat seseorang mengirimkannya kepada Anda

Penafsiran: 3
Dalam pembuktian teori himpunan: p ⊩ φ
Kondisi p memaksa φ di setiap perluasan model relevan yang memuatnya.
Dalam semantik modal: w ⊩ φ
Dunia atau keadaan w memenuhi formula φ.
Dalam teori pembuat kebenaran: s ⊩ φ
Keadaan s membuat formula φ benar.

Jangan tertukar dengan

2
⊢
Turnstile kanan
⊩ dibandingkan dengan ⊢: tanda dengan satu garis biasanya menyatakan bahwa sesuatu dapat diturunkan dari asumsi dalam sistem pembuktian; ⊩ digunakan untuk forcing dan relasi terkait.
⊨
Benar
⊨ biasanya menyatakan kebenaran dalam model atau konsekuensi semantik; ⊩ mengikuti konvensi formal yang berbeda.

Cara mengetik ⊩

Windows (Word)
Alt+XKetik 22A9, lalu tekan Alt+X untuk mendapatkan ⊩.
Windows
Win+RJalankan charmap untuk tabel lengkap, atau gunakan tab Ω pada pemilih emoji (Win + .).
macOS
Control+Command+SpaceBuka penampil karakter dan cari “forces”.
Linux
Ctrl+Shift+UKetik 22a9, lalu tekan Enter atau Spasi.
HTML
⊩
CSS
\22A9
Cara mengetik ⊩
Di TeX, gunakan `\Vdash`. Di Word, ketik `22A9` lalu tekan `Alt+X`; di Linux, gunakan masukan Unicode: `Ctrl+Shift+U`, `22A9`, `Enter`.
Kode dan pengodeanTitik kode: 1
HTML desimal
⊩
HTML heksadesimal
⊩
Konten CSS
content: "\22A9";
Setiap escape berakhir pada garis miring terbalik berikutnya; perlu spasi sebelum digit heksadesimal literal.
Dikodekan untuk URL
%E2%8A%A9
1
Di layar
1
Titik kode
1
JS .length
3
Byte UTF-8

Satu simbol yang terlihat dapat berisi beberapa titik kode. JS .length menghitung unit UTF-16; UTF-8 menghitung byte.

Kelompok simbol ini

1

Matematika dan angka1.835 simbol

1️⃣📏📐✖️➕➖➗🟰♾️#️⃣*️⃣0️⃣