If it is true that...

LlmS recently became cheap

and

Working with propositional logic is possible only with LLMs

Then it must be true that...

Working with propositional logic recently became possible