Answer to Question #299116 in Quantitative Methods for Yaku

Question

Consider the following premises:

1. A $\to$ (B $\to$ A) is a Theorem of Propositional Calculus/Logic (i.e. it’s logically valid),

for all statement forms A and B.

Suppose then that the following are the temporary axioms (assumptions):

a) W (axiom 1)

b) Y (axiom 2)

c) Y $\to$ Z (axiom 3)

Using the logical rules of inference, Modus Ponens (MP) and/or Hypothetical Syllogism

(HS), show that X $\to$ Z is deducible (i.e. it is a logical/valid conclusion) from the given

premises (i.e. 1 and 2).