A well formed formula is valid means –
- The conclusion is inferred from the premises.
- The propositional expression is tautological implication.
- The argument (an argument is sequence of propositional expressions followed by conclusion) proposed is valid.
Now let us consider the example and show if the argument is valid.
If it is raining Mr. Will will take an umbrella.
It is raining.
Here p: It is raining, q: He will take an umbrella.
$((p \rightarrow q) \wedge (p)) \rightarrow p$
The above written expression is tautological implication. Hence we can say that the argument is valid.