Yes, logical inference can easily be solved in propositional logic by making use of three concepts:

Logical equivalence
Process satisfaction
Validation checking

Yes, it is possible to solve logical inference in propositional logic. Propositional logic deals with propositions, which are statements that are either true or false. Logical inference involves deducing new propositions from given propositions based on logical rules such as modus ponens, modus tollens, and others. Propositional logic provides a formal framework for reasoning about the truth or falsehood of propositions and making logical inferences. While propositional logic is limited in expressiveness compared to more complex logics such as first-order logic, it is still capable of capturing many aspects of reasoning and is widely used in artificial intelligence for tasks such as knowledge representation and reasoning.