http://www.lambda.ee/w/index.php?action=history&feed=atom&title=Iti0210lab82 2026-10-28T09:18:24Z Selle lehekülje redigeerimiste ajalugu MediaWiki 1.43.11 http://www.lambda.ee/w/index.php?title=Iti0210lab82&diff=18693&oldid=prev 2021-03-25T20:31:11Z

<p><span class="autocomment">Teadmusbaas predikaatloogikas</span></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="et"> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">←Vanem redaktsioon</td> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Redaktsioon: 25. märts 2021, kell 22:31</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l7">7. rida:</td> <td colspan="2" class="diff-lineno">7. rida:</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>Kasutades http://logictools.org/, kirjuta reeglid, et saaks järeldada et Mordor asub Maakonnast (&#039;&#039;The Shire&#039;&#039;) idas ja lõunas.</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>Kasutades http://logictools.org/, kirjuta reeglid, et saaks järeldada et Mordor asub Maakonnast (&#039;&#039;The Shire&#039;&#039;) idas ja lõunas.</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><del style="font-weight: bold; text-decoration: none;">Kontrolliks: tõestamine</del>, et Mordor asub Maakonnast põhjas ja läänes peaks ebaõnnestuma.</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><ins style="font-weight: bold; text-decoration: none;">Tõestamine</ins>, et Mordor asub Maakonnast põhjas ja läänes peaks ebaõnnestuma.</div></td></tr> <tr><td colspan="2" class="diff-side-deleted"></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> </div></td></tr> <tr><td colspan="2" class="diff-side-deleted"></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><ins style="font-weight: bold; text-decoration: none;">Taustaks: [https://en.wikipedia.org/wiki/Commonsense_reasoning Commonsense reasoning]</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>=== Reeglid ===</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>=== Reeglid ===</div></td></tr> </table>

PriitJ http://www.lambda.ee/w/index.php?title=Iti0210lab82&diff=18692&oldid=prev 2021-03-25T20:15:22Z

<p><span class="autocomment">Reeglid</span></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="et"> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">←Vanem redaktsioon</td> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Redaktsioon: 25. märts 2021, kell 22:15</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l18">18. rida:</td> <td colspan="2" class="diff-lineno">18. rida:</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>Need kehtivad iga nelja ilmakaare kohta.</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>Need kehtivad iga nelja ilmakaare kohta.</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>Lisaks on vaja aru saada, et kui liigume <del style="font-weight: bold; text-decoration: none;">näit </del>ida-lääne suunal, siis peaks säilima seos, et oleme mingitest kohtadest põhjas ja teistest lõunas. Et järeldada, et Rohan on Mordorist põhja pool, peame kasutama seda, et</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>Lisaks on vaja aru saada, et kui liigume <ins style="font-weight: bold; text-decoration: none;">näiteks </ins>ida-lääne suunal, siis peaks säilima seos, et oleme mingitest kohtadest põhjas ja teistest lõunas. Et järeldada, et Rohan on Mordorist põhja pool, peame kasutama seda, et</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>Rohan on Gondorist põhjas, Mordor on aga Gondori kõrval idas.</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>Rohan on Gondorist põhjas, Mordor on aga Gondori kõrval idas.</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> </table>

PriitJ http://www.lambda.ee/w/index.php?title=Iti0210lab82&diff=18690&oldid=prev 2021-03-25T19:10:36Z

<p><span class="autocomment">Süntaks</span></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="et"> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">←Vanem redaktsioon</td> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Redaktsioon: 25. märts 2021, kell 21:10</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l24">24. rida:</td> <td colspan="2" class="diff-lineno">24. rida:</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>Süntaksi jaoks uuri näiteid ja abiinfot http://logictools.org lehel.</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>Süntaksi jaoks uuri näiteid ja abiinfot http://logictools.org lehel.</div></td></tr> <tr><td colspan="2" class="diff-side-deleted"></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><ins style="font-weight: bold; text-decoration: none;"></ins></div></td></tr> <tr><td colspan="2" class="diff-side-deleted"></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><ins style="font-weight: bold; text-decoration: none;">[[File:ltoolshelp.png|frameless|400px]]</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>=== Abiks ===</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>=== Abiks ===</div></td></tr> </table>

