MODULE: Sentential logic

There are many formal systems of logic, and Sentential Logic (SL) is one of the simplest. It is also known as "Propositional Logic". Here you will find tutorials and programs relating to Sentential Logic.

Before you start

Read this page to check whether your browser can display logic symbols correctly.

Tutorials

Other resources

• Glossary - a table of key terms in the tutorials.
• Some simple logic programs

Useful books and links

• A list of recommended books from Joe Lau.
• Fun logic puzzles - Raymond M Smullyan (1978) What is the name of this book?: The riddle of Dracula and other logical puzzles Prentice-Hall. Many of his other books are fun as well.
• Entries on logic in the Stanford Encyclopedia of Philosophy - These are articles that discuss some of the main issues in the philosophy of logic. They are difficult!

<< previous page

---

---