科技信息
科技信息
과기신식
SCIENTIFIC & TECHNICAL INFORMATION
2010年
9期
616,672
,共2页
数理逻辑%命题%逻辑联结词%量词
數理邏輯%命題%邏輯聯結詞%量詞
수리라집%명제%라집련결사%량사
在数理逻辑中,要确保推理的正确性,首先就得保证命题符号化的准确性,本文对数理逻辑中的命题符号的准确性问题提出了值得注意的几点看法,以期在帮助学生掌握数理逻辑中的命题符号化即翻译方法的同时,又能对学生进行逻辑思维能力和抽象概括能力的训练.
在數理邏輯中,要確保推理的正確性,首先就得保證命題符號化的準確性,本文對數理邏輯中的命題符號的準確性問題提齣瞭值得註意的幾點看法,以期在幫助學生掌握數理邏輯中的命題符號化即翻譯方法的同時,又能對學生進行邏輯思維能力和抽象概括能力的訓練.
재수리라집중,요학보추리적정학성,수선취득보증명제부호화적준학성,본문대수리라집중적명제부호적준학성문제제출료치득주의적궤점간법,이기재방조학생장악수리라집중적명제부호화즉번역방법적동시,우능대학생진행라집사유능력화추상개괄능력적훈련.