• Fred R.@lemmy.ml
        link
        fedilink
        arrow-up
        3
        ·
        1 day ago

        Non sequitir.

        The presence of an IBC tote would imply the presence of some equipment necessary to move it (at least a pallet jack, possibly a forklift).

        However, the inverse does not follow: absence of a tote does not imply the absence of the equipment needed to move one. The presence or absence of the equipment is logically independent of the absence of the equipment (even though it would be be implied by the presence of the equipment).

        This is called denying the antecedent. In symbolic terms:

        Conditional: p → q Inverse: ¬p → ¬q

        (p → q) → (¬p → ¬q) is False.