Definitely a repost, but it fits the season

  • Speiser0@feddit.org
    link
    fedilink
    arrow-up
    0
    ·
    16 days ago

    “A → B” is true in any variable assignment where B is true if A is true.

    It has always been mostly obvious to me.