If you said “if it is a horse it has hooves” you can infer “all horses have hooves” but not that “all hooved creatures are horses”.
Otoh if you said “iff a polygon has 3 sides, it is a triangle” you can infer that all polygons that have 3 sides are triangles and that there are no other ways to make triangles.
edit: This was typed by sleep deprived me, I tried to fix it.
Well I mostly was already familiar with “if and only if” terminology from some math class many years ago. So once you said iff stands for “if and only if” I didn’t really look too close at the rest of your comment because I felt like I already understood.
Iff they’re not hierarchical
Iffs in the wild make me happy.
Are “Iffs” a thing? I’ve been missing out.
iff is the shorthand for “if and only if”.
If you said “if it is a horse it has hooves” you can infer “all horses have hooves” but not that “all hooved creatures are horses”.
Otoh if you said “iff a polygon has 3 sides, it is a triangle” you can infer that all polygons that have 3 sides are triangles and that there are no other ways to make triangles.
edit: This was typed by sleep deprived me, I tried to fix it.
Cool, TIL
Omg I have no clue how you understood anything from my previous comment.
It was such a mess lmao
Well I mostly was already familiar with “if and only if” terminology from some math class many years ago. So once you said iff stands for “if and only if” I didn’t really look too close at the rest of your comment because I felt like I already understood.
deleted by creator