Also, circle any unbound variables. Refer to the notes above. Even though yRy doesn t contain the variable x it is in the scope of x. Translate the following sentences into predicate logic. Provide your own translation schemes.
Nothing can take the place of practice for translations and doing proofs.
You must memorize how certain words are translated and how the primitive rules work. Class is meant to supplement the rules with an understanding of why certain words are translated certain ways and why the primitive rules work in the manner that they do. In short, translations are meant to preserve semantic content and the primitive rules are designed to be truth-preserving. Most people find it helpful to break down sentences into smaller pieces, then slowly construct the entire sentence. John loves someone.