lecture on logical rules of inference 6615761