1
vote
2answers
165 views

Cofusing partial order “implies”, on logic and that on sets

I feel confused comparing partial order on sets and that on logic. $$x\ge 1 \implies x\ge 0$$ Here we see a smaller set "implies" a bigger set But, if we know three facts, fact1,fact2,fact3, we ...