Types of Logic Statements -- Rinehart

p --> q

conditional statement

conditional statement

in "if, then" form

hypothesis

part of the conditional statement immediately after the word "if

conclusion

part of the conditional statement immediately after the word "then

counterexample

an example that proves a statement false

converse

a conditional statement where the hypothesis and conclusion are reversed

inverse

a conditional statement where the hypothesis and conclusion are both negated

contrapositive

a conditional statement where the hypothesis and conclusion are negated and reversed

truth table

a table that shows the "truth value" of different situations

conjunction

p and q"; p ^ q; where both statements must be true

disjunction

p or q"; p ˅ q; where at least one statement must be true