Jon Awbrey · @Inquiry
231 followers · 1712 posts · Server mathstodon.xyz

Logic Syllabus • 3
inquiryintoinquiry.com/logic-s

Logical Concepts
oeis.org/wiki/Logic_Syllabus#L

Ampheck • oeis.org/wiki/Ampheck
Boolean Domain • oeis.org/wiki/Boolean_domain
Boolean Function • oeis.org/wiki/Boolean_function
Boolean-Valued Function • oeis.org/wiki/Boolean-valued_f
Differential Logic • oeis.org/wiki/Differential_log
Logical Graph • oeis.org/wiki/Logical_Graphs
Minimal Negation Operator • oeis.org/wiki/Minimal_negation
Multigrade Operator • oeis.org/wiki/Multigrade_opera
Parametric Operator • oeis.org/wiki/Parametric_opera
Peirce's Law • oeis.org/wiki/Peirce%27s_law
Propositional Calculus • oeis.org/wiki/Propositional_ca
Sole Sufficient Operator • oeis.org/wiki/Sole_sufficient_
Truth Table • oeis.org/wiki/Truth_table
Universe of Discourse • oeis.org/wiki/Universe_of_disc
Zeroth Order Logic • oeis.org/wiki/Zeroth_order_log




#logicsyllabus #logic #zerothorderlogic #UniverseOfDiscourse #truthtable #solesufficientoperator #PropositionalCalculus #peirceslaw #parametricoperator #multigradeoperator #minimalnegationoperator #logicalgraph #DifferentialLogic #booleanvaluedfunction #booleanfunction #booleandomain #ampheck

Last updated 1 year ago

Jon Awbrey · @Inquiry
64 followers · 218 posts · Server mathstodon.xyz
Jon Awbrey · @Inquiry
59 followers · 195 posts · Server mathstodon.xyz
Jon Awbrey · @Inquiry
39 followers · 143 posts · Server mathstodon.xyz
Jon Awbrey · @Inquiry
24 followers · 66 posts · Server mathstodon.xyz

• 1.5
inquiryintoinquiry.com/2020/02

Figure 3. Back, To The Future
inquiryintoinquiry.files.wordp

Figure 3 preserves the initial \(X\) and extends the basis of discussion to a set of two qualities \(\{q, \mathrm{d}q\}.\) In corresponding fashion, the initial is extended by means of the \(\{``𝑞", ``d𝑞"\}.\)

#EnlargedAlphabet #PropositionalCalculus #UniverseOfDiscourse #DifferentialPropositionalCalculus

Last updated 2 years ago

Jon Awbrey · @Inquiry
24 followers · 66 posts · Server mathstodon.xyz

• 1.3
inquiryintoinquiry.com/2020/02

Figure 1 represents a \(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 specifically cut out for discussing \(X\) in terms of \(q.\) This language is more formally known as the with \(\{``q"\}.\)

#alphabet #PropositionalCalculus #FormalLanguage #UniverseOfDiscourse #DifferentialPropositionalCalculus

Last updated 2 years ago

Jon Awbrey · @Inquiry
23 followers · 67 posts · Server mathstodon.xyz
Jon Awbrey · @Inquiry
23 followers · 66 posts · Server mathstodon.xyz

• 1 (cont.)
inquiryintoinquiry.com/2020/02

Figure 3. Back, To The Future
inquiryintoinquiry.files.wordp

Figure 3 preserves the initial \(X\) and extends the basis of discussion to a set of two qualities, \(\{q, \mathrm{d}q\}.\) In corresponding fashion, the initial is extended by means of the , \(\{``q", ``\mathrm{d}q"\}.\)

#EnlargedAlphabet #PropositionalCalculus #UniverseOfDiscourse #DifferentialPropositionalCalculus

Last updated 2 years ago

Jon Awbrey · @Inquiry
23 followers · 66 posts · Server mathstodon.xyz

• 1 (cont.)
inquiryintoinquiry.com/2020/02

Figure 3. Back, To The Future
inquiryintoinquiry.files.wordp

Figure 3 preserves the initial \(X\) and extends the basis of discussion to a set of two qualities, \(\{q, \mathrm{d}q\}.\) In corresponding fashion, the initial is extended by means of the , \(\{``q", ``\mathrm{d}q".\}\)

#EnlargedAlphabet #PropositionalCalculus #UniverseOfDiscourse #DifferentialPropositionalCalculus

Last updated 2 years ago

Jon Awbrey · @Inquiry
23 followers · 66 posts · Server mathstodon.xyz

• 1 (cont.)
inquiryintoinquiry.com/2020/02

Figure 1 represents a , \(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 specifically cut out for discussing \(X\) in terms of \(q.\) This language is more formally known as the with \(\{``q"\}.\)

#alphabet #PropositionalCalculus #FormalLanguage #UniverseOfDiscourse #DifferentialPropositionalCalculus

Last updated 2 years ago

Jon Awbrey · @Inquiry
23 followers · 63 posts · Server mathstodon.xyz

• 1 (cont.)
wp.me/p24Ixw-4zs

Figure 1 represents a , \(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 specifically cut out for discussing \(X\) in terms of \(q.\) This language is more formally known as the with \(\{``q"\}.\)

#alphabet #PropositionalCalculus #FormalLanguage #UniverseOfDiscourse #DifferentialPropositionalCalculus

Last updated 2 years ago

Jon Awbrey · @Inquiry
23 followers · 63 posts · Server mathstodon.xyz

• 1 (cont.)
wp.me/p24Ixw-4GT

Figure 1 represents a , \(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 specifically cut out for discussing \(X\) in terms of \(q.\) This language is more formally known as the with \(\{``q"\}.\)

#alphabet #PropositionalCalculus #FormalLanguage #UniverseOfDiscourse #DifferentialPropositionalCalculus

Last updated 2 years ago

Jon Awbrey · @Inquiry
22 followers · 51 posts · Server mathstodon.xyz