#DifferentialPropositionalCalculus • 1.3
https://inquiryintoinquiry.com/2020/02/18/differential-propositional-calculus-1/

Figure 1 represents a #UniverseOfDiscourse \(X\) together with a basis of discussion \(\{q\}\) for expressing propositions about the contents of that universe. Once the quality \(q\) is given a name, say, the symbol \(``q",\) we have the basis for a #FormalLanguage specifically cut out for discussing \(X\) in terms of \(q.\) This language is more formally known as the #PropositionalCalculus with #Alphabet \(\{``q"\}.\)

#DifferentialPropositionalCalculus • 1 (cont.)
https://inquiryintoinquiry.com/2020/02/18/differential-propositional-calculus-1/

Figure 1 represents a #UniverseOfDiscourse, \(X,\) together with a basis of discussion, \(\{q\},\) for expressing propositions about the contents of that universe. Once the quality \(q\) is given a name, say, the symbol \(``q",\) we have the basis for a #FormalLanguage specifically cut out for discussing \(X\) in terms of \(q.\) This language is more formally known as the #PropositionalCalculus with #Alphabet \(\{``q"\}.\)

#DifferentialPropositionalCalculus • 1 (cont.)
• https://wp.me/p24Ixw-4zs

Figure 1 represents a #UniverseOfDiscourse, \(X,\) together with a basis of discussion, \(\{q\},\) for expressing propositions about the contents of that universe. Once the quality \(q\) is given a name, say, the symbol \(``q",\) we have the basis for a #FormalLanguage specifically cut out for discussing \(X\) in terms of \(q.\) This language is more formally known as the #PropositionalCalculus with #Alphabet \(\{``q"\}.\)

#DifferentialPropositionalCalculus • 1 (cont.)
https://wp.me/p24Ixw-4GT

Figure 1 represents a #UniverseOfDiscourse, \(X,\) together with a basis of discussion, \(\{q\},\) for expressing propositions about the contents of that universe. Once the quality \(q\) is given a name, say, the symbol \(``q",\) we have the basis for a #FormalLanguage specifically cut out for discussing \(X\) in terms of \(q.\) This language is more formally known as the #PropositionalCalculus with #Alphabet \(\{``q"\}.\)