Quiz 7 Satisfiability
10/30/06 Quiz 7 was formerly known as Quiz 4
Quiz 7 first few tabs
[This has been done in the downloadable application, but the principles apply to the applet version also.]
Help Q7, first few tabs
- Sentential Logic: 10 Tutorials
-
Predicate Logic: 15 Tutorials
- Tutorial 11: Sketch of the second part of the course, and symbolizing sentences using predicate logic.
- Tutorial 12: Symbolizing sentences using predicate logic (continued)
- Review of New Material
- Tutorial 13: An Introduction to Truth in Predicate Logic
- Tutorial 14: Some Terminology for the Semantics of Predicate Logic
- Tutorial 15: Elementary derivations in predicate logic
- Tutorial 16: Symbolization using the quantifiers
- Tutorial 17: The semantics of quantifiers
- Tutorial 18: Universal Elimination
- Tutorial 19: Universal Introduction
- Tutorial 20: Existential Introduction
- Tutorial 21: Existential Elimination
- Tutorial 22: Symbolizing Relations
- Symbolization Review
- Tutorial 23: The semantics of relations
- Tutorial 24: The restrictions on the quantificational rules
- Tutorial 25 ...
- Try your own derivations