I’ve updated the chapter on FOL in the new-style Guide. Here again are the preliminary chapters (which you can ignore if you know the basic idea of the Guide, inherited from TYL), plus the revised chapter. The post Logic: A Study Guide — First Order Logic (again) appeared first on Logic Matters.