假设命题P的集合是A，命题Q的集合是B；若A是B的子集，则表示P能推出Q，也即P是Q的充分条件即任意一个在A中的元素必在B中；若B是A的子集，则表示Q能推出P，也即P是Q的必要条件即任意一个在B中的元素必在A中。
