• LafariOP
    arrow-up
    2
    arrow-down
    1
    ·
    9 months ago
    link
    fedilink

    If car, then vehicle = true

    Car if and only if vehicle = true.

    Is this correct?

    Therefore “If A then B” = “A if and only if B” (or “If B then A” = “B if and only if A”)?

    • zenharbinger
      arrow-up
      6
      arrow-down
      0
      ·
      9 months ago
      edit-2
      9 months ago
      link
      fedilink

      B can still be true when a is false. iff means that b can only be true when a is true.

      Also, the equivalent statement is.

      vehicle if and only if car.

      not

      car only if vehicle

      since a truck is a vehicle, the statement is false.

      Somewhat wrong above:

      A B a iff b

      T T T

      T F F

      F T F

      F F T

      look online for truth tables.

    • Ep1cFac3pa1m
      arrow-up
      3
      arrow-down
      2
      ·
      9 months ago
      link
      fedilink

      You’d have to firm up your definition of car and vehicle before you could decide that one. Does a hot wheels car count as a car? Does a vehicle have to be large enough to move people or freight?

      • zenharbinger
        arrow-up
        7
        arrow-down
        0
        ·
        9 months ago
        edit-2
        9 months ago
        link
        fedilink

        Don’t confuse this guy with ontological questions.

        This is straight truth table level stuff.