
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.