假如AB是两个条件
两个箭头分别表示从A推出B和B推出A
满足如图关系,就说明A是B的充要条件,假如只有上面那个箭头成立,下面的箭头不成立,就说A是B的充分不必要条件,假如只有下面的箭头成立,上面不成立,就说A是B的必要不充分条件,假如两个箭头都不成立,那么说A是B的既不充分也不必要条件