https://enciklopedija.cc/index.php?action=history&feed=atom&title=Aksiomska_shemaAksiomska shema - Povijest promjena2026-08-07T18:44:16ZPovijest promjena ove stranice na wikijuMediaWiki 1.42.3https://enciklopedija.cc/index.php?title=Aksiomska_shema&diff=488869&oldid=prevWikiSysop: bnz2022-04-28T18:23:44Z<p>bnz</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="hr">
<td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">←Starija inačica</td>
<td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Inačica od 28. travanj 2022. u 18:23</td>
</tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l1">Redak 1:</td>
<td colspan="2" class="diff-lineno">Redak 1:</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;"><!--'''Aksiomska shema'''--></del>'''Aksiomska shema''', vrsta [[shema|sheme]]. To je [[formula]] koja sadrži [[varijabla|varijable]] [[metajezik]]a i postaje [[aksiom]]om kada joj se varijable instanciraju s ispravno sastavljenim formulama u [[formalni jezik|formalnom jeziku]].<ref>[http://marul.ffst.hr/~logika/pilot/glosarij.htm Filozofski fakultet u Splitu] Peter Suber, Philosophy Department, Earlham College''Rječnik logike prvog reda''. Preveo na hrvatski Berislav Žarnić. (pristupljeno 16. srpnja 2020.)</ref></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>'''Aksiomska shema''', vrsta [[shema|sheme]]. To je [[formula]] koja sadrži [[varijabla|varijable]] [[metajezik]]a i postaje [[aksiom]]om kada joj se varijable instanciraju s ispravno sastavljenim formulama u [[formalni jezik|formalnom jeziku]].<ref>[http://marul.ffst.hr/~logika/pilot/glosarij.htm Filozofski fakultet u Splitu] Peter Suber, Philosophy Department, Earlham College''Rječnik logike prvog reda''. Preveo na hrvatski Berislav Žarnić. (pristupljeno 16. srpnja 2020.)</ref></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>Da bismo izbjegli da dospijemo u govorenje o svim [[svojstvo|svojstvima]], aksiom iskazujemo kao aksiomsku shemu. U protivnom nas to vodi izvan granica [[logika prvoga reda|logike prvoga reda]] i što zahtijeva [[teorija svojstava|teoriju svojstava]]. Sve rečenice koje imaju oblik aksiomske sheme su [[aksiom]]i. Ima ih beskonačno mnogo.<ref name=Žarnić>[http://marul.ffst.hr/~logika/pilot/predavanja/TeorijaSkupova.htm Filozofski fakultet u Splitu] Berislav Žarnić: ''Teorija skupova'' (pristupljeno 16. srpnja 2020.)</ref></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>Da bismo izbjegli da dospijemo u govorenje o svim [[svojstvo|svojstvima]], aksiom iskazujemo kao aksiomsku shemu. U protivnom nas to vodi izvan granica [[logika prvoga reda|logike prvoga reda]] i što zahtijeva [[teorija svojstava|teoriju svojstava]]. Sve rečenice koje imaju oblik aksiomske sheme su [[aksiom]]i. Ima ih beskonačno mnogo.<ref name=Žarnić>[http://marul.ffst.hr/~logika/pilot/predavanja/TeorijaSkupova.htm Filozofski fakultet u Splitu] Berislav Žarnić: ''Teorija skupova'' (pristupljeno 16. srpnja 2020.)</ref></div></td></tr>
</table>WikiSysophttps://enciklopedija.cc/index.php?title=Aksiomska_shema&diff=379508&oldid=prevWikiSysop: Bot: Automatski unos stranica2021-12-10T02:45:39Z<p>Bot: Automatski unos stranica</p>
<p><b>Nova stranica</b></p><div><!--'''Aksiomska shema'''-->'''Aksiomska shema''', vrsta [[shema|sheme]]. To je [[formula]] koja sadrži [[varijabla|varijable]] [[metajezik]]a i postaje [[aksiom]]om kada joj se varijable instanciraju s ispravno sastavljenim formulama u [[formalni jezik|formalnom jeziku]].<ref>[http://marul.ffst.hr/~logika/pilot/glosarij.htm Filozofski fakultet u Splitu] Peter Suber, Philosophy Department, Earlham College''Rječnik logike prvog reda''. Preveo na hrvatski Berislav Žarnić. (pristupljeno 16. srpnja 2020.)</ref><br />
<br />
Da bismo izbjegli da dospijemo u govorenje o svim [[svojstvo|svojstvima]], aksiom iskazujemo kao aksiomsku shemu. U protivnom nas to vodi izvan granica [[logika prvoga reda|logike prvoga reda]] i što zahtijeva [[teorija svojstava|teoriju svojstava]]. Sve rečenice koje imaju oblik aksiomske sheme su [[aksiom]]i. Ima ih beskonačno mnogo.<ref name=Žarnić>[http://marul.ffst.hr/~logika/pilot/predavanja/TeorijaSkupova.htm Filozofski fakultet u Splitu] Berislav Žarnić: ''Teorija skupova'' (pristupljeno 16. srpnja 2020.)</ref><br />
<br />
== Izvori ==<br />
{{izvori}}<br />
<br />
[[Kategorija:Logika]]</div>WikiSysop