Changes

</blockquote>

</blockquote>

This is the just the form <math>\operatorname{All}\ P\ \operatorname{are}\ Q,</math> already covered here:

This is just the form <math>\operatorname{All}\ P\ \operatorname{are}\ Q,</math> already covered here:

: [[Directory:Jon_Awbrey/Papers/Functional_Logic_:_Quantification_Theory#Application_of_Higher_Order_Propositions_to_Quantification_Theory|Application of Higher Order Propositions to Quantification Theory]]

: [[Directory:Jon_Awbrey/Papers/Functional_Logic_:_Quantification_Theory#Application_of_Higher_Order_Propositions_to_Quantification_Theory|Application of Higher Order Propositions to Quantification Theory]]