• ozymandias117@lemmy.world
    link
    fedilink
    English
    arrow-up
    14
    ·
    6 hours ago

    The term for the statement in formal logic is “vacuous truth”

    The statement is true, because the antecedent can’t be