6/1/09 [need to check]
4/24/06
4/24/06
4/24/06
To understand how the various restrictions on the quantificational rules work to exclude certain kinds of invalid inferences
Bergmann[2004] The Logic Book Section 10.1
If a derivation contains a line of the form
n (∀<variable>)<scope> <any justification>
then a line of the form
10/30/06 Quiz 7 was formerly known as Quiz 4
[This has been done in the downloadable application, but the principles apply to the applet version also.]
Your browser does not support html5 video.
6/19/09
[This has been done in the downloadable application, but the principles apply to the applet version also.]
12/25/06
This video illustrates use of the downloadable application (and the symbol ∧ for 'and'). But, what it depicts and explains is equally good if you happen to be using the web pages applets (or a different symbol for 'and' eg '.').
Your browser does not support html5 video.
6/21/07
Rewrite Rules
10/23/06