When applying a rule of inference, is it okay to "skip" a step (i.e, apply a same rule to multiple parts of a statement)?
For example:
(A > B) ^ (C > D)
(~A v B) ^ (~C v D) 1, Impl.
As opposed to applying simplification first, then implication on each statement alone (resulting in more lines).
It seems like more of a stylistic point, but I'm curious and would like to keep to best practices.