What are the two basic types of inferences?
a) Reduction to propositional logic, Manipulate rules directly
b) Reduction to propositional logic, Apply modus ponen
c) Apply modus ponen, Manipulate rules directly
a) Reduction to propositional logic, Manipulate rules directly
b) Reduction to propositional logic, Apply modus ponen
c) Apply modus ponen, Manipulate rules directly