Logic with Symlog: Learning Symbolic Logic By Computer (Software included), 1/e
Frederic D. Portoraro, University of Toronto
Robert E. Tully, University of Toronto
Published October, 1993 by Prentice Hall Humanities/Social Science
Copyright 1994, 512 pp.
Sign up for future
mailings on this subject.
See other books about:
Introduction to Logic-Philosophy
This unique, fully integrated text/software package for teaching and
learning formal logic provides not only a rigorous introduction to
the subject, but accessible, resourceful electronic tutor, SYMLOG,
to guide each student through all the basic areas of symbolic logic.
the SYMLOG software provides students with
an interactive computer environment in which exercises are checked,
stored and printed.
provides both a rigorous discussion of the elements of
formal logic its concepts, methods, and strategies
as well as a framework in which to operate the software.
covers sentential and predicate logic in all the customary
areas: Symbolizations, Truth-Tables, Truth-Trees, Natural Deduction
Proofs, and Models.
features a unique Expert System for constructing
natural deduction proofs in both sentential and predicate logic.
Students learn to analyze and construct proofs the way a professional
provides a rich variety of exercises in the text and
on disk; PLUS, the software can randomly generate exercises on request
at selected levels of difficulty.
presupposes no prior familiarity with computers or software.
The user-friendly software provides drop-down menus, clear prompts,
precise error messages, and extensive on-line help.
- the text provides a complete tour of the software
as well as useful appendixes on system requirements, installation,
I. INTRODUCTION TO THE BOOK AND THE SOFTWARE.
II. SENTENTIAL LOGIC.
2. Sentences and Truth-Tables.
III. PREDICATE LOGIC.
3. Translating and Analyzing Arguments.
4. SL Truth-Trees.
5. Natural Deduction in Propositional Logic.
6. The Basic Sentences of PL.
7. PL Truth-Trees.
8. Natural Deduction in Predicate Logic.
EPILOGUE: Further Developments in Predicate Logic.
A. Installing Symlog.
B. Your Computer System.
C. Symlog Commands.
D. Elementary Set Theory.
Answers to Selected Exercises.