PDF Last updated May 28, 2021 Save as PDF 3.4: Summary 4: First-Order Logic Page ID65655 Dave Witte Morris & Joy MorrisUniversity of Lethbridge ( \newcommand{\kernel}{\mathrm{null}\,}\) This page was auto-generated because a user created a sub-page to this page.