网站首页 情感咨询 情感美文 情感百科 情感生活 学习充电 旧版美文
相干与衍推逻辑系统的一个元定理。可表述为:若蕴涵式A→B是系统的定理,则A与B必存在共同的命题变项。即A与B有共同的命题变项是A→B为定理的必要条件。这一原理揭示了相干蕴涵与衍推的一个基本逻辑特征,正是由于这一特征的存在,才使蕴涵怪论得以避免。
依恋情感网情感百科知识大全收录了49620条情感类百科知识词条,覆盖心理学、哲学、美学等领域,基本涵盖了日常生活中常见问题的详细解释,是情感生活的有利工具。