Changes

4 bytes removed ,  18:56, 8 December 2008
Line 332: Line 332:  
</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]]
12,080

edits