命题符号化数学中应注意的问题
出处
《天中学刊》
1998年第5期34-34,共1页
Journal of Tianzhong
-
1王笠.关于将命题符号化问题[J].承德民族师专学报,2007,27(2):13-14. 被引量:1
-
2孙翠先.函数在谓词逻辑符号化中的应用[J].唐山学院学报,2016,29(6):6-8. 被引量:1
-
3张朝康.相容或排斥或简论──兼评《离散数学》中的一处失当[J].培训与研究(湖北教育学院学报),2001,18(2):83-84. 被引量:1
-
4唐金文.解析命题符号化[J].曲靖师范学院学报,2002,21(6):71-73. 被引量:1
-
5陈艳华.“或”与“析取”之辨析[J].中国科技信息,2007(2):271-271.
-
6丘洪伟,向万新.逻辑学在教学中的应用[J].科技风,2015(3):241-241.
-
7朱玉莲.一些命题逻辑的Groebner基算法[J].重庆工学院学报,2007,21(15):126-129.
-
8武菊.对数理逻辑中几组概念的辨析[J].科技信息,2011(29).
-
9王郁昕.互逆主义逻辑中的逻辑命题[J].北京联合大学学报,2005,19(4):9-13. 被引量:1
-
10李艳艳,黄卫华.离散数学与高中数学新课标中常用逻辑用语的衔接研究[J].文山学院学报,2014,27(6):40-42.
;