Jon Awbrey#DifferentialPropositionalCalculus • 4.3
• https://inquiryintoinquiry.com/2020/02/25/differential-propositional-calculus-4/
The full set of propositions \(f : A \to \mathbb{B}\) contains a number of smaller classes deserving of special attention.
A #BasicProposition in the universe of discourse \([a_1, \ldots, a_n]\) is one of the propositions in the set \(\{a_1, \ldots, a_n\}.\) There are of course exactly \(n\) of these. Depending on the context, #BasicPropositions may also be called #CoordinatePropositions or #SimplePropositions.