Rosetta-PL: Propositional Logic as a Benchmark for Large Language Model Reasoning