Logic cards

Card Set Information

Author:
Anonymous
ID:
18560
Filename:
Logic cards
Updated:
2010-05-09 23:35:08
Tags:
Logic cards
Folders:

Description:
logic cards
Show Answers:

Home > Flashcards > Print Preview

The flashcards below were created by user Anonymous on FreezingBlue Flashcards. What would you like to do?


  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
  18. addition
    • 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

What would you like to do?

Home > Flashcards > Print Preview