Material implication, which describes a kind of truth value function, is naturally not the logic abstract of the sufficient condition relation.
实质蕴涵因其刻划真值函数关系故此并非传统逻辑表示充分条件关系的“若，则”的逻辑抽象。
Material implication, which describes a kind of truth value function, is naturally not the logic abstract of the sufficient condition relation.
实质蕴涵因其刻划真值函数关系故此并非传统逻辑表示充分条件关系的“若，则”的逻辑抽象。
应用推荐