If p `->` q, then
if p then q
it is true if p is false
it is false if p is true
all of these
is it possible in implication p->q that if p true implication may be false?