Replacement Rules
(Pt. II)

 

 

Getting Started (Pt. III)

 

 

FYI

Homework— The Logic Book (6e), Chapter 5