from Hacker News

Forall X – An Introduction to Formal Logic

by anupj on 11/16/22, 1:16 PM with 9 comments

  • by creata on 11/17/22, 9:27 AM

    Why do there seem to be so many forks of this book, like:

    https://openlogicproject.org/2017/01/18/forall-x-calgary-rem...

  • by jonnycomputer on 11/17/22, 12:51 PM

    I used this book to teach an introduction to logic class. The students certainly appreciated not having to pay >$100 for a text book that they wouldn't read.
  • by spinningslate on 11/17/22, 8:59 AM

    Logic is my favourite branch of maths. It still boggles my brain to think that the fearsome complexity of computing today ultimately boils down to True, False and a handful of logical connectives (conjunction, disjunction, negation).
  • by michaelmior on 11/17/22, 1:25 PM

    I think the title might better off start with "forall x" as on the link instead of "Forallx"