Upvote Exercise" onclick="upvote('ex8.24');" href="#"><i id="ch8ex24" class="fas fa-thumbs-up" style="color:white"></i></button>
    </div>
    <div class="card-body">
        <p class="card-text">

Arithmetic assertions can be written in first-order logic with the
predicate symbol $&lt;$, the function symbols ${+}$ and ${\times}$, and the
constant symbols 0 and 1. Additional predicates can also be defined with
biconditionals.<br />

1.  Represent the property “$x$ is an even number.”<br />

2.  Represe