Yes, logical inference can easily be solved in propositional logic by making use of three concepts:
Logical equivalence
Process satisfaction
Validation checking