充分必要條件與集合的關係

假設命題P的集合是A，命題Q的集合是B；若A是B的子集，則表示P能推出Q，也即P是Q的充分條件即任意一個在A中的元素必在B中；若B是A的子集，則表示Q能推出P，也即P是Q的必要條件即任意一個在B中的元素必在A中。