Aksjomatyka.pdf

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±¢.

Bibliograﬁa: L.Borkowski, Wprowadzeniedologikiiteoriimnogo±ci ,Lb1991;W.Pogorzelski,

Elementarnysłowniklogikiformalnej ,Białystok1992,33–36.

PawełGarbacz