2013年陕西科技大学硕士研究生理学院招生专业课考试大纲
（2012年9月修订）
《814 离散数学》
1．数理逻辑（包括命题逻辑和谓逻辑）
命题及联结词、命题公式与翻译、真值表和等价公式、重言式、范式、全功能联结词集、最小全功能联结词集、对偶式与蕴含式、命题逻辑的推理理论、个体、谓词、量词、谓词公式、谓词演算的等价式与蕴含式、前束范式和谓词逻辑的推理理论。
……
更多内容，点击附件下载查看。