【名词&注释】
形式逻辑(formal logic)、排中律(law of excluded middle)、基础理论知识(basic theoretical knowledge)、同一律(law of identity)、不矛盾律(law of non-contradiction)
[填空题]基础理论知识中的形式逻辑包括同一律,不矛盾律(law of non-contradiction),()和理由充足律。