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
164 followers · 945 posts · Server mathstodon.xyz@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
#LogicalGraphs #godsownlogic #gol #quantificationallogic #predicatecalculus #fol #zerothorderlogic #PropositionalCalculus #BooleanFunctions #alphagraphs
Jon Awbrey · @Inquiry
27 followers · 88 posts · Server mathstodon.xyz
#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
#propositionalforms #zerothorderlogic #MinimalNegationOperators #PropositionalCalculus #syntax #DifferentialPropositionalCalculus