Logic cards

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

18560

Card Set

Logic cards

Description

logic cards

Updated

2010-05-10T03:35:08Z

Show Answers