#separator:tab
#html:true
"<div>
<div>
<div>
<div>Define the set of formulae, L, in the general first order predicate language.&nbsp;</div>
</div>
</div></div>""<img src=""Screenshot 2024-04-09 at 17.33.05.png"">"
"<div>
<div>
<div>
<div>Describe the symbols of the general first order predicate language.<br>
</div>
</div>
</div></div>""<img src=""Screenshot 2024-04-09 at 17.27.50.png"">"
Define the degree of a formula."<img src=""Screenshot 2024-04-09 at 17.55.59.png"">"
Define the weight of an element of Lstring."<img src=""Screenshot 2024-04-09 at 17.55.59.png"">"
Prove that, if α is a formula, then the weight of α is −1."<img src=""Screenshot 2024-04-09 at 17.58.53.png"">"