Comment on Is "If A then B" equal to "B if and only if A"?

• BananaTrifleViolin@kbin.social ⁨10⁩ ⁨months⁩ ago

  Actually a good example:

  • If you have Aids (A) then you have HIV (B). True
  • You have HIV (B) if, and only if, you have AIDS (A). Not true
  • If you don't have HIV (B), then you don't have AIDs (A). True, and the actual inverse of "If A then B"; "If not B, then not A"

  source

  • AmidFuror@kbin.social ⁨10⁩ ⁨months⁩ ago

    It's important to stress the "full blown" modifier in any example.

    source