Abstract Syntax Trees for Khan Exercises - www-users.cs.umn.edu

F(x), G(x,y), and H(b) are all atomic wffs of FOL by Rule 0/Atomic wff Rule. ii. ¬G(x,y) is a wff of FOL by Rule 1/Negation Rule and Line i. iii.