\require{AMSmath}

Dit is een reactie op vraag 28371

Re: Bewijs uit het ongerijmde

In symbolen?

Bart
Student universiteit België - donderdag 16 februari 2023

Antwoord

1. $(\forall x)(x=x)$
   
2. $(\forall x)(x\in\emptyset \leftrightarrow x\neq x)$
   
3. $(\forall x)(x\notin A \rightarrow x=x)$
   
4. $(x\in\emptyset \land x\notin A)\rightarrow(x\neq x\land x=x)$
   
5. $\neg(x\in\emptyset \land x\notin A)$
   
6. $x\in\emptyset \rightarrow x\in A$

kphart
donderdag 16 februari 2023

©2001-2024 WisFaq