">\(\exists x\,P(x)\)</span>, it is a <em>bound variable</em>; we say that the quantifiers <span class="math inline">\(\forall\)</span> and <span class="math inline">\(\exists\)</span> <em>bind</em> the variable.</p>
<p>Once again, there are logical equivalences involving these symbols that will be useful to us later:</p>
<div style="margin: 0% 10%">
<table class="table">
<thead>
<tr class="header">
<th style="text-align: center;"></th>
<th style="text-align: center;">Quantifier Negation Laws</th>
<th style