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

Does the fact
$\lnot {Spouse}({George},{Laura})$ follow from the facts
${Jim}\neq {George}$ and ${Spouse}({Jim},{Laura})$? If so,
give a proof; if not, supply additional axioms as needed. What happens
if we use ${Spouse}$ as a unary function symbol instead of a binary
predicate?
</p>
    </div>
</div>

<p><br /><