网站首页 情感咨询 情感美文 情感百科 情感生活 学习充电 旧版美文
某些自然演绎系统中的初始推演规则。有时记作规则T。这一规则规定：如果在一个演绎中，有一些在先的公式，使得它们的合取重言蕴涵S，那么就可以在这一演绎中引入S。
依恋情感网情感百科知识大全收录了49620条情感类百科知识词条，覆盖心理学、哲学、美学等领域，基本涵盖了日常生活中常见问题的详细解释，是情感生活的有利工具。