简答题

组成公理化系统的一般程序？

正确答案

①选择只作公设的概念为基本概念，选择一类自明的陈述作为公理，它们是无须证明就被置入系统的；
②制定推理（推导）规则，用以指导本系统的所有演算；
③依据规则从原初概念推导出新的概念，从公理演绎出新的陈述；
④遵循同样的步骤，从导出的陈述和公理中进一步导出其他陈述。

答案解析

略

相似试题

组成公理化系统的一般程序？
简答题查看答案
公理化系统必须同时满足：（）
多选题查看答案
以下哪项没有尝试用公理化系统的模型来建立哲学体系。（）
单选题查看答案
公理系统
名词解析查看答案
创造性思维演进的一般程序（看法）？
简答题查看答案
默写式头脑风暴法的一般程序是（）。
多选题查看答案
简述技术创造活动的一般程序。
简答题查看答案
简述科学认识的一般程序。
简答题查看答案
简述技术创造活动的一般程序
简答题查看答案

分享

语音搜题

拍照搜题

打赏