q p is a sufficient condition, but not a necessary condition (below)
That can be introduced by a p q.
p q is a necessary condition but not a sufficient condition. (See below)
That can be introduced by the q-p.
It can be combined with discrete mathematics p ----------> q, then to be understood. (This is the same line meoji).