Chapter 1.5, Problem 1E

To determine

(a)

To write:

The statement for predict logic in domain of integers based on the below statement:

All integers is $x$, if $4|x$, then $x$ would be even.

To determine

(b)

To write:

The statement for direct proof of the sentence by using the rule of thumb 1.1 based on the below statement:

All integers is $x$, if $4|x$, then $x$ would be even.

To determine

(c)

To translate:

The supposition in part $(b)$ in to algebra by using definition 1.10 based on the given statement.

To determine

(d)

To show:

The finish proof of the given statement.