Symbol funkcyjny - strona 3

, ale nie więcej zmiennych. Gdziekolwiek używamy ∪, możemy go przepisać jako superpozycję 2 symboli funkcyjnych - 1...

argumenty relacji P,Q,L,R,Z., symbole funkcyjne G,H,+,+(2,3)=S e,1,2,3 - stałe lliczbowe; x,y,z... - zmienne...

tego samego] : U

rzędu to stałe indywiduowe. {Fi}iI2 - symbole funkcyjne (działań) ki ≥ 1-argumentowe Przykładami liter...

argumenty relacji P,Q,L,R,Z., symbole funkcyjne G,H,+,+(2,3)=S e,1,2,3 - stałe lliczbowe; x,y,z... - zmienne...

indywiduowe) U (U^ki)

) {ci}, i∈I1 - stałe indywiduowe (Pi,e,0,1) 3) {Fi}, i∈I2 - symbole funkcyjne(działań), i-te dzialanie...