Shared Flashcard Set

Details

CSC 226
Rules of Inference
13
Computer Science
Undergraduate 2
02/05/2007
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
pVq
-p
---
q
 Definition
Disjunctive Syllogism
Term
p
----
pVq
 Definition
Addition
Term
p^q
---
p
 Definition
Simplification
Term
p
q
----
p^q
 Definition
Conjunction
Term
pVq
-pVr
-----
qVr
 Definition
Resolution
Term
p->q
----
-pVq
 Definition
Implication law
Term
AxP(x)
------
P(c)
 Definition
Universal Instantiation
Term
P(c)
-----
ExP(x)
 Definition
Existential generalization
Term
P(c) for an arbitrary c
----------
AxP(x)
 Definition
Universal Generalization
Term
ExP(x)
------
P(c) for a particular c
 Definition
Existential Instantiation
Supporting users have an ad free experience!