Jon Awbrey · @Inquiry
231 followers · 1712 posts · Server mathstodon.xyz
Logic Syllabus • 3
• https://inquiryintoinquiry.com/logic-syllabus/
Logical Concepts
• https://oeis.org/wiki/Logic_Syllabus#Logical_concepts
Ampheck • https://oeis.org/wiki/Ampheck
Boolean Domain • https://oeis.org/wiki/Boolean_domain
Boolean Function • https://oeis.org/wiki/Boolean_function
Boolean-Valued Function • https://oeis.org/wiki/Boolean-valued_function
Differential Logic • https://oeis.org/wiki/Differential_logic
Logical Graph • https://oeis.org/wiki/Logical_Graphs
Minimal Negation Operator • https://oeis.org/wiki/Minimal_negation_operator
Multigrade Operator • https://oeis.org/wiki/Multigrade_operator
Parametric Operator • https://oeis.org/wiki/Parametric_operator
Peirce's Law • https://oeis.org/wiki/Peirce%27s_law
Propositional Calculus • https://oeis.org/wiki/Propositional_calculus
Sole Sufficient Operator • https://oeis.org/wiki/Sole_sufficient_operator
Truth Table • https://oeis.org/wiki/Truth_table
Universe of Discourse • https://oeis.org/wiki/Universe_of_discourse
Zeroth Order Logic • https://oeis.org/wiki/Zeroth_order_logic
#Logic #LogicSyllabus #Ampheck #BooleanDomain #BooleanFunction #BooleanValuedFunction
#DifferentialLogic #LogicalGraph #MinimalNegationOperator #MultigradeOperator
#ParametricOperator #PeircesLaw #PropositionalCalculus #SoleSufficientOperator
#TruthTable #UniverseOfDiscourse #ZerothOrderLogic
#logicsyllabus #logic #zerothorderlogic #UniverseOfDiscourse #truthtable #solesufficientoperator #PropositionalCalculus #peirceslaw #parametricoperator #multigradeoperator #minimalnegationoperator #logicalgraph #DifferentialLogic #booleanvaluedfunction #booleanfunction #booleandomain #ampheck
Jon Awbrey · @Inquiry
96 followers · 413 posts · Server mathstodon.xyz
For that my (classical) favorites are #PeircesLaw and #Leibniz's #PraeclarumTheorema.
Here's how they look in a variant of #Peirce's #AlphaGraphs.
• https://inquiryintoinquiry.com/2008/10/06/peirces-law/
• https://inquiryintoinquiry.com/2008/10/05/praeclarum-theorema/
#alphagraphs #Peirce #praeclarumtheorema #leibniz #peirceslaw