Answer-
Yes logical inference can easily be solved in propositional logic by making use of three concepts-
1.Logical equivalence.
2.Process satisfaction.
3.Validation checking.