Resolution (logic) - A Simple Example

A Simple Example


\frac{a \vee b, \quad \neg a \vee c}
{b \vee c}

In plain language: Suppose is false. In order for the premise to be true, must be true. Alternatively, suppose is true. In order for the premise to be true, must be true. Therefore regardless of falsehood or veracity of, if both premises hold, then the conclusion is true.

Read more about this topic:  Resolution (logic)

Famous quotes containing the word simple:

    Literary gentlemen, editors, and critics think that they know how to write, because they have studied grammar and rhetoric; but they are egregiously mistaken. The art of composition is as simple as the discharge of a bullet from a rifle, and its masterpieces imply an infinitely greater force behind them.
    Henry David Thoreau (1817–1862)