Re: Bewijs uit het ongerijmde Dit is een reactie op vraag 28371 In symbolen? Bart Student universiteit België - donderdag 16 februari 2023 Antwoord $(\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 donderdag 16 februari 2023 ©2001-2024 WisFaq
In symbolen? Bart Student universiteit België - donderdag 16 februari 2023
Bart Student universiteit België - donderdag 16 februari 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 donderdag 16 februari 2023
kphart donderdag 16 februari 2023
Dit is een reactie op vraag 28371 