Question Database: Formal Logic
Topics
- Propositional logic: Translation
- Truth tables
- Propositional logic: Trees
- Predicate logic: Translation
- Models for predicate logic
- Predicate logic: Trees
- Definite descriptions
Symbols
The following special symbols are used in many of these questions:
- Universal quantifier: ∀
- Existential quantifier: ∃
- Material conditional: ⊃
- Disjunction: ∨
If these symbols are not being displayed correctly in your browser, try the following:
Internet Explorer
From the main menu select Tools, then Internet Options, then click on the Font button. Then change the default Latin font to Arial Unicode MS, or any other unicode font.