[CG] Re: Differential Logic

Differential Logic • 8 • https://inquiryintoinquiry.com/2024/11/07/differential-logic-8-a/ Propositional Forms on Two Variables — To broaden our experience with simple examples, let's examine the sixteen functions of concrete type P×Q → B and abstract type B×B → B. Our inquiry into the differential aspects of logical conjunction will pay dividends as we study the actions of E and D on this family of forms. Table A1 arranges the propositional forms on two variables in a convenient order, giving equivalent expressions for each boolean function in several systems of notation. Table A1. Propositional Forms on Two Variables • https://inquiryintoinquiry.files.wordpress.com/2020/04/table-a1.-propositio… Resources — Logic Syllabus • https://inquiryintoinquiry.com/logic-syllabus/ Survey of Differential Logic • https://inquiryintoinquiry.com/2024/02/25/survey-of-differential-logic-7/ Regards, Jon cc: https://www.academia.edu/community/lQ19dr cc: https://www.researchgate.net/post/Differential_Logic_The_Logic_of_Change_an…