It’s probably supposed to be (P & R) <-> (Q & S) | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		BreakfastB0b on Oct 22, 2021 \| parent \| context \| favorite \| on: Propositional logic exercises with the lean theore... It’s probably supposed to be (P & R) <-> (Q & S)

mathematically on Oct 22, 2021 [–]

Yup, transposition error.

kevinbuzzard on Oct 22, 2021 | [–]

Thanks so much! Fixed.

kevinbuzzard on Oct 22, 2021 | | [–]

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.

mathematically on Oct 22, 2021 | | [–]

It's very fun. Thanks for putting it together.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact