aksjomatyka.pdf
(
43 KB
)
Pobierz
Powszechna Encyklopedia Filozofii (wersja dla WWW)
AKSJOMATYKA
—obliczalnypodzbiórzbioruzda«danejdziedzinywiedzy,
taki,»ezbiórkonsekwencjitegopodzbioru(zewzgl¦dunapewienobliczal-
nyzbiórobliczalnychoperacjiwnioskowania)jestrównyzbiorowizda«tej
dziedziny.
Jedn¡zzasadniczychcechaksjomatuokre±lonejteoriijestto,jakiezdaniatej
teoriimo»nazniegowyprowadzi¢.Cechatazale»yodpozostałychaksjomatów
orazodregułwnioskowania,któreprzyjmiemy.Pełnacharakterystykaaksjoma-
tówmo»ezatemzosta¢dokonanajedyniewkontek±ciepozostałychaksjomatów
oraz±rodkówdowodowychprzyjmowanychwtejteorii.Dopieropodaniesyste-
muaksjomatycznego,okre±lonegoprzezukładaksjomatów,czylia.,orazprzez
zbióroperacjiwnioskowania,umo»liwiadostateczneuj¦cieznaczeniairolida-
negoaksjomatuwteorii.
A.mo»nacharakteryzowa¢m.in.zewzgl¦dunacechysystemówaksjo-
matycznych,którychs¡składnikami,b¡d¹zewzgl¦dunasko«czono±¢,nie-
zale»no±¢.
Bibliografia:
L.Borkowski,
Wprowadzeniedologikiiteoriimnogo±ci
,Lb1991;W.Pogorzelski,
Elementarnysłowniklogikiformalnej
,Białystok1992,33–36.
PawełGarbacz
aksjomatyka
PEF—©CopyrightbyPolskieTowarzystwoTomaszazAkwinu
1
Plik z chomika:
wlochaty6666
Inne pliki z tego folderu:
aestimativav.pdf
(76 KB)
feminizm.pdf
(85 KB)
abstrakcja.pdf
(106 KB)
agnostycyzm.pdf
(78 KB)
aksjomat.pdf
(61 KB)
Inne foldery tego chomika:
Zgłoś jeśli
naruszono regulamin