Logic: Validity, Truth Functions, Names, Quantifiers and Descriptions | Hacker News Reader