Verzia z 17:01, 7. november 2006 upraviť Wizzard (diskusia \| príspevky) Správcovia 113 854 editací d Systém formálny premiestnená na Formálny systém ← Predchádzajúca úprava		Aktuálna revízia z 02:56, 31. marec 2008 upraviť vrátiť Bronto (diskusia \| príspevky) 131 809 editací dBez shrnutí editace
Riadok 1: '''Formálny systém''' je reprezentácia [[axiomatická teória\|axiomatickej teórie]] v podobe [[kalkul\|kalkulu]]. V prípade, že rozvíjame [[deduktívna teória\|deduktívnu teóriu]] bez toho, aby sme pripisovali určitý význam jej primitívnym termínom, s ktorými zaobchádzame ako s [[premenná\|premennými]], hovoríme, že pojednávame o teórii ako o formálnom systéme. ~~'''Systém formálny'''~~ ~~[[systém\|systém]] formálny je reprezentácia [[teória axiomatická\|axiomatickej teórie]] v podobe [[kalkul\|kalkulu]]. V prípade, že rozvíjame~~ ~~[[teória deduktívna\|deduktívnu teóriu]] bez toho, aby sme pripisovali určitý význam jej primitívnym~~ ~~termínom, s ktorými zaobchádzame ako s [[premenná\|premennými]], hovoríme, že pojednávame o~~ ~~teórii ako o formálnom systéme.~~ == Externé odkazy == * {{filit\|fvs/system_formalny.html}} [[Kategória:Logika]] ~~{{filit na úpravu}}~~

Formálny systém: Rozdiel medzi revíziami