كتختلف شي قواعد (التكافؤ، - الاختزال، - التحويل)، اللي كتعتبر على أنها بديهيات النظرية واللي تقدر تفسر على أنها قواعد حسابية في توظيف المصطلحات.