sentence: But a rule of inference's action is purely syntactic, and does not need to preserve any semantic property: any function from sets of formulae to formulae counts as a rule of inference.
modified: fix grammar: But rule of inference's action is purely syntactic, and does not need to preserve semantic property: any function from sets of formulae to formulae counts as a rule of inference.