Règle de Substitution

concept

règle d'inférence qui s'applique à une portion d'expression

Propriétés

p279_labels
règle d'inférence

Catégories