Atomi képlet
Atomképlet , elemi képlet vagy csak atom , a matematikai logikában – a logikai képlet legegyszerűbb esete ; részképletekre nem osztható képlet .
Az atomok legegyszerűbb esete a kapcsolatokat meghatározó képletek. Például az "x nagyobb, mint 3" állítást a NAGYOBB (x,3) atom írja le, ahol a MORE predikátum igaz , ha az első argumentum nagyobb, mint a második. Hasonlóképpen, ha az „x szereti y-t” SZERET (x, y)-ként írjuk le, a „Sasha loves Dasha” mondatot úgy ábrázolhatjuk, mint SZERET ( Sasha , Dasha ).
Az elsőrendű logikában az atomok funkciószimbólumokat is tartalmazhatnak . Az atom általános alakja ebben az esetben a következő: , ahol a predikátum aritásszimbóluma , és a kifejezések . Például, ha az APÁ(x) jelentése "x személy apja", akkor a "Ványa szereti az apját" mondatot a SZERETET atommal lehet ábrázolni ( Vanya , FATHER ( Vanya )).
