A => B,若A能推出B,则:
A是B的充分条件,
B是A的必要条件。
B => A,若B能推出A,则:
A是B的必要条件,
B是A的充分条件
A <≠ B,若B不能推出A,则:
B是A的不充分,
A是B的不必要
例如:x(x+1)=0 是 x=0 的 必要不充分。
=> 指向必要
/=> 指向不充分
A => B,若A能推出B,则:
A是B的充分条件,
B是A的必要条件。
B => A,若B能推出A,则:
A是B的必要条件,
B是A的充分条件
A <≠ B,若B不能推出A,则:
B是A的不充分,
A是B的不必要
例如:x(x+1)=0 是 x=0 的 必要不充分。
=> 指向必要
/=> 指向不充分