lnot P(x)$.<br />

3.  ${\forall\,x\;\;} {Smart}(x) \lor (xx)$.<br />
</p>
    </div>
</div>

<p><br /></p>

<div class="card">
    <div class="card-header p-2">
        <a href="ex_8/" class="p-2">Exercise 8 (empty-universe-exercise) </a>
        <button type="button" class="btn btn-dark float-right" title="Bookmark Exercise" onclick="bookmark('ch8ex8');" href="#"><i id="ch8ex8" class="fas fa-bookmark" style="color:white"></i></button>
        <button type="button" class="btn btn-dark float-right" style="m