Please log in to your Saclink account and find the email containing the link to the course evaluation form and the following assessment survey. Extra points for everyone if almost everyone does it. See syllabus for details.
If you have not already done the evaluation for this course, please do so right away. Currently not enough people have done them to get the maximum point credit.
We will have one last test opportunity during the final exam period for this class which is 12:45 Tuesday. The test will be closed book and notes. The test will be one of the previous predicate logic tests taken for this course for which solutions have been posted online. So study all the solutions to all the tests and be sure you can work all the proofs.
We will take one last quiz covering identity, work more problems from worksheet 21, then take a test.
Review Lecture 17 and watch Lecture 21 on Identity in predicate calculus. Do Worksheet 21. We will have a quiz covering identity.
Finish Worksheet 20 and take a predicate logic test covering quantifier equivalence rules.
We'll work problems from worksheet 20 and take a quiz covering quantifier equivalence rules (and everything else.)
Lecture 20, worksheet 20 first 6 problems. Test covering all four quantifier rules.
Several problems from worksheet 19 are worked out here. Specific reference to the upcoming test occurs.
Do problems 6-14 on Worksheet 19. Quiz at end of period on predicate logic with all four quantifier rules.
Note: Brian pointed out a couple of typos on problem number 10, which I have fixed.
Video Lecture 19. Work first five problems of Worksheet 19. Test will cover Universal Elimination, Universal Introduction and Existential Introduction.
Video lecture 18 and Worksheet 18. Quiz on rules for universal quantifier at the beginning of the period. Review worksheet afterwards.
There will be no class meeting on Tuesday, but everyone is encouraged to go to the Nammour Symposium.
Go to the home page for instructions on how to get credit for attending the Nammour Symposium April 16th and 17th. You will need to register your clicker for a Nammour Symposium class. It will not cost you anything.
Here is the link to the solution to Thursday's faux test. On Thursday 4.18 we will have a real test of this kind. For Thursday, do Lecture 17 on identity and Worksheet 17, which is more modeling with identity.
Note: An earlier version of the solution to the faux test on Thursday had a wrong answer. 15 should be ~wff. Thanks to Dylan for that.
Video lecture 16 and worksheet 16. We'll review the worksheet then take a test similar to it.
Video lecture 15 and finish worksheet 14. We will have a quiz on wffs. and formation rules and do as many more problems of 14 as we have time for. I made test 8 a take home test due at the very beginning of the period on Tuesday. If you were not in class, you can still do the test. Here it is.
Note: Since you are doing this at home I have extremely high standards of neatness. If there are scratchouts or your answers are even remotely difficult to read I will mark them wrong.
Video lecture 14 (which reviews worksheet 13) and do the first 30 problems of worksheet 14. Predicate logic translation test at end of period.
Lecture 13, worksheet 13, quiz on language of predicate logic.
As noted in class, we will begin the period with a closed book test on propositional logic. There will be two proofs on the test. One will be from Worksheet 12 and the other will not. The test will be a normal 15 pt. test, but if your grade on it is better than any previous test score, I will also substitute that grade for that score. This is intended as an incentive to those of you who have been struggling to use the break to consolidate your understanding of this material by reviewing lectures and making sure that you are capable of working all proofs that we have covered to date.
Also, be sure that you are capable of writing down all inference rules we have learned from memory. If you are struggling with that, you are virtually guaranteed of doing poorly on the test, and most likely in the class itself. Predicate logic is an extension of propositional logic, which means that everything we have learned so far is required for learning it.
The quiz will follow the test. Then we will do as much of worksheet 13 as we have time for.
Video lecture 12 and Worksheet 12. Memorize these equivalences: Commutation, Double Negation, DeMorgan's, Material Implication, Transposition, Negated Conditional (not in book). Association and Distribution optional. Note: The first distribution rule is stated incorrectly in the video. It should read
(A & B) v C is logically equivalent to (A v C) & (B v C).
Do first 5 problems of Worksheet 12. Test on Thursday.
Lecture 11 and Worksheet 11. Memorize all the derived rules (constructive dilemma and absorption optional.) Quiz on derived rules and theorems.
Solution to Test 6 is posted. The way I did the second problem isn't the only way, but it may be the shortest.
I have added some extra problems to worksheet 10. Work those and any you didn't finish from before. We'll cover as many as we have time for and then take a test. This time you will not do a tree, but you will have two different proofs covering vE, ~I and --> I.
Video lecture 10, worksheet 10. Two quizzes on Tuesday, one on conditional introduction, the other on negation introduction. Give yourself lots of time to understand the latter.
Video Lecture 9 and Worksheet 9. Be sure you can duplicate, without help from the video, all of the problems worked in the video lecture before doing Worksheet 9. We will take a short quiz, work as many problems from 9 as we have time for, then finish with a test involving the rule of conditional introduction.
Remember, as I ranted today, if you are not engaging the videos for this class as directed, you are very unlikely to pass. I'll always take all your questions, but the videos are where lecture happens, not the classroom.
Lecture 8, Worksheet 8. We'll review the worksheet and take a quiz on the rule of conditional introduction. Solution to Test 4 is on the schedule page.
Chapter 4, Lecture 7a, and complete worksheet 7a. Memorize all four rules introduced. Test will cover all rules except vE. Be sure to learn it anyway, though.
Chapter 4, Lecture 7, and complete Worksheet 7. Memorize all four rules. Solution to test 3 has been uploaded to the schedule page.
Check here Monday night to find out if class will meet.
Video lecture 6a, Worksheet 6. We'll go over problem 6 from worksheet 5 and the problems on Worksheet 6. Then we'll take a test. At least one of the problems on the test will be identical or nearly identical to some problem you have already encountered if you have done all the problems on the worksheets and video.
Heads Up: This will be a closed book test, and it will involve translation. (For the future: Assume tests are closed book unless otherwise stated. Previously learned skills may occur on any future test unannounced.)
Watch video lecture 6 and then complete Worksheet 5. Use the video lecture intelligently. Be sure you can do all the problems worked on the lecture. We will begin class with a quiz on refutation trees.
Video Lecture 5/ Lecture 5 and Worksheet 5. The quiz and test will cover translation of propositional logic and truth tables. But we will begin working refutation tree problems.
Note: Today during class I encouraged you to translate "A whenever B" as "A if and only if B", which contradicts what I said on the screencast and notes, as a couple of you pointed out. The mistake was what I said today, not what I said in the screencast. The best translation of "A whenever B" really is "If B, then A." It is not correct to translate it as a biconditional.
Watch/read Video lecture 4/ Lecture 4 and re-read the relevant parts of chapter 3. Do worksheet 4. Quiz at the beginning of the period.
Memorize the truth tables for all the operators. (This means, being able to write them all down from memory.) These are in Chapter 3, Video Lecture 3 and Lecture 3 slides. Do Worksheet 3. We will use clickers to take the test on Thursday. This is a test, not a quiz, so you won't be able to collaborate. It will cover all of Chapter 3.
Read Chapter 3. Watch Video Lecture 3, which covers Lecture slides 2 and 3. Do worksheets 1 and 2. We will mainly cover worksheet 2 in class, since solutions are given for 1. Note: These are Flash videos and will not easily run on an iPad.
Hi, for Thursday make sure you've done everything below. Also, read the first two chapters of the book and the Lecture 1 slides on the schedule, which we began to cover on the first day. Your quiz will be mostly on the syllabus, but it will also cover basic concepts of deductive logic and recognizing valid argument forms. Remember, your clicker will not work in class unless you've registered it online for this class according to the instructions below.
Hi everyone, this is some basic information about your course.
Before (or immediately after) our first class meeting you should have
1. Purchased your book and clicker (see below)
2. Registered your clicker online (see below)
3. Read the syllabus for this course.
4. Read chapter 1 and 2 of the book.
Be sure to bring your clicker to class. It will not function in class if you have not registered it online. This process takes time so don't plan on doing it right before class.
These are the course materials you will need to buy or rent.
1. Textbook: Schaum's Easy Outline of Logic, Crash Course. by Nolt, Rohyatyn and Varzi.
3. (optional) Schaum's Outline of Logic, by Nolt, Rohatyn, and Varzi.
The optional book is an expanded version that explains concepts in more detail and provides you with more problems than the required book.
All materials are available at the Hornet bookstore. Note: You may purchase or rent either the CPS GEN 2 RF Response Pad or the CPS Pulse Clicker, but no other clicker will work.
Instructions for registering your clicker.
You will need to go online and register your clicker for this class. Register it according to the instructions on the box or those you were provided with when you purchased it. You will require a credit card. Be careful to register the serial number of your clicker accurately. At some point during the registration process you will be prompted for a class key. This is a unique number associated with the class in which you are enrolling. The class key for this class is:
If you do not have a box or instructions for registering your clicker, then do one of the following.
1. If you just acquired this clicker, then click here to register it. You'll need a credit card and the class key above.
2. If you are using a clicker that you have previously registered, click here and log in. Then follow the instructions given in 1 above.
3. A few important points about clickers.