In the playoffs it's always going to come down to who can still hit against the best pitching, because odds are that's what you get to see in the other playoff teams. I can see an argument either way. You can theorize only exceptional hitters have any chance against top pitching, so you basically go stars and scrubs because the scrubs will do no worse against top pitchers than average players anyway - i.e. neither will do anything. The other take would be if I have run creation distributed across a bunch of players, one or two of them slumping won't matter, whereas if I have 3 great hitters and one is off his game, that's 33% of my offense. I sort of doubt there is any rigorous way to evaluate the choice and even if there were, no real team is likely to end up built to a single paradigm because almost all teams have to take players where and as they find them. No team is going to dump its stars for sake of a stronger 7-8-9 in the lineup.
All I do know for sure is that if you are going against Tarik Skubal in the playoffs, you want Jose Ramirez.