MathProblemsBank

6.1.1.4 Propositional calculus

Problem: Write down formally the following reasoning in the language of propositional logic and prove its validity using the method of resolutions. Premise: wages will increase only if there is inflation. If there is inflation, the cost of living will increase. Conclusion: The cost of living will increase.