@wordgrammer@tobasiteuberman@victor_explore The exception is Algorithms by Jeff Erickson. You will like that book if you're a math major. It's readable and well-motivated. It's like the "Spivak's calculus" of Algorithms
@jk_rowling Your A) is essentially a conditional P implies (->) Q where P: “is a dog”, Q: “barks.” While you’re correct that P -> Q is equivalent to (not Q) -> (not P), the conditional can be disproved by finding one case where (P and (not Q)) is true, which in this case we can. bad argument
@benshapiro if you want to test it, why not keep all other variables the same and just lock your account without announcing it or asking for additional engagement?