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:

    It is very difficult for people to believe the simple fact that every persecutor was once a victim. Yet it should be very obvious that someone who was allowed to feel free and strong from childhood does not have the need to humiliate another person.
    Alice Miller (20th century)