想问┐是什么符号呀?
展开全部
┐在逻辑数学里面表示“非”,“┐”表示否定。非p表示命题p的否定。
逻辑符号的主要特点和作用在于它能精确地、单义地解释其所表示的对象(逻辑形式、逻辑联结词或逻辑运算等),从而可以用来精确、简明地表示各种逻辑公理、定理和逻辑运算过程。
在数理逻辑中,不同体系所采用的逻辑符号常常是有所不同的,因此同一个逻辑概念常常可以有几个不同的逻辑符号。如表示“否定”的逻辑符号除“一”外,还有“┐”“~”“一”等。
“┐”表示逻辑否定,假设陈述 ¬A 为真,若且唯若 A 为假。
逻辑符号定义
逻辑符号是逻辑学中用以表示逻辑形式和逻辑运算的各种人工语言符号。逻辑符号的主要特点和作用在于它能精确地、单义地解释其所表示的对象,从而可以用来精确、简明地表示各种逻辑公理、定理和逻辑运算过程。在数理逻辑中,不同体系所采用的逻辑符号常常是有所不同的,因此同一个逻辑概念常常可以有几个不同的逻辑符号。
以上内容参考:逻辑符号 - 百度百科
推荐律师服务:
若未解决您的问题,请您详细描述您的问题,通过百度律临进行免费专业咨询