Questions about logic and proof systems
Both conditions mean that $\forall x(x\in A\Rightarrow x\in B)$. Forall and implication belong together im math. formulations.
Questions about logic and proof systems
Both conditions mean that $\forall x(x\in A\Rightarrow x\in B)$. Forall and implication belong together im math. formulations.