⊣ ne anlama gelir
⊣ işaretini, onu tanımlayan gösterime göre okuyun.
Kategori teorisinde F ⊣ G, F'nin G'nin sol eşleniği olduğunu belirtir; bu, iki yapı arasındaki biçimsel bir ilişkidir. Sembollerle program yazılan bir dil olan APL'de ⊣, sol özdeşlik işlevi olarak kullanılır: X ⊣ Y, X'i; ⊣Y ise Y'yi döndürür.
Mantıkta ⊣ ters turnstile işaretidir; gösterdiği kesin bağıntı sisteme göre değişir.
Yönü işlevini değiştirir
Turnstile işaretleri ailesinin geçmişi biçimsel mantığa dayanır. Frege'nin 1879 tarihli mantık gösterimi kitabı Begriffsschrift'te, yatay bir içerik çizgisiyle dikey bir yargı çizgisini birleştiren bir bildirim işareti kullanılmıştı. Daha sonraki mantık sistemleri, türetim ile anlamsal sonucu ayırmak için ve gibi ilişkili işaretler geliştirdi.
APL'nin tarihinde tack yönünü adlandırmak için birbiriyle yarışan iki yöntem kaydedilmiştir. Bu yüzden bazı birleşik APL adları, çizilen işaret aynı kalsa da Unicode'un sol/sağ adlandırmasıyla uyuşmaz.
Teknik gösterim: ⊣ işaretini güvenilir biçimde yorumlamak için formülü veya sistemi bilmek gerekir.
ya da ile değiştirmeyin; yönü ters çevirmek veya çizgi eklemek işareti değiştirir.
Birinin size bunu göndermesi ne anlama gelir
Yorumlar: 3F, G'nin sol eşleniğidir.
Şununla karıştırmayın
3


Sık sorulan sorular
1⊣ ile aynı mı?
Hayır. Zıt yönlere bakarlar ve biçimsel bir sistem onlara farklı roller verebilir; yerlerini değiştirmek ifadeyi değiştirebilir.
⊣ nasıl yazılır veya bulunur
- Diğer adı
- ters turnstile · dashv · sol T
- Şu şekilde arayın
- turnstile · APL sol özdeşlik · kategori teorisi eşlenik
- Şurada görünür
- Metin alanları · görünümü kullanılan yazı tipine bağlıdır
⊣\22A3Kodlar ve kodlamaKod noktaları: 1
Görünür bir sembol birden fazla kod noktası içerebilir. JS .length UTF-16 birimlerini, UTF-8 ise baytları sayar.

