在离散数学或者逻辑学里面，如果条件p是空集，那表示p是假命题，此时“若p则q”这个说法，无论q是不是真都是正确的。但如果p是空集，那么p对应的条件应该是什么呢，也许是没有任何条件推出某个条件，也就是说没有条件能推出任何条件。