(The bold letters W, X, Y, Z are variables and can stand for any sentence of...

Transcribed Image Text:

(The bold letters W, X, Y, Z are variables and can stand for any sentence of TFL.) a) Suppose that X+Y. Does it follow that WAX-Y VZ? Explain, making reference to particular inference rules in your answer. b) Suppose that X is a theorem and Y is any sentence. Does it follow that Y→X must be a theorem? Explain your answer. (The bold letters W, X, Y, Z are variables and can stand for any sentence of TFL.) a) Suppose that X+Y. Does it follow that WAX-Y VZ? Explain, making reference to particular inference rules in your answer. b) Suppose that X is a theorem and Y is any sentence. Does it follow that Y→X must be a theorem? Explain your answer.

Answer rating: 100% (QA)

that structure a Let us suppose the oblah then it follows that in such a that manne... View the full answer