It is not the case that Subformula property holds only when all premises and conclusions appear in derivation steps—non-standard rules violate this requirement.
?Set your confidence on the premises below to see your aggregate.
No one has weighed in yet. Be the first to share reasons for or against this statement.