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

@bblfish @josd @semwebpro @hochstenbach

One thing I found out early on is how critical it is to get #AlphaGraphs (#BooleanFunctions, #PropositionalCalculus, #ZerothOrderLogic) down tight. If you do that it changes how you view #FOL (#PredicateCalculus, #QuantificationalLogic). That tends to rub people who view FOL as #GOL (#GodsOwnLogic) the wrong way so you have watch out for that if you go down this road.

Here's a primer on \(\alpha\) #LogicalGraphs as I see them —
• https://oeis.org/w/index.php?title=Logical_Graphs&stable=0&redirect=no

#DifferentialPropositionalCalculus • 2.6
• https://inquiryintoinquiry.com/2020/02/22/differential-propositional-calculus-2/

More information about this #Syntax for #PropositionalCalculus can be found at the following locations.

Resources —

#MinimalNegationOperators
• https://oeis.org/wiki/Minimal_negation_operator

#ZerothOrderLogic
• https://oeis.org/wiki/Zeroth_order_logic

#PropositionalForms on Two Variables
• https://oeis.org/wiki/Differential_Propositional_Calculus_%E2%80%A2_Appendices#Table_A1