(adsbygoogle = window.adsbygoogle || []).push({}); 1. The problem statement, all variables and given/known data

I actually have to problems I would just like someone to confirm for me. I have several other problems similar to these, and I don't want to waste time in case I do not understand the fundamentals. Anyway:

a) Define suitable predicates and functions and then formalize the following sentence : A student receives a grade for every course in which he or she registers:

b) Translate the following English statements into predicate logic : Adding two odd integers yields an even number. Use only addition and multiplication; do not use division, mod, or predicates even(x) and odd(x).

2. Attempt at a solution

Now here is my attempt:

a) I defined the variables:

- c = courses

- s = students

And the functions:

- isReg(s, c)

- getGrades(s, c)

And then combined them into the following formal statement:

[tex](\forall s|: (\forall c | isReg(s,c) : getsGrade(s, c)))[/tex]

b) Now for this I simply derived the following:

[tex](\forall x,y:Z|(\exists n:Z|:(2n+1) = x) \wedge (\exists n:Z|:(2n+1) = y):(\exists n:Z|:(2n) = (x + y)))[/tex]

If I've gone wrong, any help at getting back onto the right track would be much appreciated.

Thanks :)

**Physics Forums | Science Articles, Homework Help, Discussion**

Dismiss Notice

Join Physics Forums Today!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Homework Help: Can someone confirm these English to predicate logic problems for me?

**Physics Forums | Science Articles, Homework Help, Discussion**