Formula atomica
Formula atomică , formulă elementară sau doar atom , în logica matematică - cel mai simplu caz al unei formule logice ; o formulă care nu poate fi împărțită în subformule .
Cel mai simplu caz al atomilor sunt formulele care definesc relațiile. De exemplu, afirmația „x este mai mare decât 3” este descrisă de atomul MAI MARE (x,3), unde predicatul MAI MULT este adevărat atunci când primul argument este mai mare decât al doilea. În mod similar, scriind „x iubește y” ca IUBIRE (x, y), se poate reprezenta propoziția „Sasha îl iubește pe Dasha” ca IUBIRE ( Sasha , Dasha ).
În logica de ordinul întâi , atomii pot include și simboluri de funcție . Forma generală a atomului în acest caz este următoarea: , unde este simbolul de aritate predicat și sunt termenii . De exemplu, dacă FATHER(x) înseamnă „tatăl persoanei x”, propoziția „Vanya își iubește tatăl” poate fi reprezentată de atomul IUBESC ( Vanya , FATHER ( Vanya )).
