Study your flashcards anywhere!

Download the official Cram app for free >

  • Shuffle
    Toggle On
    Toggle Off
  • Alphabetize
    Toggle On
    Toggle Off
  • Front First
    Toggle On
    Toggle Off
  • Both Sides
    Toggle On
    Toggle Off
  • Read
    Toggle On
    Toggle Off
Reading...
Front

How to study your flashcards.

Right/Left arrow keys: Navigate between flashcards.right arrow keyleft arrow key

Up/Down arrow keys: Flip the card between the front and back.down keyup key

H key: Show hint (3rd side).h key

A key: Read text to speech.a key

image

Play button

image

Play button

image

Progress

1/9

Click to flip

9 Cards in this Set

  • Front
  • Back
p->q
p
.:q
Modus Ponens
p->q
~q
.:~p
Modus Tollens
p
.:p v q
q
.:p v q
Generalization
p ^ q
.:p
p ^ q
.:q
Specialization
p
q
.:p ^ q
Conjunction
p v q
~q
.:p
p v q
~p
.:q
Elimination
p->q
q->r
.:p->r
Transitivity
p v q
p->r
q->r
.:r
Proof by Division into Cases
~p->C
.:p
Contradiction Rule