public override Node ReplaceObjectVariableNewNode(char from, char to) { return(new UniversalQuantifier(Variable, Proposition.ReplaceObjectVariableNewNode(from, to))); }
public override Node ReplaceObjectVariableNewNode(char from, char to) { return(new UniversalQuantifier(Variable, Proposition.ReplaceObjectVariableNewNode(from, to))); }