Formuła atomowa

start

Są 4 typy formuły atomowej:

• Predykatywna formuła atomowa

Ogólna postać: τ₁, ..., τ_k ρ τ_k+1, ..., τ_n

gdzie ρ jest symbolem predykatu

Przykłady: 1 < 2, x = y, X,Y are_equipotent, k divides l. f is_homomorphism U1,U2

• Prywatna formuła atomowa (głównie występuje w schematach i ich użyciu)

Ogólna postać: P[τ₁, ..., τ_k]

Przykłady: P[0], P[n+1], Q[x,y,f]

• Przymotnikowa formuła atomowa

Ogólna postać: τ is ξ₁, ..., ξ_k

Przykłady: x is natural, X is non empty, f is one-to-one onto, X is n-element finite

• Kwalifikacyjna formuła atomowa

Ogólna postać: τ is Θ

Przykłady: x is natural number, f is Function of A,B, z is connected Relation of the carrier of U

Zobacz formułę