Apa arti ⊢
Tanda ini menunjukkan kesimpulan yang dibuktikan dari asumsi. Dalam Γ ⊢ T, Γ (gamma) mencantumkan asumsi dan T adalah kesimpulannya. Jika sisi kiri kosong, ⊢ T berarti T dapat dibuktikan tanpa asumsi yang dicantumkan.
Pendahulu yang bentuknya masih dikenali adalah tanda asersi yang digunakan oleh ahli logika Jerman Gottlob Frege pada 1879. Karya Gerhard Gentzen pada 1934–35 membantu mengembangkan notasi sekuen: baris formal yang memisahkan premis dan kesimpulan.
Mengapa arti ⊢ berubah mengikuti simbol di sekitarnya?
Notasi di sekelilingnya menentukan hubungan yang dimaksud. Dalam teori pembuktian, ⊢ menandai keterderivasian, yaitu adanya bukti yang mengikuti aturan suatu sistem. Dalam sekuen, rumus di kiri adalah premis dan rumus di kanan adalah kesimpulan. Dalam notasi pemrograman bertipe, tanda ini memisahkan asumsi dari penilaian bahwa suatu term memiliki tipe tertentu.
Formal dan teknis: tanda ini muncul dalam notasi pembuktian pada logika matematika atau pemrograman bertipe.
Jangan baca ⊢ sebagai tanda kebenaran; biasanya menyatakan konsekuensi semantik.
Bagian dari koleksi
Artinya saat seseorang mengirimkannya kepada Anda
Penafsiran: 3Asumsi dalam Γ membuktikan T menurut aturan sistem yang dipilih.
Jangan tertukar dengan
3
Karakter terkait
1
Pertanyaan umum
1Bisakah asumsi sebelum ⊢ bernilai salah?
Bisa. Γ mencantumkan asumsi yang digunakan dalam pembuktian; ⊢ menunjukkan apa yang mengikuti dari asumsi itu menurut aturan sistem, bukan apakah asumsi tersebut benar.
Yang serupa
26
⇒Panah ganda ke kanan
∴Jadi
⇔Panah ganda kiri-kanan
⊦Tanda pernyataan
⊨Benar
⊩Relasi forcing
⊪Turnstile kanan tiga garis vertikal
⊬Tidak Membuktikan
⟊Garis vertikal dengan garis mendatar
⟚Palang putar ganda kiri dan kanan
⟛Tanda tack kiri dan kanan
⟝Tack kanan panjang⫢Garis vertikal dengan turnstile kanan rangkap tiga
⫤Garis vertikal dengan turnstile ganda kiri⫦Garis panjang dari garis tegak ganda sebelah kiri꭪Huruf pengubah dengan garis silang kiri꭫Huruf pengubah dengan kait kanan
̙Tanda kombinasi sudut kanan di bawah
⊠Tanda kali dalam kotak
⊡Operator titik dalam persegi
⊣Tanda tack kiri
+Tanda tambah
<Tanda kurang dari
=Tanda sama dengan
>Tanda lebih besar dari
|Garis vertikalCara mengetik atau menemukan ⊢
- Juga disebut
- turnstile · tee · vdash
- Cari sebagai
- aturan pembuktian · sekuen · dapat diturunkan · simbol logika · LaTeX vdash
- Muncul di
- Kolom teks apa pun · bentuknya bergantung pada fon yang digunakan
⊢\22A2|- dapat menyerupai bentuknya, tetapi jarak dan jenis huruf memengaruhi hasil.Kode dan pengodeanTitik kode: 1
Satu simbol yang terlihat dapat berisi beberapa titik kode. JS .length menghitung unit UTF-16; UTF-8 menghitung byte.