⊬ ne anlama gelir
“P'den Q kanıtlanamaz” diye okunur.
P, başlangıçta doğru varsayılan ifadeleri, yani öncülleri temsil eder. Q ise kanıtlanmak istenen sonuçtur. Eğik çizgi, ile gösterilen türetilebilirlik ilişkisini olumsuzlar. Bu gösterimle mantık kitaplarında ve belirli varsayımlardan nelerin kanıtlanabileceğine ilişkin matematiksel tartışmalarda karşılaşılır.
Örneğin, olağan klasik mantıkta yalnızca “yağmur yağıyor” ifadesinden “hava soğuk” sonucu kanıtlanamaz. Hava gerçekten soğuk olabilir; başlangıçtaki ifade bunu kanıtlamaya yetmez. Benzer şekilde P ⊬ Q, P'nin Q'nun değillemesini kanıtladığı anlamına gelmez.
Seçilen kurallar ve varsayımlar önemlidir. Bir öncül eklemek, daha önce kanıtlanamayan bir sonucu kanıtlanabilir hâle getirebilir. Sol tarafta hiçbir şey yoksa ⊬ Q genellikle Q'nun o sistemin bir teoremi olmadığını, yani yalnızca sistemin aksiyom ve kurallarıyla kanıtlanamadığını belirtir.
Kanıtlarla ilgili biçimsel ve teknik bir gösterimdir.
“Burada kanıtlanamaz”, “yanlış” demek değildir.
Bu koleksiyonların parçası
Şununla karıştırmayın
1
İlgili karakterler
1
Bilinmesi gerekenler
- İşaretin tarihsel öncülü, Gottlob Frege'nin 1879 tarihli Begriffsschrift adlı iki boyutlu mantık gösteriminde yer alır. Başlangıçta bir iddiayı belirtirken, türetilebilirlik ilişkisini gösteren modern kullanımı daha sonra gelişmiştir.
Benzerleri
11
⊬ nasıl yazılır veya bulunur
- Şu şekilde arayın
- kanıtlanamaz · üzeri çizili çıkarım işareti · nvdash · türetilemez
- Şurada görünür
- Metin alanları · görünümü kullanılan yazı tipine bağlıdır
⊬\22AC\usepackage{amssymb} paketini yükleyin, ardından matematik modunda \nvdash kullanın.Kodlar 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.