• Uriel238 [all pronouns]@lemmy.blahaj.zone
    link
    fedilink
    arrow-up
    5
    arrow-down
    2
    ·
    edit-2
    1 year ago

    The commutative property of equality is established. You might be thinking of conditionality.

    Given:
    If A then B, and
    B is TRUE

    we cannot say for certain A is true

    Lisa doesn’t get dessert if she doesn’t eat her vegetables.
    Lisa didn’t get dessert

    Can we asctertain if Lisa ate her vegetables?