Prawa rachunku kwantyfikatorów