## 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

Cloth
ISBN 0-13-327628-7

mailings
on this subject.

Formal Logic-Philosophy

Introduction to Logic-Philosophy

Deductive 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 logician would.
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, DOS, etc.

I. INTRODUCTION TO THE BOOK AND THE SOFTWARE.
1. Symlog's Tools.

II. SENTENTIAL LOGIC.
2. Sentences and Truth-Tables.
3. Translating and Analyzing Arguments.
4. SL Truth-Trees.
5. Natural Deduction in Propositional Logic.
III. PREDICATE LOGIC.
6. The Basic Sentences of PL.
7. PL Truth-Trees.
8. Natural Deduction in Predicate Logic.
9. Structures.
EPILOGUE: Further Developments in Predicate Logic.
APPENDICES:
A. Installing Symlog.