Slide 1 CSE 5731 Lectures 13-14 First-Order Logic CSE 573 Artificial Intelligence I Henry Kautz Fall 2001 Slide 2 CSE 5732 Axiom Schemas Useful to allow schemas that stand…