User blog comment:Rpakr/A Formal Definition of Pair Sequence System using BM1 Rules/@comment-25337554-20180814232242


 * 1) What does con(A,B) mean if A is a number?


 * 1) What is S in "Adding a number to a pair"?


 * 1) What does con(A,B) mean if A is a number?


 * 1) In "Sequence", it should not be "S∈Pair∧" but "S∈Pair∨".


 * 1) In "Expression Function" and "Expression", what is N (both italic and mathbb)?


 * 1) In "Sequence", it should not be "\(S\9" but "\(S\)".


 * 1) What is going on at "Adding a number to the  sequence"?  P a i r ∧ ( S = c o n ( A , <span class="mi" id="MathJax-Span-389" style="font-family: MathJax_Math; font-style: italic; padding-left: 0.167em;">B <span class="mo" id="MathJax-Span-390" style="font-family: MathJax_Main;">) <span class="mo" id="MathJax-Span-391" style="font-family: MathJax_Main; padding-left: 0.222em;">∧ <span class="mi" id="MathJax-Span-392" style="font-family: MathJax_Math; font-style: italic; padding-left: 0.222em;">A <span class="mo" id="MathJax-Span-393" style="font-family: MathJax_Main; padding-left: 0.278em;">∈ <span class="mi" id="MathJax-Span-394" style="font-family: MathJax_Math; font-style: italic; padding-left: 0.278em;">P <span class="mi" id="MathJax-Span-395" style="font-family: MathJax_Math; font-style: italic;">a <span class="mi" id="MathJax-Span-396" style="font-family: MathJax_Math; font-style: italic;">i <span class="mi" id="MathJax-Span-397" style="font-family: MathJax_Math; font-style: italic;">r <span class="mo" id="MathJax-Span-398" style="font-family: MathJax_Main; padding-left: 0.222em;">∧ <span class="mi" id="MathJax-Span-399" style="font-family: MathJax_Math; font-style: italic; padding-left: 0.222em;">B <span class="mo" id="MathJax-Span-400" style="font-family: MathJax_Main; padding-left: 0.278em;">∈ <span class="mi" id="MathJax-Span-401" style="font-family: MathJax_Math; font-style: italic; padding-left: 0.278em;">S <span class="mi" id="MathJax-Span-402" style="font-family: MathJax_Math; font-style: italic;">e <span class="mi" id="MathJax-Span-403" style="font-family: MathJax_Math; font-style: italic;">q <span class="mo" id="MathJax-Span-404" style="font-family: MathJax_Main;">) <span class="mo" id="MathJax-Span-405" style="font-family: MathJax_Main;">)     <span class="MathJax" id="MathJax-Element-29-Frame" tabindex="0" style="position: relative;" data-mathml="" role="presentation">  <span style="position: absolute; clip: rect(1.385em, 1027.56em, 2.698em, -1000em); top: -2.292em; left: 0em;"><span class="mo" id="MathJax-Span-372" style="font-family: MathJax_Main; padding-left: 0.278em;">( <span class="mi" id="MathJax-Span-373" style="font-family: MathJax_Math; font-style: italic;">S <span class="mo" id="MathJax-Span-374" style="font-family: MathJax_Main; padding-left: 0.278em;">∈ <span class="mi" id="MathJax-Span-375" style="font-family: MathJax_Math; font-style: italic; padding-left: 0.278em;">P <span class="mi" id="MathJax-Span-376" style="font-family: MathJax_Math; font-style: italic;">a <span class="mi" id="MathJax-Span-377" style="font-family: MathJax_Math; font-style: italic;">i <span class="mi" id="MathJax-Span-378" style="font-family: MathJax_Math; font-style: italic;">r <span class="mo" id="MathJax-Span-379" style="font-family: MathJax_Main; padding-left: 0.222em;">∧ <span class="mo" id="MathJax-Span-380" style="font-family: MathJax_Main; padding-left: 0.222em;">( <span class="mi" id="MathJax-Span-381" style="font-family: MathJax_Math; font-style: italic;">S <span class="mo" id="MathJax-Span-382" style="font-family: MathJax_Main; padding-left: 0.278em;">= <span class="mi" id="MathJax-Span-383" style="font-family: MathJax_Math; font-style: italic; padding-left: 0.278em;">c <span class="mi" id="MathJax-Span-384" style="font-family: MathJax_Math; font-style: italic;">o <span class="mi" id="MathJax-Span-385" style="font-family: MathJax_Math; font-style: italic;">n <span class="mo" id="MathJax-Span-386" style="font-family: MathJax_Main;">( <span class="mi" id="MathJax-Span-387" style="font-family: MathJax_Math; font-style: italic;">A <span class="mo" id="MathJax-Span-388" style="font-family: MathJax_Main;">, <span class="mi" id="MathJax-Span-389" style="font-family: MathJax_Math; font-style: italic; padding-left: 0.167em;">B <span class="mo" id="MathJax-Span-390" style="font-family: MathJax_Main;">) <span class="mo" id="MathJax-Span-391" style="font-family: MathJax_Main; padding-left: 0.222em;">∧ <span class="mi" id="MathJax-Span-392" style="font-family: MathJax_Math; font-style: italic; padding-left: 0.222em;">A <span class="mo" id="MathJax-Span-393" style="font-family: MathJax_Main; padding-left: 0.278em;">∈ <span class="mi" id="MathJax-Span-394" style="font-family: MathJax_Math; font-style: italic; padding-left: 0.278em;">P <span class="mi" id="MathJax-Span-395" style="font-family: MathJax_Math; font-style: italic;">a <span class="mi" id="MathJax-Span-396" style="font-family: MathJax_Math; font-style: italic;">i <span class="mi" id="MathJax-Span-397" style="font-family: MathJax_Math; font-style: italic;">r <span class="mo" id="MathJax-Span-398" style="font-family: MathJax_Main; padding-left: 0.222em;">∧ <span class="mi" id="MathJax-Span-399" style="font-family: MathJax_Math; font-style: italic; padding-left: 0.222em;">B <span class="mo" id="MathJax-Span-400" style="font-family: MathJax_Main; padding-left: 0.278em;">∈ <span class="mi" id="MathJax-Span-401" style="font-family: MathJax_Math; font-style: italic; padding-left: 0.278em;">S <span class="mi" id="MathJax-Span-402" style="font-family: MathJax_Math; font-style: italic;">e <span class="mi" id="MathJax-Span-403" style="font-family: MathJax_Math; font-style: italic;">q <span class="mo" id="MathJax-Span-404" style="font-family: MathJax_Main;">) <span class="mo" id="MathJax-Span-405" style="font-family: MathJax_Main;">)