Set: Laws of Inference

Familiarize

Learn

Test

Play Scatter

Play Space Race

Voice Race
Combine with other sets Login to add to Favorites
Print: Term List | Flashcards Editing not allowed
Export Deleting not allowed

Share these flash cards

With group: None
HTML link to set: Tiny link:
Share on Facebook Share on MySpace

All 11 terms

TermDefinition
Contrapositive(p-->q)<-->(~q-->~p)
Material Implication(p-->q)<-->(~p∨q)
Double Negationp<-->~(~p)
Simplification(p∧q)-->(p)∧(q)
Law of Conjunction(p)∧(q)-->(p∧q)
Disjunctive Additionp-->(p∨q)
Detachment or Modus Ponens[(p-->q)∧p]-->q
Modus Tollens[(p-->q)∧~q]-->~p
Syllogism[(p-->p)∧(q-->r)]-->(p-->r)
DeMorgan's~(p∨q)<-->(~p∧~q)
Disjunctive Inference[(p∨q)∧~q]-->p

Set Information

Terms 11
Creator smartj2295
Created October 21, 2008
Groups None
Subjects None
Access Anyone
Edit Creator Only
Get rid of ads on Quizlet
Pop out

Discuss

No Messages
Last Message: never

You must be logged in to discuss this set.

Top Users

  1. dleon42 - 3 scores

Most Missed Words

  1. DeMorgan's ~(p∨q)<-->(~p∧~q) - 1 miss
  2. Disjunctive Inference [(p∨q)∧~q]-->p - 1 miss