Question

a show that P->s tautologically implied by
~PvQ,negation QvR, R->s.​

Answer 1

Step-by-step explanation:

P→Q is logically equivalent to ¬P∨Q. P → Q is logically equivalent to ¬ P ∨ Q . Example: “If a number is a multiple of 4, then it is even” is equivalent to, “a number is not a multiple of 4 or (else) it is even