在逻辑学中：
- 当命题“若P则Q”为真时, P称为Q的充分条件, Q称为P的必要条件.
因此：
- 当命题“若P则Q”与“若Q则P”皆为真时, P是Q的充分必要条件, 同时, Q也是P的充分必要条件.
- 当命题“若P则Q”为真, 而“若Q则P”为假时, 我们称P是Q的充分不必要条件, Q是P的必要不充分条件, 反之亦然.
其中P是Q的充分条件, 代表“如果P是真, 则Q是真”或“如果Q是假, 则P是假”.
举个例子: A=“下雨”；B=“地面湿润”. A是B的充分而不必要的条件, 其一, A必然导致B；其二, A不是B发生必需的；其三，B没发生则A也没发生.
在例子中, 下雨会导致地面湿润, 但地面湿润不一定是由下雨导致的, 可能是由于泼水导致的. 而如果地面没湿，则说明肯定没下雨.
下面的挑战题是一个经典的四卡片推理测试题，是由美国生物学家、心理学家彼得沃森于1966年设计的. 实验目的是为了测试人们的逻辑推理能力即理性水平，现如今已成为心理学中研究推理能力问题最经典的案例之一 . 据说实验结果只有