we may infer the falsehood of
, when
implies
. All these four are cases of inference. When our minds are fixed upon inference, it seems natural to take "implication" as the primitive fundamental relation, since this is the relation which must hold between
and