Consider the following premises: 1.A-->(B-->A) is a theorem of proportional calculus for all statements A and B. 2.suppose then that the following are the temporary axioms. a)w b)y c)y-->z Using the logical rules of inference, modus ponens and hypothetical syllogism, show that x-->z is diducible from the given premises.
The Answer to the Question
is below this banner.
Here's the Solution to this Question
Y is the given axiom, and Y → Z is the other given axiom. Then applying modus ponens (MP), Z can be obtained. Now, we have two axioms, X, and Z with us. Premise 1 says that for all the statements form A and B, A → (B → A) id valid. Hypothetical syllogism can be understood like: if p, the q. If q, then r. So, if p, then r.
So, assuming X as A, and Z as B, putting in hypothetical syllogism to obtain the result:
X → (Z → X)
(Z → X) → Z, then
X → Z is a tautology or valid