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:

    To whatsoever upright mind, to whatsoever beating heart I speak, to you it is committed to educate men. By simple living, by an illimitable soul, you inspire, you correct, you instruct, you raise, you embellish all. By your own act you teach the beholder how to do the practicable. According to the depth from which you draw your life, such is the depth not only of your strenuous effort, but of your manners and presence.
    Ralph Waldo Emerson (1803–1882)