Hacker News new | ask | show | jobs
by sidpatil 1704 days ago
Just the kind of thing I've been looking for!
1 comments
mathematically 1704 days ago
Just a heads up, worksheet 5 has an error: (P ↔ Q) → (R ↔ S) → (P ∧ Q ↔ R ∧ S). That proposition is not actually true.
link
BreakfastB0b 1704 days ago
It’s probably supposed to be (P & R) <-> (Q & S)
link
mathematically 1704 days ago
Yup, transposition error.
link
kevinbuzzard 1704 days ago
Thanks so much! Fixed.
link
kevinbuzzard 1704 days ago
PS I cannot believe my undergraduate teaching material is on HN! I am a math lecturer and this is just my course notes for my UGs.
link
mathematically 1704 days ago
It's very fun. Thanks for putting it together.
link