. Conjunction is the negation of incompatibility, i.e. it is
. Thus all our four other functions are defined in terms of incompatibility.
It is obvious that there is no limit to the manufacture of truth-functions, either by introducing more arguments or by repeating arguments. What we are concerned with is the connection of this subject with inference.
If we know that
is true and that
implies