Shared Flashcard Set

Details

Logic: Arguments and Rules of Inference
JCAC
9
Computer Science
Professional
05/28/2010

Additional Computer Science Flashcards

 


 

Cards

Term

 

 

What rule is the following?

 

p → q

p       

  ∴  q      

Definition

 

 

Modus Ponens

 

(period...)

Term

 

 

What rule is the following?

 

 

p → q

¬q     

∴ ¬p  

Definition

 

 

Modus Tollens

 

(topsy turvy)

Term

 

 

What rule is the following?

 

 p                                   q 

       ∴ p ∨ q                         ∴p ∨ q

Definition

 

 

Generalization

Term

 

 

What rule is the following?

 

p ∧ q                         p ∧ q 

∴ p                            ∴ q     

Definition

 

 

Specialization

Term

 

 

What rule is the following?

 

         p ∨ q                          p ∨ q

     ¬ q                             ¬ p

     ∴ p                             ∴ q

Definition

 

 

Elimination

Term

 

 

What rule is the following?

 

p → q

q → r

∴ p → r   

Definition

 

 

Transitivity

Term

 

 

What rule is the following?

 

p ∨ q

p → r

q → r

∴ r    

Definition

 

 

Division into Case

Term

 

 

What rule is the following?

 

p → q

q       

∴ p       

Definition

 

 

Converse Error

Term

 

 

What rule is the following?

 

p → q

¬ p          

∴ ¬ q       

Definition

 

 

Inverse Error

Supporting users have an ad free experience!