Atomový vzorec
Atomový vzorec , základní vzorec nebo jen atom , v matematické logice - nejjednodušší případ logického vzorce ; vzorec, který nelze rozdělit na podvzorce .
Nejjednodušším případem atomů jsou vzorce, které definují vztahy. Například výrok "x je větší než 3" je popsán atomem VĚTŠÍ (x,3), kde predikát MORE je pravdivý , když je první argument větší než druhý. Podobně, napsáním „x miluje y“ jako LOVES (x, y), lze větu „Sasha loves Dasha“ znázornit jako LOVES ( Sasha , Dasha ).
V logice prvního řádu mohou atomy obsahovat také funkční symboly . Obecná forma atomu je v tomto případě následující: , kde je symbol arity predikátu a jsou výrazy . Například, pokud FATHER(x) znamená "otec osoby x", věta "Vanya miluje svého otce" může být reprezentována atomem LOVES ( Váňa , OTEC ( Váňa )).
