update ch.18

docs/information.html

@@ -625,7 +625,7 @@ <h2 data-number="18.1" class="anchored" data-anchor-id="sec-indep-sentences"><sp
 \]</span></p>
 <p><br>
 </p>
-<p>More generally two sentences <span style="display:inline-block;"><span class="math inline">\(\mathsfit{A}\)</span>,</span> <span style="display:inline-block;"><span class="math inline">\(\mathsfit{B}\)</span></span> are said to be <span class="blue"><strong>mutually irrelevant</strong> or <strong>logically independent given information <span class="math inline">\(\mathsfit{I}\)</span></strong></span> if any one of these three conditions holds:</p>
+<p>More generally two sentences <span style="display:inline-block;"><span class="math inline">\(\mathsfit{A}\)</span>,</span> <span style="display:inline-block;"><span class="math inline">\(\mathsfit{B}\)</span></span> are said to be <span class="blue"><strong>mutually irrelevant</strong> or <strong>informationally independent given knowledge <span class="math inline">\(\mathsfit{I}\)</span></strong></span> if any one of these three conditions holds:</p>
 
 <div class="no-row-height column-margin column-container"><div class="">
 <p><a href="https://dictionary.cambridge.org/dictionary/english/independent">“independ<strong>E</strong>nt” is written with an <strong>E</strong></a>, not with an <strong>A</strong>.</p>
@@ -641,7 +641,7 @@ <h2 data-number="18.1" class="anchored" data-anchor-id="sec-indep-sentences"><sp
 <i class="callout-icon no-icon"></i>
 </div>
 <div class="callout-title-container flex-fill">
-<i class="fa-solid fa-exclamation-triangle" aria-label="exclamation-triangle"></i> Irrelevance is not absolute and not physical
+<i class="fa-solid fa-exclamation-triangle" aria-label="exclamation-triangle"></i> Irrelevance is not absolute and is not a physical notion
 </div>
 </div>
 <div class="callout-body-container callout-body">
@@ -654,7 +654,7 @@ <h2 data-number="18.1" class="anchored" data-anchor-id="sec-indep-sentences"><sp
 </section>
 <section id="sec-indep-quantities" class="level2" data-number="18.2">
 <h2 data-number="18.2" class="anchored" data-anchor-id="sec-indep-quantities"><span class="header-section-number">18.2</span> Independence of quantities</h2>
-<p>The notion of irrelevance of two sentences can be generalized to quantities. Take two quantities <span style="display:inline-block;"><span class="math inline">\(X\)</span></span> and <span style="display:inline-block;"><span class="math inline">\(Y\)</span>.</span> They are said to be <span class="blue"><strong>mutually irrelevant</strong> or <strong>logically independent given information <span class="math inline">\(\mathsfit{I}\)</span></strong></span> if any one of these three equivalent conditions holds <span class="blue"><em>for all possible values <span class="math inline">\(x\)</span> of <span class="math inline">\(X\)</span> and <span class="math inline">\(y\)</span> of <span class="math inline">\(Y\)</span></em></span>:</p>
+<p>The notion of irrelevance of two sentences can be generalized to quantities. Take two quantities <span style="display:inline-block;"><span class="math inline">\(X\)</span></span> and <span style="display:inline-block;"><span class="math inline">\(Y\)</span>.</span> They are said to be <span class="blue"><strong>mutually irrelevant</strong> or <strong>informationally independent given knowledge <span class="math inline">\(\mathsfit{I}\)</span></strong></span> if any one of these three equivalent conditions holds <span class="blue"><em>for all possible values <span class="math inline">\(x\)</span> of <span class="math inline">\(X\)</span> and <span class="math inline">\(y\)</span> of <span class="math inline">\(Y\)</span></em></span>:</p>
 <ul>
 <li><p><span class="math inline">\(\mathrm{P}(X\mathclose{}\mathord{\nonscript\mkern 0mu\textrm{\small=}\nonscript\mkern 0mu}\mathopen{}x \nonscript\:\vert\nonscript\:\mathopen{}Y\mathclose{}\mathord{\nonscript\mkern 0mu\textrm{\small=}\nonscript\mkern 0mu}\mathopen{}y \mathbin{\mkern-0.5mu,\mkern-0.5mu}\mathsfit{I}) = \mathrm{P}(X\mathclose{}\mathord{\nonscript\mkern 0mu\textrm{\small=}\nonscript\mkern 0mu}\mathopen{}x \nonscript\:\vert\nonscript\:\mathopen{} \mathsfit{I})\)</span>&nbsp;&nbsp;&nbsp;<span class="midgrey">all <span class="math inline">\(x,y\)</span></span></p></li>
 <li><p><span class="math inline">\(\mathrm{P}(Y\mathclose{}\mathord{\nonscript\mkern 0mu\textrm{\small=}\nonscript\mkern 0mu}\mathopen{}y \nonscript\:\vert\nonscript\:\mathopen{} X\mathclose{}\mathord{\nonscript\mkern 0mu\textrm{\small=}\nonscript\mkern 0mu}\mathopen{}x \mathbin{\mkern-0.5mu,\mkern-0.5mu}\mathsfit{I}) = \mathrm{P}(Y\mathclose{}\mathord{\nonscript\mkern 0mu\textrm{\small=}\nonscript\mkern 0mu}\mathopen{}y \nonscript\:\vert\nonscript\:\mathopen{} \mathsfit{I})\)</span>&nbsp;&nbsp;&nbsp;<span class="midgrey">all <span class="math inline">\(x,y\)</span></span></p></li>