Lojik
Biyografi
[modifye | modifye kòd]Lojik matematik oswa metamatèmatik se yon disiplin nan matematik ki te envante nan fen 19yèm syèk la, ki te mete kòm objektif li etidye matematik kòm yon lang.
Objè fondamantal nan lojik matematik se fòmil ki reprezante deklarasyon matematik yo, derivasyon oswa demonstrasyon fòmèl ki reprezante rezonman matematik yo, ak semantik oswa modèl oswa entèpretasyon nan estrikti ki bay yon « sans » matematik jeneral fòmil yo (epi pafwa menm demonstrasyon yo) kòm kèk invarian: pa egzanp, entèpretasyon fòmil nan kalkil predika yo pèmèt yo asiyen yon valè verite.
