Write the statement forms in symbols, using the conditional (() or the biconditional (() connective. Name the hypothesis and the conclusion in each conditional form. Let p be the statement "Sally studied" and q the statement "Sally passes."
1. Sally studied if and only if Sally passes.
2. If Sally studied, then Sally passes.
3. Sally passes only if Sally studied.
4. If Sally passes, then Sally studied.
5. Sally's studying is necessary for Sally to pass.
6. That Sally studied is sufficient for Sally to pass.
7. If Sally did not study, then Sally does not pass.
8. Sally passes implies that Sally studied?