Propositional logic exercises with the lean theorem provergithub.com/ImperialCollegeLondon 54 pointsmathematically4 years ago8 commentsSaveHideCopy link On HNComments−giomasce4ySee also the Natural Number Game.−sidpatil4yJust the kind of thing I've been looking for!−mathematicallyOP4yJust a heads up, worksheet 5 has an error: (P ↔ Q) → (R ↔ S) → (P ∧ Q ↔ R ∧ S). That proposition is not actually true.−BreakfastB0b4yIt’s probably supposed to be (P & R) <-> (Q & S)−mathematicallyOP4yYup, transposition error.−kevinbuzzard4yThanks so much! Fixed.−kevinbuzzard4yPS 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.−mathematicallyOP4yIt's very fun. Thanks for putting it together.
Comments
See also the Natural Number Game.
Just the kind of thing I've been looking for!
Just a heads up, worksheet 5 has an error: (P ↔ Q) → (R ↔ S) → (P ∧ Q ↔ R ∧ S). That proposition is not actually true.
It’s probably supposed to be (P & R) <-> (Q & S)
Yup, transposition error.
Thanks so much! Fixed.
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.
It's very fun. Thanks for putting it together.