Що означає ⊭
P ⊭ Q читаємо: «З P семантично не випливає Q». P і Q позначають висловлювання. Нехай P означає «дорога мокра», а Q — «пройшов дощ». Поливальний пристрій міг намочити дорогу й без дощу. Така можлива ситуація — це контрприклад: він показує, що P не гарантує Q.
У записі Γ ⊭ φ літера Γ (велика гамма) позначає множину передумов, а φ (фі) — висновок. Існує інтерпретація, тобто спосіб надати значення або визначити істинність висловлювань, за якої всі передумови істинні, а висновок хибний. Достатньо одного контрприкладу. Це не означає, що передумови гарантують протилежний висновок.
Знак описує відношення між передумовами та висновком; це не логічна зв’язка, яка поєднує висловлювання всередині формули. виражає таку гарантію, а похила риска в ⊭ її заперечує.
Позначення формальної логіки для обговорення того, що випливає з передумов.
«Не випливає» не означає «випливає протилежне».
Входить до добірок
Що означає, коли хтось надсилає вам цей символ
Тлумачень: 3Передумови з Γ не гарантують φ: існує контрприклад.
Не плутайте з
2
Споріднені символи
1
Запитання користувачів
1Чому ⊭ відображається порожнім квадратиком?
У шрифті може не бути цього символу. Шрифт із математичними знаками може його відобразити, якщо застосунок використовує саме цей шрифт.
Схожі символи
10
Як набрати чи знайти ⊭
- Також називають
- семантично не випливає · не є моделлю · заперечений подвійний турнікет
- Шукайте як
- не випливає · не імплікує · знак неістинно · nvDash
- Використовується в
- У будь-якому текстовому полі · його вигляд залежить від шрифту
⊭\22AD\usepackage{amssymb}, потім використайте \nvDash у математичному режимі.Коди й кодуванняКодових точок: 1
Видимий символ може містити кілька кодових точок. JS .length рахує одиниці UTF-16, а UTF-8 — байти.