PriitJ http://www.lambda.ee/w/index.php?title=Iti0210lab82&diff=18688&oldid=prev 2021-03-25T17:09:42Z

<p><span class="autocomment">Esitamine</span></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="et"> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">←Vanem redaktsioon</td> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Redaktsioon: 25. märts 2021, kell 19:09</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l49">49. rida:</td> <td colspan="2" class="diff-lineno">49. rida:</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>=== Esitamine ===</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>=== Esitamine ===</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>Pane faktid, reeglid ja päring tekstifailina gitlabi. Kui keerulisem tõestus ei õnnestu, esita lihtsam, mis kasutaks transitiivsust ja sümmeetriat (näiteks, et Maakond on Rivendellist läänes).</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>Pane faktid, reeglid ja päring tekstifailina gitlabi. Kui keerulisem tõestus ei õnnestu, esita lihtsam, mis kasutaks transitiivsust ja sümmeetriat (näiteks, et Maakond on Rivendellist läänes)<ins style="font-weight: bold; text-decoration: none;">. Ka lihtsama tõestuse eest saab täispunktid</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>[[Category:Iti0210]]</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>[[Category:Iti0210]]</div></td></tr> </table>

PriitJ http://www.lambda.ee/w/index.php?title=Iti0210lab82&diff=18687&oldid=prev 2021-03-25T17:07:52Z

