Matematicka logika - zapocet

[stanulik]

este predsa len jedna vec, ak mam g(a,a) a g je unarny  a A su konstanty (cize moze byt len 1 parameter)  - to sa vztahuje len na premenne ci aj na konstanty ? ci konstant mozem mat viac v unarnom  ?

[dEVIANT]

Ani konštant nemože byť viac v unárnom...lebo keď je napr. g unárna funkcia, ktorá priradí x=x+1 tak ten druhý symbol tam byť nemože...

Iné by bolo keby bola g binárna funkcia, ktorá priradí napr. x=x*x...tak kludne tam možu byť aj dva symboly...

[stanulik]

ma niekto vyriesene 10.cvicenie zo zbierky od Myskovej ? tie rezolucne metody..
upnite to niekde prosim chcem vidiet ako to ma vyzerat... bo ako si nechapem tej rezolucnej, neviem ktorou premennou zacat apod. thx