充分不必要条件：p且q真说明p一定是真的,则非p一定是假；但是非p是假,说明p是真的,但不能说明p、q都是真的