12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Tuesday April 15, 2025
Jump to navigationJump to searchDirectory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 6 (view source)
Revision as of 15:10, 17 April 2013
, 15:10, 17 April 2013→6.38. Considering the Source: markup
Line 9,710:
Line 9,710:
<pre> + ["A"A]A = ["A"B]A = ["i"A]A = ["u"B]A,+or "A"A =A "A"B =A "i"A =A "u"B.+In comparison, the SER for interpreter B yields the semantic equations:+ + ["A"A]B = ["A"B]B = ["i"A]B = ["u"B]B,+ +
<br>
<br>
−Thus informed, the semiotic equivalence relation for interpreter <math>\text{A}\!</math> yields the following semiotic equations.
−Thus informed, the SER for interpreter A yields the semantic equations:
−{| cellpadding="10"
+| width="10%" |
+| <math>[{}^{\backprime\backprime} \text{A} {}^{\prime\prime\text{A}}]_\text{A}\!</math>
+| <math>=\!</math>
+| <math>[{}^{\backprime\backprime} \text{A} {}^{\prime\prime\text{B}}]_\text{A}\!</math>
+| <math>=\!</math>
+| <math>[{}^{\backprime\backprime} \text{i} {}^{\prime\prime\text{A}}]_\text{A}\!</math>
+| <math>=\!</math>
+| <math>[{}^{\backprime\backprime} \text{u} {}^{\prime\prime\text{B}}]_\text{A}\!</math>
+|-
+| width="10%" | or
+| <math>{}^{\backprime\backprime} \text{A} {}^{\prime\prime\text{A}}\!</math>
+| <math>=_\text{A}\!</math>
+| <math>{}^{\backprime\backprime} \text{A} {}^{\prime\prime\text{B}}\!</math>
+| <math>=_\text{A}\!</math>
+| <math>{}^{\backprime\backprime} \text{i} {}^{\prime\prime\text{A}}\!</math>
+| <math>=_\text{A}\!</math>
+| <math>{}^{\backprime\backprime} \text{u} {}^{\prime\prime\text{B}}\!</math>
+|}
−In comparison, the semiotic equivalence relation for interpreter <math>\text{B}\!</math> yields the following semiotic equations.
−{| cellpadding="10"
−| width="10%" |
−| <math>[{}^{\backprime\backprime} \text{A} {}^{\prime\prime\text{A}}]_\text{B}\!</math>
−| <math>=\!</math>
−or "A"A =B "A"B =B "i"A =B "u"B.
+| <math>[{}^{\backprime\backprime} \text{A} {}^{\prime\prime\text{B}}]_\text{B}\!</math>
+| <math>=\!</math>
+| <math>[{}^{\backprime\backprime} \text{i} {}^{\prime\prime\text{A}}]_\text{B}\!</math>
+| <math>=\!</math>
+| <math>[{}^{\backprime\backprime} \text{u} {}^{\prime\prime\text{B}}]_\text{B}\!</math>
+|-
+| width="10%" | or
+| <math>{}^{\backprime\backprime} \text{A} {}^{\prime\prime\text{A}}\!</math>
+| <math>=_\text{B}\!</math>
+| <math>{}^{\backprime\backprime} \text{A} {}^{\prime\prime\text{B}}\!</math>
+| <math>=_\text{B}\!</math>
+| <math>{}^{\backprime\backprime} \text{i} {}^{\prime\prime\text{A}}\!</math>
+| <math>=_\text{B}\!</math>
+| <math>{}^{\backprime\backprime} \text{u} {}^{\prime\prime\text{B}}\!</math>
+|}
+<pre>
Consequently, both SERs now induce the same semantic partition on S:
Consequently, both SERs now induce the same semantic partition on S:
