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:

“I thought how sadly beauty of inscape was unknown and buried away from simple people and yet how near at hand it was if they had eyes to see it and it could be called out everywhere again.”
—Gerard Manley Hopkins (1844–1889)