CS 540 Lecture Notes: First-Order Logic
pages.cs.wisc.edu › ~dyer › cs540Oct 14, 1998 · Translation into FOL Sentences. Let S(x) mean x is a skier, M(x) mean x is a mountain climber, and L(x,y) mean x likes y, where the domain of the first variable is Hoofers Club members, and the domain of the second variable is snow and rain. We can now translate the above English sentences into the following FOL wffs: (Ax) S(x) v M(x) ~(Ex) M(x ...