Changes

MyWikiBiz, Author Your Legacy — Monday September 29, 2025
Jump to navigationJump to search
Line 2,338: Line 2,338:  
==Note 29==
 
==Note 29==
   −
<pre>
+
===Interpretation of the Propositional Program (cont.)===
Interpretation of the Propositional Program (cont.)
     −
Symbol Partition:
+
'''Symbol Partition'''
   −
  (( p0_r0_s0 ),( p0_r0_s1 ),( p0_r0_s# ))
+
{| align="center" cellpadding="8" width="90%"
  (( p0_r1_s0 ),( p0_r1_s1 ),( p0_r1_s# ))
+
|
  (( p0_r2_s0 ),( p0_r2_s1 ),( p0_r2_s# ))
+
<math>\begin{array}{l}
 
+
\texttt{((~p0\_r0\_s0~),(~p0\_r0\_s1~),(~p0\_r0\_s\#~))}
  (( p1_r0_s0 ),( p1_r0_s1 ),( p1_r0_s# ))
+
\\
  (( p1_r1_s0 ),( p1_r1_s1 ),( p1_r1_s# ))
+
\texttt{((~p0\_r1\_s0~),(~p0\_r1\_s1~),(~p0\_r1\_s\#~))}
  (( p1_r2_s0 ),( p1_r2_s1 ),( p1_r2_s# ))
+
\\
 
+
\texttt{((~p0\_r2\_s0~),(~p0\_r2\_s1~),(~p0\_r2\_s\#~))}
  (( p2_r0_s0 ),( p2_r0_s1 ),( p2_r0_s# ))
+
\\ \\
  (( p2_r1_s0 ),( p2_r1_s1 ),( p2_r1_s# ))
+
\texttt{((~p1\_r0\_s0~),(~p1\_r0\_s1~),(~p1\_r0\_s\#~))}
  (( p2_r2_s0 ),( p2_r2_s1 ),( p2_r2_s# ))
+
\\
 +
\texttt{((~p1\_r1\_s0~),(~p1\_r1\_s1~),(~p1\_r1\_s\#~))}
 +
\\
 +
\texttt{((~p1\_r2\_s0~),(~p1\_r2\_s1~),(~p1\_r2\_s\#~))}
 +
\\ \\
 +
\texttt{((~p2\_r0\_s0~),(~p2\_r0\_s1~),(~p2\_r0\_s\#~))}
 +
\\
 +
\texttt{((~p2\_r1\_s0~),(~p2\_r1\_s1~),(~p2\_r1\_s\#~))}
 +
\\
 +
\texttt{((~p2\_r2\_s0~),(~p2\_r2\_s1~),(~p2\_r2\_s\#~))}
 +
\end{array}</math>
 +
|}
    +
<pre>
 
The Symbol Partition segment of the propositional program for Stunt(2)
 
The Symbol Partition segment of the propositional program for Stunt(2)
 
consists of nine universal partition expressions, taken in conjunction
 
consists of nine universal partition expressions, taken in conjunction
12,089

edits

Navigation menu