Set: Logic Arguments

Familiarize

Learn

Test

Play Scatter

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

Sharing

With group: None (edit)
HTML link to set: Plain link:
Share on Facebook Share on MySpace

All 9 Terms

Term Definition
Disjunctive Syllogism (DS) ( p ∨ q ) & ~p ⊃ q
Addition p ⊃ p ∨ q
Simplification p & q ⊃ p
Conjunction p, q ⊃ p & q
Modus Ponens (MP) ( p ⊃ q ) & p ⊃ q
Modus Tollens (MT) ( p ⊃ q ) & ~q ⊃ ~p
Multiple Modus Ponens (MMP) ( p ⊃ q ) & ( q ⊃ r ) & p ⊃ r
Hypothetical Syllogism (HS) ( p ⊃ q ) & ( q ⊃ r ) ⊃ ( p ⊃ r )
Constructive Dillemma (CD) ( p ⊃ q ) & ( r ⊃ s ) & ( p ∨ r ) ⊃ q ∨ s

Set Information

Terms 9
Creator shard
Created January 11, 2008
Groups None
Tags None
Access Anyone
Edit Creator Only
Pop out

Discuss

No Messages
Last Message: never

You must be logged in to discuss this set.

Top Users

  1. shard - 20 scores

Most Missed Words

  1. Disjunctive Syllogism (DS) → ( p ∨ q ) & ~p ⊃ q - 3 misses
  2. Modus Tollens (MT) → ( p ⊃ q ) & ~q ⊃ ~p - 3 misses
  3. Constructive Dillemma (CD) → ( p ⊃ q ) & ( r ⊃ s ) & ( p ∨ r ) ⊃ q ∨ s - 3 misses
  4. Conjunction → p, q ⊃ p & q - 1 miss
  5. Multiple Modus Ponens (MMP) → ( p ⊃ q ) & ( q ⊃ r ) & p ⊃ r - 1 miss