12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Wednesday April 09, 2025
Jump to navigationJump to searchDirectory:Jon Awbrey/Papers/Functional Logic : Inquiry and Analogy (view source)
Revision as of 15:34, 16 December 2008
, 15:34, 16 December 2008→Higher Order Propositional Expressions: acronym deleted
Line 30:
Line 30:
===Higher Order Propositional Expressions===
===Higher Order Propositional Expressions===
−By way of equipping this inquiry with a bit of concrete material, I begin with a consideration of ''higher order propositional expressions'' (HOPE's), in particular, those that stem from the propositions on 1 and 2 variables.
+By way of equipping this inquiry with a bit of concrete material, I begin with a consideration of ''higher order propositional expressions'', in particular, those that stem from the propositions on 1 and 2 variables.
====Higher Order Propositions and Logical Operators (''n'' = 1)====
====Higher Order Propositions and Logical Operators (''n'' = 1)====
