#ThemeOneProgram • #JetsAndSharks 2.1
• https://inquiryintoinquiry.com/2022/08/30/theme-one-program-jets-and-sharks-2/

Our #CactusGraph bears a vocabulary of \(41\) #LogicalTerms, each denoting a #BooleanVariable, so our proposition, call it \(``q",\) is a #BooleanFunction \(q:\mathbb{B}^{41}\to\mathbb{B}.\) Since \(2^{41}=2,199,023,255,552,\) its #TruthTable has \(>\) 2 trillion rows and its #VennDiagram has that many cells. There are \(2^{2^{41}}\) functions \(f:\mathbb{B}^{41}\to\mathbb{B},\) among which \(q\) is just one.

#Logic #LogicalGraphs