Sos tèrmines sunt manipulados cun carchi règula (sa -ecuivalèntzia, sa -mèngua e sa -cunversione), chi sunt sos assiomas de sa teoria e podent èssere interpretados comente règulas de càrculu.