PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
sections
Encyclopædia
Papers
Books
Expositions

meta
Requests (236)
Orphanage
Unclass'd (1)
Unproven (540)
Corrections (47)
Classification

talkback
Polls
Forums
Feedback
Bug Reports

downloads
Snapshots
PM Book

information
News
Docs
Wiki
ChangeLog
TODO List
Copyright
About
Encyclopedia by subject

03B05 - Mathematical logic and foundations :: General logic :: Classical propositional logic

  1. ampheck owned by Jon Awbrey
  2. Aristotelian logic owned by Daume
  3. Boolean domain owned by Jon Awbrey
  4. Boolean-valued function owned by Jon Awbrey
  5. CNF owned by rspuzio
  6. construction of well-formed formulas owned by CWoo
  7. contradiction owned by Wkbj79
  8. contradictory statement owned by pahio
  9. contrapositive owned by yark
  10. converse owned by pahio
  11. differential propositional calculus owned by Jon Awbrey
  12. differential propositional calculus : appendix 1 owned by Jon Awbrey
  13. differential propositional calculus : appendix 2 owned by Jon Awbrey
  14. differential propositional calculus : appendix 3 owned by Jon Awbrey
  15. differential propositional calculus : appendix 4 owned by Jon Awbrey
  16. differential propositional calculus : examples owned by Jon Awbrey
  17. disjunction owned by akrowne
  18. DNF owned by rspuzio
  19. equivalent owned by sleske
  20. every proposition is equivalent to a proposition in DNF owned by rspuzio
  21. example of false implies true owned by Algeboy
  22. example of tautology owned by bloftin
  23. examples of contrapositive owned by alozano
  24. exclusive or owned by me_and
  25. functional completeness owned by CWoo
  26. implication owned by akrowne
  27. inference rule owned by rspuzio
  28. interpretation of well-formed formulas owned by CWoo
  29. inverse statement owned by Wkbj79
  30. Lindenbaum-Tarski algebra owned by CWoo
  31. logical axiom owned by CWoo
  32. logical connective owned by mps
  33. logical graph : formal development owned by Jon Awbrey
  34. logical graph : introduction owned by Jon Awbrey
  35. logical implication owned by Jon Awbrey
  36. minimal negation operator owned by Jon Awbrey
  37. modus ponens owned by CWoo
  38. modus tollens owned by rspuzio
  39. necessary and sufficient owned by Wkbj79
  40. negation owned by pahio
  41. Peirce's law owned by Jon Awbrey
  42. praeclarum theorema owned by Jon Awbrey
  43. proof that contrapositive statement is logically equivalent to original statement owned by sprocketboy
  44. propositional calculus owned by Jon Awbrey
  45. propositional logic owned by Henry
  46. realization of a formula by a truth function owned by CWoo
  47. Sheffer stroke owned by CWoo
  48. sole sufficient operator owned by Jon Awbrey
  49. tautology owned by rspuzio
  50. theory owned by CWoo
  51. transitive owned by akrowne
  52. truth function owned by akrowne
  53. unique readability of parenthesized formulas owned by CWoo
  54. unique readability of well-formed formulas owned by CWoo
  55. universal assumption owned by Wkbj79
  56. universe of discourse owned by Jon Awbrey
  57. word owned by juanman
  58. zeroth order logic owned by Jon Awbrey

Show empty categories:
[ up | top ]