Shared Flashcard Set

Details

Discrete math Rules of Inference & fallacies
Discrete math Rules of Inference & fallacies
14
Computer Science
Undergraduate 1
09/09/2010
Click here to study/print these flashcards.

Create your own flash cards! Sign up here.

Additional Computer Science Flashcards

 

 

Cards

Term
P
P->Q
.'. Q
 Definition
Modus Ponens
Term
~Q
P->Q
.'. ~P
 Definition
Modus Tollens
Term
P->Q
Q->R
.'. P->R
 Definition
Hypothetical Syllogism
Term
P v Q
~P
.'. Q
 Definition
Disjunctive Syllogism
Term
P
.'. P v Q
 Definition
Addition
Term
P ^ Q
.'. P
 Definition
Simplification
Term
P
Q
.'. P ^ Q
 Definition
Conjunction
Term
P v Q
~P v R
.'. Q v R
 Definition
Resolution
Term
P->Q
Q
.'.P
 Definition
Fallacy of Affirming Conclusion
Term
Ax P(x)
.'. P(c)
 Definition
Universal Instantation
Term
P(c)for an arbitrary c
Ax P(x)
 Definition
Universal Generalization
Term
Ex P(x)
.'. P(c) for some element c
 Definition
Existential Instantation
Term
P(c) for some element c
Ex P(x)
 Definition
Existential generalization
Term
P->Q
~P
.'. ~Q
 Definition
Falacy of denying the hypothesis
Supporting users have an ad free experience!