Atomaarne valem

Matemaatilises loogikas on atomaarne valem (tuntud ka kui aatom või algvalem) valem, millel puudub sügavam propositsiooniline struktuur, see tähendab valem, mis ei sisalda loogilisi tehteid või samaväärselt valem, millel pole rangeid alavalemeid. Aatomid on seega loogika kõige lihtsamad moodustatud valemid. Keerukamad valemid moodustatakse aatomaarsete valemite kombineerimisel loogiliste tehete abil.

Aatomaarsete valemite täpne kuju sõltub vaadeldavast loogikast; näiteks propositsiooniloogikas viidatakse propositsioonimuutujale sageli lühidalt kui "aatomaarsele valemile", kuid täpsemalt öeldes ei ole propositsioonimuutuja aatomaarne valem, vaid formaalne avaldis, mis tähistab aatomaarset valemit. Predikaatloogikas koosnevad aatomid predikaatsümbolitest koos nende argumentidega, kus iga argument on mõiste (term). Mudeliteoorias on aatomaarne valem lihtsalt sümbolite jada antud signatuuriga, mis võib olla kas rahuldav või mitterahuldav antud mudeli suhtes.^[1]

Viited

↑ Hodges, Wilfrid (1997). A shorter model theory (inglise). Cambridge: Cambridge university press. Lk 11–14. ISBN 978-0-521-58713-6.

[1] Hodges, Wilfrid (1997). A shorter model theory (inglise). Cambridge: Cambridge university press. Lk 11–14. ISBN 978-0-521-58713-6.

[1]