← Table of contents
Studies and Exercises in Formal Logic

Note 486 — Chapter II

Reading edition

The above may seem to imply that an alternative synthesis may be expressed in a greater number of ways than a conjunctive synthesis. This, however, is not the case. It has been shewn that an alternative synthesis may be expressed by a hypothetical or by the denial of a conjunctive (that is, by a true disjunctive). But corresponding to this, a conjunctive synthesis may be expressed by the denial of a hypothetical or by the denial of an alternative. Thus, representing the denial of a proposition by a bar drawn across it, we have

xy = x̅ or y̅ = If x, y̅ ; xy = x or y = If x, y.

Explore with AITake your curiosity a little further.

Reading settings