ماذا يعني ⊬
لا: فهو يختبر قابلية الاشتقاق، لا الصدق.
في P ⊬ Q، تمثل P المقدمات وتمثل Q النتيجة؛ وينفي الرمز الاستلزام النحوي. أما P ⊭ Q فتعني أن هناك نموذجًا (تفسيرًا رياضيًا) يجعل P صادقة وQ خاطئة.
تتضمن Begriffsschrift لغوتلوب فريغه، التي نُشرت عام 1879، سلفًا تاريخيًا لرمز الاشتقاق ضمن تدوين ثنائي الأبعاد للمنطق. وتغير المعنى لاحقًا: ففي كثير من أنظمة البرهان، يشير ⊢ إلى قابلية الاشتقاق وينفي ⊬ هذه العلاقة.
رمز تقني ورسمي ومحايد.
لا يعني الرمز وحده أن Q خاطئة.
لا تخلطه مع
1كيفية كتابة ⊬
Windows (Word)
Alt+Xاكتب 22AC ثم اضغط Alt+X للحصول على ⊬.
Windows
Win+Rشغّل charmap لعرض الجدول الكامل، أو استخدم تبويب Ω في منتقي الإيموجي (Win + .).
macOS
Control+Command+Spaceافتح عارض المحارف وابحث عن «does not prove».
Linux
Ctrl+Shift+Uاكتب 22ac ثم اضغط Enter أو Space.
HTML
⊬CSS
\22ACLaTeX
في وضع الرياضيات في LaTeX، استخدم `\nvdash` لرمز الاشتقاق المنفي.
الأكواد والترميزنقاط الترميز: 1
HTML عشري
⊬
HTML سداسي عشري
⊬
محتوى CSS
content: "\22AC";
ينتهي كل تسلسل هروب عند الشرطة المائلة العكسية التالية؛ تلزم مسافة قبل رقم سداسي عشري يُكتب حرفيًا.
ترميز URL
%E2%8A%AC
1
على الشاشة
1
نقاط الترميز
1
JS .length
3
بايتات UTF-8
قد يتكون الرمز الظاهر من عدة نقاط ترميز. تحسب JS .length وحدات UTF-16، بينما يحسب UTF-8 البايتات.