Small screen detected. You are viewing the mobile version of SlideWiki. If you wish to edit slides you will need to use a larger device.
Example: Show that
(p → q) → (¬q → ¬p)
is a valid formula
Solution: We will show that
¬[(p → q) → (¬q → ¬p)]
is not satisfiable.
(2) Show, using resolution, that
is the empty clause
A derivation of the empty clause from
is called a refutation of
This work is licensed under a Creative Commons Attribution-ShareAlike 4.0 International License