12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Sunday November 24, 2024
Jump to navigationJump to searchDirectory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems (view source)
Revision as of 20:40, 20 August 2009
, 20:40, 20 August 2009→Proof as semiosis: TeX markup
Let us now draw out these semiotic features of the business of proof and place them in relief.
Let us now draw out these semiotic features of the business of proof and place them in relief.
Our syntactic domain ''S'' contains an infinite number of signs or expressions, which we may choose to view in either their text or their graphic forms, glossing over for now the many details of their parsicular correspondence.
Our syntactic domain <math>S\!</math> contains an infinite number of signs or expressions, which we may choose to view in either their text or their graphic forms, glossing over for now the many details of their parsicular correspondence.
Here are some of the expressions that we find salient enough to single out and confer an epithetic nickname on:
Here are some of the expressions that we find salient enough to single out and confer an epithetic nickname on:
{| align="center" cellpadding="8" width="90%"
|
<math>\begin{array}{lcc}
e_0 & = & {}^{\backprime\backprime} \texttt{(~)} {}^{\prime\prime}
\\[4pt]
e_1 & = & {}^{\backprime\backprime} \texttt{~} {}^{\prime\prime}
\end{array}</math>
|}
: ''e''<sub>2</sub> = "(p (q))(p (r))"
: ''e''<sub>2</sub> = "(p (q))(p (r))"
