Die Einführungsregel gibt an, unter welchen Bedingungen eine Aussage gefolgert werden darf, die den betreffenden Operator als Hauptoperator enthält; die Beseitigungsregel gibt an, was aus einer solchen Aussage gefolgert werden darf.