- Thread starter
- #1

#### Tvtakaveli

##### New member

- Nov 16, 2018

- 5

We use the predicates O and B, with domain the integers. O(n) is true if n is odd, and

B(n) is true if n if big, which here means that n > 100.

(a) Express ∀m, n ∈ Z|O(m) ∧ B(n) ⇒ B(n − m) in conversational English.

(b) Find a counter-example to this statement.

Now i take it two ways;

Just expressing the imply part of the statement so,

The difference between n and m is big.

Or is it deeper than that like;

For every m, n is an element of Z and so m is odd and n is big. This implies the difference between n and m is big.

Thank you for the help!