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

最佳答案

• 

  课程顾问-小管家 2023-04-27 12:10:57

  立即咨询

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

  　　1、集合和函数

  　　2、命题演算及其语义

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

  　　4、SC替换

  　　5、反例测试有效性

  

  　　6、紧性定理

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

  　　8、等价物替换

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

  　　10、谓词演算及其推导

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

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

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

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

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

  　　5、阐述逻辑结构观点。

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

其他答案