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