充分条件和必要条件

够得到b的条件a，在此处为充分条件，即a是b的充分条件。如天下雨，则地面一定湿。

必须具备a才能推导出b，在此处为必要条件，即b是a的必要条件。如地面湿，则天下雨了。

两个条件可相互推导，为充要条件。如他考试得了满分，则他每道题都做对了；反之，如果他每道题都做对了，那么他考试得了满分。

地面湿并不一定能推导出天下雨，因此我们称“天下雨是地面湿的充分不必要条件”。

地面湿是天下雨的必要非充分条件，即前者不能推导出后者，但后者能推导出前者。

性质a是b的充分不必要条件等价于b是a的必要不充分条件。