click below
click below
Normal Size Small Size show me how
PREP LOGIC
Logic practice
| Term | Definition |
|---|---|
| Disjunction | a STATEMENT that is only FALSE when both statements are false. |
| Disjunction KEY word | OR |
| Conditional Statement | a statement that is ONLY false when the antecedent is true and the consequent is false. |
| Antecedent | a statement that comes first in a conditional statement |
| Consequent | a statement that comes last in a conditional statement |
| Conditional KEY word | IF...THEN... |
| Converse | is a conditional statement that has the antecedent and consequent EXCHANGED |
| Inverse | is a conditional statement that has the antecedent and consequent NEGATED |
| Contrapositive | is a conditional statement that has the antecedent and consequent BOTH negated and exchanged |
| Alternative ways of expressing CONDITIONAL Statements | 1) if p, then q 2) p only if q 3) p is a sufficient condition for q 4) q if p 5) q is a necessary condition for p |
| Logically Equivalent | is a relationship that is ONLY valid if two statements have identical truth tables |
| Statement | is a declarative sentence that is either TRUE or FALSE but not both |
| Negation | is a STATEMENT whose truth value is the OPPOSITE of the truth value of a given statement |
| Negation KEY word | NOT |
| Truth Table | is a table that list all the possible truth outcomes of a statement |
| Conjunction | is a STATEMENT that is ONLY true when both statements are true. |
| Conjunction KEY word | AND |