Logic - Monday April 21
We worked through some problems from Exercise 10-3 and talked about proof strategy for relational predicate logic.
Quiz #7 was given at the end of class.
For Tues.: read through p. 265
« 19th and 20th - Mon April 21 | Main | Logic - omission in textbook »
We worked through some problems from Exercise 10-3 and talked about proof strategy for relational predicate logic.
Quiz #7 was given at the end of class.
For Tues.: read through p. 265