#DifferentialPropositionalCalculus • 4.2
• 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.

#LogicalGraphs