Corpus ID: 118658256

Logic for Everyone

@article{Herrmann2006LogicFE,
  title={Logic for Everyone},
  author={R. Herrmann},
  journal={arXiv: General Mathematics},
  year={2006}
}
  • R. Herrmann
  • Published 2006
  • Mathematics
  • arXiv: General Mathematics
  • Presented, in this monograph, are the results of the U. S. Naval Academy Mathematical Logic Course Project. The propositional and predicate calculus is presented in a unique manner. All aspects are rigorously established using the the fewest mathematical techniques. The propositional calculus is expanded considerably and many of the proof methods are used to establish the predicate calculus results. Consequnce operators are also introduced. Further, the material is considered to be a terminal… CONTINUE READING
    General Logic-Systems that Determine Significant Collections of Consequence Operators
    • 6
    • Open Access