Shared Flashcard Set

Details

Logical Rules
19 Rules of Inference
19
Other
Not Applicable
02/28/2004
Click here to study/print these flashcards.

Create your own flash cards! Sign up here.

Additional Other Flashcards

 

 

Cards

Term
Modus Ponens
 Definition
P then Q P therefore Q [image]
Term
Modus Tollens
 Definition
P then Q ~Q therefore ~P [image]
Term
Hypothetical Syllogism
 Definition
P then Q Q then R therefore P then R [image]
Term
Disjunctive Syllogism
 Definition
P or Q ~P therefore Q [image]
Term
Constructive Dilemma
 Definition
(P then Q) and (R then S) P or R therefore Q or S [image]
Term
Absorption
 Definition
P then Q
Therefore P then (P and Q)
Term
Simplification
 Definition
P and Q Therefore P [image]
Term
Addition
 Definition
P Therefore O or Q [image]
Term
Conjunction
 Definition
P Q Therefore P and Q [image]
Term
De Morgans
 Definition
[image]
Term
Commutation
 Definition
[image]
Term
Association
 Definition
[image]
Term
Distribution
 Definition
[image]
Term
Double Negation
 Definition
[image]
Term
Transposition
 Definition
[image]
Term
Implication
 Definition
[image]
Term
Equivalence
 Definition
[image]
Term
Exportation
 Definition
[image]
Term
Repetition
 Definition
[image]
Supporting users have an ad free experience!