Shared Flashcard Set

Details

Logic and Argumentation Equations
7.1-7.4 VSU- James WEDGE(v) DOT/AND(*) TRIPLE BAR (=) HORSE SHOE(>)
18
Philosophy
11/11/2010
Click here to study/print these flashcards.

Create your own flash cards! Sign up here.

Additional Philosophy Flashcards

 

 

Cards

Term
Modus Ponens (MP)
 Definition
P>Q
p
____
Q
Term
Modus Tollens (MT)
 Definition
P>Q
~Q
____
~P
Term
Hypothetical Syllogism (HS)
 Definition
P>Q
Q>R
____
P>R
Term
Disjunctive Syllogism (DS)
 Definition
PvQ
~P
____
Q
Term
Constructive Dilemma (CD)
 Definition
(P>Q)*(R>S)
PvR
____
QvS
Term
Simplification (SIMP)
 Definition
P*Q
____
P
Term
Conjunction (CONJ)
 Definition
P
Q
____
P*Q
Term
Addition (ADD)
 Definition
P
____
PvQ
Term
De Morgan's rule
 Definition
~(P*Q) :: (~Pv~Q)
~(PvQ) :: (~P*~Q)
Term
Commutativity (COM)
 Definition
(PvQ) :: (QvP)
(P*Q) :: (Q*P)
Term
Associativity (ASSOC)
 Definition
Pv(QvR) :: (PvQ)vR
P*(Q*R) :: (P*Q)*R
Term
Distribution (DIST)
 Definition
P*(QvR) :: (P*Q)v(P*R)
Pv(Q*R) :: (PvQ)*(PvR)
Term
Double Negation (DN)
 Definition
~~P :: P
~~(P*q) :: P*Q
Term
Transposition (TRANS)
 Definition
(P>Q) :: (~Q>~P)
Term
Material Implication (IMPL)
 Definition
(P>Q) :: (~PvQ)
Term
Material Equivolence (EQUIV)
 Definition
(P=Q) :: (P>Q)*(Q>P)
(P=Q) :: (P*Q)v(~Q*~P)
Term
Exportation (EXP)
 Definition
(P*Q)>R :: P>(Q>R)
Term
Tautology (TAUT)
 Definition
P :: (PvP)
P :: (P*P)