Atomformel
Atomformel , elementär formel eller bara atom , i matematisk logik - det enklaste fallet av en logisk formel ; en formel som inte kan delas upp i delformler .
Det enklaste fallet med atomer är formler som definierar samband. Till exempel beskrivs påståendet "x är större än 3" av atomen GREATER (x,3), där predikatet MORE är sant när det första argumentet är större än det andra. På liknande sätt, genom att skriva "x älskar y" som ÄLSKAR (x, y), kan man representera meningen "Sasha älskar Dasha" som ÄLSKAR ( Sasha , Dasha ).
I första ordningens logik kan atomer också innehålla funktionssymboler . Den allmänna formen av atomen i detta fall är följande: , där är predikatets aritetssymbol , och är termerna . Till exempel, om FADER(x) betyder "fadern till person x", kan meningen "Vanya älskar sin far" representeras av atomen LOVES ( Vanya , FATHER ( Vanya )).
