![如何输入和阅读符号“||-”](https://linux22.com/image/418987/%E5%A6%82%E4%BD%95%E8%BE%93%E5%85%A5%E5%92%8C%E9%98%85%E8%AF%BB%E7%AC%A6%E5%8F%B7%E2%80%9C%7C%7C-%E2%80%9D.png)
我在模态逻辑教科书中多次见过这个符号||-
,尤其是在认识论逻辑书籍中。但我找不到有关如何输入或阅读它的任何信息。通常,它意味着“语义蕴涵“ 或者 ”造型“在模态逻辑中。
但在一阶逻辑中,语义蕴涵表示为|=
。相反,我们也用 来|-
表达“句法蕴涵“ 或者 ”证明“。
谁能帮我?
我在模态逻辑教科书中多次见过这个符号||-
,尤其是在认识论逻辑书籍中。但我找不到有关如何输入或阅读它的任何信息。通常,它意味着“语义蕴涵“ 或者 ”造型“在模态逻辑中。
但在一阶逻辑中,语义蕴涵表示为|=
。相反,我们也用 来|-
表达“句法蕴涵“ 或者 ”证明“。
谁能帮我?