Metadata
Author: Literature
Data
English[en]
"""z represents a formula which is an immediate consequence by Rule 2a of the formula represented by x""."
Spanish[es]
«z representa una fórmula que es inferible inmediatamente por la Regla 2 de la fórmula representada por x».