reguła odrywania
Encyklopedia PWN
wnioskowania reguły, dyrektywy wnioskowania, zw. też dyrektywami wiedzotwórczymi lub regułami dowodzenia,
reguły log. poprawnego przekształcania zdań, pozwalające uznawać pewne zdania na podstawie innych, uznanych już zdań.
rachunek kwantyfikatorów, logika kwantyfikatorów,
dział logiki, w którym przyjmuje się wszystkie terminy i twierdzenia rachunku zdań, a ponadto wprowadza się, jako stałe symbole, kwantyfikatory.