[cubefox]

To be fair, I think some people just quickly and intuitively "get" what's expected from them when doing proofs, without any formal introduction. But for others (like me) it is very much helpful to at least list the basic natural deduction inference rules, and to do a bunch of exercises where they have to use these rules explicitly. Otherwise they are floating in thin air, with only a hazy idea of what a "valid logical step" even is.