dlthomas comments on The Cartoon Guide to Löb’s Theorem

dlthomas 29 Sep 2011 16:51 UTC
−3 points
(X->Y)->X and (X->Y)->Y have the same truth table.
- TobyBartels 3 Oct 2011 3:23 UTC
  4 points
  Parent
  Not when X is false and Y is true.
  - dlthomas 3 Oct 2011 16:29 UTC
    5 points
    Parent
    My bad :-\