Changes

==Note 25==

==Note 25==

===Interpretation of the Propositional Program===

Interpretation of the Propositional Program

Let us now run through the propositional specification of Stunt(2),

Let us now run through the propositional specification of <math>\operatorname{Stunt}(2),</math> our truncated TM, and paraphrase what it says in ordinary language.

our truncated TM, and paraphrase what it says in ordinary language.

Mediate Conditions:

'''Mediate Conditions'''

  ( p0_q# ( p1_q# ))

  ( p0_q* ( p1_q* ))

 

  ( p1_q# ( p2_q# ))

\texttt{(~p0\_q\#~(~p1\_q\#~))}

  ( p1_q* ( p2_q* ))

\texttt{(~p0\_q*~(~p1\_q*~))}

\texttt{(~p1\_q\#~(~p2\_q\#~))}

\texttt{(~p1\_q*~(~p2\_q*~))}

In the interpretation of the cactus language for propositional logic

In the interpretation of the cactus language for propositional logic

that we are using here, an expression of the form "(p (q))" expresses

that we are using here, an expression of the form "(p (q))" expresses