12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Monday November 25, 2024
Jump to navigationJump to searchDirectory:Jon Awbrey/Papers/Functional Logic : Quantification Theory (view source)
Revision as of 16:20, 15 December 2008
, 16:20, 15 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)====
