网站首页 情感咨询 情感美文 情感百科 情感生活 学习充电 旧版美文
亦称“推演的语法规则”。简称“导出规则”。根据初始推演规则(简称初始规则)一再出现的推理形式而作的概括。这种规则可以将若干步推演简化为一步,并可用元语言加以表述和证明。导出规则和初始规则不一样。初始规则不能省略,导出规则可以省略。使用导出规则的任何演绎,也总能用初始规则推出。
依恋情感网情感百科知识大全收录了49620条情感类百科知识词条,覆盖心理学、哲学、美学等领域,基本涵盖了日常生活中常见问题的详细解释,是情感生活的有利工具。