Establish the validity of the argument using the Rules of Inference

Establish the validity of the argument using the Rules of Inference:
{p \land (p \rightarrow q) \land (s \lor r) \land (r \rightarrow \sim q)} \rightarrow (s \lor t)

Answer:-

Leave a Reply

Your email address will not be published. Required fields are marked *