PHIL 230. Introduction to Formal Logic (3)