基础理论知识中的形式逻辑包括同一律，不矛盾律，（）和理由充足律。