Here is the list of inference rules and definitions you will have available to you during the midterm and the final. There are no tree rules, but there will be be no tree problems on either test.