Home
Flashcards
Preview
Logic cards
The flashcards below were created by user
Anonymous
on
FreezingBlue Flashcards
.
Quiz
iOS
Android
More
Enthymemes
incompletely stated arguments.
p only if q
p ⊃q
Only if p, q
q ⊃p
p is implied by q
q ⊃p
p is entailed by q
q ⊃p
p is sufficient for q
p ⊃q
p is necessary for q
q ⊃p
Disjunction
v
varable equation... nth variable
2^n , four sections, with alternating T and F
A statement is invalid if...
all the statements are true and the conclusion is false
only time if is F
T⊃F
only time or is F
F or F
only time and is T
TandT
when is the equivelence true?
when both agree
modus ponens (mp)
p if q
p
q
simplification
p and q
p
p and q
q
conjunction
p
q
p and q
addition
p
p or q
conditional proof
assumes the antecedent and label it cpa
continue same level
DM
~(pvq) :
: ~p . ~q
~(p.q) :
: ~p v ~q
Double Negation
~~p
p
wedge equivelence
p>q
~pvq
commutation
p.q :
: q.p
pvq :
: qvp
association
p.(q.r) :
: (p.q).r
pv(qvr) :
: (pvq)vr
distribution
p.(qvr) :
: (p.q) v (p.r)
pv(q.r) :
: (pvq).(pvr)
duplication
p :
: p.p
p :
: pvp
MT
p>q
~q
~p
DS
pvq
~p
q
HS
p>q
q>r
p>r
CD
"double mp"
(p>q).(r>s)
pvr
qvs
Author:
Anonymous
ID:
18560
Card Set:
Logic cards
Updated:
2010-05-10 03:35:08
Tags:
Logic cards
Folders:
Description:
logic cards
Show Answers:
Home
Flashcards
Preview