12,123
edits
Changes
MyWikiBiz, Author Your Legacy — Monday October 27, 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
===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)====
