prove the following by or conclusion style (using the equivalence p -> (q or r) = (p
Fantastic news! We've Found the answer you've been seeking!
Question:
prove the following by "or conclusion" style (using the equivalence p -> (q or r) = (p && ~q) -> r) :let r be a real number, if r^2-9>0, then r > 0 or r < -3
Related Book For
Posted Date: