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:

    Armies, for the most part, are made up of men drawn from simple and peaceful lives. In time of war they suddenly find themselves living under conditions of violence, requiring new rules of conduct that are in direct contrast to the conditions they lived under as civilians. They learn to accept this to perform their duties as fighting men.
    Gil Doud, U.S. screenwriter, and Jesse Hibbs. Walter Bedell Smith (Himself)