week 4 review Symbolic Logic

1. the sentence P --> Q:

    (a) If P, then Q.

    (b)P implies Q.

    (c) P only if Q.

    (d) It is necessary that Q for P.

    (e) It is sufficient that P for Q.

2. the sentence: All x in R, P --> Q:

    (a) equavelent to : All x in R, not P or Q

    (b) negation: Exist x in R,  P and not Q

    (c)convers: All x in R, not P --> not Q
                       All x in R, Q --> P

    (d)contropositive: All x in R, not Q --> not P