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:

“Here we are, we’re alone in the universe, there’s no God, it just seems that it all began by something as simple as sunlight striking on a piece of rock. And here we are. We’ve only got ourselves. Somehow, we’ve just got to make a go of it. We’ve only ourselves.”
—John Osborne (b. 1929)