山东科技大学学报（自然科学版）
山東科技大學學報（自然科學版）
산동과기대학학보（자연과학판）
JOURNAL OF SHANDONG UNIVERSITY OF SCIENCE AND TECHNOLOGY(NATURAL SCIENCE)
2005年
4期
84-86
,共3页
命题逻辑%谓词逻辑%存在量词%全称量词
命題邏輯%謂詞邏輯%存在量詞%全稱量詞
명제라집%위사라집%존재량사%전칭량사
数理逻辑是<离散数学>的难点之一.主要有两个原因,其一是内容比较抽象且方法较独特;其二是题型以证明题居多,大多数证明题涉及到的知识面较广,习题较难.而谓词逻辑是命题逻辑的推广,其灵活性就更大,故很难掌握.本文总结了几种谓词逻辑推理的判定方法和注意事项,以帮助掌握证明题的证明.结合适当的例题讲解,帮助学生进行逻辑思维能力的训练,培养分析问题和解决问题的能力.
數理邏輯是<離散數學>的難點之一.主要有兩箇原因,其一是內容比較抽象且方法較獨特;其二是題型以證明題居多,大多數證明題涉及到的知識麵較廣,習題較難.而謂詞邏輯是命題邏輯的推廣,其靈活性就更大,故很難掌握.本文總結瞭幾種謂詞邏輯推理的判定方法和註意事項,以幫助掌握證明題的證明.結閤適噹的例題講解,幫助學生進行邏輯思維能力的訓練,培養分析問題和解決問題的能力.
수리라집시<리산수학>적난점지일.주요유량개원인,기일시내용비교추상차방법교독특;기이시제형이증명제거다,대다수증명제섭급도적지식면교엄,습제교난.이위사라집시명제라집적추엄,기령활성취경대,고흔난장악.본문총결료궤충위사라집추리적판정방법화주의사항,이방조장악증명제적증명.결합괄당적례제강해,방조학생진행라집사유능력적훈련,배양분석문제화해결문제적능력.
