|
思维学网
附录: 部分符号的基本约定
作者:玄易居士 发表时间:2019-03-05 20:52:32 更新时间:2019-03-05 20:52:32
【摘要】
【关键词】
【】【】【】【】【】
附录: 部分符号的基本约定
命题:大写字母表示,如A、B、C
关系:大写字母表示,如A()、B()、C()
函数:小写字母表示,如f()、g()
导出:→,A→B表示命题A能推导出命题B
任意:","A表示任意(任何)命题A
存在:$,$A表示存在一个命题A
与:∧,并且的意思,如A∧B表示命题A成立并且命题B成立
或:∨,或者的意思,如A∨B表示命题A成立或者命题B成立
非:~,~A,指命题A的否命题,即命题A不成立