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:

    The way a child discovers the world constantly replicates the way science began. You start to notice what’s around you, and you get very curious about how things work. How things interrelate. It’s as simple as seeing a bug that intrigues you. You want to know where it goes at night; who its friends are; what it eats.
    David Cronenberg (b. 1943)