Across
- 6. Indicates the opposite, usually employing the word not.
- 7. Switching the hypothesis and conclusion of a conditional statement and negating both.
- 8. refers to the opposite of another operation.
- 9. is a method of reasoning that involves a series of statements, each of which must be true if the statement before it is true.
- 10. statement is defined to be true whenever both parts have the same truth value; operator is denoted by a double-headed arrow.
- 11. statement, symbolized by p q, is an if-then statement in which p is a hypothesis and q is a conclusion.
Down
- 1. is a compound statement formed by joining two statements with the connector OR.
- 2. is a method of proof in polemics, logic and mathematics.
- 3. is a statement that is either true or false.
- 4. Switching the hypothesis and conclusion of a conditional statement.
- 5. is a compound statement (premise and conclusion) that always produces truth.
- 7. is a compound statement formed by joining two statements with the connector AND.
