• Ook the Librarian
    link
    1
    edit-2
    10 months ago

    “If A then B” means if A is true, then B is guaranteed to be true. Note that if B is true and A is false, “if A then B” is still true.

    “B only if A” means the only way for B to be true is for A to be true. It’s weird, but it has the inverse truth table as “(not A) and B”.