Comment on Worm logic

<- View Parent
ozymandias117@lemmy.world ⁨3⁩ ⁨days⁩ ago

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

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

source
Sort:hotnewtop