Jon Awbrey · @Inquiry
85 followers · 291 posts · Server mathstodon.xyz
#ThemeOneProgram • #JetsAndSharks 2
• https://inquiryintoinquiry.com/2022/08/30/theme-one-program-jets-and-sharks-2/
As we saw last time, Theme One reads the text file shown below and constructs a #CactusGraph #DataStructure in computer memory. The cactus graph represents a single #LogicalFormula in #PropositionalCalculus and that proposition embodies the #LogicalConstraints defining the Jets and Sharks #DataBase.
Jets and Sharks • Log File
• https://inquiryintoinquiry.files.wordpress.com/2022/08/theme-one-guide-e280a2-jets-and-sharks-e280a2-log-file.png
#logicalcacti #cactussyntax #Peirce #LogicalGraphs #logic #database #logicalconstraints #PropositionalCalculus #logicalformula #datastructure #cactusgraph #JetsAndSharks #ThemeOneProgram
Jon Awbrey · @Inquiry
82 followers · 269 posts · Server mathstodon.xyz
#ThemeOneProgram • #JetsAndSharks 1.4
• https://inquiryintoinquiry.com/2022/08/25/theme-one-program-jets-and-sharks-1/
Displayed below is the text expression of a #TraversalString which Theme One parses into a #CactusGraph #DataStructure in computer memory. The cactus graph represents a single #LogicalFormula in #PropositionalCalculus and this proposition embodies all the #LogicalConstraints defining the Jets and Sharks #DataBase.
#Logic #LogicalGraphs #Peirce
#CactusSyntax #LogicalCacti
#MinimalNegationOperators
#MinimalNegationOperators #logicalcacti #cactussyntax #Peirce #LogicalGraphs #logic #database #logicalconstraints #PropositionalCalculus #logicalformula #datastructure #cactusgraph #traversalstring #JetsAndSharks #ThemeOneProgram