Resolution Refutation Procedure 1. Eliminate implications 2. Reduce scope of negations (move  inwards) 3. Standardize variables – each quantifier has
{"Image DocumentName": "Resolution Refutation", "Image ImageDescription": "Procedure. Eliminate implications. Reduce scope of negations (move \uf0d8 inwards) Standardize variables \u2013 each quantifier has a different one.", "Image XResolution": "37", "Image YResolution": "37", "Image ResolutionUnit": "Pixels/Centimeter", "Image Software": "SlidePlayer", "Image YCbCrPositioning": "Centered"}