Logic - Mon Apr 28
We worked through a couple more problems from the current homework, then worked through some zero-premise deductions in predicate logic.
For tomorrow: read pp. 283-288
« 19th and 20th - Mon Apr 28 | Main | 19th and 20th - Tues April 29 »
We worked through a couple more problems from the current homework, then worked through some zero-premise deductions in predicate logic.
For tomorrow: read pp. 283-288