https://mw-live.lojban.org/index.php?title=zantufa_jonma%27o_smuni/ja&feed=atom&action=history
zantufa jonma'o smuni/ja - Revision history
2024-03-28T14:55:05Z
Revision history for this page on the wiki
MediaWiki 1.38.4
https://mw-live.lojban.org/index.php?title=zantufa_jonma%27o_smuni/ja&diff=121093&oldid=prev
Guskant at 00:25, 11 July 2016
2016-07-11T00:25:40Z
<p></p>
<table style="background-color: #fff; color: #202122;" data-mw="interface">
<col class="diff-marker" />
<col class="diff-content" />
<col class="diff-marker" />
<col class="diff-content" />
<tr class="diff-title" lang="en">
<td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">← Older revision</td>
<td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Revision as of 00:25, 11 July 2016</td>
</tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l72">Line 72:</td>
<td colspan="2" class="diff-lineno">Line 72:</td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>3項の場合: {'''ga A gi B gi C'''}=(A∨B)∨C</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>3項の場合: {'''ga A gi B gi C'''}=(A∨B)∨C</div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br/></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br/></td></tr>
<tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>[[Image:venn-ga.png|thumb|ga zei <del style="font-weight: bold; text-decoration: none;">venn</del>]]</div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>[[Image:venn-ga.png|thumb|ga zei <ins style="font-weight: bold; text-decoration: none;">ven</ins>]]</div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>{| class="wikitable" style="text-align: center;"</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>{| class="wikitable" style="text-align: center;"</div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>|-</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>|-</div></td></tr>
<tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l156">Line 156:</td>
<td colspan="2" class="diff-lineno">Line 156:</td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>3項の場合: {'''ga nai A gi B gi C'''}=(¬A∨B)∨C</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>3項の場合: {'''ga nai A gi B gi C'''}=(¬A∨B)∨C</div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br/></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br/></td></tr>
<tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>[[Image:venn-ganai.png|thumb|ga zei nai zei <del style="font-weight: bold; text-decoration: none;">venn</del>]]</div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>[[Image:venn-ganai.png|thumb|ga zei nai zei <ins style="font-weight: bold; text-decoration: none;">ven</ins>]]</div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>{| class="wikitable" style="text-align: center;"</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>{| class="wikitable" style="text-align: center;"</div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>|-</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>|-</div></td></tr>
<tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l236">Line 236:</td>
<td colspan="2" class="diff-lineno">Line 236:</td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>|}</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>|}</div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br/></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br/></td></tr>
<tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>[[Image:venn-ganaibo.png|thumb|ga zei nai zei bo zei <del style="font-weight: bold; text-decoration: none;">venn</del>]]</div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>[[Image:venn-ganaibo.png|thumb|ga zei nai zei bo zei <ins style="font-weight: bold; text-decoration: none;">ven</ins>]]</div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>{| class="wikitable" style="text-align: center;"</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>{| class="wikitable" style="text-align: center;"</div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>|-</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>|-</div></td></tr>
<tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l318">Line 318:</td>
<td colspan="2" class="diff-lineno">Line 318:</td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>|}</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>|}</div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br/></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br/></td></tr>
<tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>[[Image:venn-inaja.png|thumb|i zei na zei ja zei <del style="font-weight: bold; text-decoration: none;">venn</del>]]</div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>[[Image:venn-inaja.png|thumb|i zei na zei ja zei <ins style="font-weight: bold; text-decoration: none;">ven</ins>]]</div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>{| class="wikitable" style="text-align: center;"</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>{| class="wikitable" style="text-align: center;"</div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>|-</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>|-</div></td></tr>
<tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l391">Line 391:</td>
<td colspan="2" class="diff-lineno">Line 391:</td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>3項の場合: {'''ge A gi B gi C'''}=(A∧B)∧C</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>3項の場合: {'''ge A gi B gi C'''}=(A∧B)∧C</div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br/></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br/></td></tr>
<tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>[[Image:venn-ge.png|thumb|ge zei <del style="font-weight: bold; text-decoration: none;">venn</del>]]</div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>[[Image:venn-ge.png|thumb|ge zei <ins style="font-weight: bold; text-decoration: none;">ven</ins>]]</div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>{| class="wikitable" style="text-align: center;"</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>{| class="wikitable" style="text-align: center;"</div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>|-</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>|-</div></td></tr>
<tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l475">Line 475:</td>
<td colspan="2" class="diff-lineno">Line 475:</td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>3項の場合: {'''ge nai A gi B gi C'''}=(¬A∧B)∧C</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>3項の場合: {'''ge nai A gi B gi C'''}=(¬A∧B)∧C</div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br/></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br/></td></tr>
<tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>[[Image:venn-genai.png|thumb|ge zei nai zei <del style="font-weight: bold; text-decoration: none;">venn</del>]]</div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>[[Image:venn-genai.png|thumb|ge zei nai zei <ins style="font-weight: bold; text-decoration: none;">ven</ins>]]</div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>{| class="wikitable" style="text-align: center;"</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>{| class="wikitable" style="text-align: center;"</div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>|-</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>|-</div></td></tr>
<tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l559">Line 559:</td>
<td colspan="2" class="diff-lineno">Line 559:</td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>|}</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>|}</div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br/></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br/></td></tr>
<tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>[[Image:venn-genaibo.png|thumb|ge zei nai zei bo zei <del style="font-weight: bold; text-decoration: none;">venn</del>]]</div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>[[Image:venn-genaibo.png|thumb|ge zei nai zei bo zei <ins style="font-weight: bold; text-decoration: none;">ven</ins>]]</div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>{| class="wikitable" style="text-align: center;"</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>{| class="wikitable" style="text-align: center;"</div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>|-</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>|-</div></td></tr>
<tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l632">Line 632:</td>
<td colspan="2" class="diff-lineno">Line 632:</td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>3項の場合: {'''go A gi B gi C'''}=(A↔B)↔C</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>3項の場合: {'''go A gi B gi C'''}=(A↔B)↔C</div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br/></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br/></td></tr>
<tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>[[Image:venn-go.png|thumb|go zei <del style="font-weight: bold; text-decoration: none;">venn</del>]]</div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>[[Image:venn-go.png|thumb|go zei <ins style="font-weight: bold; text-decoration: none;">ven</ins>]]</div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>{| class="wikitable" style="text-align: center;"</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>{| class="wikitable" style="text-align: center;"</div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>|-</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>|-</div></td></tr>
<tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l710">Line 710:</td>
<td colspan="2" class="diff-lineno">Line 710:</td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>|}</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>|}</div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br/></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br/></td></tr>
<tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>[[Image:venn-gobo.png|thumb|go zei bo zei <del style="font-weight: bold; text-decoration: none;">venn</del>]]</div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>[[Image:venn-gobo.png|thumb|go zei bo zei <ins style="font-weight: bold; text-decoration: none;">ven</ins>]]</div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>{| class="wikitable" style="text-align: center;"</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>{| class="wikitable" style="text-align: center;"</div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>|-</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>|-</div></td></tr>
<tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l791">Line 791:</td>
<td colspan="2" class="diff-lineno">Line 791:</td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>3項の場合: {'''go nai A gi B gi C'''}=(¬A↔B)↔C</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>3項の場合: {'''go nai A gi B gi C'''}=(¬A↔B)↔C</div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br/></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br/></td></tr>
<tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>[[Image:venn-gonai.png|thumb|go zei nai zei <del style="font-weight: bold; text-decoration: none;">venn</del>]]</div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>[[Image:venn-gonai.png|thumb|go zei nai zei <ins style="font-weight: bold; text-decoration: none;">ven</ins>]]</div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>{| class="wikitable" style="text-align: center;"</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>{| class="wikitable" style="text-align: center;"</div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>|-</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>|-</div></td></tr>
<tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l893">Line 893:</td>
<td colspan="2" class="diff-lineno">Line 893:</td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>|}</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>|}</div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br/></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br/></td></tr>
<tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>[[Image:venn-gonaibo.png|thumb|go zei nai zei bo zei <del style="font-weight: bold; text-decoration: none;">venn</del>]]</div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>[[Image:venn-gonaibo.png|thumb|go zei nai zei bo zei <ins style="font-weight: bold; text-decoration: none;">ven</ins>]]</div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>{| class="wikitable" style="text-align: center;"</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>{| class="wikitable" style="text-align: center;"</div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>|-</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>|-</div></td></tr>
<tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l1188">Line 1,188:</td>
<td colspan="2" class="diff-lineno">Line 1,188:</td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>|}</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>|}</div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br/></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br/></td></tr>
<tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>[[Image:venn-ijonai.png|thumb|i zei jo zei nai zei <del style="font-weight: bold; text-decoration: none;">venn</del>]]</div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>[[Image:venn-ijonai.png|thumb|i zei jo zei nai zei <ins style="font-weight: bold; text-decoration: none;">ven</ins>]]</div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>{| class="wikitable" style="text-align: center;"</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>{| class="wikitable" style="text-align: center;"</div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>|-</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>|-</div></td></tr>
<tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l1358">Line 1,358:</td>
<td colspan="2" class="diff-lineno">Line 1,358:</td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>|}</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>|}</div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br/></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br/></td></tr>
<tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>[[Image:venn-gu.png|thumb|gu zei <del style="font-weight: bold; text-decoration: none;">venn</del>]]</div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>[[Image:venn-gu.png|thumb|gu zei <ins style="font-weight: bold; text-decoration: none;">ven</ins>]]</div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br/></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br/></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>===gu bo A gi B gi C gi ...===</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>===gu bo A gi B gi C gi ...===</div></td></tr>
<tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l1405">Line 1,405:</td>
<td colspan="2" class="diff-lineno">Line 1,405:</td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>|}</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>|}</div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br/></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br/></td></tr>
<tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>[[Image:venn-gunai.png|thumb|gu zei nai zei <del style="font-weight: bold; text-decoration: none;">venn</del>]]</div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>[[Image:venn-gunai.png|thumb|gu zei nai zei <ins style="font-weight: bold; text-decoration: none;">ven</ins>]]</div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br/></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br/></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>===gu nai bo A gi B gi C gi ...===</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>===gu nai bo A gi B gi C gi ...===</div></td></tr>
<!-- diff cache key mediawiki:diff::1.12:old-121062:rev-121093 -->
</table>
Guskant
https://mw-live.lojban.org/index.php?title=zantufa_jonma%27o_smuni/ja&diff=121062&oldid=prev
Guskant: Created page with "<div style="text-align: right;">'''banjubu'o / français / 日本語 / zantufa jonma'..."
2016-07-04T04:12:10Z
<p>Created page with "<div style="text-align: right;">'''<a href="/papri/zantufa_jonma%27o_smuni/jbo" title="zantufa jonma'o smuni/jbo">banjubu'o</a> / <a href="/papri/zantufa_jonma%27o_smuni/fr" title="zantufa jonma'o smuni/fr">français</a> / <a href="/papri/zantufa_jonma%27o_smuni/ja" title="zantufa jonma'o smuni/ja">日本語</a> / zantufa jonma'..."</p>
<p><b>New page</b></p><div><div style="text-align: right;">'''[[zantufa jonma'o smuni/jbo|banjubu'o]] / [[zantufa jonma'o smuni/fr|français]] / [[zantufa jonma'o smuni/ja|日本語]] / [[zantufa jonma'o smuni/en|English]]'''</div><br />
{{Jbocre/ja}}<br />
<br />
==前置型論理接続詞の意味論==<br />
非公式のロジバン構文解析器 [[zantufa]] の[[zantufa jonma'o|前置型接続]]は、公式文法に比べて非常に豊かな表現力を持つ。<br />
<br />
zantufa 自体は構文解析器であり意味論を規定しないが、 zantufa 文法の豊かな表現力を有効に活用するものとして、以下のような前置型論理接続詞の意味論を提案する。<br />
<br />
以下のロジバン文は [http://guskant.github.io/gerna_cipra/zantufa-1.16.html zantufa_1.16] の文法に従う。<br />
<br />
==このページで使われる記号のリスト==<br />
<br />
{| class="wikitable" style="text-align: center;"<br />
|-<br />
! 記号<br />
! 意味<br />
|-<br />
| ¬P<br />
| '''na ku''' P<br />
|-<br />
| P ∨ Q<br />
| P '''i ja''' Q<br />
|-<br />
| [[Image:ija.png|alt="so'i zo ja"]]<br />
| ((((P<sub>0</sub> ∨ P<sub>1</sub>) ∨ P<sub>2</sub>) ∨ ...) ∨ P<sub>n</sub>)<br />
|-<br />
| P ∧ Q<br />
| P '''i je''' Q<br />
|-<br />
| [[Image:ije.png|alt="so'i zo je"]]<br />
| ((((P<sub>0</sub> ∧ P<sub>1</sub>) ∧ P<sub>2</sub>) ∧ ...) ∧ P<sub>n</sub>)<br />
|-<br />
| P ↔ Q<br />
| P '''i jo''' Q<br />
|-<br />
| [[Image:ijo.png|alt="so'i zo jo"]]<br />
| ((((P<sub>0</sub> ↔ P<sub>1</sub>) ↔ P<sub>2</sub>) ↔ ...) ↔ P<sub>n</sub>)<br />
|-<br />
| P ⊕ Q<br />
| P '''i jonai''' Q<br />
|-<br />
| [[Image:ijonai.png|alt="so'i lu jonai li'u"]]<br />
| ((((P<sub>0</sub> ⊕ P<sub>1</sub>) ⊕ P<sub>2</sub>) ⊕ ...) ⊕ P<sub>n</sub>)<br />
|-<br />
| P ⊏ Q<br />
| P '''i ju''' Q<br />
|-<br />
| [[Image:iju.png|alt="so'i zo ju"]]<br />
| ((((P<sub>0</sub> ⊏ P<sub>1</sub>) ⊏ P<sub>2</sub>) ⊏ ...) ⊏ P<sub>n</sub>) <br /> = P<sub>0</sub><br />
|-<br />
| P ⊐ Q<br />
| P '''i se ju''' Q<br />
|-<br />
| [[Image:iseju.png|alt="so'i lu seju li'u"]]<br />
| ((((P<sub>0</sub> ⊐ P<sub>1</sub>) ⊐ P<sub>2</sub>) ⊐ ...) ⊐ P<sub>n</sub>) <br /> = P<sub>n</sub><br />
|}<br />
<br />
以下の説明中、3項や4項の接続例について真理値表を与えることがある。 偽を 0、 真を 1 で表す。<br />
<br />
3項の接続例について Venn 図を与えることがある。 <span style="background-color:#FFFFFF;">白色は偽</span>、<span style="background-color:#FFAB58;">オレンジ色は真</span>を表す。<br />
<br />
==ga==<br />
===ga A gi B gi C gi ...===<br />
====定義====<br />
{|<br />
|-<br />
|'''ga''' P<sub>0</sub> '''gi''' P<sub>1</sub> '''gi''' ... '''gi''' P<sub>n</sub> ('''gi'i''')<br />
|-<br />
|= [[Image:ija.png|alt="so'i zo ja"]]<br />
|}<br />
====例====<br />
3項の場合: {'''ga A gi B gi C'''}=(A∨B)∨C<br />
<br />
[[Image:venn-ga.png|thumb|ga zei venn]]<br />
{| class="wikitable" style="text-align: center;"<br />
|-<br />
!A<br />
!B<br />
!C<br />
!A∨B<br />
!(A∨B)∨C<br />
|-<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|-<br />
|0<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|-<br />
|style="background-color:#FFAB58;"|1<br />
|0<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|-<br />
|0<br />
|0<br />
|style="background-color:#FFAB58;"|1<br />
|0<br />
|style="background-color:#FFAB58;"|1<br />
|-<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|0<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|-<br />
|0<br />
|style="background-color:#FFAB58;"|1<br />
|0<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|-<br />
|style="background-color:#FFAB58;"|1<br />
|0<br />
|0<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|-<br />
|0<br />
|0<br />
|0<br />
|0<br />
|0<br />
|-<br />
|}<br />
===ga bo A gi B gi C gi ...===<br />
====定義====<br />
{|<br />
|-<br />
| <br />
|'''ga bo''' P<sub>0</sub> '''gi''' P<sub>1</sub> '''gi''' ... '''gi''' P<sub>n</sub> ('''gi'i''')<br />
|-<br />
|= <br />
|'''ga''' P<sub>0</sub> '''gi''' P<sub>1</sub> '''gi''' ... '''gi''' P<sub>n</sub> ('''gi'i''')<br />
|-<br />
|=<br />
|[[Image:ija.png|alt="so'i zo ja"]]<br />
|}<br />
===ga nai A gi B gi C gi ...===<br />
====定義====<br />
{|<br />
|-<br />
| <br />
|'''ga nai''' P<sub>0</sub> '''gi''' P<sub>1</sub> '''gi''' ... '''gi''' P<sub>n</sub> ('''gi'i''')<br />
|-<br />
|=<br />
|'''ga''' ¬P<sub>0</sub> '''gi''' P<sub>1</sub> '''gi''' ... '''gi''' P<sub>n</sub> ('''gi'i''')<br />
|}<br />
====例====<br />
3項の場合: {'''ga nai A gi B gi C'''}=(¬A∨B)∨C<br />
<br />
[[Image:venn-ganai.png|thumb|ga zei nai zei venn]]<br />
{| class="wikitable" style="text-align: center;"<br />
|-<br />
!A<br />
!B<br />
!C<br />
!¬A∨B<br />
!(¬A∨B)∨C<br />
|-<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|-<br />
|0<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|-<br />
|style="background-color:#FFAB58;"|1<br />
|0<br />
|style="background-color:#FFAB58;"|1<br />
|0<br />
|style="background-color:#FFAB58;"|1<br />
|-<br />
|0<br />
|0<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|-<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|0<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|-<br />
|0<br />
|style="background-color:#FFAB58;"|1<br />
|0<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|-<br />
|style="background-color:#FFAB58;"|1<br />
|0<br />
|0<br />
|0<br />
|0<br />
|-<br />
|0<br />
|0<br />
|0<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|-<br />
|}<br />
===ga nai bo A gi B gi C gi ...===<br />
====定義====<br />
{|<br />
|-<br />
|'''ga nai bo''' P<sub>0</sub> '''gi''' P<sub>1</sub> '''gi''' ... '''gi''' P<sub>n</sub> ('''gi'i''')<br />
|-<br />
|[[Image:ganaibo.png|alt="ganaibo"]]<br />
|}<br />
====例====<br />
3項の場合:<br />
{|<br />
|-<br />
| <br />
|{'''ga nai bo A gi B gi C'''}<br />
|-<br />
|=<br />
|((A→B)∧(B→C))<br />
|-<br />
|=<br />
|((¬A∨B)∧(¬B∨C))<br />
|}<br />
<br />
[[Image:venn-ganaibo.png|thumb|ga zei nai zei bo zei venn]]<br />
{| class="wikitable" style="text-align: center;"<br />
|-<br />
!A<br />
!B<br />
!C<br />
!¬A∨B<br />
!¬B∨C<br />
!(¬A∨B)∧(¬B∨C)<br />
|-<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|-<br />
|0<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|-<br />
|style="background-color:#FFAB58;"|1<br />
|0<br />
|style="background-color:#FFAB58;"|1<br />
|0<br />
|style="background-color:#FFAB58;"|1<br />
|0<br />
|-<br />
|0<br />
|0<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|-<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|0<br />
|style="background-color:#FFAB58;"|1<br />
|0<br />
|0<br />
|-<br />
|0<br />
|style="background-color:#FFAB58;"|1<br />
|0<br />
|style="background-color:#FFAB58;"|1<br />
|0<br />
|0<br />
|-<br />
|style="background-color:#FFAB58;"|1<br />
|0<br />
|0<br />
|0<br />
|style="background-color:#FFAB58;"|1<br />
|0<br />
|-<br />
|0<br />
|0<br />
|0<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|-<br />
|}<br />
=====相違点=====<br />
{'''ga nai bo''' A '''gi''' B '''gi''' C} ≠ {A '''i na ja''' B '''i na ja''' C}<br />
<br />
{|<br />
|-<br />
| <br />
|A '''i na ja''' B '''i na ja''' C<br />
|-<br />
|=<br />
|(A → B) → C<br />
|-<br />
|=<br />
|¬(¬A ∨ B) ∨ C<br />
|}<br />
<br />
[[Image:venn-inaja.png|thumb|i zei na zei ja zei venn]]<br />
{| class="wikitable" style="text-align: center;"<br />
|-<br />
!A<br />
!B<br />
!C<br />
!¬A∨B<br />
!¬(¬A∨B)∨C<br />
|-<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|-<br />
|0<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|-<br />
|style="background-color:#FFAB58;"|1<br />
|0<br />
|style="background-color:#FFAB58;"|1<br />
|0<br />
|style="background-color:#FFAB58;"|1<br />
|-<br />
|0<br />
|0<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|-<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|0<br />
|style="background-color:#FFAB58;"|1<br />
|0<br />
|-<br />
|0<br />
|style="background-color:#FFAB58;"|1<br />
|0<br />
|style="background-color:#FFAB58;"|1<br />
|0<br />
|-<br />
|style="background-color:#FFAB58;"|1<br />
|0<br />
|0<br />
|0<br />
|style="background-color:#FFAB58;"|1<br />
|-<br />
|0<br />
|0<br />
|0<br />
|style="background-color:#FFAB58;"|1<br />
|0<br />
|-<br />
|}<br />
<br />
==ge==<br />
===ge A gi B gi C gi ...===<br />
====定義====<br />
{|<br />
|-<br />
| <br />
|'''ge''' P<sub>0</sub> '''gi''' P<sub>1</sub> '''gi''' ... '''gi''' P<sub>n</sub> ('''gi'i''')<br />
|-<br />
|= <br />
|[[Image:ije.png|alt="so'i zo je"]]<br />
|}<br />
====例====<br />
3項の場合: {'''ge A gi B gi C'''}=(A∧B)∧C<br />
<br />
[[Image:venn-ge.png|thumb|ge zei venn]]<br />
{| class="wikitable" style="text-align: center;"<br />
|-<br />
!A<br />
!B<br />
!C<br />
!A∧B<br />
!(A∧B)∧C<br />
|-<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|-<br />
|0<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|0<br />
|0<br />
|-<br />
|style="background-color:#FFAB58;"|1<br />
|0<br />
|style="background-color:#FFAB58;"|1<br />
|0<br />
|0<br />
|-<br />
|0<br />
|0<br />
|style="background-color:#FFAB58;"|1<br />
|0<br />
|0<br />
|-<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|0<br />
|style="background-color:#FFAB58;"|1<br />
|0<br />
|-<br />
|0<br />
|style="background-color:#FFAB58;"|1<br />
|0<br />
|0<br />
|0<br />
|-<br />
|style="background-color:#FFAB58;"|1<br />
|0<br />
|0<br />
|0<br />
|0<br />
|-<br />
|0<br />
|0<br />
|0<br />
|0<br />
|0<br />
|-<br />
|}<br />
===ge bo A gi B gi C gi ...===<br />
====定義====<br />
{|<br />
|-<br />
| <br />
|'''ge bo''' P<sub>0</sub> '''gi''' P<sub>1</sub> '''gi''' ... '''gi''' P<sub>n</sub> ('''gi'i''')<br />
|-<br />
|= <br />
|'''ge''' P<sub>0</sub> '''gi''' P<sub>1</sub> '''gi''' ... '''gi''' P<sub>n</sub> ('''gi'i''')<br />
|-<br />
|=<br />
|[[Image:ije.png|alt="so'i zo je"]]<br />
|}<br />
===ge nai A gi B gi C gi ...===<br />
====定義====<br />
{|<br />
|-<br />
| <br />
|'''ge nai''' P<sub>0</sub> '''gi''' P<sub>1</sub> '''gi''' ... '''gi''' P<sub>n</sub> ('''gi'i''')<br />
|-<br />
|=<br />
|'''ge''' ¬P<sub>0</sub> '''gi''' P<sub>1</sub> '''gi''' ... '''gi''' P<sub>n</sub> ('''gi'i''')<br />
|}<br />
====例====<br />
3項の場合: {'''ge nai A gi B gi C'''}=(¬A∧B)∧C<br />
<br />
[[Image:venn-genai.png|thumb|ge zei nai zei venn]]<br />
{| class="wikitable" style="text-align: center;"<br />
|-<br />
!A<br />
!B<br />
!C<br />
!¬A∧B<br />
!(¬A∧B)∧C<br />
|-<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|0<br />
|0<br />
|-<br />
|0<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|-<br />
|style="background-color:#FFAB58;"|1<br />
|0<br />
|style="background-color:#FFAB58;"|1<br />
|0<br />
|0<br />
|-<br />
|0<br />
|0<br />
|style="background-color:#FFAB58;"|1<br />
|0<br />
|0<br />
|-<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|0<br />
|0<br />
|0<br />
|-<br />
|0<br />
|style="background-color:#FFAB58;"|1<br />
|0<br />
|style="background-color:#FFAB58;"|1<br />
|0<br />
|-<br />
|style="background-color:#FFAB58;"|1<br />
|0<br />
|0<br />
|0<br />
|0<br />
|-<br />
|0<br />
|0<br />
|0<br />
|0<br />
|0<br />
|-<br />
|}<br />
<br />
===ge nai bo A gi B gi C gi ...===<br />
====定義====<br />
{|<br />
|-<br />
|'''ge nai bo''' P<sub>0</sub> '''gi''' P<sub>1</sub> '''gi''' ... '''gi''' P<sub>n</sub> ('''gi'i''')<br />
|-<br />
|[[Image:genaibo.png|alt="genaibo"]]<br />
|}<br />
====例====<br />
3項の場合:<br />
{|<br />
|-<br />
| <br />
|{'''ge nai bo A gi B gi C'''}<br />
|-<br />
|=<br />
|{'''ge nai A gi nai B gi nai C'''}<br />
|-<br />
|=<br />
|{'''A i na je nai B i je nai C'''}<br />
|-<br />
|=<br />
|(¬A∧¬B)∧¬C<br />
|}<br />
<br />
[[Image:venn-genaibo.png|thumb|ge zei nai zei bo zei venn]]<br />
{| class="wikitable" style="text-align: center;"<br />
|-<br />
!A<br />
!B<br />
!C<br />
!¬A∧¬B<br />
!(¬A∧¬B)∧¬C<br />
|-<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|0<br />
|0<br />
|-<br />
|0<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|0<br />
|0<br />
|-<br />
|style="background-color:#FFAB58;"|1<br />
|0<br />
|style="background-color:#FFAB58;"|1<br />
|0<br />
|0<br />
|-<br />
|0<br />
|0<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|0<br />
|-<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|0<br />
|0<br />
|0<br />
|-<br />
|0<br />
|style="background-color:#FFAB58;"|1<br />
|0<br />
|0<br />
|0<br />
|-<br />
|style="background-color:#FFAB58;"|1<br />
|0<br />
|0<br />
|0<br />
|0<br />
|-<br />
|0<br />
|0<br />
|0<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|-<br />
|}<br />
<br />
==go==<br />
===go A gi B gi C gi ...===<br />
====定義====<br />
{|<br />
|-<br />
| <br />
|'''go''' P<sub>0</sub> '''gi''' P<sub>1</sub> '''gi''' ... '''gi''' P<sub>n</sub> ('''gi'i''')<br />
|-<br />
|=<br />
|[[Image:ijo.png|alt="so'i zo jo"]]<br />
|}<br />
====例====<br />
3項の場合: {'''go A gi B gi C'''}=(A↔B)↔C<br />
<br />
[[Image:venn-go.png|thumb|go zei venn]]<br />
{| class="wikitable" style="text-align: center;"<br />
|-<br />
!A<br />
!B<br />
!C<br />
!A↔B<br />
!(A↔B)↔C<br />
|-<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|-<br />
|0<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|0<br />
|0<br />
|-<br />
|style="background-color:#FFAB58;"|1<br />
|0<br />
|style="background-color:#FFAB58;"|1<br />
|0<br />
|0<br />
|-<br />
|0<br />
|0<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|-<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|0<br />
|style="background-color:#FFAB58;"|1<br />
|0<br />
|-<br />
|0<br />
|style="background-color:#FFAB58;"|1<br />
|0<br />
|0<br />
|style="background-color:#FFAB58;"|1<br />
|-<br />
|style="background-color:#FFAB58;"|1<br />
|0<br />
|0<br />
|0<br />
|style="background-color:#FFAB58;"|1<br />
|-<br />
|0<br />
|0<br />
|0<br />
|style="background-color:#FFAB58;"|1<br />
|0<br />
|-<br />
|}<br />
<br />
===go bo A gi B gi C gi ...===<br />
====定義====<br />
{|<br />
|-<br />
|'''go bo''' P<sub>0</sub> '''gi''' P<sub>1</sub> '''gi''' ... '''gi''' P<sub>n</sub> ('''gi'i''')<br />
|-<br />
|[[Image:gobo.png|alt="gobo"]]<br />
|}<br />
====例====<br />
3項の場合:<br />
{|<br />
|-<br />
| <br />
|{'''go bo A gi B gi C'''}<br />
|-<br />
|=<br />
|((A↔B)∧(B↔C))<br />
|}<br />
<br />
[[Image:venn-gobo.png|thumb|go zei bo zei venn]]<br />
{| class="wikitable" style="text-align: center;"<br />
|-<br />
!A<br />
!B<br />
!C<br />
!A↔B<br />
!B↔C<br />
!(A↔B)∧(B↔C)<br />
|-<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|-<br />
|0<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|0<br />
|style="background-color:#FFAB58;"|1<br />
|0<br />
|-<br />
|style="background-color:#FFAB58;"|1<br />
|0<br />
|style="background-color:#FFAB58;"|1<br />
|0<br />
|0<br />
|0<br />
|-<br />
|0<br />
|0<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|<br />
|0<br />
|-<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|0<br />
|style="background-color:#FFAB58;"|1<br />
|0<br />
|0<br />
|-<br />
|0<br />
|style="background-color:#FFAB58;"|1<br />
|0<br />
|0<br />
|0<br />
|0<br />
|-<br />
|style="background-color:#FFAB58;"|1<br />
|0<br />
|0<br />
|0<br />
|style="background-color:#FFAB58;"|1<br />
|0<br />
|-<br />
|0<br />
|0<br />
|0<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|-<br />
|}<br />
<br />
===go nai A gi B gi C gi ...===<br />
====定義====<br />
{|<br />
|-<br />
| <br />
|'''go nai''' P<sub>0</sub> '''gi''' P<sub>1</sub> '''gi''' ... '''gi''' P<sub>n</sub> ('''gi'i''')<br />
|-<br />
|=<br />
|'''go''' ¬P<sub>0</sub> '''gi''' P<sub>1</sub> '''gi''' ... '''gi''' P<sub>n</sub> ('''gi'i''')<br />
|}<br />
====例====<br />
3項の場合: {'''go nai A gi B gi C'''}=(¬A↔B)↔C<br />
<br />
[[Image:venn-gonai.png|thumb|go zei nai zei venn]]<br />
{| class="wikitable" style="text-align: center;"<br />
|-<br />
!A<br />
!B<br />
!C<br />
!¬A↔B<br />
!(¬A↔B)↔C<br />
|-<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|0<br />
|0<br />
|-<br />
|0<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|-<br />
|style="background-color:#FFAB58;"|1<br />
|0<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|-<br />
|0<br />
|0<br />
|style="background-color:#FFAB58;"|1<br />
|0<br />
|0<br />
|-<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|0<br />
|0<br />
|style="background-color:#FFAB58;"|1<br />
|-<br />
|0<br />
|style="background-color:#FFAB58;"|1<br />
|0<br />
|style="background-color:#FFAB58;"|1<br />
|0<br />
|-<br />
|style="background-color:#FFAB58;"|1<br />
|0<br />
|0<br />
|style="background-color:#FFAB58;"|1<br />
|0<br />
|-<br />
|0<br />
|0<br />
|0<br />
|0<br />
|style="background-color:#FFAB58;"|1<br />
|-<br />
|}<br />
<br />
===go nai bo A gi B gi C gi ...===<br />
====定義====<br />
以下のように再帰的に定義される。<br />
<br />
{|<br />
|+ style="text-align:left;font-weight:bold;" | 2項 P<sub>0</sub>, P<sub>1</sub> の場合:<br />
|-<br />
| <br />
|'''go nai bo''' P<sub>0</sub> '''gi''' P<sub>1</sub> ('''gi'i''')<br />
|-<br />
|=<br />
|'''go nai''' P<sub>0</sub> '''gi''' P<sub>1</sub> ('''gi'i''')<br />
|-<br />
|=<br />
| P<sub>0</sub> ⊕ P<sub>1</sub><br />
|-<br />
|=<br />
| ¬P<sub>0</sub> ↔ P<sub>1</sub><br />
|}<br />
<br />
{|<br />
|+ style="text-align:left;font-weight:bold;" | 3項以上 P<sub>0</sub>, ... , P<sub>n</sub> (n≥2) の場合:<br />
|-<br />
| <br />
|'''go nai bo''' P<sub>0</sub> '''gi''' ... '''gi''' P<sub>n</sub> ('''gi'i''')<br />
|-<br />
|=<br />
|(('''go nai bo''' P<sub>0</sub> '''gi''' ... '''gi''' P<sub>n-1</sub> ('''gi'i''')) ⊕ P<sub>n</sub>) ∧ [[Image:gonaibo_na.png|alt="gonaibo_na"]]<br />
|}<br />
====例====<br />
=====3項の場合:=====<br />
{|<br />
|-<br />
| <br />
|{'''go nai bo A gi B gi C'''}<br />
|-<br />
|=<br />
|(('''go nai A gi B''') ⊕ C) ∧ ¬(A∧B)<br />
|-<br />
|=<br />
|((A⊕B)⊕C) ∧ ¬(A∧B)<br />
|}<br />
<br />
[[Image:venn-gonaibo.png|thumb|go zei nai zei bo zei venn]]<br />
{| class="wikitable" style="text-align: center;"<br />
|-<br />
!A<br />
!B<br />
!C<br />
!A⊕B<br />
!(A⊕B)⊕C<br />
!¬(A∧B)<br />
!((A⊕B)⊕C) ∧ ¬(A∧B)<br />
|-<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|0<br />
|style="background-color:#FFAB58;"|1<br />
|0<br />
|0<br />
|-<br />
|0<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|0<br />
|style="background-color:#FFAB58;"|1<br />
|0<br />
|-<br />
|style="background-color:#FFAB58;"|1<br />
|0<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|0<br />
|style="background-color:#FFAB58;"|1<br />
|0<br />
|-<br />
|0<br />
|0<br />
|style="background-color:#FFAB58;"|1<br />
|0<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|-<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|0<br />
|0<br />
|0<br />
|0<br />
|0<br />
|-<br />
|0<br />
|style="background-color:#FFAB58;"|1<br />
|0<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|-<br />
|style="background-color:#FFAB58;"|1<br />
|0<br />
|0<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|-<br />
|0<br />
|0<br />
|0<br />
|0<br />
|0<br />
|style="background-color:#FFAB58;"|1<br />
|0<br />
|-<br />
|}<br />
<br />
=====4項の場合:=====<br />
{|<br />
|-<br />
| <br />
|{'''go nai bo A gi B gi C gi D'''}<br />
|-<br />
|=<br />
|(('''go nai bo A gi B gi C''') ⊕ D) ∧ ¬(A∧B) ∧ ¬(B∧C) ∧ ¬(C∧A) <br />
|}<br />
<br />
{| class="wikitable" style="text-align: center;"<br />
|-<br />
!A<br />
!B<br />
!C<br />
!D<br />
!'''go nai bo A gi B gi C'''<br />
!('''go nai bo A gi B gi C''') ⊕ D<br />
!¬(A∧B)<br />
!¬(B∧C)<br />
!¬(C∧A)<br />
!(('''go nai bo A gi B gi C''') ⊕ D) ∧ ¬(A∧B) ∧ ¬(B∧C) ∧ ¬(C∧A)<br />
|-<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|0<br />
|style="background-color:#FFAB58;"|1<br />
|0<br />
|0<br />
|0<br />
|0<br />
|-<br />
|0<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|0<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|0<br />
|style="background-color:#FFAB58;"|1<br />
|0<br />
|-<br />
|style="background-color:#FFAB58;"|1<br />
|0<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|0<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|0<br />
|0<br />
|-<br />
|0<br />
|0<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|0<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|0<br />
|-<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|0<br />
|style="background-color:#FFAB58;"|1<br />
|0<br />
|style="background-color:#FFAB58;"|1<br />
|0<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|0<br />
|-<br />
|0<br />
|style="background-color:#FFAB58;"|1<br />
|0<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|0<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|0<br />
|-<br />
|style="background-color:#FFAB58;"|1<br />
|0<br />
|0<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|0<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|0<br />
|-<br />
|0<br />
|0<br />
|0<br />
|style="background-color:#FFAB58;"|1<br />
|0<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|-<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|0<br />
|0<br />
|0<br />
|0<br />
|0<br />
|0<br />
|0<br />
|-<br />
|0<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|0<br />
|0<br />
|0<br />
|style="background-color:#FFAB58;"|1<br />
|0<br />
|style="background-color:#FFAB58;"|1<br />
|0<br />
|-<br />
|style="background-color:#FFAB58;"|1<br />
|0<br />
|style="background-color:#FFAB58;"|1<br />
|0<br />
|0<br />
|0<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|0<br />
|0<br />
|-<br />
|0<br />
|0<br />
|style="background-color:#FFAB58;"|1<br />
|0<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|-<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|0<br />
|0<br />
|0<br />
|0<br />
|0<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|0<br />
|-<br />
|0<br />
|style="background-color:#FFAB58;"|1<br />
|0<br />
|0<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|-<br />
|style="background-color:#FFAB58;"|1<br />
|0<br />
|0<br />
|0<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|-<br />
|0<br />
|0<br />
|0<br />
|0<br />
|0<br />
|0<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|0<br />
|-<br />
|}<br />
<br />
=====相違点=====<br />
{'''go nai bo''' P<sub>0</sub> '''gi''' P<sub>1</sub> '''gi''' ... '''gi''' P<sub>n</sub> ('''gi'i''')} ≠ {P<sub>0</sub> '''i jo nai''' P<sub>1</sub> '''i jo nai''' ... '''i jo nai''' P<sub>n</sub>}<br />
<br />
例えば4項まで {'''i jo nai'''} で接続すると真理値表は以下のようになり、 {'''go nai bo A gi B gi C gi D'''} と異なる。<br />
<br />
{|<br />
|-<br />
| <br />
|{A '''i jo nai''' B '''i jo nai''' C '''i jo nai''' D}<br />
|-<br />
|=<br />
|{A '''i na jo''' B '''i na jo''' C '''i na jo''' D}<br />
|-<br />
|=<br />
|((A ⊕ B) ⊕ C) ⊕ D<br />
|}<br />
<br />
[[Image:venn-ijonai.png|thumb|i zei jo zei nai zei venn]]<br />
{| class="wikitable" style="text-align: center;"<br />
|-<br />
!A<br />
!B<br />
!C<br />
!D<br />
!A ⊕ B<br />
!(A ⊕ B) ⊕ C<br />
!((A ⊕ B) ⊕ C) ⊕ D<br />
|-<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|0<br />
|style="background-color:#FFAB58;"|1<br />
|0<br />
|-<br />
|0<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|0<br />
|style="background-color:#FFAB58;"|1<br />
|-<br />
|style="background-color:#FFAB58;"|1<br />
|0<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|0<br />
|style="background-color:#FFAB58;"|1<br />
|-<br />
|0<br />
|0<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|0<br />
|style="background-color:#FFAB58;"|1<br />
|0<br />
|-<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|0<br />
|style="background-color:#FFAB58;"|1<br />
|0<br />
|0<br />
|style="background-color:#FFAB58;"|1<br />
|-<br />
|0<br />
|style="background-color:#FFAB58;"|1<br />
|0<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|0<br />
|-<br />
|style="background-color:#FFAB58;"|1<br />
|0<br />
|0<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|0<br />
|-<br />
|0<br />
|0<br />
|0<br />
|style="background-color:#FFAB58;"|1<br />
|0<br />
|0<br />
|style="background-color:#FFAB58;"|1<br />
|-<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|0<br />
|0<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|-<br />
|0<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|0<br />
|style="background-color:#FFAB58;"|1<br />
|0<br />
|0<br />
|-<br />
|style="background-color:#FFAB58;"|1<br />
|0<br />
|style="background-color:#FFAB58;"|1<br />
|0<br />
|style="background-color:#FFAB58;"|1<br />
|0<br />
|0<br />
|-<br />
|0<br />
|0<br />
|style="background-color:#FFAB58;"|1<br />
|0<br />
|0<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|-<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|0<br />
|0<br />
|0<br />
|0<br />
|0<br />
|-<br />
|0<br />
|style="background-color:#FFAB58;"|1<br />
|0<br />
|0<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|-<br />
|style="background-color:#FFAB58;"|1<br />
|0<br />
|0<br />
|0<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|style="background-color:#FFAB58;"|1<br />
|-<br />
|0<br />
|0<br />
|0<br />
|0<br />
|0<br />
|0<br />
|0<br />
|-<br />
|}<br />
<br />
==gu==<br />
===gu A gi B gi C gi ...===<br />
====定義====<br />
{|<br />
|-<br />
| <br />
|'''gu''' P<sub>0</sub> '''gi''' P<sub>1</sub> '''gi''' ... '''gi''' P<sub>n</sub> ('''gi'i''')<br />
|-<br />
|= <br />
|[[Image:iju.png|alt="so'i zo ju"]]<br />
|-<br />
|= <br />
|P<sub>0</sub> <br />
|}<br />
====例====<br />
3項の場合: <br />
<br />
{|<br />
|-<br />
| <br />
|{'''gu A gi B gi C'''}<br />
|-<br />
|=<br />
|(A ⊏ B) ⊏ C<br />
|-<br />
|=<br />
|A<br />
|}<br />
<br />
[[Image:venn-gu.png|thumb|gu zei venn]]<br />
<br />
===gu bo A gi B gi C gi ...===<br />
====定義====<br />
{|<br />
|-<br />
| <br />
|'''gu bo''' P<sub>0</sub> '''gi''' P<sub>1</sub> '''gi''' ... '''gi''' P<sub>n</sub> ('''gi'i''')<br />
|-<br />
|= <br />
|'''gu''' P<sub>0</sub> '''gi''' P<sub>1</sub> '''gi''' ... '''gi''' P<sub>n</sub> ('''gi'i''')<br />
|-<br />
|= <br />
|[[Image:iju.png|alt="so'i zo ju"]]<br />
|-<br />
|= <br />
|P<sub>0</sub> <br />
|}<br />
<br />
===gu nai A gi B gi C gi ...===<br />
====定義====<br />
{|<br />
|-<br />
| <br />
|'''gu nai''' P<sub>0</sub> '''gi''' P<sub>1</sub> '''gi''' ... '''gi''' P<sub>n</sub> ('''gi'i''')<br />
|-<br />
|=<br />
|'''gu''' ¬P<sub>0</sub> '''gi''' P<sub>1</sub> '''gi''' ... '''gi''' P<sub>n</sub> ('''gi'i''')<br />
|-<br />
|= <br />
|¬P<sub>0</sub> <br />
|}<br />
<br />
====例====<br />
3項の場合: <br />
{|<br />
|-<br />
| <br />
|{'''gu nai A gi B gi C'''}<br />
|-<br />
|=<br />
|{'''gu ¬A gi B gi C'''}<br />
|-<br />
|=<br />
|¬A<br />
|}<br />
<br />
[[Image:venn-gunai.png|thumb|gu zei nai zei venn]]<br />
<br />
===gu nai bo A gi B gi C gi ...===<br />
====定義====<br />
{|<br />
|-<br />
| <br />
|'''gu nai bo''' P<sub>0</sub> '''gi''' P<sub>1</sub> '''gi''' ... '''gi''' P<sub>n</sub> ('''gi'i''')<br />
|-<br />
| <br />
|'''gu''' ¬P<sub>0</sub> '''gi''' ¬P<sub>1</sub> '''gi''' ... '''gi''' ¬P<sub>n</sub> ('''gi'i''')<br />
|-<br />
|= <br />
|¬P<sub>0</sub> <br />
|-<br />
|=<br />
|'''gu nai''' P<sub>0</sub> '''gi''' P<sub>1</sub> '''gi''' ... '''gi''' P<sub>n</sub> ('''gi'i''')<br />
|}<br />
<br />
==segu==<br />
===se xi ky gu A gi B gi C gi ... (se gu, te gu, ve gu, xe gu, ..., se xi ro gu)===<br />
{|<br />
|-<br />
| <br />
|'''se xi ky gu''' P<sub>0</sub> '''gi''' P<sub>1</sub> '''gi''' ... '''gi''' P<sub>n</sub> ('''gi'i''')<br />
|-<br />
|= <br />
|P<sub>0</sub> '''i se ju''' P<sub>1</sub> '''i se ju''' ... '''i se ju''' P<sub>k</sub> '''i ju''' ... '''i ju''' P<sub>n</sub><br />
|-<br />
|=<br />
|[[Image:iseju_k.png|alt="ky lu seju li'u"]] '''i ju''' ... '''i ju''' P<sub>n</sub><br />
|-<br />
|= <br />
|P<sub>k</sub> '''i ju''' ... '''i ju''' P<sub>n</sub><br />
|-<br />
|= <br />
|[[Image:iju_k.png|alt="ny vu'u ky zo ju"]]<br />
|-<br />
|= <br />
|P<sub>k</sub><br />
|}<br />
<br />
{|<br />
|-<br />
| style="text-align:right;" | {'''se xi no gu'''}<br />
| style="text-align:center;" | =<br />
| {'''gu'''}<br />
|-<br />
| style="text-align:right;" | {'''se xi pa gu'''}<br />
| style="text-align:center;" | =<br />
| {'''se gu'''}<br />
|-<br />
| style="text-align:right;" | {'''se xi re gu'''}<br />
| style="text-align:center;" | =<br />
| {'''te gu'''}<br />
|-<br />
| style="text-align:right;" | {'''se xi ci gu'''}<br />
| style="text-align:center;" | =<br />
| {'''ve gu'''}<br />
|-<br />
| style="text-align:right;" | {'''se xi vo gu'''}<br />
| style="text-align:center;" | =<br />
| {'''xe gu'''}<br />
|-<br />
| <br />
|...<br />
| <br />
|}<br />
<br />
{|<br />
|-<br />
| {'''se xi ro gu''' P<sub>0</sub> '''gi''' P<sub>1</sub> '''gi''' ... '''gi''' P<sub>n</sub> ('''gi'i''')}<br />
|=<br />
| P<sub>n</sub><br />
|}<br />
<br />
===se xi ky gu bo A gi B gi C gi ...===<br />
{|<br />
|-<br />
| <br />
|'''se xi ky gu bo''' P<sub>0</sub> '''gi''' P<sub>1</sub> '''gi''' ... '''gi''' P<sub>n</sub> ('''gi'i''')<br />
|-<br />
|=<br />
|'''se xi ky gu''' P<sub>0</sub> '''gi''' P<sub>1</sub> '''gi''' ... '''gi''' P<sub>n</sub> ('''gi'i''')<br />
|-<br />
|=<br />
|P<sub>k</sub><br />
|}<br />
<br />
===se xi ky gu nai A gi B gi C gi ...===<br />
{|<br />
|+ style="text-align:left;font-weight:bold;" | k=0 のとき<br />
|-<br />
| <br />
|'''se xi no gu nai''' P<sub>0</sub> '''gi''' P<sub>1</sub> '''gi''' ... '''gi''' P<sub>n</sub> ('''gi'i''')<br />
|-<br />
|=<br />
|'''gu''' ¬P<sub>0</sub> '''gi''' P<sub>1</sub> '''gi''' ... '''gi''' P<sub>n</sub> ('''gi'i''')<br />
|-<br />
|=<br />
|¬P<sub>0</sub><br />
|}<br />
<br />
{|<br />
|+ style="text-align:left;font-weight:bold;" | k≠0 のとき<br />
|-<br />
| <br />
|'''se xi ky gu nai''' P<sub>0</sub> '''gi''' P<sub>1</sub> '''gi''' ... '''gi''' P<sub>n</sub> ('''gi'i''')<br />
|-<br />
|=<br />
|'''se xi ky gu''' ¬P<sub>0</sub> '''gi''' P<sub>1</sub> '''gi''' ... '''gi''' P<sub>n</sub> ('''gi'i''')<br />
|-<br />
|=<br />
|P<sub>k</sub><br />
|}<br />
<br />
===se xi ky gu nai bo A gi B gi C gi ...===<br />
{|<br />
|-<br />
| <br />
|'''se xi ky gu nai bo''' P<sub>0</sub> '''gi''' P<sub>1</sub> '''gi''' ... '''gi''' P<sub>n</sub> ('''gi'i''')<br />
|-<br />
|=<br />
|'''se xi ky gu''' ¬P<sub>0</sub> '''gi''' ¬P<sub>1</sub> '''gi''' ... '''gi''' ¬P<sub>k</sub> '''gi''' ... '''gi''' ¬P<sub>n</sub> ('''gi'i''')<br />
|-<br />
|=<br />
|¬P<sub>k</sub><br />
|}</div>
Guskant