# Logic cards

The flashcards below were created by user Anonymous on FreezingBlue Flashcards.

1. Enthymemes
incompletely stated arguments.
2. p only if q
p ⊃q
3. Only if p, q
q ⊃p
4. p is implied by q
q ⊃p
5. p is entailed by q
q ⊃p
6. p is sufficient for q
p ⊃q
7. p is necessary for q
q ⊃p
8. Disjunction
v
9. varable equation... nth variable
2^n , four sections, with alternating T and F
10. A statement is invalid if...
all the statements are true and the conclusion is false
11. only time if is F
T⊃F
12. only time or is F
F or F
13. only time and is T
TandT
14. when is the equivelence true?
when both agree
15. modus ponens (mp)
• p if q
• p
• q
16. simplification
• p and q
• p

• p and q
• q
17. conjunction
• p
• q
• p and q
• p
• p or q
19. conditional proof
• assumes the antecedent and label it cpa
• continue same level
20. DM
• ~(pvq) :: ~p . ~q
• ~(p.q) :: ~p v ~q
21. Double Negation
• ~~p
• p
22. wedge equivelence
• p>q
• ~pvq
23. commutation
• p.q :: q.p
• pvq :: qvp
24. association
• p.(q.r) :: (p.q).r
• pv(qvr) :: (pvq)vr
25. distribution
• p.(qvr) :: (p.q) v (p.r)
• pv(q.r) :: (pvq).(pvr)
26. duplication
• p :: p.p
• p :: pvp
27. MT
• p>q
• ~q
• ~p
28. DS
• pvq
• ~p
• q
29. HS
• p>q
• q>r
• p>r
30. 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: