Flashcard Deck Information
 of 
INCORRECT
CORRECT
Click Card to flip
Modus Ponens (MP)
if p then q p __________ q
Click Card to flip
Disjunctive Syllogism (DS)
p or q ~ p __________ q *reasoning by elimination
Click Card to flip
Modus Tollens (MT)
if p then q ~q _________ ~p *if something proves a negative, then it must be wrong
Click Card to flip
Hypothetical Syllogism (HS)
if p then q if q then r ___________ if p then r
Click Card to flip
Simplifications (Simp)
p and q _______ p *from a conjunction we can take the first conjuct
Click Card to flip
Conjunction (Conj)
p q ________ p and q
Click Card to flip
Constructive Dilemma (CD)
p or q (if p then r) and (if q then s) ______________________ r or s
Click Card to flip
Addition (Add)
p ___________ p or q
Click Card to flip
Commutation (Comm)
p or q = q or p p and q = q and p
Click Card to flip
Double Negation (DN)
p = ~~p *can't eliminate two ~'s when they are not consecutive separated by parentheses for example
Click Card to flip
Transposition (Trans)
if p then q = if not q then not p
Click Card to flip
Material Equivalence (Equiv)
if p then if and only if q = (if p then q) and (if q then p) if p then if and only if q = (p and q) or (not p and not q)
Click Card to flip
Distribution (Dist)
p and (q or r) = (p and q) or (p and r) p or (q and r) = (p or q) and (p or r)
Click Card to flip
Tautology (Taut)
p _____ p or p p _____ p and p
Click Card to flip
Association
(p and q) and r = p and (q and r) p or (q or r) = (p or q) or r *connectives must be the same
Click Card to flip
DeMorgan's Rule (DM)
~ ( p and q ) = (~ p or ~ q ) ~ ( p or q ) = (~ p and ~ q )
Click Card to flip
Material Implication (Imp)
if p then q = ~ p or q
Click Card to flip
Exportation (Exp)
(if (p and q) then r) = ( if p then (if q then r))

INCORRECT

CORRECT

SKIPPED
Shuffle Remaining Cards
Show Definitions First
Take Quiz (NEW)
List View: Terms & Definitions
Hide All 18
Print
© Copyright 2020 , Koofers, Inc. All rights reserved.
The information provided on this site is protected by U.S. and International copyright law, and other applicable intellectual property laws, including laws covering data access and data compilations. This information is provided exclusively for the personal and academic use of students, instructors and other university personnel. Use of this information for any commercial purpose, or by any commercial entity, is expressly prohibited. This information may not, under any circumstances, be copied, modified, reused, or incorporated into any derivative works or compilations, without the prior written approval of Koofers, Inc.