.
.
.
.
Mathematical Logic
Question

Indicate which of the following well-formed formula are valid:

Answer

((p=>Q) ^ (Q=>R)) => (P => R) is well known valid formula (tautology) because it is a rule of inference called hypothetical syllogism.

By applying boolean algebra and simplifying, we can show that option 2, 3 and Option 4 are invalid.