• 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

Card Range To Study

through

image

Play button

image

Play button

image

Progress

1/18

Click to flip

Use LEFT and RIGHT arrow keys to navigate between flashcards;

Use UP and DOWN arrow keys to flip the card;

H to show hint;

A reads text to speech;

18 Cards in this Set

  • Front
  • Back
Modens Ponens
(MP)
P>Q
P
----
Q
MODENS TOLLENS
(MT)
P>Q
~Q
----
~P
HYPOTHETICAL SYLLOGISM
(HS)
P > Q
Q > R
P > R
DISJUNCTIVE SYLLOGISM
(DS)
P v Q
~P
------
Q
Constructive Dilemma
(CD)
(P > Q) • (R > S)
P v R
Q v S
Simplification
(Simp)
P • Q
P
Conjunction
(Conj)
P
Q
P • Q
Addition
(Add)
P
P v Q
De Morgan’s rule (DM)
~(P•Q)::(~Pv~Q)
~(PvQ)::(~P•~Q)
Commutativity (Com)
(P v Q) :: (Q v P)
(P • Q) :: (Q • P)
Associativity
(Assoc)
[Pv(QvR)] :: [(PvQ)vR]
[P•(Q•R)] :: [(P•Q)•R]
Distribution
(Dist)
[P•(QvR)]::[(P•Q)v(P•R)]
[Pv(Q•R)]::[(PvQ)•(PvR)]
Double Negation
(DN)
P :: ~~P
Transposition
(Trans)
(P>Q)::(~Q>~P)
Material Implication
(Impl)
(P > Q) :: (~P v Q)
Material Equivalence
(Equiv)
(P=Q)::[(P>Q)•(Q>P)]
(P=Q)::[(P•Q)v(~P•~Q)]
Exposition
(Exp)
[(P•Q)>R]::[P>(Q>R)]
Tautology
(Taut)
P :: (P v P)
P :: (P • P)