<p><span class="autocomment">Abiks</span></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="et"> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">←Vanem redaktsioon</td> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Redaktsioon: 25. märts 2021, kell 19:07</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l45">45. rida:</td> <td colspan="2" class="diff-lineno">45. rida:</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>&lt;/pre&gt;</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>&lt;/pre&gt;</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>Samamoodi võid edasi kontrollida transitiivsust (kas Lothlorien on Gondorist põhjas?) ja mitmes suunas liikumist (kas Moria on Rohanist <del style="font-weight: bold; text-decoration: none;">läänes</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>Samamoodi võid edasi kontrollida transitiivsust (kas Lothlorien on Gondorist põhjas?) ja mitmes suunas liikumist (kas Moria on Rohanist <ins style="font-weight: bold; text-decoration: none;">lääne pool</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>=== Esitamine ===</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>=== Esitamine ===</div></td></tr> </table>

PriitJ http://www.lambda.ee/w/index.php?title=Iti0210lab82&diff=18686&oldid=prev 2021-03-25T17:00:55Z

<p><span class="autocomment">Teadmusbaas predikaatloogikas</span></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="et"> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">←Vanem redaktsioon</td> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Redaktsioon: 25. märts 2021, kell 19:00</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l3">3. rida:</td> <td colspan="2" class="diff-lineno">3. rida:</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>Pane järgmine teadmus kirja predikaatloogikas</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>Pane järgmine teadmus kirja predikaatloogikas</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>''Near Gondor, to the east, lies the land of Mordor. To the north and near Gondor, is Rohan. Rohan is near Lothlorien and lies to the south of it. Near Lothlorien is Moria. Lothlorien is east of Moria. Moria is south of the High Pass, which is near it. Near the High Pass, to the west, is Rivendell. Rivendell is near to, and to the east from Bree. Bree is east from the Shire. The Shire is near Bree.''</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>''Near Gondor, to the east, lies the land of Mordor. To the north <ins style="font-weight: bold; text-decoration: none;">from Gondor, </ins>and near Gondor, is Rohan. Rohan is near Lothlorien and lies to the south of it. Near Lothlorien is Moria. Lothlorien is east of Moria. Moria is south of the High Pass, which is near it. Near the High Pass, to the west, is Rivendell. Rivendell is near to, and to the east from Bree. Bree is east from the Shire. The Shire is near Bree.''</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>Kasutades http://logictools.org/, kirjuta reeglid, et saaks järeldada et Mordor asub Maakonnast (&#039;&#039;The Shire&#039;&#039;) idas ja lõunas.</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>Kasutades http://logictools.org/, kirjuta reeglid, et saaks järeldada et Mordor asub Maakonnast (&#039;&#039;The Shire&#039;&#039;) idas ja lõunas.</div></td></tr> </table>

PriitJ http://www.lambda.ee/w/index.php?title=Iti0210lab82&diff=18685&oldid=prev 2021-03-25T16:58:06Z

<p>Uus lehekülg: &#039;== Teadmusbaas predikaatloogikas == Pane järgmine teadmus kirja predikaatloogikas &#039;&#039;Near Gondor, to the east, lies the land of Mordor. To the north and near Gondor, is Rohan....&#039;</p> <p><b>Uus lehekülg</b></p><div>== Teadmusbaas predikaatloogikas ==<br /> <br /> Pane järgmine teadmus kirja predikaatloogikas<br /> <br /> &#039;&#039;Near Gondor, to the east, lies the land of Mordor. To the north and near Gondor, is Rohan. Rohan is near Lothlorien and lies to the south of it. Near Lothlorien is Moria. Lothlorien is east of Moria. Moria is south of the High Pass, which is near it. Near the High Pass, to the west, is Rivendell. Rivendell is near to, and to the east from Bree. Bree is east from the Shire. The Shire is near Bree.&#039;&#039;<br /> <br /> Kasutades http://logictools.org/, kirjuta reeglid, et saaks järeldada et Mordor asub Maakonnast (&#039;&#039;The Shire&#039;&#039;) idas ja lõunas.<br /> <br /> Kontrolliks: tõestamine, et Mordor asub Maakonnast põhjas ja läänes peaks ebaõnnestuma.<br /> <br /> === Reeglid ===<br /> <br /> Tõestaja ei tea geograafiast midagi, ning kõik tuleb reeglitena ette anda. Lihtsad reeglid on:<br /> <br /> # Sümmeetria. Kui A asub B-st põhjas, siis B asub A-st lõunas. Kui A on B lähedal, siis B on A lähedal.<br /> # Transitiivsus. Kui A asub B-st põhjas ja B asub C-st põhjas, siis A asub C-st põhjas.<br /> <br /> Need kehtivad iga nelja ilmakaare kohta.<br /> <br /> Lisaks on vaja aru saada, et kui liigume näit ida-lääne suunal, siis peaks säilima seos, et oleme mingitest kohtadest põhjas ja teistest lõunas. Et järeldada, et Rohan on Mordorist põhja pool, peame kasutama seda, et<br /> Rohan on Gondorist põhjas, Mordor on aga Gondori kõrval idas.<br /> <br /> === Süntaks ===<br /> <br /> Süntaksi jaoks uuri näiteid ja abiinfot http://logictools.org lehel.<br /> <br /> === Abiks ===<br /> <br /> Alusta lahendust lihtsamate küsimuste lahendamisest. Oletame, et meil on fakt:<br /> <br /> &lt;pre&gt;<br /> east(gondor, mordor).<br /> &lt;/pre&gt;<br /> <br /> Kontrollime, kas järeldamine üleüldse töötab. Päring:<br /> <br /> &lt;pre&gt;<br /> -east(gondor, mordor).<br /> &lt;/pre&gt;<br /> <br /> Kui oled teinud sümmeetria reeglid, kontrolli kas need töötavad. Päring:<br /> <br /> &lt;pre&gt;<br /> -west(mordor, gondor).<br /> &lt;/pre&gt;<br /> <br /> Samamoodi võid edasi kontrollida transitiivsust (kas Lothlorien on Gondorist põhjas?) ja mitmes suunas liikumist (kas Moria on Rohanist läänes?).<br /> <br /> === Esitamine ===<br /> <br /> Pane faktid, reeglid ja päring tekstifailina gitlabi. Kui keerulisem tõestus ei õnnestu, esita lihtsam, mis kasutaks transitiivsust ja sümmeetriat (näiteks, et Maakond on Rivendellist läänes).<br /> <br /> [[Category:Iti0210]]</div>

PriitJ