In symbolen?Bart
16-2-2023
- $(\forall x)(x=x)$
- $(\forall x)(x\in\emptyset \leftrightarrow x\neq x)$
- $(\forall x)(x\notin A \rightarrow x=x)$
- $(x\in\emptyset \land x\notin A)\rightarrow(x\neq x\land x=x)$
- $\neg(x\in\emptyset \land x\notin A)$
- $x\in\emptyset \rightarrow x\in A$
kphart
16-2-2023
#97586 - Bewijzen - Student universiteit België