Atomformel
Atomformel , elementær formel eller blot atom , i matematisk logik - det enkleste tilfælde af en logisk formel ; en formel, der ikke kan opdeles i underformler .
Det enkleste tilfælde af atomer er formler, der definerer relationer. For eksempel er udsagnet "x er større end 3" beskrevet af atomet STØRRE (x,3), hvor prædikatet MERE er sandt, når det første argument er større end det andet. På samme måde kan man ved at skrive "x elsker y" som LOVES (x, y) repræsentere sætningen "Sasha elsker Dasha" som LOVES ( Sasha , Dasha ).
I førsteordens logik kan atomer også omfatte funktionssymboler . Den generelle form for atomet i dette tilfælde er som følger: , hvor er prædikatet aritetssymbol , og er vilkårene . For eksempel, hvis FADER(x) betyder "faderen til person x", kan sætningen "Vanya elsker sin far" repræsenteres af atomet LOVES ( Vanya , FAR ( Vanya )).
