另一方面,p命题严格蕴涵q命题,若且唯若在q不为真的情况下p不可能为真(也就是说如果p且非q是不可能的)。

另一方面,p命题严格蕴涵q命题,若且唯若在q不为真的情况下p不可能为真(也就是说如果p且非q是不可能的)。的英文翻译

基本释义

• "On the other hand, proposition p strictly implies proposition q if and only if it is impossible for p to be true without q also Being true (i.e., if the conjunction of p and not-q is impossible). "