Set: Logic Study Guide Semester 1: Deductive Reasoning
Familiarize |
Learn |
Test |
|||
Play Scatter |
Play Space Race |
||||
 Combine with other sets |
Login to add to Favorites |
| Print: Term List | Flashcards |
Editing not allowed |
| Export |
Deleting not allowed |
Sharing
| With group: High Tech High LA: Class of '09 (edit) | |
| HTML link to set: | Plain link: |
 Share on Facebook |
 Share on MySpace |
All 14 Terms
| | Term | Definition |
|---|---|---|
| |
Simplification (SIMP) | P ^ Q (therefore) P, Q |
| |
Conjunctive Arguement (CA) | P, Q (therefore) P ^ Q |
| |
Disjunctive Arguement (DA) | P v Q, ~P (therefore) Q |
| |
Strong Disjunctive Arguement (SDA) | P w Q, P (therefore) ~Q |
| |
Addition (ADD) | P (therefore) P v X |
| |
Modus Ponens (MP) | P --> Q, P (therefore) Q |
| |
Application of MP (AMP) | Q --> R, P --> R (therefore) (P v Q) --> R |
| |
Modus Tollens (MT) | P --> Q, ~Q (therefore) ~P |
| |
Material Implication (MI) | P --> Q Q v ~P ~P v Q something else I couldn't see on the paper D= |
| |
Contraposition (MI^2) | P --> Q ~Q --> ~P |
| |
Tautology (TAU) | S v S (therefore) S |
| |
Distributive Property (DIS) | P ^ (Q v R) (therefore) (P ^ Q) v (P ^ R) |
| |
Conditional Sylogism (CS) | P --> Q, Q --> R (therefore) P --> R |
| |
De Morgan (DeM) | ~(P ^ Q) (therefore) ~P v ~Q |
Set Information
| Terms | 14 |
| Creator | legionaire45 |
| Created | January 29, 2008 |
| Group | High Tech High LA: Class of '09 |
| Tags | logic, high, tech, la, deductive, reasoning |
| Access | Anyone |
| Edit | Creator Only |
Description
blah.