Inference in logic
		¡ Chaining l Requires l Uses Modus Ponens for sound reasoning l Forward or Backward types ¡ Resolution l Requires Conjunctive Normal Form l Uses Resolution for sound reasoning l Proof by Contradiction