阿德莱德大学逻辑学导论的考试知识点有总结吗？我们快考试了

　　阿德莱德大学逻辑学导论这门课介绍了形式逻辑的基础知识，考试侧重于符号语言和逻辑，以及演绎推理的精确模型。考试涵盖的知识点如下：

　　1、集合和函数

　　2、命题演算及其语义

　　3、状态描述、析取范式和表达完整性

　　4、SC替换

　　5、反例测试有效性

　　6、紧性定理

　　7、SC推导、SC完整性、SC翻译

　　8、等价物替换

　　9、一元谓词演算及其推导和完整性

　　10、谓词演算及其推导

　　因为课程的重点是现代符号逻辑，所以同学应该着重复习以下内容：

　　1、用符号表示语句和参数的结构。

　　2、使用真值表和自然演绎评估有效性。

　　3、应用特定方法解释和评估现实世界。

　　4、使用符号逻辑方法进行测试。

　　5、阐述逻辑结构观点。

　　逻辑学导论这门课的考试还涉及到很多细节性的内容，如果同学想进一步了解考试相关情况，可以和我们的澳洲课程辅导老师深入沟通，老师会为同学逐一介绍。